پارادکس-دروغگو

این مقاله درباره پارادکس دروغگو (liar paradox) یا معمای دروغگو (liar conundrum)یا به تعبیر فلاسفه اسلامی «جذرأصمّ» به بحث می پردازد

پاراداکس (2) دروغگو برای تئوری صدق مساله ای بس حائز اهمیت است و در واقع، تا حدود زیادی، برای پرهیز از همین پارادکس بود که تارسکی شرایط کفایت صوری (3) را برای تعاریف صدق ارایه نمود. در این مقاله می خواهیم این پارادکس و پارادکسهای مشابه و مرتبط با آن را مورد پژوهش قرار دهیم