Author(s): Evert W. Beth (Eds.)
Series: Studies in Logic and the Foundations of Mathematics, Volume 25
Publisher: Elsevier Science
Year: 1959
Language: English
Pages: iii-xxviii, 3-731
Content:
Edited by
Page iii
Copyright page
Page iv
Dedication
Page v
Preface
Pages ix-xv
Evert W. Beth
Preface To The Torchbook Edition
Page xvi
C.P.C. Beth-Pastoor
Remarks on Terminology and Notation-Instructions for Use
Pages xvii-xxi
Addenda & Corrigenda
Pages xxii-xxviii
Chapter 1 The Prehistory of Research into Foundations
Pages 3-30
Chapter 2 Aristotle's Theory of Science
Pages 31-51
Chapter 3 Historical Development of Symbolic Logic and Formalised Axiomatics
Pages 52-78
Chapter 4 Introduction
Pages 81-89
Chapter 5 Extension of the System of Natural Numbers
Pages 90-112
Chapter 6 The Theory of Natural Numbers
Pages 113-131
Chapter 7 Axiomatics of Fundamental Theories of Modern Mathematics
Pages 132-174
Chapter 8 Introduction
Pages 177-201
Chapter 9 Survey of Symbolic Logic
Pages 202-232
Chapter 10 Finitary Theory of Proof
Pages 233-254
Chapter 11 Syntax
Pages 257-316
Chapter 12 Semantics
Pages 317-350
Chapter 13 Logicism
Pages 353-364
Chapter 14 Cantorism
Pages 365-408
Chapter 15 Intuitionism
Pages 409-463
Chapter 16 Nominalism
Pages 464-477
Chapter 17 The Paradoxes of Logic and Set Theory and their Solution
Pages 481-518
Chapter 18 Completeness Theorems for Logical Systems
Pages 521-541
Chapter 19 The Calculus of Systems and Models
Pages 542-556
Chapter 20 Further Applications of Topological Methods
Pages 557-580
Chapter 21 The Theory of Recursive Functions and the Negative Results Concerning the Decision Problem
Pages 583-609
Chapter 22 Metamathematics, Philosophy of Mathematics, and General Philosophy
Pages 613-648
Exercises
Pages 649-681
Bibliography
Pages 682-713
Index of Authors
Pages 715-720
Index of Subjects
Pages 721-731
