Introduction to Logic and to the Methodology of the Deductive SciencesOxford University Press, 1994 - 229 sayfa 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. |
Diğer baskılar - Tümünü görüntüle
Introduction to Logic and to the Methodology of the Deductive Sciences Alfred Tarski Sınırlı önizleme - 1994 |
Sık kullanılan terimler ve kelime öbekleri
Abelian group Alfred Tarski analogous antecedent apply arbitrary argument arithmetic assert axiom system axioms of System bijective function called Chapter commutative law concepts consequent consider considerations consisting construction contains contrapositive deductive sciences deductive theory defined definiens definition denote derived designatory function discussion disjunction domain elementary elements equation equinumerous equipollent equivalent example exercise exists a number expressions false footnote formula free variables geometry group with respect identity implication instance integers interpretation irreflexive law of trichotomy laws of sentential LEIBNIZ's law logician mathematical discipline meaning method methodology multiplication natural numbers numbers x objects obtain occur particular phrase positive number preceding primitive terms proof of Theorem proved quantifiers reader real numbers relation less replace rule Section 37 segments sentential calculus sentential function set of numbers statements substitution symbol System A(2 Tarski theorems theory of relations true sentence truth tables words