XPost: comp.theory, sci.math
On 12/16/23 9:23 PM, olcott wrote:
*This is true by definition* Within the body of analytical truth of the analytic/synthetic distinction every element of the body of analytic knowledge (BOAK) is true entirely on the basis of its connection to the semantic meanings that make it true.
And that includes INFINITE level of connections.
Remember, "Sementic" in logic does NOT mean "By the meaning of the words themselves".
This proves that Gödel's 1931 Incompleteness and Tarski's Undefinability Theorem cannot apply to the body of analytical knowledge (BOAK). Lacking
this connection excludes an expression from the BOAK, thus undecidable expressions cannot exist within the BOAK.
Nope., It prove you don't understand what you are talking about.
True(x) is defined by the above, within the BOAK thus refuting Tarski.
Nope, you don't understand what Tarski means by "definition of Truth:.
Every element of the BOAK has a provability connection to its semantic meanings truthmaker within the BOAK thus refuting both Tarski and Gödel
that say this cannot correctly and consistently accomplished.
Nope. "Provable" means has a finite length connection string.
True allows for infinite length conection string.
This has been explaid to you before, but in your inabiity to learn, you
have ignored it, making you just an idiotic liar and prove your stupidity.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)