Language, Truth and Logic in Mathematics
One can distinguish, roughly speaking, two different approaches to the philosophy of mathematics. On the one hand, some philosophers (and some mathematicians) take the nature and the results of mathematicians' activities as given, and go on to ask what philosophical morals one might perhaps fin...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1998, 1998
|
| Edition: | 1st ed. 1998 |
| Series: | Jaakko Hintikka Selected Papers
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1. What Is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic
- 2. A Revolution in Logic?
- 3. A Revolution in the Foundations of Mathematics?
- 4. Is There Completeness in Mathematics after Gödel?
- 5. Hilbert Vindicated?
- 6. Standard vs. Nonstandard Distinction: A Watershed in the Foundations of Mathematics
- 7. Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics
- 8. The Skeleton in Frege’s Cupboard: The Standard versus Nonstandard Distinction
- 9. An Alternative Concept of Computability
- 10. What is the Logic of Parallel Processing?
- 11. Model Minimization — An Alternative to Circumscription
- 12. New Foundations for Mathematical Theories