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

£113.76

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

Name: Proof, Computation and Agency: Logic at the Crossroads: 352 (Synthese Library, 352)
Brand: Springer
Price: 113.1 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £113 (78 days, 86.7%)

Price range: £113 - £114

Price levels: 2 different prices over 90 days

Description

Product Description 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. 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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9400735812
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 29 May 2013
Listed Since: 23 May 2013

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

Foundations of Rational Agency: 14 (Applied Logic Series, 14)

Reasoning about Preference Dynamics: 354 (Synthese Library, 354)

Paradoxes Between Truth and Proof: 494 (Synthese Library, 494)

Argumentation Machines: New Frontiers in Argument and Computation: 9 (Argumentation Library, 9)

Dao Companion to Chinese Philosophy of Logic: 12

Medieval Formal Logic: Obligations, Insolubles and Consequences: 49 (The New Synthese Historical Library, 49)

Dynamic Formal Epistemology: 351 (Synthese Library, 351)

Theory and Applications of Ontology: Computer Applications

Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education: 5 (Logic, Epistemology, and the Unity of Science, 5)

Intelligent Systems in Cybernetics and Automation Control Theory: 860 (Advances in Intelligent Systems and Computing, 860)

Strict Finitism and the Logic of Mathematical Applications: 355 (Synthese Library, 355)

Computation, Proof, Machine: Mathematics Enters a New Age

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)

Handbook of Philosophical Logic: 6

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Communication and Meaning: An Essay in Applied Modal Logic: 168 (Synthese Library, 168)

Challenges at the Interface of Data Analysis, Computer Science, and Optimization: Proceedings of the 34th Annual Conference of the Gesellschaft für ... Data Analysis, and Knowledge Organization)

Judgement and the Epistemic Foundation of Logic: 31 (Logic, Epistemology, and the Unity of Science, 31)

Handbook of Philosophical Logic: 9

Proceedings of 3rd International Conference on Advanced Computing, Networking and Informatics: ICACNI 2015, Volume 1: 43 (Smart Innovation, Systems and Technologies, 43)

Contemporary Philosophy and Social Science: An Interdisciplinary Dialogue

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)