صفحه‌ها: 143-
تاریخ دریافت: 1392/10/19تاریخ پذیرش: 1393/03/18
چکیده:
برخی از معاصران، قضایای حقیقیه و خارجیه را به ترتیب با ادات های شرطی و عاطف در دامنه سور صورت بندی کرده اند که به نامعتبر شدن بسیاری از قواعد منطق قدیم می انجامد. در این مقاله نشان می دهیم که اگر ادات های شرطی و عاطف را که در تحلیل معاصران در دامنه سور قرار دارد، بیرون بیاوریم و پیش از سور قرار دهیم (یعنی اگر فرمول های منطق جدید را با شرطی و عاطف به وجود موضوع مقید کنیم) بیشتر قواعد منطق قدیم برای همه «قضایای خارجیه» برقرار خواهد شد ولی در موارد بسیاری برای «قضایای حقیقیه» نقض می شود. بر پایه این صورت بندی، اختصاص قواعد منطق قدیم به قضایای خارجیه تا حد بسیاری معنادار می شود. این صورت بندی نو از قضایای حقیقیه و خارجیه، بدون اینکه ادعای مطابقت کامل با تصویر ذهنی بزرگان منطق سینوی داشته باشد، یک صورت بندی کمابیش سازگار با قواعد منطق قدیم است و در سنجش با صورت بندی معاصران، دشواری های بسیار کمتری دارد.
Article data in English (انگلیسی)
متن کامل مقاله:
چکیده
برخی از معاصران، قضایای حقیقیه و خارجیه را به ترتیب با ادات های شرطی و عاطف در دامنه سور صورت بندی کرده اند که به نامعتبر شدن بسیاری از قواعد منطق قدیم می انجامد. در این مقاله نشان می دهیم که اگر ادات های شرطی و عاطف را که در تحلیل معاصران در دامنه سور قرار دارد، بیرون بیاوریم و پیش از سور قرار دهیم (یعنی اگر فرمول های منطق جدید را با شرطی و عاطف به وجود موضوع مقید کنیم) بیشتر قواعد منطق قدیم برای همه «قضایای خارجیه» برقرار خواهد شد ولی در موارد بسیاری برای «قضایای حقیقیه» نقض می شود. بر پایه این صورت بندی، اختصاص قواعد منطق قدیم به قضایای خارجیه تا حد بسیاری معنادار می شود. این صورت بندی نو از قضایای حقیقیه و خارجیه، بدون اینکه ادعای مطابقت کامل با تصویر ذهنی بزرگان منطق سینوی داشته باشد، یک صورت بندی کمابیش سازگار با قواعد منطق قدیم است و در سنجش با صورت بندی معاصران، دشواری های بسیار کمتری دارد.
کلیدواژه ها
شرطی، عاطف، قضیه حقیقیه، قضیه خارجیه، وجود موضوع، عکس مستوی.
