© 2011

Proof, Computation and Agency

Logic at the Crossroads

  • Johan van Benthem
  • Amitabha Gupta
  • Rohit Parikh


  • offers a mixture of well-established authors and a new generation of feminist scholars

  • the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the broad-ranging collection

  • represents significant developments in the field, building on the previous generation of work in the 1990s

  • part of the Springer series on feminist philosophy


Part of the Synthese Library book series (SYLI, volume 352)

Table of contents

  1. Front Matter
    Pages i-xxiv
  2. Logic Today: Some Reflections

    1. Front Matter
      Pages 1-1
    2. John N. Crossley
      Pages 3-17
    3. Rohit Parikh
      Pages 19-31
  3. Logic and Mathematics

    1. Front Matter
      Pages 33-33
    2. John N. Crossley§
      Pages 35-52
    3. Petr Hájek
      Pages 67-78
  4. Logic and Computation

    1. Front Matter
      Pages 79-79
    2. Andreas Blass, Yuri Gurevich
      Pages 99-114
    3. Ferdinando Cicalese*, Daniele Mundici
      Pages 115-131
    4. Noson S. Yanofsky
      Pages 145-180
  5. Logic, Agency and Games

  6. Logic, Language and Cognition

    1. Front Matter
      Pages 259-259

About this book


Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.


Dynamic Doxastic Logic Dynamic Epistemic Logic Epistemic Logic Justification Logic Logic and Games Modal Logic Preference Logic

Editors and affiliations

  • Johan van Benthem
    • 1
  • Amitabha Gupta
    • 2
  • Rohit Parikh
    • 3
  1. 1., Institute for Logic, Language andUniversity of AmsterdamAmsterdamNetherlands
  2. 2.Powai, MumbaiIndia
  3. 3.Graduate Center, Department of Computer andCity University of New YorkNew YorkUSA

Bibliographic information