Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Analytic Expressions of language not linked to their semantic meaning
 are simply untrue V2
Date: Mon, 29 Jul 2024 12:16:04 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <v88iol$ip5n$1@dont-email.me>
References: <v86olp$5km4$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 29 Jul 2024 19:16:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9d358cc663705f17d44fb4afa23cd753";
	logging-data="615607"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+uTxtegQAR+KfBlF90P1vG"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:++gKSxEN8KiOwqLg9+478ILRa7w=
In-Reply-To: <v86olp$5km4$1@dont-email.me>
Content-Language: en-US
Bytes: 3233

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.pdf
https://liarparadox.org/Tarski_275_276.pdf

The 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; Genius
hits a target no one else can see." Arthur Schopenhauer