قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

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

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

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

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

نظریه ی مدل یک نظریه ی منطقی سمانتیکی با هدف ارائه ی شیوه ی تفکر قیاسی سازگار از طریق رهیافت فرازبانی است. این نظریه مبتنی بر مفهوم تعبیرپذیری زبان است و به تبع آن ریشه در سنت و دیدگاه مدل انگارانه دارد که به روایت هینتیکا در اواخر قرن نوزدهم با هیلبرت آغاز شده است. این دیدگاه، به رغم مخالفت های سرسختانه ی یونیورسالیست های پیرو فرگه، در نیمه ی نخست قرن بیستم در مکتب لوف-ورشو بالیده و در میانه ی...

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

فارابی حق را به سه معنا مورد استفاده قرار داده و ابن سینا نیز به تبع او همین معانی را برای حق در نظر گرفته است. دو معنای وجودی و یک معنای معرفت شناسانه. حق به معنای وجود مطلق (دائم) و وجود بالفعل و حق به معنای صدق. قول یا اعتقاد (حکم) را هنگامی که مطابق واقع است صادق و هنگامی که واقع مطابَق با آن است حق می نامند. فلاسفه مسلمان بالاتّفاق مطابقت را به عنوان ملاک صدق در نظر گرفته اند. ضمناً ابن سینا ...

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