در نظریة ارجاع سول کریپکی حداقل سه مشکل وجود دارد؛ 1. ارجاع دهیِ متفاوت اسامی خاص در جهان های ممکن مختلف؛ 2. تغییر مرجع؛ و 3. خطاناپذیری ارجاعی ترم های نظری. در این مقاله ابتدا این سه مشکل را طرح می کنیم سپس بیان می کنیم که چگونه خود کریپکی با توسل به مفهوم «کاربست» مشکل اول را حل کرده است و پس از آن چگونگی حل شدن مشکل دوم و سوم را با استفاده از همین روش توضیح می دهیم. علاوه بر این در قسمتی از م...

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

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

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

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

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

هدف اصلی این مقاله بررسی و تحلیل استدلال‌های هاریچ در مقالة «معنا، کاربرد، و صدق» است که در سال 1995 در مجلة Mind منتشر شده است. وی در این مقاله از ایدة ویتگنشتاین، یعنی نظریة کاربردی معنا (use theory)، در‌مقابل استدلال‌هایی که علیه این رویکرد ارائه ‌شده‌اند دفاع می‌کند. تمرکز هاریچ به‌ویژه بر انتقادهای کریپکی است. کریپکی در کتاب مشهور خود با عنوان دیدگاه ویتگنشتاین دربارة قواعد و زبان خصوصی سع...

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

پل هریچ (Paul Horwich) در کتابها و مقالاتی مختلف به نقد برهان ویتگنشتاینِ کریپکی (1982) پرداخته است. در این مقاله به یکی از پاسخ­های وی به یکی از برهان­های ویتگنشتاینِ کریپکی پرداخته، استدلال می­کنم که دلایل او برای رد برهان ویتگنشتاینِ کریپکی کفایت نمی­کنند. در بخش 2 به توضیح آرای ویتگنشتاینِ کریپکی و شکاکیت معنایی (Meaning Scepticism) خواهم پرداخت. در بخش 3 به توضیح صورتبندی هریچ از استدلال هنجار...