Language, Truth and Logic in Mathematics

by Jaakko Hintikka

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 A Watershed in the Foundations of Mathematics. 7. Standard vs. Nonstandard Higher-Order, Modal and First-Order Logics. 8. (with Gabriel Sandu.) The Skeleton in Frege's The Standard vs. Nonstandard Distinction. 9. (with Arto Mutanen.) An Alternative Concept of Computability. 10. (with Gabriel Sandu.) What is the Logic of Parallel Processing? 11. Model Minimization - An Alternative to Circumscription. 12. New Foundations for Mathematical Theories.

Genres: Mathematics, Logic

264 pages, Paperback

First published December 31, 1997