Description
Book SynopsisThe fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building. A short biographical sketch of Alfred Tarski is a newly-added section.
Trade Review"For Tarski logic was not only an essential tool of mathematics but the very foundation of it. What is more, he credited logic with having even more general meaning and significance. This new edition of Tarski's classic book will certainly help a new generation of readers in this respect." -- Roman Murawski, Modern Logic, Vol 8, No 1/2 (January 1998 - April 2000) "For Tarski logic was not only an essential tool of mathematics but the very foundation of it. What is more, he credited logic with having even more general meaning and significance. This new edition of Tarski's classic book will certainly help a new generation of readers in this respect." -- Roman Murawski, Modern Logic, Vol 8, No 1/2 (January 1998 - April 2000)
Table of ContentsFIRST PART: Elements of Logic. Deductive Method 1: On the Use of Variables 2: On the Sentential Calculus 3: On the Theory of Identity 4: On the Theory of Classes 5: On the Theory of Relations 6: On the Deductive Method SECOND PART: Applications of Logic and Methodology in Constructing Mathematical Theories 7: Construction of a Mathematical Theory: Laws of Order for Numbers 8: Construction of a Mathematical Theory: Laws of Addition and Subtraction 9: Methodological Considerations of the Constructed Theory 10: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers
