The Philosophy of Mathematics (Readings in Philosophy)

Title......Page 0002_0001.djvu
Copyright......Page 0003_0001.djvu
Contents......Page 0004_0001.djvu
Introduction......Page 0005_0001.djvu
I – Semantic Entailment of Formal Derivability , E.W. Beth......Page 0013_0001.djvu
II – The Completeness of the First-Order Functional Calculus, Leon Henkin......Page 0046_0001.djvu
III – Completeness in the Theory of Types, Leon Henkin......Page 0055_0001.djvu
IV – Languages in Which Self Reference is Possible, Raymond M. Smullyan......Page 0068_0001.djvu
V – Informal Rigour and Completeness Proofs, Georg Kreisel......Page 0082_0001.djvu
VI – Systems of Predicative Analysis, Solomon Feferman......Page 0099_0001.djvu
VII – An Interpretation of the Intuitionistic Sentential Logic, Kurt Gödel......Page 0132_0001.djvu
VIII – The Present Theory of Turing Machine Computability, Hartley Rogers, Jr.......Page 0134_0001.djvu
IX – Mathematical Logic: What has It Done for the Philosophy of Mathematics?, Georg Kreisel......Page 0151_0001.djvu
X – The Metaphysics of the Calculus, Abraham Robinson......Page 0157_0001.djvu
XI – What is Elementary Geometry?, Alfred Tarski......Page 0168_0001.djvu
Notes on the Contributors......Page 0180_0001.djvu
Bibliography......Page 0182_0001.djvu
Philosophical Discussions of Logic and the Foundations of Mathematics......Page 181
Natural Deduction Methods and Other Developments in First-Order Logic......Page 0183_0001.djvu
Model Theory......Page 0184_0001.djvu
Incompleteness and Undecidability......Page 183
Higher-Order Logics......Page 0185_0001.djvu
Set Theory......Page 184
Recursive Functions and Computability......Page 0186_0001.djvu
Intuitionism......Page 185
Constructive and Finitistic Foundations (Other than Intuitionism)......Page 0187_0001.djvu
Geometry......Page 186
Mathematics and Logic......Page 0188_0001.djvu
The Status of Mathematical and Logical Truths......Page 187
Index of Names......Page 0189_0001.djvu
A-K......Page 188
K-Z......Page 0190_0001.djvu