Introduction to Logic and to the Methodology of Deductive Sciences
Seiten
1994
|
4th Revised edition
Oxford University Press Inc (Verlag)
978-0-19-504472-0 (ISBN)
Oxford University Press Inc (Verlag)
978-0-19-504472-0 (ISBN)
The 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.
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout the conceptual side or logic is stressed.
Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout the conceptual side or logic is stressed.
Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.
FIRST 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
Erscheint lt. Verlag | 24.3.1994 |
---|---|
Reihe/Serie | Oxford Logic Guides ; 24 |
Überarbeitung | Jan Tarski |
Verlagsort | New York |
Sprache | englisch |
Maße | 245 x 161 mm |
Gewicht | 499 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
ISBN-10 | 0-19-504472-X / 019504472X |
ISBN-13 | 978-0-19-504472-0 / 9780195044720 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
31,15 €
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70 €
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70 €