Re: Tarski Undefinability and the correctly formalized Liar Paradox

On 5/25/2024 1:16 PM, Richard Damon wrote:

On 5/25/24 1:51 PM, olcott wrote:

On 5/25/2024 10:56 AM, Richard Damon wrote:

On 5/25/24 11:27 AM, olcott wrote:

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

>
But, your final sentence no longer DEFINES what p is, it just references an undefined term, whch is an error.
>

>
You didn't finish reading the rest of my correction
to Tarski's formalization of the Liar Paradox.
>
p if and only if p ∉ True
The above sentence says that p is logically equivalent
to itself not being a member of true sentences.
>

 No that ststement says that p is true only if p is not an element of the set True.
 

So you said it was meaningless (undefined) and now you provide
its meaning. Can you at least be consistent with yourself?
(Probably not when rebuttal mode has higher priority for you).
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer