177
Part III. Alternatives to two-valued logic
As alternatives to two-valued logic we will consider: 1. three-valued logic - that is obviously an alternative 2. “intuitionism” that is said to be an alternative but then actually is misunderstood 3. proof theory, that is claimed to be two-valued, but that reduces to contradictions because of the Liar. These are also three approaches to deal with the Liar paradox. Never had nonsense so much attention from serious researchers as happened with the Liar. We already solved it in two-valued logic but let us now clinch it for the remaining bits of “meaning” in its corpus.