پارادوکس: تفاوت میان نسخه‌ها

== چند مثال از پارادوکس‌هاناسازنما‌ها ==

پارادوکسیناسازنما که خودش را نتواند توصیف کند

{{اصلی|پارادوکس‌هایناسازنما‌های دوقلو}}

صورت پارادوکسناسازنما[ویرایش]

فرض می‌کنیم الف و ب دو فرد دوقلوی همسان اند که ساعت‌های یکسانی دارند. ب یک سفر فضایی را با سرعت بالا (نزدیک به سرعت نور) شروع می‌کند در حالی که الف در خانه می‌ماند. الف به‌طور دائم ساعت ب را مشاهده می‌کند و می‌بیند که ساعت ب به علت اتساع زمان کند کار می‌کند. بالاخره ب به خانه بر می‌گردد. از آن جا که ساعت ب در این سفر کند کار کرده‌است، الف نتیجه می‌گیرد که ب در پایان این سفر از او جوان‌تر است؛ ولی فرض کنید که بخواهیم این وضعیت را از دیدگاه ب مورد مطالعه قرار دهیم. از آن جا که اتساع زمان فقط به حرکت نسبی بستگی دارد، در طول این سفر ب می‌بیند که ساعت الف کند کار می‌کند، و وقتی که سفر به پایان می‌رسد، ب نتیجه می‌گیرد که الف از او جوان تر است. بدیهی است که هر دو دوقلو نباید درست گفته باشند. آیا یکی از این دوقلوها حقیقتاً جوان ترجوان‌تر است؟

این معضل به این دلیل پدید می‌آید که قواعدِ شفاف و دقیقِ [[منطق|منطقِ]] [[منطق کلاسیککهن|کلاسیککهن]] را به کلماتِ ذاتاً مبهمِ [[زبان طبیعی|زبانِ طبیعی]] اعمال کرده‌ایم. حال یا باید بگوییم زبانِ انسان ایراد دارد و ابهام یک ضعف است، یا اصالت را به زبان داده و بگوییم زبان هرچه هست به همین صورت درست است، این منطقِ کلاسیککهن است که ایراد دارد. دراین‌صورت باید منطقی بسازیم که در آن گزاره‌ها بتوانند ابهام داشته باشند، یعنی گاهی نه صددرصد صادق و نه صددرصد کاذب باشند، بلکه ارزشی بینابین را اختیار کنند. به این نوع منطق [[منطق‌های چندارزشی|منطقِ چندارزشی]] گفته می‌شود.