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

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.
Truth by the meaning of the words is almost the definition of the axioms of a system, or maybe the simpler theorems.
After all, what in the meaning of the words says that the square of the hypotenuse of a right triangle is equal to the sum of the squares of the other two sides?
So, those theorems are talking about truths that are much more complicated, truths that aren't just from the basic meaning of the words, but are things that are established by a perhaps long, or even infinite, chain of logical deductions from that fundamental truths that you established from the basic meanings.
Note to, "Prolog" is not the be-all of logic. Can you use it to "prove" the pythogrean theorem?
Also, You haven't put Godel's actual sentence into Prolog, just an incorret approximation of that sentence, that is even only expressed in a system other than the system that the sentence proves to be incomplete (Your sentences is something implied in MM, not the actual sentence from PA).
I don't think Prolog is capable of putting in Godel sentence, as it relies on logic forms more advanced than Prolog can handle, and Prolog has very limited support for "math" like is used in the Godel sentence.