اعتبار در جهانهای ممکن
نویسندگان
1 استادیار دانشگاه زنجان
2 دانشیار دانشگاه تربیت مدرس
doi
10.22091/pfk.2008.259چکیده
قضایا و قواعد منطق موجهات، در جهانهای ممکن، معتبرند اما قضایای منطق ربط، در جهانهای منطقی، و قواعد آن، در وضعیتها اعتبار دارند. روبرت مایر، در سال 1974، به کمک اداتهای صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیتها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از اداتهای صدق و کذب، نظامی منطقی بر پایه منطق ربط طراحی کردهایم که قضایا و قواعد آن در جهانهای ممکن معتبرند. چنین نظامی، علاوه بر حفظ تقارن، به رفع ناسازگاری موجود میان منطق جدید و منطق ربط میانجامد زیرا مانند منطق جدید، جهانهای ممکن را معیار اعتبار قرار میدهد.کلید واژهها:
