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

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

منطق ربط شاخه ای از منطق جدید است که ارتباط میان مقدم و تالی (و یا میان مقدمات و نتیجه) را بیان می کند. در نظام استنتاج طبیعیِ منطق ربط، از ترکیب دو روش «برهانک» و «شماره فرض» استفاده می شود. در این پایان نامه با معرفی این روش ترکیبی، اعتبار و عدم اعتبار مثالهای متنوعی از استدلال های ربطی و غیر ربطی را نشان داده ایم. روتلی و مایر برای منطق ربط، سمانتیکی مشابه سمانتیک کریپکی طراحی کردند که در سا...

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

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