از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...

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

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

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

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

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

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

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

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

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