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

On 7/31/24 12:51 PM, olcott wrote:

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.
 

Except that G does have truth-makers in PA, it just is an infinite sequence of steps, done by testing EVERY natural number against the relationship, and we know that none of them will ever satisfy it be knowledge in MM, but that knowledge coming from MM doesn't negate that it can be tested in PA and must get the same answer.
The fact that to show G is true in PA needs an infinte set of steps in PA means that those do not form a proof of it in PA.
The fact that this is just beyond your ability to comprehend doesn't make it not true, it just shows your lack of knowledge of the field.
That you keep repeating the false claim, after having it expalined to you, just shows that you are nothing but a pathetic ignorant pathologicl lying idiot.