Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Why Tarski is wrong
Date: Tue, 18 Mar 2025 16:34:35 +0200
Organization: -
Lines: 50
Message-ID: <vrc09r$2mb8o$1@dont-email.me>
References: <vr7v51$2u81k$3@dont-email.me> <vr8o53$3q301$1@dont-email.me> <vr962u$5hr9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 18 Mar 2025 15:34:35 +0100 (CET)
Injection-Info: dont-email.me; posting-host="74c98aea039f38675d647719960c989e";
	logging-data="2829592"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/3yZD+5z3r3A33Wje8ADb9"
User-Agent: Unison/2.2
Cancel-Lock: sha1:maPA/kGNzUmkfl+WuOdh1DkekHU=

On 2025-03-17 12:54:53 +0000, olcott said:

> On 3/17/2025 3:57 AM, Mikko wrote:
>> On 2025-03-17 01:50:24 +0000, olcott said:
>> 
>>> On 3/16/2025 5:50 PM, Richard Damon wrote:
>>>> On 3/16/25 11:12 AM, olcott wrote:
>>>>> On 3/16/2025 7:36 AM, joes wrote:
>>>>>> Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:
>>>>>>> 
>>>>>>> We can define a correct True(X) predicate that always succeeds except
>>>>>>> for unknowns and untruths, Tarski WAS WRONG !!!
>>>>>> That does not disprove Tarski.
>>>>>> 
>>>>> 
>>>>> He said that this is impossible and no
>>>>> counter-examples exists that shows that I am wrong.
>>>>> True(GC) == FALSE Cannot be proven true AKA unknown
>>>>> True(LP) == FALSE Not a truth-bearer
>>>>> 
>>>> 
>>>> 
>>>> But if x is what you are saying is
>>> 
>>> A True(X) predicate can be defined and Tarski never
>>> showed that it cannot.
>>> 
>>> True(X) only returns TRUE when a a sequence of truth
>>> preserving operations can derive X from the set of basic
>>> facts and returns false otherwise.
>> 
>> By this criterion True("There is no truth predicate") is TRUE.
>> 
> 
> The True(X) predicate only takes formalized Natural Language so that
> would  be rejected as false.

No, if we interprete "There is no truth predicate" to represent the
formalized natural language expression that means that there is no
turth predicate.

> LP := ~True(LP) would also be rejected
> as ~TRUE. The Principle of explosion does not apply truth preserving
> operations.

The expression LP := ~True(LP) should be rejected as a syntax error.

-- 
Mikko