Re: Tarski Undefinability and the correctly formalized Liar Paradox

On 5/25/24 2:32 PM, olcott wrote:

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).
 

The statement has a meaning, but about a statement that has no meaning.
IF I tell you that all Frobox are Blitzcracken, but haven't defined either terem, have I said anything with meaning?