تبدیل گزاره‌های حملی به شرطی نزد ابن‌سینا

در منطق جدید، گزاره‌های کلی را به گزاره‌های شرطی تحویل می‌برند. در این مقاله نشان می‌دهم که ابن‌سینا نظراتی مشابه منطق جدید داشته است هرچند سخنان او به صورت دقیق با تحلیل منطق‌دانان جدید هم‌خوانی ندارد. بیشتر عبارت‌های ابن‌سینا به این دلالت دارد که گزاره‌های حملی و شرطی صرفا «هم‌ارز»اند اما در موارد نادری نیز عباراتی در آثار ابن‌سینا دیده می‌شود که گویا دلالت بر «این‌همانی» گزاره‌های حملی و شرطی دارد که البته حکمی است بسیار قوی‌تر. در این مقاله، تلاش می‌کنم نظریات ابن‌سینا را گزارش و دسته‌بندی کنم و دوری و نزدیکی آنها را با تحلیل منطق جدید نشان دهم.

avicenna on the conversion of categorical propositions to conditionals

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.