Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: sci.logic,sci.lang
Subject: Re: Analytical truth redefined so that Quine can understand that
 bachelors are unmarried
Date: Thu, 21 Mar 2024 08:46:43 -0500
Organization: A noiseless patient Spider
Lines: 72
Message-ID: <uthdo5$282ll$1@dont-email.me>
References: <0BWdnQX0AewCYmT4nZ2dnZfqlJ-dnZ2d@giganews.com>
 <ute8ut$1dgto$1@dont-email.me>
 <v2qdndqj8NDzRmf4nZ2dnZfqlJ-dnZ2d@giganews.com>
 <uth442$25o34$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 21 Mar 2024 13:46:45 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="ea8dd002d52919ad76b44ab57fe82cde";
	logging-data="2362037"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19HzBYq1ATlhbJ90UPyXmc0"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:W2KzJFcJy2YfZF8thusoyvC33J4=
In-Reply-To: <uth442$25o34$1@dont-email.me>
Content-Language: en-US
Bytes: 4145

On 3/21/2024 6:02 AM, Mikko wrote:
> On 2024-03-20 12:49:50 +0000, olcott said:
> 
>> On 3/20/2024 4:06 AM, Mikko wrote:
>>> On 2024-03-19 21:11:59 +0000, olcott said:
>>>
>>>> On 3/18/2024 5:30 AM, Mikko wrote:
>>>>> On 2021-03-27 14:54:31 +0000, olcott said:
>>>>>
>>>>>> Most people construe the term "absolute truth" as necessarily 
>>>>>> coming from the mind of God, thus atheists reject absolute truth. 
>>>>>> Philosophy leaves religion out of it and says that analytical 
>>>>>> truth can be verified on the basis of its meaning.
>>>>>>
>>>>>> Because Quine had such a hard time understanding that bachelors 
>>>>>> are unmarried in his "Two Dogmas of Empiricism" I have adapted the 
>>>>>> definition of analytical truth so that it can be more directly 
>>>>>> divided from other forms of truth:
>>>>>
>>>>> It is a sin to say anything untrue about other people.
>>>>>
>>>>>> (1) Expressions of language that are defined to be true and
>>>>>
>>>>> Truth is not a matter of definition.
>>>>>
>>>>>> (2) Expressions of language that have been derived on the basis of 
>>>>>> applying truth preserving operations.
>>>>>
>>>>> Only affirmative sentences and only if derived from true sentences.
>>>>>
>>>>> Note that the word "sentence" has different meanings in comp.thery
>>>>> and sci.lang. In the former (and in sci.logic) it usually excludes
>>>>> all but affirmative sentences.
>>>>>
>>>>
>>>> I am redefining analytical truth such that it is entirely
>>>> comprised of expressions that are stipulated to be true
>>>> Facts, and expressions that are a necessary consequence of
>>>> these Facts.
>>>
>>> By the proposed redefinition different sets of stipulations
>>> yield different analytical truths.
>>>
>>
>> The stipulations are merely all of the Facts that comprise the
>> model of the actual world. When properly formalized in knowledge
>> ontology inheritance hierarchy this gives an AI mind the capability
>> of human reasoning.
> 
> In sci.logic one should be careful with the word "model". Most of
> the common meanings of the word are not valid here.
> 
> When you redefine the term "analytical truth" you should tell in
> the inroduction how it differs from the traditional concepts of
> "analytic truth", "synthetic truth", "empirical truth", and perhaps
> others.
> 

Every detail about the general knowledge of the actual world is encoded 
in formalized natural language knowledge ontology inheritance hierarchy.
In other words all general knowledge that can be encoded in language.

Specific knowledge about a situation context can be input to any 
analysis of the current situation. I am thinking that such a definition
could get Quine to understand that the semantic meaning of Bachelor(x)
is simply inherited from ~Married(x) & Male(x) & Adult(x).


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