Path: 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 14:15:48 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <vrn294$hpve$4@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> <vrmomn$b31e$1@dont-email.me>
 <vrmsmp$cvat$4@dont-email.me>
 <4fcdc85c3c241ccf5dae48e0812f51fcd5aee1d3@i2pn2.org>
 <vrn1p6$hpve$2@dont-email.me>
 <ead79b94d318e397648f1d43f41d6616be3392a4@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 20:15:48 +0100 (CET)
Injection-Info: dont-email.me; posting-host="903255dca1ec11f9d88f63e6090ad436";
	logging-data="583662"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19J7EO5Rv2FKu5gJu+nHsWc"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0f55UAY9f/uWH5hF1NbE5oBYoY8=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250322-4, 3/22/2025), Outbound message
In-Reply-To: <ead79b94d318e397648f1d43f41d6616be3392a4@i2pn2.org>
Content-Language: en-US

On 3/22/2025 2:10 PM, joes wrote:
> Am Sat, 22 Mar 2025 14:07:17 -0500 schrieb olcott:
>> On 3/22/2025 12:43 PM, Richard Damon wrote:
>>> On 3/22/25 1:40 PM, olcott wrote:
>>>> On 3/22/2025 11:32 AM, Mikko wrote:
>>>>> On 2025-03-21 12:43:39 +0000, olcott said:
>>>>>> On 3/21/2025 3:41 AM, Mikko wrote:
> 
>>>>> Can you parse "It might be useful if it would return something else
>>>>> that TRUE for some X, especially if that X contradicts something that
>>>>> can be inferred from the set of general knowledge." ?
>>>> True(X) implements a membership algorithm for elements of the body of
>>>> human general knowledge that can be expressed using language.
>>> Then it is Known(x) not True(x).
>>> Sorry, you just admitted to your fraud.
> No need to apologise.
> 
>> It is pretty stupid to claim that Knowledge "⊂" Truth is an example of
>> fraud.
>> True(X) works perfectly within the body of knowledge that can be
>> expressed using language.
> But not for unknown truths.
> 

Is it really that hard to understand that knowledge
does not include unknowns?

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