Sujet : Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logicDate : 31. Jul 2024, 17:51:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8dq1s$1m5hc$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 7/28/2024 7:44 PM, olcott wrote:
The truth about every expression of language that can be known
to be true on the basis of its meaning expressed in language is
that a lack of connection simply means untrue. The Tarski
Undefinability theorem and the 1931 Gödel incompleteness Theorem
never could understand that.
What I am doing is establishing the foundation of analytical
truth. Every expression of (formal or natural) language that
lacks a truth-maker connection to its meaning in this system
is simply untrue in this system. When G and ~G lack a truth-maker
in PA then G is simply not a truth-bearer in PA.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer