- 561 名前：同時に偽であると見なせるとした[9]。その論理体系では、文は真の場合、偽の場合、両方の場合がある。しかしこのような論理体系では、古典論理の基本原則である ex falso quodlibet、すなわち矛盾からはあらゆる命題が導かれうるという原則が成り立たない。このような論理を「矛盾許容論理」とも呼ぶ。
嘘つきのパラドックスの論理構造
嘘つきのパラドックスを文 A とすると、A は偽なので次のように表せる。
・"A = 'A = false'"
この式を解けるようにする最も単純な論理的手法は dealetheism 的手法であり、その場合 A は「真」であり同時に「偽」であると解釈する。他の解決策では、式に何らかの修正を施すことが多い。
(引用終り)
以上 [] - [ここ壊れてます]
