The Age of Alternative Logics

Assessing Philosophy of Logic and Mathematics Today

  • Johan van Benthem
  • Gerhard Heinzmann
  • Manuel Rebuschi
  • Henk Visser

Table of contents

  1. Front Matter
    Pages i-viii
  2. Proof, Knowledge and Computation

    1. Front Matter
      Pages 10-10
    2. Jaroslav Peregrin
      Pages 25-36
    3. Stewart Shapiro
      Pages 37-49
    4. Henk Visser
      Pages 75-86
  3. Truth Values Beyond Bivalence

    1. Front Matter
      Pages 88-88
    2. Jean-Yves Béziau
      Pages 89-101
    3. Newton C. A. da Costa, Décio Krause
      Pages 103-120
  4. Category-Theoretic Structures

  5. Independence, Evaluation Games and Imperfect Information

    1. Front Matter
      Pages 194-194
    2. Jaakko Hintikka
      Pages 195-219
    3. Theo M. V. Janssen, Francien Dechesne
      Pages 221-241
    4. Manuel Rebuschi
      Pages 261-281
  6. Dialogue and Pragmatics

    1. Front Matter
      Pages 284-284
    2. Gerhard Heinzmann
      Pages 285-297
  7. Appendix

    1. Front Matter
      Pages 336-336
    2. Roger Pouivet
      Pages 337-341
  8. Back Matter
    Pages 343-348

About this book


In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings:

- Proof, Knowledge and Computation

- Truth Values beyond Bivalence

- Category-Theoretic Structures

- Independence, Evaluation Games, and Imperfect Information

- Dialogue and Pragmatics

The contents exemplify the liveliness of modern perspectives on the philosophy of logic and mathematics and demonstrate the growth of the discipline. It describes new trends, possible developments for research and new issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It transforms rigid classical partitions into a more open field for improvisation.


Foundations of Mathematics Games Logic Philosophy Plato Semantics interpret issue knowledge mathematics philosophy of logic proof set theory theorem truth

Editors and affiliations

  • Johan van Benthem
    • 1
  • Gerhard Heinzmann
    • 2
  • Manuel Rebuschi
    • 3
  • Henk Visser
    • 4
  1. 1.ILLCUniversity of AmsterdamThe Netherlands
  2. 2.Archives Henri PoincaréNancy UniversityFrance
  3. 3.Archives Henri PoincaréNancy UniversityFrance
  4. 4.ILLCUniversity of AmsterdamThe Netherlands

Bibliographic information