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: sci.logic
Subject: Re: How a True(X) predicate can be defined for the set of analytic
 knowledge
Date: Sat, 22 Mar 2025 12:36:39 -0500
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <vrmsf7$cvat$3@dont-email.me>
References: <vrfvbd$256og$2@dont-email.me>
 <3cf0a34d9382774fd8275a118d1af8b0841c8eb1@i2pn2.org>
 <vrhacd$3fbja$1@dont-email.me> <vrj8nr$16c78$1@dont-email.me>
 <vrjmtr$1ilbe$1@dont-email.me>
 <7d0164a6001fc519a244b7ed4930d757b9bd7ac1@i2pn2.org>
 <vrl0tr$2na3e$1@dont-email.me>
 <cc75e1bdfa918eedc80a9230b0484acda284dc56@i2pn2.org>
 <vrl3fn$2nttr$3@dont-email.me>
 <8c4ea7f74348f8becac017bb33d6cab1b30f5e01@i2pn2.org>
 <vrl9ab$2t44r$3@dont-email.me>
 <4702eef1b0ace44f2a334894a27ead737d674fe6@i2pn2.org>
 <vrmk28$5bpl$4@dont-email.me>
 <635254f8b7fef9a54b271c626326f2ac232e949e@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Mar 2025 18:36:39 +0100 (CET)
Injection-Info: dont-email.me; posting-host="0ec9c516aeb6faf287a21f372f67aa5c";
	logging-data="425309"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18T9p1wvdZ0KTlrpRFzSX5P"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:mMSab8zp/0VFfoaGkM/wM/Zqckc=
X-Antivirus-Status: Clean
In-Reply-To: <635254f8b7fef9a54b271c626326f2ac232e949e@i2pn2.org>
X-Antivirus: Norton (VPS 250322-4, 3/22/2025), Outbound message
Content-Language: en-US
Bytes: 3937

On 3/22/2025 11:04 AM, joes wrote:
> Am Sat, 22 Mar 2025 10:13:12 -0500 schrieb olcott:
>> On 3/22/2025 5:11 AM, joes wrote:
>>> Am Fri, 21 Mar 2025 22:03:39 -0500 schrieb olcott:
>>>> On 3/21/2025 9:31 PM, Richard Damon wrote:
>>>>> On 3/21/25 9:24 PM, olcott wrote:
>>>>>> On 3/21/2025 7:50 PM, Richard Damon wrote:
>>>>>>> On 3/21/25 8:40 PM, olcott wrote:
>>>>>>>> On 3/21/2025 6:49 PM, Richard Damon wrote:
>>>>>>>>> On 3/21/25 8:43 AM, olcott wrote:
>>>>>>>>>> On 3/21/2025 3:41 AM, Mikko wrote:
>>>>>>>>>>> On 2025-03-20 14:57:16 +0000, olcott said:
>>>>>>>>>>>> On 3/20/2025 6:00 AM, Richard Damon wrote:
>>>>>>>>>>>>> On 3/19/25 10:42 PM, olcott wrote:
> 
>>>>>>>>>> Because my system begins with basic facts and actual facts can't
>>>>>>>>>> contradict each other and no contradiction can be formed by
>>>>>>>>>> applying only truth preserving operations to these basic facts
>>>>>>>>>> there are no contradictions in the system.
> 
>>> The liar sentence is contradictory.
> ^
> 
>>>>>>>> It is self evidence that for every element of the set of human
>>>>>>>> knowledge that can be expressed using language that undecidability
>>>>>>>> cannot possibly exist.
> 
>>> Not self-evident was Gödel's disproof of that.
> ^
> 
>>>>>> When the body of human general knowledge has all of its semantics
>>>>>> encoded syntactically AKA Montague Grammar of Semantics then a proof
>>>>>> means validation of truth.
>>>>> Yes, proof is a validatation of truth, but truth does not need to be
>>>>> able to be validated.
>>>> True(X) ONLY validates that X is true and does nothing else.
>>> Not if X is unknown (but still true).
>> You must pay complete attention to ALL of my words or you get the
>> meaning that I specify incorrectly.

> Try explaining differently, then. What does your supposed truth predicate
> say about unknown truths?
> 

The body of human general knowledge that can be expressed
using language contains zero unknown truths.

When we expect a True(X) predicate to be the actual omniscient
mind-of-God our expectations are out of whack.

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