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

Libro 57 de 304: Synthese Library
 
9789400700796: Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)
Tapa dura
ISBN 10: 9400700792 ISBN 13: 9789400700796
Editorial: Springer, 2011

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

De la contraportada

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
9400700792
ISBN 13 
9789400700796
Encuadernación
Tapa dura
Número de edición
1
Número de páginas
396
Editor
Gupta Amitabha, Van Benthem Johan, Parikh Rohit
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  9400735812 ISBN 13:  9789400735811
Editorial: Springer, 2013
Tapa blanda