Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.lang, comp.theory
Subject: Re: Analytical truth redefined so that Quine can understand that bachelors are unmarried
Date: Mon, 18 Mar 2024 12:30:45 +0200
Organization: -
Lines: 30
Message-ID: <ut954l$4epn$1@dont-email.me>
References: <ttednQpP38i-2sL9nZ2dnUU7-K3NnZ2d@giganews.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: dont-email.me; posting-host="21568642e6c943ba0727b430eb82bfca";
	logging-data="146231"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+lhBpx79TYuPBdmgskBQT4"
User-Agent: Unison/2.2
Cancel-Lock: sha1:2z1AtUZ++eMU+RldKOIQsmnpQC4=
Bytes: 1968

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.

-- 
Mikko