Sujet : Analytic Expressions of language not linked to their semantic meaning are simply untrue V2
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logicDate : 29. Jul 2024, 18:16:04
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v88iol$ip5n$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
I re-establish the correct foundation of {analytic truth} and
this includes true in math.
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.
It seems simplistic except when understood to be saying the same
thing as this much more complex analysis. Please take a quick
peek at that paper. It gives me much more credibility.
Prolog detects [and rejects] pathological self reference in the Gödel sentence
https://www.researchgate.net/publication/350789898_Prolog_detects_and_rejects_pathological_self_reference_in_the_Godel_sentence*The same thing as the first paragraph with more technical details*
{The truth about every expression of (formal or formalized
natural language) language that can be known to be true on
the basis of its meaning expressed in language}.
Corrects the analytic / synthetic distinction so that it is
unequivocal thus not subject to Quine's objections.
https://plato.stanford.edu/Entries/analytic-synthetic/Every truth that can be expressed in language is an analytic
truth, such as "some pediatricians are rich".
Every truth that cannot be expressed in language is a synthetic
truth such as the actual sound of dogs barking.
A lack up connection from an expression to its semantic meaning
within the objects of this language such as PA simply means
untrue in PA.
A connection of this same expression in another different
language within the objects of this language such as meta-math
means true in meta-math.
This same thing goes for Tarski's analysis of the Liar Paradox.
The formalized version of "This sentence is not true" is not true
in his theory.
https://liarparadox.org/Tarski_247_248.pdfhttps://liarparadox.org/Tarski_275_276.pdfThe formalized version of:
This sentence is not true: "This sentence is not true"
is true in his metatheory.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer