پارادوکس‌های معنایی 

نظریه‌ی ساده‌ی طبقه‌ها، علی‌رغم مشکلاتی که واجد آن است، می‌تواند مشکل پارادوکس‌های نحوی هم‌چون پارادوکس‌ حمل‌ناپذیر را حل کند. اما، متأسفانه، این نظریه از حل پارادوکس‌هایی که معمولاً پارادوکس‌های معنایی نامیده می‌شوند، عاجز است.
مشهورترین پارادوکس‌ معنایی، پارادوکسی است که اصطلاحاً پارادوکس دروغ‌گو نامیده می‌شود که اولین بار توسط یونانیان قدیم مطرح شده است. اگر بخواهیم این پارادوکس را به زبان امروزی‌تر بیان کنیم، با چنین چیزی مواجه خواهیم بود: این فرض که هر جمله‌ی خبری، یا صادق و یا کاذب باشد، فرض معقولی به نظر می‌رسد، اما با جمله‌ی زیر، چه کنیم:
(1) جمله‌ی (1) کاذب است.
آیا جمله‌ی (1) صادق است یا کاذب؟ به نظر می‌رسد پاسخ این باشد: اگر جمله‌ی (1) صادق باشد، آن‌گاه کاذب خواهد بود و اگر کاذب باشد، صادق خواهد بود.

صفحه 260/ درآمدی نو به منطق نمادین: منطق محمول‌ها/ پل تیدمن و هاوارد کهین/ ترجمه دکتر رضا اکبری/ انتشارات دانشگاه امام صادق(ع)/ چاپ سوم/ سال 1391/ 326 صفحه/ 9500 تومان