Items related to Proof, Computation and Agency: Logic at the Crossroads...
Synopsis
This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2013
- ISBN 10 9400735812
- ISBN 13 9789400735811
- BindingPaperback
- LanguageEnglish
- Number of pages396
- EditorVan Benthem Johan, Gupta Amitabha, Parikh Rohit
Other Popular Editions of the Same Title
Search results for Proof, Computation and Agency: Logic at the Crossroads...
Stock Image
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0412070050352
Quantity: Over 20 available
Stock Image
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789400735811_new
Quantity: Over 20 available
Seller Image
Proof, Computation and Agency
Published by
Springer Netherlands Mai 2013, 2013
ISBN 10: 9400735812
ISBN 13: 9789400735811
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 396 pp. Englisch. Seller Inventory # 9789400735811
Quantity: 2 available
Seller Image
Proof, Computation and Agency
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. -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 de. Seller Inventory # 5826603
Quantity: Over 20 available
Stock Image
Proof, Computation and Agency
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 396. Seller Inventory # 26101684351
Quantity: 4 available
Seller Image
Proof, Computation and Agency : Logic at the Crossroads
Published by
Springer Netherlands, Springer Netherlands, 2013
ISBN 10: 9400735812
ISBN 13: 9789400735811
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9789400735811
Quantity: 1 available
Stock Image
Proof, Computation and Agency
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 108538784
Quantity: 4 available
Stock Image
Proof, Computation and Agency
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 396. Seller Inventory # 18101684341
Quantity: 4 available