A Study in the Philosophy of Science

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