Citation
Tarski, Alfred, and Jan Tarski. Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press, 1941. Google Books Link
Excerpts
| Page | Quote | Notes |
|---|---|---|
| 81 | ”the mere fact that it has been possible to develop the whole of arithmetic, including the disciplines erected upon it – algebra, analysis, and so on – as part of pure logic, constitutes one of the grandest achievements of recent logical investigations” | |
| 157 | ”The axioms listed here […] should really begin with the words ‘for any elements , , of the set . […] But […] we often omit such a phrase and merely add it in our mind; this holds not only for the axioms but also for the theorems and definitions which […] occur in the course of our considerations.” |
Zotero Metadata
Abstract
Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw upon the concepts and principles presented in the first section. Numerous exercises and an introduction to the theory of real numbers are also presented. Students, teachers and general readers interested in logic and mathematics will find this book to be an invaluable introduction to the subject.
Metadata
FirstAuthor:: Tarski, Alfred > Author:: Tarski, Jan
Title:: Introduction to Logic and to the Methodology of the Deductive Sciences ShortTitle:: Year:: 1941
Citekey:: tarski_introduction_1994
itemType:: book
Publisher:: Oxford University Press
ISBN:: 978-0-19-504472-0