پارادوکس دور

این پارادوکس توسط آلبرت ساکسونی در قرون وسطی طرح گردیده است:
جملة P این است: ”q  دروغ است.“ جملة q این است: “ P راست است. “
نکته جالب این است که اگر ما دارای یک نوع منطق سه ارزشی باشیم که در آن گزاره ها بتوانند فقط یکی از ارزشهای ”راست“،  ” دروغ “ و ” نه راست ـ نه دروغ “ را داشته باشند آنگاه گزارةP   به صورت “ P دروغ یا نه راست ـ نه دروغ است“ نمی تواند هیچیک از ارزشهای ” راست “ ، ” دروغ “ و ” نه راست – نه دروغ“ را به خود بگیرد.

نوشته شده توسط انجمن علمی ریاضیات کاربردی در دوشنبه 86/4/25 و ساعت 12:56 عصر | نظرات دیگران()