Tarski Undefinability Theorem Succinctly Refuted

Philosophical, mathematical and computational logic, linguistics, formal argument, game theory, fallacies, paradoxes, puzzles and other related issues.

Tarski Undefinability Theorem Succinctly Refuted

Postby PL_OLCOTT on May 1st, 2019, 5:53 pm 

[a connected set of known truths necessarily always derives truth].

[Deductively Sound Formal Proofs]
If Axioms are defined as expressions of language having the
semantic property of Boolean true then this: True(x) ↔ (⊢x)
is the universal truth predicate that Tarski "proved" was impossible.

The 1936 Tarski Undefinability Proof
http://liarparadox.org/Peter_Linz_HP(Pages_318-319).pdf
PL_OLCOTT
Forum Neophyte
 
Posts: 1
Joined: 22 Apr 2019


Return to Logic

Who is online

Users browsing this forum: No registered users and 2 guests

cron