Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352, Band 352) - Hardcover

Buch 57 von 304: Synthese Library
 
9789400700796: Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352, Band 352)
Hardcover
ISBN 10: 9400700792 ISBN 13: 9789400700796
Verlag: Springer, 2011

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
9400700792
ISBN 13 
9789400700796
Einband
Gebundene Ausgabe
Anzahl der Seiten
396
Herausgeber
Van Benthem Johan, Gupta Amitabha, Parikh Rohit
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9789400735811: Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, Band 352)

Vorgestellte Ausgabe

ISBN 10:  9400735812 ISBN 13:  9789400735811
Verlag: Springer, 2013
Softcover