ساختار نحوی ومعنایی منطق تکلیف
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
- نویسنده فرشته نباتی
- استاد راهنما ضیا موحد
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1381
چکیده
کمتر از یک قرن است ( از سال 1926) که نظامهایی منطقی برای بررسی مفاهیم هنجاری و استنتاجات مربوط به آنها ، بوجود آمده است. اولین نظامی که مورد توجه منطقیون قرار گرفت نظام فون رایت ( 1951) بود. برخی اشکالات موجود در نظام فون رایت ، منطقیون دیگررا بر آن داشت تا تغییراتی در نظام تکلیفی او ایجاد کنند حاصل این تغییرات ، نظام استاندارد منطق تکلیف است. اما این نظامها هم با پارادوکسهایی مواجه شدند و همین مواجهه ، منطقیون را واداشت تا نظامهای جدیدی ارائه دهند که در آنها امکان ایجاد پارادوکسهای مذکور نباشد. از جمله این نظامها ، نظامهای شرطی منطق تکلیف و نظامهای نسخ پذیر منطق تکلیف می باشند. بحث و بررسی در این زمینه همچنان ادامه دارد و منطقیون درصدد ارائه نظامهایی هستند که هر چه بهتر و دقیقتر بتوانند مفاهیم هنجاری و استدلالات منطقی مربوط به آنها را بیان کنند.
منابع مشابه
منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023