000			04303nam a22005295i 4500
001			978-94-007-0080-2
003			DE-He213
005			20140220083828.0
007			cr nn 008mamaa
008			110401s2011 ne | s |||| 0|eng d
020			_a9789400700802 _9978-94-007-0080-2
024	7		_a10.1007/978-94-007-0080-2 _2doi
050		4	_aBC1-199
072		7	_aHPL _2bicssc
072		7	_aPHI011000 _2bisacsh
082	0	4	_a160 _223
100	1		_avan Benthem, Johan. _eeditor.
245	1	0	_aProof, Computation and Agency _h[electronic resource] : _bLogic at the Crossroads / _cedited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
264		1	_aDordrecht : _bSpringer Netherlands : _bImprint: Springer, _c2011.
300			_aXXIV, 372 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; _v352
505	0		_aForeword -- 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.
520			_aProof, 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.
650		0	_aPhilosophy (General).
650		0	_aLogic.
650		0	_aPhilosophy, modern.
650		0	_aComputer science.
650		0	_aLogic, Symbolic and mathematical.
650	1	4	_aPhilosophy.
650	2	4	_aLogic.
650	2	4	_aMathematical Logic and Foundations.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aNon-Western Philosophy.
700	1		_aGupta, Amitabha. _eeditor.
700	1		_aParikh, Rohit. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9789400700796
830		0	_aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; _v352
856	4	0	_uhttp://dx.doi.org/10.1007/978-94-007-0080-2
912			_aZDB-2-SHU
999			_c109195 _d109195