Title | Logic, Foundations of Mathematics, and Computability Theory [electronic resource] : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975 / edited by Robert E. Butts, Jaakko Hintikka |
---|---|
Imprint | Dordrecht : Springer Netherlands, 1977 |
Connect to | http://dx.doi.org/10.1007/978-94-010-1138-9 |
Descript | 416 p. online resource |
I/Mathematical Logic -- Constructions โby Finiteโ -- Some Eastern Two Cardinal Theorems -- Functional Interpretation and Kripke Models -- Axioms for Intuitionistic Mathematics Incompatible with Classical Logic -- II/Foundations of Mathematical Theories -- Ineffability Properties of Cardinals II -- Non-Standard Analysis -- Some Purely Mathematical Results Inspired by Mathematical Logic -- Interpretability of Elementary Theories -- III/Category Theory -- Categorical Foundations and Foundations of Category Theory -- IV/Computability Theory -- Re Sets Higher Up (Dedicated to J. B. Rosser) -- Computable Numberings -- On the Basic Notions in the Theory of Induction -- Basic Concepts of Computer Science and Logic -- Structural Relations between Programs and Problems -- Algorithmic Logic, a Tool for Investigations of Programs -- V/Philosophy of Logic and Mathematics -- On a Semantical Language Hierarchy in a Constructive Mathematical Logic -- VI/On The Concept of a Set -- Large Sets -- What is the Iterative Conception of Set? -- VII/Philosophy of Logic -- Do-it-yourself Semantics for Classical Sequent Calculi, including Ramified Type Theory -- Some Philosophical Problems of Hintikkaโs Possible Worlds Semantics -- Index of Names