منطق های توجیه، منطق های شناختی است که به طور صریح شامل توجیهاتی برای دانش عامل هاست. در این پایان نامه، یک منطق توجیه چند عاملی با ترم های توجیه برای عامل های فردی و نیز برای دانش عمومی می شود و یک معناشناسی کریپکی که مشابه معناشناسی فیتینگ برای منطق اثبات های lp است تعریف می کنیم. همچنین سلامت، تمامیت و ویژگی مدل متناهی منطق توجیه چند عاملی نسبت به معناشناسی کریپکی نشان داده می شود. اثبات می ...

ظهور مفهوم جهان‌های ممکن در فلسفه‌ی تحلیلی معاصر و تأثیر فراوان آن در غلبه بر تشکیک تجربه‌گرایی جدید مبنی بر نفی منطق وجهی، به مباحث فراوانی پیرامون ماهیت این مفهوم منجر شده است. عده‌ای از فلاسفه جهان‌های ممکن را اموری انتزاعی و چونان وضعیت ممکن امورِ همین جهان واقعی قلمداد کرده‌اند. در مقابل، برخی دیگر از فلاسفه که چهره‌ی برجسته‌ی آن‌ها دیوید لویس است با اتخاذ روی‌کردی که از آن تعبیر به نام‌گرا...

مدافعان دیدگاه وجهی، ذاتی بودن را برحسب ضرورت متافیزیکی تحلیل می کنند. کیت فاین ایرادات معروفی به این دیدگاه گرفته است. در مقابل، وی معتقد است که جهت تحلیل باید عوض شود: ذاتی بودن باید پایه تلقی شود و ضرورت متافیزیکی برحسب آن تحلیل شود. در فصل اول، به دیدگاه وجهی و ایرادات فاین به آن پرداخته می شود. در فصل دوم، نظری? ایجابی فاین دربار? ذاتی بودن و رابط? آن با ضرورت متافیزیکی بیان می شود. بحثهای...

چکیده فخر الدین رازی عکس مستوی قضایای حقیقیه و خارجیه را برای نخستین بار به صورت جداگانه مورد بحث قرار داده است، اما افضل الدین خونجی بسیاری از احکام او را مورد نقد قرار داد و بیش تر این نقدها از سوی منطق دانان بعدی پذیرفته شده است. عکس مستوی قضایای خارجیه در مقاله دیگری بررسی شده و با فرمول های منطق جدید آشکار شده است که در دو مورد فخر رازی خطا کرده و خونجی بر حق بوده است و در موارد دیگر، اختل...

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

در این پایان نامه تلاش بر این است که انواع مختلف درونیابی را برای منطق های زیرساختی بررسی شود و با استفاده از ویژگی ادغام و گسترش های آن تعبیر جبری برای این درونیابی ها ارائه شود. به صورت کلی، منطق های زیرساختی جبری پذیر هستند ولی برخی از ویژگی های منطقی که منطق وجهی و منطق فراشهودی دارا هستند را ندارند. در این زمینه بررسی دقیقی نیاز است تا نوع رابطه ای که بین ویژگی های منطقی و جبری برقرار است ...

ظهور مفهوم جهان های ممکن در فلسفه ی تحلیلی معاصر و تأثیر فراوان آن در غلبه بر تشکیک تجربه گرایی جدید مبنی بر نفی منطق وجهی، به مباحث فراوانی پیرامون ماهیت این مفهوم منجر شده است. عده ای از فلاسفه جهان های ممکن را اموری انتزاعی و چونان وضعیت ممکن امورِ همین جهان واقعی قلمداد کرده اند. در مقابل، برخی دیگر از فلاسفه که چهره ی برجسته ی آن ها دیوید لویس است با اتخاذ روی کردی که از آن تعبیر به نام گرا...

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...