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

در این مقاله، ابتدا خلاصه­ای از نظریه­های مربوط به دلالت نام­های خاصّ در زبان را بررسی می­کنیم و سپس نظریۀ علّی نام­های خاصّ اونز را مطرح خواهیم کرد. از آنجا که نظریۀ اونز، از نظریه­های علّی و نظریه­های وصفی نام­های خاصّ، به یکسان نسب برده است، آشنایی اجمالی با این نظریه­ها برای فهم نظریة اونز سودمند خواهد ­بود. در بخش مربوط به نظریه­های وصفی، نظریه­های فرگه و راسل؛ و در بخش مربوط به نظریه­های علّی، ...

یکی از پرسشهایی که امروزه برای فیلسوفان تحلیلی مطرح است پرسش از نسبت میان قضایای پیشین (a priori) و پسین (a posteriori) از یک سو و قضایای ضروری (necessary) و ممکن (contingent) از سوی دیگر است تا چندی پیش یک پاسخ نسبتا رایج به این پرسش آن بود که همه قضایای ضروری پیشین اند (و بالعکس) و همه قاضای ممکن پسین اند (و بالعکس) اما در اسلهای اخیر برخی از فیلسوفان معاصر از جمله سول کریپکی با این دیدگاه ...

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

در این مقاله با طرح دلالت شناسی سول کریپکی، فیلسوف و منطق‌دان آمریکایی معاصر در باب اسم‌های خاص و اسم‌های داستانی، به شرح و نقد آراء اومبرتو اکو فیلسوف، نشانه‌شناس و داستان‌نویس ایتالیایی در باب دلالت‌شناسی اسم‌های داستانی (fictional names) پرداخته‌ایم و در این میان، ردپای بعضی از مهم‌ترین این مباحث یعنی اسم‌های خاص واقعی را در آثار ابن‌سینا نشان داده‌ایم.

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