Language, Truth and Logic in Mathematics

Authors:

ISBN: 978-90-481-4923-0 (Print) 978-94-017-2045-8 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-x

  2. No Access

    Book Chapter

    Pages 1-26

    What is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic

  3. No Access

    Book Chapter

    Pages 27-44

    A Revolution in Logic?

  4. No Access

    Book Chapter

    Pages 45-61

    A Revolution in the Foundations of Mathematics?

  5. No Access

    Book Chapter

    Pages 62-83

    Is there Completeness in Mathematics after Gödel?

  6. No Access

    Book Chapter

    Pages 84-105

    Hilbert Vindicated?

  7. No Access

    Book Chapter

    Pages 106-129

    Standard vs. Nonstandard Distinction: A Watershed in the Foundations of Mathematics

  8. No Access

    Book Chapter

    Pages 130-143

    Standard vs. Nonstandard Logic: Higher-Order, Modal, and First-Order Logics

  9. No Access

    Book Chapter

    Pages 144-173

    The Skeleton in Frege’s Cupboard: The Standard Versus Nonstandard Distinction

  10. No Access

    Book Chapter

    Pages 174-188

    An Alternative Concept of Computability

  11. No Access

    Book Chapter

    Pages 189-211

    What is the Logic of Parallel Processing?

  12. No Access

    Book Chapter

    Pages 212-224

    Model Minimization — An Alternative to Circumscription

  13. No Access

    Book Chapter

    Pages 225-247

    New Foundations for Mathematical Theories

  14. Back Matter

    Pages 249-249