Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic,comp.theory
Subject: Re: Tarski Undefinability and the correctly formalized Liar Paradox
Date: Sat, 25 May 2024 14:46:32 -0500
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <v2tf6o$30u1r$2@dont-email.me>
References: <v2t00s$2u7i5$1@dont-email.me> <v2t1mj$22aq1$2@i2pn2.org>
 <v2t8eg$2vna0$2@dont-email.me> <v2t9tf$22aq1$3@i2pn2.org>
 <v2tar7$2vna0$8@dont-email.me> <v2tdr8$22aq1$6@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 25 May 2024 21:46:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="010db72b80f31f696ef17c51994f71bb";
	logging-data="3176507"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+DyygwivNqcSOIU1YWT/sz"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:uGn3ntdrRIFqSg7lsgF8/QdKYLc=
Content-Language: en-US
In-Reply-To: <v2tdr8$22aq1$6@i2pn2.org>
Bytes: 3118

On 5/25/2024 2:23 PM, Richard Damon wrote:
> 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.
> 
> 

This sentence is not true.
What is it not true about?
It is not true about being not true.
What is it not true about being not true about.
It is not true about being not true about being not true.

OK, so it NEVER gets to the point
thus NEVER derives any truth value,
thus is not a truth-bearer,
thus must be rejected by any formal system
of bivalent logic as a type mismatch error.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer