نوع مقاله : مقاله پژوهشی
عنوان مقاله English
نویسنده English
In modern mathematical logic, universal propositions are translated into conditional propositions. In this article, I will demonstrate that Avicenna had views similar to modern logic; although his statements do not precisely align with the analyses of modern logicians. Most of Avicenna's expressions suggest that categorical and conditional propositions are merely "equivalent," but there are also rare instances in Avicenna's works where expressions seem to indicate the "identity" of categorical and conditional propositions, which is, of course, a much stronger assertion. In this article, I will attempt to report and classify Avicenna's theories and show the similarities and differences between them and the analysis of modern logic.
کلیدواژهها English
