Opening book details…
Can I read Proof, Computation and Agency: Logic at the Crossroads (Synthese Library Book 352) on EtoBox?
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library Book 352) by Johan van Benthem; Amitabha Gupta; Rohit Parikh; "Indian Conference on Logic and its Relationship with Other Disciplines" is a nonfiction available to read on EtoBox.
What is Proof, Computation and Agency: Logic at the Crossroads (Synthese Library Book 352) about?
__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.
Who reads Proof, Computation and Agency: Logic at the Crossroads (Synthese Library Book 352)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Johan van Benthem; Amitabha Gupta; Rohit Parikh; "Indian Conference on Logic and its Relationship with Other Disciplines"
- Publisher
- Springer Netherlands : Imprint: Springer
- Published
- 2011
- Language
- EN
- ISBN
- 9789400700796
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Philosophy
Other editions & translations
More by Johan van Benthem; Amitabha Gupta; Rohit Parikh; "Indian Conference on Logic and its Relationship with Other Disciplines"
Similar books
- Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305) (Synthese Library) — Peter Apostoli (auth.), C. Anthony Anderson, Michael Zelëny (2001)
- Applied Logic: How, What And Why: Logical Approaches To Natural Language (synthese Library) — John Bell (auth.), László Pólos, Michael Masuch (1995)
- Philosophical Logic (synthese Library) — Donald Davidson (auth.), J. W. Davis, D. J. Hockney, W. K. Wilson (1969)
- Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers — Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke (2015)
- The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series Book 26) — David J. Pym (auth.) (2002)
- The Cultural Logic of Computation — David Golumbia (2009)