Advertisement

Proof, Computation and Agency

Logic at the Crossroads

  • Johan van Benthem
  • Amitabha Gupta
  • Rohit Parikh

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
    2. Wilfrid Hodges
      Pages 261-276
  7. Perspectives from Indian Logic

    1. Front Matter
      Pages 309-309
    2. K. Ramasubramanian
      Pages 311-331
    3. K. Ramasubramanian
      Pages 355-371

About this book

Introduction

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.

Keywords

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