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

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

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

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

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

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

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

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