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

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

هرچند همه­ی تلاش «ویتگنشتاین» (wittgenstein) به منظور سازگاری درونی دیدگاه متأخّر خود بوده است، لیکن با بررسی دقیق، مواردی از ناسازگاری درونی در آن مشاهده می­شود. یکی از موارد ناسازگاری درونی و بیرونی مطابق با تفسیر «کول»(cavell) و «کریپکی» قرائت شکّاکانه از دیدگاه ویتگنشتاین متأخّر است. ویتگنشتاین شک­گرایی را به طور آشکار بی­معنا می­داند. به نظر او اصولاً نباید شکّاک حتّی برای بیان شک­گرایی خود از ط...

در این مقاله، براساس دو پرسش اساسی در فلسفه زبان معاصر، یعنی پرسش در باب چیستی معنا و همچنین پرسش در باب چگونگی ارجاع الفاظ، سعی خواهیم کرد ارزیابی نقادانه‌ای از آرای اصولیِ امام خمینی(ره) درباب اسم‌های خاص ارائه کنیم. بدین منظور، ابتدا نظریه‌ی آخوند خراسانی(ره) را در باب معنای اسامی خاص و همچنین انتقادات امام خمینی در این رابطه را مورد بررسی قرار خواهیم داد. سپس به بررسی آرای امام خمینی(ره) درب...

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

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

ذاتی‌گرایی(Essentialism) نظریه‌ای متافیزیکی است که ریشه در سنت پربار ارسطو دارد. در این نظریه برخی ویژگی‌ها، هویت یک شی‌ء را تعیین می‌کنند. قائلان به چنین دیدگاهی، هر شی‌ء را دارای ذات مختص به خود می‌دانند. نفی امکان شناخت ذات اشیاء، نقدی است که بر نظریه­ی ذاتی‌گرایی ارسطو وارد شده است. این انکار به­ویژه در آموزه‌های پوزیتیویسم منطقی با رد مابعدالطبیعه به اوج خود رسید. علاوه بر متن دست‌آوردهای ...