Re: Why Tarski is wrong

On 3/16/25 9:50 PM, olcott wrote:

On 3/16/2025 5:50 PM, Richard Damon wrote:

On 3/16/25 11:12 AM, olcott wrote:

On 3/16/2025 7:36 AM, joes wrote:

Am Sat, 15 Mar 2025 20:43:11 -0500 schrieb olcott:

>
We can define a correct True(X) predicate that always succeeds except
for unknowns and untruths, Tarski WAS WRONG !!!

That does not disprove Tarski.
>

>
He said that this is impossible and no
counter-examples exists that shows that I am wrong.
True(GC) == FALSE Cannot be proven true AKA unknown
True(LP) == FALSE Not a truth-bearer
>

>
>
But if x is what you are saying is

 A True(X) predicate can be defined and Tarski never
showed that it cannot.

Sure he did, because he can create an expression x that it can not handle.

 True(X) only returns TRUE when a a sequence of truth
preserving operations can derive X from the set of basic
facts and returns false otherwise.

Right, so for the x that is true if and only if True(x) is false that he constructs in the language using properties created in a metalangugage that knows the langugage, What does True(x) return?
If it says FALSE, because there it thinks there is no path to x from a truth maker, then x turns out to be TRUE, and thus we have that True of a shown true statement is false, and thus True is broken.
If it says TRUE because of that, then from the relationship shown in the metalanguage, x must be false, and thus True just said a known false statement was true.

 This never fails on the entire set of human general
knowledge that can be expressed using language.

Because the entire set of human general knowledge isn't a formal logic system, and can't really be made into one.

 It is not fooled by pathological self-reference or
self-contradiction.
 

Sure it was, otherwise, what value should it have returned for that True(x)?
The problem is that pathology is out of the sight of the predicate, hidden in the unknown metalanguage.
The problem is give a sufficently powerful enough logic system (able to express the properties of the Natural Numbers) Tarski shows (with a proof borrowing from Godel in ideas) that we CAN create such a statement in the language, that expresses in the metalanguage (and only knowable in the metalanguage) that pathological relationship.
THis just involves logic that is beyound your kindergarten level of knowledge of logic, that you are too stupid to see exists.