اعتبار در جهان های ممکن
عنوان مقاله: اعتبار در جهان های ممکن
شناسه ملی مقاله: JR_PFK-9-3_004
منتشر شده در در سال 1387
شناسه ملی مقاله: JR_PFK-9-3_004
منتشر شده در در سال 1387
مشخصات نویسندگان مقاله:
اسداله فلاحی - استادیار دانشگاه زنجان
لطف اله نبوی - دانشیار دانشگاه تربیت مدرس
خلاصه مقاله:
اسداله فلاحی - استادیار دانشگاه زنجان
لطف اله نبوی - دانشیار دانشگاه تربیت مدرس
قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال ۱۹۷۴، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات های صدق و کذب، نظامی منطقی بر پایه منطق ربط طراحی کرده ایم که قضایا و قواعد آن در جهان های ممکن معتبرند. چنین نظامی، علاوه بر حفظ تقارن، به رفع ناسازگاری موجود میان منطق جدید و منطق ربط می انجامد زیرا مانند منطق جدید، جهان های ممکن را معیار اعتبار قرار می دهد.کلید واژه ها:
کلمات کلیدی: منطق ربط, صدق نگهداری, جهان ممکن, وضعیت, منطق PWR
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/1482364/