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.
--
Mikko
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)