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

4 avg rating
( 1 ratings by Goodreads )
 
9789400700796: Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 269.00
US$ 193.34

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Published by Springer, Netherlands (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Hardcover Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2011. Hardback. Book Condition: New. 2011. Language: English . Brand New Book. 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. Bookseller Inventory # LIB9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 193.34
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Published by Springer, Netherlands (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Hardcover Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2011. Hardback. Book Condition: New. 2011. Language: English . Brand New Book. 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. Bookseller Inventory # LIB9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 201.29
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Johan van Benthem (editor), Amitabha Gupta (editor), Rohit Parikh (editor)
Published by Springer Netherlands 2011-04-07, Dordrecht |London (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Hardcover Quantity Available: 10
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Netherlands 2011-04-07, Dordrecht |London, 2011. hardback. Book Condition: New. Bookseller Inventory # 9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 193.36
Convert Currency

Add to Basket

Shipping: US$ 8.03
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Published by Springer (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2011. Book Condition: New. Bookseller Inventory # L9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 214.40
Convert Currency

Add to Basket

Shipping: US$ 3.52
From Germany to U.S.A.
Destination, Rates & Speeds

5.

Amitabha Gupta
Published by Springer-Verlag Gmbh Apr 2011 (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Apr 2011, 2011. Buch. Book Condition: Neu. Neuware - 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 then joins 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. 371 pp. Englisch. Bookseller Inventory # 9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 206.04
Convert Currency

Add to Basket

Shipping: US$ 14.12
From Germany to U.S.A.
Destination, Rates & Speeds

6.

Amitabha Gupta
Published by Springer-Verlag Gmbh Apr 2011 (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Apr 2011, 2011. Buch. Book Condition: Neu. Neuware - 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 then joins 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. 371 pp. Englisch. Bookseller Inventory # 9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 206.04
Convert Currency

Add to Basket

Shipping: US$ 20.16
From Germany to U.S.A.
Destination, Rates & Speeds

7.

Amitabha Gupta
Published by Springer-Verlag Gmbh Apr 2011 (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Buch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Apr 2011, 2011. Buch. Book Condition: Neu. Neuware - 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 then joins 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. 371 pp. Englisch. Bookseller Inventory # 9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 206.04
Convert Currency

Add to Basket

Shipping: US$ 20.16
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Gupta, Amitabha (Editor)
Published by Springer Verlag (2010)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Hardcover Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer Verlag, 2010. Hardcover. Book Condition: Brand New. 1st edition. 371 pages. 9.00x6.00x1.25 inches. In Stock. Bookseller Inventory # __9400700792

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 226.24
Convert Currency

Add to Basket

Shipping: US$ 8.03
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Amitabha Gupta
Published by Springer-Verlag Gmbh Apr 2011 (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Quantity Available: 1
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Apr 2011, 2011. Buch. Book Condition: Neu. Neuware - 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 then joins 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. 371 pp. Englisch. Bookseller Inventory # 9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 206.04
Convert Currency

Add to Basket

Shipping: US$ 34.72
From Germany to U.S.A.
Destination, Rates & Speeds

10.

Johan van Benthem
Published by Springer (2011)
ISBN 10: 9400700792 ISBN 13: 9789400700796
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer, 2011. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9789400700796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 239.48
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book