Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Alfred Tarski (1901–1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of geometry, set theory, model theory, algebraic logic, and universal algebra. Throughout his career, he taught mathematics and logic at universities and sometimes in secondary schools. Many of his writings before 1939 were in Polish and remained inaccessible to most mathematicians and historians until now. This self-contained book focuses on Tarski’s early contributions to geometry and mathematics education, including the famous Banach–Tarski paradoxical decomposition of a sphere as well as high school mathematical topics and pedagogy. These themes are significant since Tarski’s later research on geometry and its foundations stemmed in part from his early employment as a high school mathematics teacher and teacher-trainer. The book contains careful translations and much newly uncovered social background of these works written during Tarski’s years in Poland. Alfred Tarski: Early Work in Poland—Geometry and Teaching serves the mathematical, educational, philosophical, and historical communities by publishing Tarski’s early writings in a broadly accessible form, providing background from archival work in Poland, and updating Tarski’s bibliography.

Mathematics. --- Geometry. --- History. --- Mathematical logic. --- Mathematics --- Mathematical Logic and Foundations. --- Mathematics Education. --- History of Mathematical Sciences. --- Study and teaching. --- Euclid's Elements --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Annals --- Auxiliary sciences of history --- Math --- Science --- Logic, Symbolic and mathematical. --- Tarski, Alfred. --- Tarski, A. --- Mathematics—Study and teaching . --- Tarski, Alfred --- Teitelbaum, Alfred,

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that the notion in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work.

Philosophy. --- Epistemology. --- Logic. --- History of Philosophy. --- Truth. --- Truth-functions. --- Tarski, Alfred, --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Conviction --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logic, Symbolic and mathematical --- Belief and doubt --- Skepticism --- Certainty --- Necessity (Philosophy) --- Pragmatism --- Genetic epistemology. --- Philosophy (General). --- Developmental psychology --- Knowledge, Theory of --- Mental philosophy --- Humanities --- Epistemology --- Theory of knowledge --- Knowledge, Theory of. --- History.