Synthese Library

Proof, Computation and Agency

Logic at the Crossroads

Editors: van Benthem, Johan, Gupta, Amitabha, Parikh, Rohit (Eds.)

  • Lays out an inspiring paradigm called 'Social Software': the study of patterns of social interaction by means of techniques from logic and computer science
  • Demonstrates how an extended view of logic interacts with the social sciences, game theory or social choice theory
  • Represents a unique collaboration between Indian logicians and an elite of international colleagues who have been involved with the current renaissance of logic in India
see more benefits

Buy this book

eBook $209.00
price for USA (gross)
  • ISBN 978-94-007-0080-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $269.00
price for USA
  • ISBN 978-94-007-0079-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $269.00
price for USA
  • ISBN 978-94-007-3581-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (19 chapters)

  • What Is Mathematical Logic? A Survey

    Crossley, John N.

    Pages 3-17

  • Is There a Logic of Society?

    Parikh, Rohit

    Pages 19-31

  • What Is a Proof?

    Crossley§, John N.

    Pages 35-52

  • A Visit to Tarski’s Seminar on Elimination of Quantifiers

    Hodges, Wilfrid

    Pages 53-66

  • Deductive Systems of Fuzzy Logic

    Hájek, Petr

    Pages 67-78

Buy this book

eBook $209.00
price for USA (gross)
  • ISBN 978-94-007-0080-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $269.00
price for USA
  • ISBN 978-94-007-0079-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $269.00
price for USA
  • ISBN 978-94-007-3581-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Proof, Computation and Agency
Book Subtitle
Logic at the Crossroads
Editors
  • Johan van Benthem
  • Amitabha Gupta
  • Rohit Parikh
Series Title
Synthese Library
Series Volume
352
Copyright
2011
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-94-007-0080-2
DOI
10.1007/978-94-007-0080-2
Hardcover ISBN
978-94-007-0079-6
Softcover ISBN
978-94-007-3581-1
Edition Number
1
Number of Pages
XXIV, 372
Topics