You are here

Epistemology versus Ontology

Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, editors
Publisher: 
Springer
Publication Date: 
2012
Number of Pages: 
385
Format: 
Hardcover
Series: 
Logic, Epistemology, and the Unity of Science 27
Price: 
179.00
ISBN: 
9789400744349
Category: 
Festschrift
We do not plan to review this book.

Introduction.- On the Philosophical Work of Per Martin-Löf: Göran Sundholm.-Notes on the contributors.- Part 1. Philosophy of Logic and Mathematics.-  Chapter 1. Kant and Real Numbers: Mark van Atten.- Chapter 2. Wittgenstein's Diagonal Argument: A Variation on Cantor and Turing: Juliet Floyd.- Chapter 3. Truth and Proof in Intuitionism: Dag Prawitz.- Chapter 4. Real and Ideal in Constructive Mathematics: Giovanni Sambin.- Chapter 5. In the Shadow of Incompleteness: Hilbert and Gentzen: Wilfried Sieg.- Chapter 6. Evolution and Logic: Jan Smith.- Chapter 7. The “Middle Wittgenstein” and Modern Mathematics: Sören Stenlund.- Chapter 8. Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: historical and Philosophical Reflections: William Tait.- Part 2. Foundations.- Chapter 9. Type Theory and Homotopy: Steve Awodey.- Chapter 10. A Computational Interpretation of Forcing in Type Theory: Thierry Coquand; Guilhem Jaber.- Chapter 11. Program Testing and the Meaning Explanations of Intuitionistic Type Theory: Peter Dybjer.- Chapter 12. Normativity in Logic: Jean-Yves Girard.- Chapter 13. Constructivist versus Structuralist Foundations: Erik Palmgren.- Chapter 14. Machine Translation and Type Theory: Aarne Ranta.- Chapter 15. Constructive Zermelo-Fraenkel Set Theory, Powerset, and the Calculus of Constructions: Michael Rathjen.- Chapter 16. Coalgebras as Types determined by their Elimination Rules: Anton Setzer.- Chapter 17. Second Order Logic, Set Theory and Foundations of Mathematics: Jouko Väänänen.

Dummy View - NOT TO BE DELETED