From Newsgroup: comp.ai.philosophy
On 7/23/2024 11:26 AM, olcott wrote:
I am establishing a new meaning for
{true on the basis of meaning expressed in language}
Formerly known as {analytic truth}.
This makes True(L,x) computable and definable.
L is the language of a formal mathematical system.
x is an expression of that language.
When we understand that True(L,x) means that there is a finite
sequence of truth preserving operations in L from the semantic
meaning of x to x in L, then mathematical incompleteness is abolished.
~True(L,x) ∧ ~True(L,~x)
means that x is not a truth-bearer in L.
It does not mean that L is incomplete
Message ID <v7olj0$19f9b$
1@dont-email.me> of above post
The above post is when I bridged the analytic/synthetic
divide that has existed since 1952
https://en.wikipedia.org/wiki/Two_Dogmas_of_Empiricism
with: "true on the basis of meaning expressed in language"
Now we have Russell's logical-atomism from the
correspondence theory of truth
the world consists of a plurality of independently
existing things exhibiting qualities and standing
in relations. According to logical atomism, all truths
are ultimately dependent upon a layer of atomic facts,
which consist either of a simple particular exhibiting
a quality, or multiple simple particulars standing in
a relation.
https://plato.stanford.edu/entries/logical-atomism/
providing the axiomatic basis for the coherence theory
of truth. Linking to Wittgenstein's
'True in Russell's system' means, as was said: proved
in Russell's system; and 'false in Russell's system'
means: the opposite has been proved in Russell's system.
(Wittgenstein 1983,118-119)
--
Copyright 2026 Olcott<br><br>
My 28 year goal has been to make <br>
"true on the basis of meaning expressed in language"<br>
reliably computable.<br><br>
This required establishing a new foundation<br>
--- Synchronet 3.21b-Linux NewsLink 1.2