Logic, Foundations of Mathematics, and Computability Theory Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic,...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1977, 1977
|
| Edition: | 1st ed. 1977 |
| Series: | The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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