Dordrecht, Netherland: Springer (2011)

Johan Van Benthem
University of Amsterdam
Rohit Parikh
CUNY Graduate Center
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 applied logics
Categories No categories specified
(categorize this paper)
Buy this book $24.99 new   $170.83 used   Amazon page
ISBN(s) 9789400700796   9400700792   9400735812   9400700814
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,714
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

General Semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
Studies in the Way of Words.Paul Grice - 1989 - Philosophy 65 (251):111-113.
Existence and Feasibility in Arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.

View all 28 references / Add more references

Citations of this work BETA

Logic and Games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

Embedding Logics in the Local Computation Framework.Nic Wilson & Jérôme Mengin - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):239-267.
Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
Proof Theory for Admissible Rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
Review: Robert Goldblatt, Logics of Time and Computation. [REVIEW]Rohit Parikh - 1991 - Journal of Symbolic Logic 56 (4):1495-1496.
Provability Logics with Quantifiers on Proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
Derivability in Certain Subsystems of the Logic of Proofs is-Complete.Robert Milnikel - 2007 - Annals of Pure and Applied Logic 145 (3):223-239.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.


Added to PP index

Total views

Recent downloads (6 months)

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes