Page 1 of 1
Tarski undefinability totally refuted by junior high school logic
Posted: Thu May 23, 2019 4:11 am
by PeteOlcott
Sound deductive inference necessitates true conclusions
therefore sound deductive inference applied to formal
proofs of mathematical logic necessitates true consequences.
The above sentence is 100% of totally all that is needed to
define the True(x) the Tarski "proved" to be impossible to define.
Re: Tarski undefinability totally refuted by junior high school logic
Posted: Fri Aug 16, 2019 10:49 pm
by Eodnhoj7
PeteOlcott wrote: ↑Thu May 23, 2019 4:11 am
Sound deductive inference necessitates true conclusions
therefore sound deductive inference applied to formal
proofs of mathematical logic necessitates true consequences.
The above sentence is 100% of totally all that is needed to
define the True(x) the Tarski "proved" to be impossible to define.
False, soundness is a qualitative definition of a quantitatitative phenomenon (ie math). What is sound is grounded in an interpretation of phenomenon and this interpretation as to what constitutes soundness progressively variates with time.
What is sound today, given certain axioms in mathematics, may not be sound tomorrow given that the axioms that compose mathematics must be viewed as progressive quantities (if one is to quantify axiom growth in the history of mathematics).