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

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

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

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

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

یکی از ادله واقع گرایان برای اثبات وجود کلی ها در جهان خارج، برهانِ «ارجاع به مجردات» (abstract reference) است. طبق این برهان، جملات صادق بسیاری در زبان وجود دارند که ظاهرا درباره کلی ها سخن می گویند. به عقیده واقع گرایان، صدق این گونه جملات قابل تبیین نخواهد بود مگر آنکه کلی ها در جهان خارج وجود داشته باشند. کارنپ بر اساس نظریه «درجات زبانِ» خود، این برهان را مورد نقد قرار داده و استدلال می کند ...

صدق (تقریبی) نظریه ها یکی از مدعیات اساسی رئالیست هاست. در این مقاله ضمن بیان اهمیت این مسئله به ارائه و بررسی یکی از براهین مهم رئالیست ها، یعنی برهان معجزه نبودن در جهت دفاع از این ادعا خواهیم پرداخت و نشان می دهیم که ایراد دوری بودن، با اتخاذ پشتوانه ی معرفت شناختی مناسب وارد نیست.

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

استقرای بدبینانه استدلالی است که آنتی رئالیست ها درصددند تا از طریق آن رئالیسم علمی را، که موفقیت شگفت‍انگیز نظریه های علمی امروزی را نشانه ای از صدق (تقریبی) آنها قلمداد می کند، با تکیه بر تاریخ علم به چالش بکشند. این استدلال با مقالۀ لری لاودَن با عنوان «ردی بر رئالیسم همگرا» (1981) به طور جدی وارد گفتمان و مناقشه میان رئالیسم و آنتی رئالیسم علمی شده است. رئالیست های علمی، که با این اتفاق مواض...