- #1

nomadreid

Gold Member

- 1,456

- 144

[[A]] = N ⇒[[~A]] = N. However, I don't see that this gets around the essential point of the liar: the liar uses a predicate ~T, and the assumption of the existence of a predicate ~T leads to a contradiction, for example quickly with the Diagonal Lemma. So if you could build the liar sentence, then the fuzzy logic would be of use to not make it a paradox, granted, but you can't even build the liar sentence in the first place. What am I missing?