Proof, Computation and Agency (Record no. 109195)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04303nam a22005295i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-94-007-0080-2 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140220083828.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110401s2011 ne | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9789400700802 |
| -- | 978-94-007-0080-2 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-94-007-0080-2 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC1-199 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | HPL |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PHI011000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 160 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | van Benthem, Johan. |
| Relator term | editor. |
| 245 10 - TITLE STATEMENT | |
| Title | Proof, Computation and Agency |
| Medium | [electronic resource] : |
| Remainder of title | Logic at the Crossroads / |
| Statement of responsibility, etc | edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. |
| 264 #1 - | |
| -- | Dordrecht : |
| -- | Springer Netherlands : |
| -- | Imprint: Springer, |
| -- | 2011. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XXIV, 372 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; |
| Volume number/sequential designation | 352 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy (General). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy, modern. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic, Symbolic and mathematical. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical Logic and Foundations. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Non-Western Philosophy. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gupta, Amitabha. |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Parikh, Rohit. |
| Relator term | editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9789400700796 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; |
| Volume number/sequential designation | 352 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-94-007-0080-2 |
| 912 ## - | |
| -- | ZDB-2-SHU |
No items available.