مؤسسه آموزشی و پژوهشی امام خمینی(ره) معارف منطقی 2383-1774 1 1 2015 01 10 تحلیل قضایای حقیقیه و خارجیه با ادات‌های شرطی و عاطف / اسدالله فلاحی 143 11 FA Journal Article 2014 01 09 برخی از معاصران، قضایای حقیقیه و خارجیه را به ترتیب با ادات های شرطی و عاطف در دامنه سور صورت بندی کرده اند که به نامعتبر شدن بسیاری از قواعد منطق قدیم می انجامد. در این مقاله نشان می دهیم که اگر ادات های شرطی و عاطف را که در تحلیل معاصران در دامنه سور قرار دارد، بیرون بیاوریم و پیش از سور قرار دهیم (یعنی اگر فرمول های منطق جدید را با شرطی و عاطف به وجود موضوع مقید کنیم) بیشتر قواعد منطق قدیم برای همه «قضایای خارجیه» برقرار خواهد شد ولی در موارد بسیاری برای «قضایای حقیقیه» نقض می شود. بر پایه این صورت بندی، اختصاص قواعد منطق قدیم به قضایای خارجیه تا حد بسیاری معنادار می شود. این صورت بندی نو از قضایای حقیقیه و خارجیه، بدون اینکه ادعای مطابقت کامل با تصویر ذهنی بزرگان منطق سینوی داشته باشد، یک صورت بندی کمابیش سازگار با قواعد منطق قدیم است و در سنجش با صورت بندی معاصران، دشواری های بسیار کمتری دارد.