جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
مرور > مرور کلید واژه ها
>
صدق‌نگهداری
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • 1
  • تعداد رکورد ها : 1
اعتبار در جهان‌های ممکن
نویسنده:
اسداله فلاحی, لطف‌اله نبوی
نوع منبع :
مقاله
منابع دیجیتالی :
نسخه PDF
چکیده :
قضایا و قواعد منطق موجهات، در جهان‌های ممکن، معتبرند اما قضایای منطق ربط، در جهان‌های منطقی، و قواعد آن، در وضعیت‌ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات‌های صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت‌ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات‌های صدق و کذب، نظامی منطقی بر پایه منطق ربط طراحی کرده‌ایم که قضایا و قواعد آن در جهان‌های ممکن معتبرند. چنین نظامی، علاوه بر حفظ تقارن، به رفع ناسازگاری موجود میان منطق جدید و منطق ربط می‌انجامد زیرا مانند منطق جدید، جهان‌های ممکن را معیار اعتبار قرار می‌دهد.
صفحات :
از صفحه 69 تا 88
مشخصات اثر
  • 1
  • تعداد رکورد ها : 1