Cantitate/Preț
Produs

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

Editat de Johan van Benthem, Amitabha Gupta, Rohit Parikh
Notă GoodReads:
en Limba Engleză Carte Hardback – 07 Apr 2011
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.
Citește tot Restrânge
Toate formatele și edițiile
Toate formatele și edițiile Preț Express
Carte Paperback (1) 77511 lei  Economic 5-7 săpt. +37503 lei  11-21 zile
  SPRINGER NETHERLANDS – 29 May 2013 77511 lei  Economic 5-7 săpt. +37503 lei  11-21 zile
Carte Hardback (1) 76187 lei  Economic 10-16 zile +6385 lei  1-2 săpt.
  SPRINGER NETHERLANDS – 07 Apr 2011 76187 lei  Economic 10-16 zile +6385 lei  1-2 săpt.

Din seria Synthese Library

Preț: 76187 lei

Preț vechi: 102956 lei
-26%

Puncte Express: 1143

Preț estimativ în valută:
15371 17181$ 13811£

Carte disponibilă

Livrare economică 02-08 august
Livrare express 30 iulie-06 august pentru 7384 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789400700796
ISBN-10: 9400700792
Pagini: 400
Ilustrații: 1
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.72 kg
Ediția: 2011
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library

Locul publicării: Dordrecht, Netherlands

Public țintă

Research

Cuprins

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.

Textul de pe ultima copertă

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.

Caracteristici

-offers a mixture of well-established authors and a new generation of feminist scholars-the relative dearth of collected volumes devoted to feminist epistemology in the last decade lends significance to the broad-ranging collection-represents significant developments in the field, building on the previous generation of work in the 1990s-part of the Springer series on feminist philosophy