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

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

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

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

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

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

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

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

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

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