Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: How a True(X) predicate can be defined for the set of analytic knowledge
Date: Fri, 21 Mar 2025 10:41:31 +0200
Organization: -
Lines: 25
Message-ID: <vrj8nr$16c78$1@dont-email.me>
References: <vrfvbd$256og$2@dont-email.me> <3cf0a34d9382774fd8275a118d1af8b0841c8eb1@i2pn2.org> <vrhacd$3fbja$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 21 Mar 2025 09:41:31 +0100 (CET)
Injection-Info: dont-email.me; posting-host="cae169de1f4b106dcdbefb0dc8de4776";
	logging-data="1257704"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/fUi7zOV4U4QMJSSV33Ax4"
User-Agent: Unison/2.2
Cancel-Lock: sha1:hXspAiRjJB902XPk9sdLwCH/TDw=

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:
>>> It is stipulated that analytic knowledge is limited to the
>>> set of knowledge that can be expressed using language or
>>> derived by applying truth preserving operations to elements
>>> of this set.
>> 
>> Which just means that you have stipulated yourself out of all classical 
>> logic, since Truth is different than Knowledge. In a good logic system, 
>> Knowledge will be a subset of Truth, but you have defined that in your 
>> system, Truth is a subset of Knowledge, so you have it backwards.
>> 
> 
> True(X) always returns TRUE for every element in the set
> of general knowledge that can be expressed using language.
> It never gets confused by paradoxes.

Not useful unless it returns TRUE for no X that contradicts anything
that can be inferred from the set of general knowledge.

-- 
Mikko