Sujet : Re: Tarski Undefinability and the correctly formalized Liar Paradox
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 26. May 2024, 10:47:34
Autres entêtes
Organisation : -
Message-ID : <v2usv6$3bglv$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-05-25 15:27:22 +0000, olcott said:
x ∉ True if and only if p
where the symbol 'p' represents the whole sentence x
https://liarparadox.org/Tarski_275_276.pdf
First we convert the clumsy indirect approximation of
self-reference by getting rid of the extraneous x we
also swap the LHS with the RHS.
p if and only if p ∉ True
Note that this transformation is not proven to be truth preserving.
-- Mikko
Tarski Undefinability and the correctly formalized Liar Paradox
Re: Tarski Undefinability and the correctly formalized Liar Paradox