Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Why Tarski is wrong
Date: Sun, 16 Mar 2025 20:50:24 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <vr7v51$2u81k$3@dont-email.me>
References: <vr1shq$1qopn$1@dont-email.me> <vr1sqe$1p3ti$5@dont-email.me>
 <vr2dla$25gpq$6@dont-email.me> <vr2e1p$1p3ti$7@dont-email.me>
 <vr2jki$2deaa$2@dont-email.me> <vr2jvg$2d3ah$2@dont-email.me>
 <vr2km8$2deaa$5@dont-email.me> <vr2l20$2d3ah$3@dont-email.me>
 <vr2m8j$2deaa$7@dont-email.me> <vr2mji$2d3ah$5@dont-email.me>
 <vr2qmt$2ij53$1@dont-email.me> <vr2r34$2d3ah$7@dont-email.me>
 <vr2tti$2kq04$3@dont-email.me> <vr3u4l$3idjs$2@dont-email.me>
 <vr4kkr$48ff$2@dont-email.me>
 <7f68c434c15abfc9d4b645992344f0e851f031a3@i2pn2.org>
 <vr4t3e$bkso$5@dont-email.me> <vr50bg$ed3o$5@dont-email.me>
 <vr5abg$m5ov$6@dont-email.me>
 <8ea8c8f1c661d0f2eef855af9b4c171d4f574826@i2pn2.org>
 <vr6po4$1udpn$7@dont-email.me>
 <4965dcbb84fc29c9ba9d3cea39b59a8608bfeb66@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 17 Mar 2025 02:50:26 +0100 (CET)
Injection-Info: dont-email.me; posting-host="b09575d7b73aca445b63f3a9538c27df";
	logging-data="3088436"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Lf6ZeBccn/xLK8O28C/JJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:O0KDEApoRYUWfuNuoDEIHl2f+9g=
In-Reply-To: <4965dcbb84fc29c9ba9d3cea39b59a8608bfeb66@i2pn2.org>
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250316-4, 3/16/2025), Outbound message
Bytes: 2988

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.

This never fails on the entire set of human general
knowledge that can be expressed using language.

It is not fooled by pathological self-reference or
self-contradiction.



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