Path: ...!news.tomockey.net!news.samoylyk.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: How a True(X) predicate can be defined for the set of analytic
 knowledge
Date: Tue, 1 Apr 2025 21:30:34 -0500
Organization: A noiseless patient Spider
Lines: 54
Message-ID: <vsi7ga$jd38$2@dont-email.me>
References: <vrfvbd$256og$2@dont-email.me> <vrh432$39r47$1@dont-email.me>
 <vrhami$3fbja$2@dont-email.me> <vrj9lu$1791p$1@dont-email.me>
 <vrjn82$1ilbe$2@dont-email.me> <vrmpc1$bnp3$1@dont-email.me>
 <vrmteo$cvat$6@dont-email.me> <vru000$33rof$1@dont-email.me>
 <vrug71$3gia2$6@dont-email.me>
 <0306c3c2d4a6d05a8bb7441c0b23d325aeac3d7b@i2pn2.org>
 <vrvnvv$ke3p$1@dont-email.me> <vs0egm$1cl6q$1@dont-email.me>
 <vs1f7j$296sp$2@dont-email.me> <vs3ad6$2o1a$1@dont-email.me>
 <vs4sjd$1c1ja$8@dont-email.me> <vs63o2$2nal3$1@dont-email.me>
 <vs6v2l$39556$17@dont-email.me> <vs8hia$13iam$1@dont-email.me>
 <vs8uoq$1fccq$2@dont-email.me> <vsb4in$14lqk$1@dont-email.me>
 <vsb9d5$19ka5$1@dont-email.me> <vsdlq8$3shbn$1@dont-email.me>
 <vsemub$th5g$4@dont-email.me> <vsg1gh$2ehsf$1@dont-email.me>
 <vsh9ko$3mdkb$3@dont-email.me>
 <cf72583a1a71a2ec11669e72f3ed07ba8e9adc9b@i2pn2.org>
 <vshsmj$90ss$3@dont-email.me>
 <1fec210061e6d62f5c3466c763e3fa246bb75dfd@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 02 Apr 2025 04:30:35 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1f6598129bdb8510307242921439c403";
	logging-data="636008"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+iSbfX5T7Z2a4FQ3ByXJV8"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:D38M63dHHvmERM/JEWpr7Sa2Qhw=
X-Antivirus-Status: Clean
In-Reply-To: <1fec210061e6d62f5c3466c763e3fa246bb75dfd@i2pn2.org>
Content-Language: en-US
X-Antivirus: Norton (VPS 250401-6, 4/1/2025), Outbound message
Bytes: 4171

On 4/1/2025 8:07 PM, Richard Damon wrote:
> On 4/1/25 7:26 PM, olcott wrote:
>> On 4/1/2025 5:31 PM, Richard Damon wrote:
>>> On 4/1/25 2:00 PM, olcott wrote:
>>>> On 4/1/2025 1:36 AM, Mikko wrote:
>>>>> On 2025-03-31 18:29:32 +0000, olcott said:
>>>>>
>>>>>> On 3/31/2025 4:04 AM, Mikko wrote:
>>>>>>> On 2025-03-30 11:20:05 +0000, olcott said:
>>>>>>>
>>>>>>> You have never expressed any disagreement with the starting 
>>>>>>> points of
>>>>>>> Tarski's proof. You have ever claimed that any of Tarski's 
>>>>>>> inferences
>>>>>>> were not truth preserving. But you have claimed that the last one of
>>>>>>> these truth preservin transformation has produced a false 
>>>>>>> conclusion.
>>>>>>>
>>>>>>
>>>>>> It is ALWAYS IMPOSSIBLE to specify True(X) ∧ ~Provable(X)
>>>>>> (what Tarski proved) when-so-ever True(X) ≡ Provable(X).
>>>>>> https://liarparadox.org/Tarski_275_276.pdf
>>>>>
>>>>> Tarski's proof was not about provability. Gödel had already proved
>>>>> that there are unprovable true sentences. Tarski's work is about
>>>>> definability.
>>>>>
>>>>
>>>> https://liarparadox.org/Tarski_275_276.pdf
>>>> Step (3) is self-contradictory, thus his whole proof fails.
>>>>
>>>
>>> Yes, and since that step was logically done, it says somewhere we 
>>> assumed something incorrect. The assumption we made was that a Truth 
>>> Predicate existed, so that can't be true.
>>>
>>> You apparently don't understand how logic works.
>>
>> That Tarski assumed what is false ruined his proof.
>> True(X) means that X is derived by applying truth preserving
>> operations to basic facts.
>>
> 
> The only thing he assumed was that a Truth Predict could exist.
> 

Bullshit. His step(3) assumed a falsehood as the basis of
his whole proof. The way that ALL truth that can be expressed
in language really works is semantic logical entailment
from basic facts.

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