Proof, Computation and Agency

Logic at the Crossroads

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Proof, Computation and Agency by , Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789400700802
Publisher: Springer Netherlands Publication: April 2, 2011
Imprint: Springer Language: English
Author:
ISBN: 9789400700802
Publisher: Springer Netherlands
Publication: April 2, 2011
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer Netherlands

Cover of the book Antiaesthetics by
Cover of the book Advances in Decapod Crustacean Research by
Cover of the book Legal and Ethical Concerns in Treating Kidney Failure by
Cover of the book Scientific and Technical Means of Distinguishing Between Natural and Other Outbreaks of Disease by
Cover of the book Fisheries Management in Japan by
Cover of the book Freedom — Determinism Indeterminism by
Cover of the book Generalized Low-Voltage Circuit Techniques for Very High-Speed Time-Interleaved Analog-to-Digital Converters by
Cover of the book St. Thomas Aquinas’ Philosophy by
Cover of the book Ambiguities in Intensional Contexts by
Cover of the book What’s New in Electrocardiography by
Cover of the book Textbook of Clinical Electrocardiography by
Cover of the book Edible Medicinal And Non-Medicinal Plants by
Cover of the book Fundamentals of Robot Technology by
Cover of the book Laser Diode Beam Basics, Manipulations and Characterizations by
Cover of the book Globalisation and Education Reforms by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy