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

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

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

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

دو رویکرد عمده در حل یک دسته از تقریرهای پارادوکس دروغگو، یعنی دسته­ای که در آن از اسم اشاره استفاده می­شود، عبارت­اند از: انکار جملات خودارجاع و انکار قضیه‌بودن جملۀ دروغگو که حامل اولیه و حقیقی صدق است. اشکال عمدۀ رویکرد اول این است که توضیحی داده نشده است که چرا جملات خودارجاعی نداریم و معمولاً سعی دارند با وضع قراردادهایی جملات خودارجاع را خارج کنند. رویکرد دوم نیز با این اشکال اساسی مواجه ا...

گودل در مقاله اش بیان می دارد که شباهت هایی بین پارادوکس دروغگو و جمله مستقل ارائه شده در برهان وی وجود دارد. برهان های قضیه ناتمامیت مبتنی برصوری سازی پارادوکس بری توسط وُپِینکا، شایتین و بولوس ارایه شده اند. پارادوکس بری بر مبنای جمله «کمترین عدد صحیح که در کمتر از 90 نماد نمی توان آنرا توصیف کرد» بنا نهاده شده است؛ اما عبارت درون نقل قول، خود یک توصیف 80 نمادی است! این پارادوکس در قرن اخیر توس...

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

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