Proof, Computation and Agency Image close
Proof, Computation and Agency
Proof, Computation and Agency
Show Hide Adult Content
Proof, Computation and Agency close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Topics in philosophy  
Logic

Proof, Computation and Agency

Logic at the Crossroads
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$446.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $111.50 with Afterpay Learn more

6 weekly interest-free payments of $74.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Synthese Library,

See all products in this series

Themes from Weir: A Celebration of the Philosophy of Alan Weir on Hardback
$317.00
Themes from Weir: A Celebration of the Philosophy of Alan Weir
Hardback
Pre-order - out 3 Jun 2024
Knowledge Contributors on Hardback
$289.00
Knowledge Contributors
Hardback
Available - Usually ships in 3-4 weeks
Scientific Progress by Craig Dilworth
$443.00
Scientific Progress
by Craig Dilworth ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Explanation on Hardback
$448.00
Explanation
Hardback
Available - Usually ships in 3-4 weeks
Denying Existence on Hardback by A. Chakrabarti
$445.00
Denying Existence
by A. Chakrabarti ~ Hardback
Available - Usually ships in 3-4 weeks
Definitions and Definability: Philosophical Perspectives on Hardback
$448.00
Definitions and Definability: Philosophical Perspectives
Hardback
Available - Usually ships in 3-4 weeks
Logic and Scientific Methods on Hardback
$581.00
Logic and Scientific Methods
Hardback
Available - Usually ships in 3-4 weeks
Trading Ontology for Ideology on Hardback by L. Decock
$293.00
Trading Ontology for Ideology
by L. Decock ~ Hardback
Available - Usually ships in 3-4 weeks
Dynamic Epistemic Logic by Hans van Ditmarsch
$290.00
Dynamic Epistemic Logic
by Hans van Ditmarsch ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Interpretations and Causes on Hardback
$292.00
Interpretations and Causes
Hardback
Available - Usually ships in 3-4 weeks
Language as Calculus vs. Language as Universal Medium on Hardback by Maren Kusch
$448.00
Language as Calculus vs. Language as Universal Medium
by Maren Kusch ~ Hardback
Available - Usually ships in 3-4 weeks
Optimum Inductive Methods on Hardback by R. Festa
$302.00
Optimum Inductive Methods
by R. Festa ~ Hardback
Available - Usually ships in 3-4 weeks
The Tenseless Theory of Time on Hardback by W.L. Craig
$446.00
The Tenseless Theory of Time
by W.L. Craig ~ Hardback
Available - Usually ships in 3-4 weeks
Observability and Observation in Physical Science on Hardback by Peter Kosso
$300.00
Observability and Observation in Physical Science
by Peter Kosso ~ Hardback
Available - Usually ships in 3-4 weeks
Truth and Its Nature (if Any) on Hardback
$291.00
Truth and Its Nature (if Any)
Hardback
Available - Usually ships in 3-4 weeks
Kant’s Philosophy of Mathematics on Hardback
$449.00
Kant’s Philosophy of Mathematics
Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
May 29th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Amitabha Gupta
  • Edited by Johan van Benthem
  • Edited by Rohit Parikh
Illustrations
XXIV, 372 p.
Pages
372
Dimensions
156x234x20
ISBN-13
9789400735811
Product ID
21442934

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Humanities >
Philosophy >
Western philosophy
Books >
Non-Fiction >
Humanities >
Philosophy >
Non-Western philosophy >
Oriental & Indian philosophy
Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Epistemology, theory of knowledge
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: epistemology & theory of knowledge
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation