Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue

On 7/28/2024 8:16 PM, Richard Damon wrote:

On 7/28/24 8: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.
>
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 problem is that moth "truths" aren't True by just the meaning of their words.
 

{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.
The formalized version of:
This sentence is not true: "This sentence is not true"
is true in his metatheory.
The difference between PA and MM is that
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer