Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--

On 2024-04-19 18:04:48 +0000, olcott said:

When we create a three-valued logic system that has these
three values: {True, False, Nonsense}
https://en.wikipedia.org/wiki/Three-valued_logic

Such three valued logic has the problem that a tautology of the
ordinary propositional logic cannot be trusted to be true. For
example, in ordinary logic A ∨ ¬A is always true. This means that
some ordinary proofs of ordinary theorems are no longer valid and
you need to accept the possibility that a theory that is complete
in ordinary logic is incomplete in your logic.
--
Mikko