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

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

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

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.

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

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

سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.

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

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