اسدالله فلاحی - استاد گروه منطق، موسسه پژوهشی حکمت و فلسفه ایران، تهران، ایران

برای تفسیر و تحلیل قضایای حقیقیه و خارجیه، دو روش کلی وجود دارد: نخست تحلیل آن ها درون یک منطق واحد، دوم اختصاص منطق های جداگانه به آن ها. تاکنون بیشتر تفسیرها و تحلیل های قضایای خارجیه و حقیقیه به روش نخست، و درون منطق قدیم یا شاخه ای از منطق جدید صورت گرفته و به ندرت از روش دوم برای این منظور بهره برداری شده است. در این مقاله، می خواهم روش دوم را به کار ببرم و نشان دهم که هرچند منطق مناسب برای قضایای حقیقیه، منطق کلاسیک محمول ها است، منطق مناسب برای قضایای خارجیه، منطق آزاد محمول ها است. نشان می دهم که منطق آزاد محمول ها، که منطقی ناکلاسیک و غیراستاندارد است، قواعد معرفی و حذف سورها را به وجود خارجی اشیا مقید می سازد؛ ازاین رو، مناسب ترین منطق برای قضایای خارجیه است، برخلاف منطق کلاسیک محمول ها که تقیدی به وجود خارجی اشیا ندارد و ازاین رو، برای قضایای حقیقیه مناسب تر است. هم چنین، نشان می دهم که با افزودن منطق موجهات و منطق زمان به منطق های کلاسیک و آزاد محمول ها، تمایز اصول و قواعد قضایای حقیقیه و خارجیه بیشتر می شود و درنتیجه، منطق هایشان متمایزتر می شوند. به طورویژه، نشان می دهم که فرمول های بارکن، بوریدان و عکس بارکن برای قضایای حقیقیه صادق اند و در منطق موجهات و منطق زمان کلاسیک اثبات می شوند؛ درحالی که برای قضایای خارجیه کاذب اند و در منطق موجهات آزاد و منطق زمان آزاد اثبات ناپذیرند.

قضیه حقیقیه, قضیه خارجیه, فرمول بارکن, فرمول بوریدان, منطق آزاد, منطق محمول ها