Logo - springer
Slogan - springer

Philosophy - Logic & Philosophy of Language | Proof, Computation and Agency - Logic at the Crossroads

Proof, Computation and Agency

Logic at the Crossroads

van Benthem, Johan, Gupta, Amitabha, Parikh, Rohit (Eds.)

2011, XXIV, 372 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$199.00

(net) price for USA

ISBN 978-94-007-0080-2

digitally watermarked, no DRM

Included Format: PDF and EPUB

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$259.00

(net) price for USA

ISBN 978-94-007-0079-6

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

Also available as a set for $279.00


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$259.00

(net) price for USA

ISBN 978-94-007-3581-1

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • Lays out an inspiring paradigm called 'Social Software': the study of patterns of social interaction by means of techniques from logic and computer science
  • Demonstrates how an extended view of logic interacts with the social sciences, game theory or social choice theory
  • Represents a unique collaboration between Indian logicians and an elite of international colleagues who have been involved with the current renaissance of logic in India
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.

Content Level » Research

Keywords » Dynamic Doxastic Logic - Dynamic Epistemic Logic - Epistemic Logic - Justification Logic - Logic and Games - Modal Logic - Preference Logic

Related subjects » Logic & Philosophy of Language - Mathematics - Philosophy - Theoretical Computer Science

Table of contents 

Foreword.- Preface.- I LOGIC TODAY: SOME REFLECTIONS.- 1. What is Mathematical Logic? A Survey; John N. Crossley.- 2. Is there a Logic of Society?; Rohit Parikh.- II LOGIC AND MATHEMATICS.- 3. What is a Proof?; John N. Crossley.- 4. A Visit to Tarski's Seminar on Elimination of Quantifiers; Wilfrid Hodges.- 5. Deductive Systems of Fuzzy Logic; Petr Hájek.- III LOGIC AND COMPUTATION.- 6. What is the Difference between Proofs and Programs?; John N. Crossley.- 7. Zero-One Laws: Thesauri and Parametric Conditions; Andreas Blass and Yuri Gurevich.- 8. Recent Developments of Feedback Coding and its Relations with Many-valued Logic; Ferdinando Cicalese and Daniele Mundici.- 9. Two Applications of Epistemic Logic in Computer Security; Ron van der Meyden.- 10. An Introduction to Quantum Computing; Noson S. Yanofsky.- IV LOGIC, AGENCY AND GAMES.- 11. Logic Games: From Tools to Models of Interaction; Johan van Benthem.- 12. Iterated Belief Revision in Dynamic Doxastic Logic; Krister Segerberg.- 13. Towards a Logical Analysis of Adjusted Winner; Eric Pacuit.- 14. Temporal Logic with Preferences and Reasoning about Games; G. Venkatesh.- V LOGIC, LANGUAGE AND COGNITION.- 15. From Sentence Meanings to Full Semantics; Wilfrid Hodges.- 16. Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences; B. D. Acharya and Shalini Joshi.- VI PERSPECTIVES FROM INDIAN LOGIC.- 17. History and Development of Indian Logic: An Overview; K. Ramasubramanian.- 18. Indian Logic and Philosophy of Science: the Logic-Epistemology Link; Sundar Sarukkai.- 19. The Concept of ‘Hetvabhasa’ in Nyaya-sastra; K. Ramasubramanian.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Logic.