2013, ISBN: 9789400735811

[ED: Taschenbuch / Paperback], [PU: Springer Netherlands Springer, Berlin], KURZE BESCHREIBUNG/ANMERKUNGEN: This overview of modern logic and its relationship with other disciplines inclu… Meer...

[ED: Taschenbuch / Paperback], [PU: Springer Netherlands Springer, Berlin], KURZE BESCHREIBUNG/ANMERKUNGEN: This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. AUSFÜHRLICHERE BESCHREIBUNG: 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. INHALT: 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., DE, [SC: 0.00], Neuware, gewerbliches Angebot, H: 235mm, B: 155mm, T: 21mm, 372, [GW: 599g], Selbstabholung und Barzahlung, PayPal, Offene Rechnung, Banküberweisung, Internationaler Versand<

ISBN: 9789400735811

[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other discip… Meer...

[ED: Taschenbuch], [PU: Springer Netherlands], 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 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. -, DE, [SC: 0.00], Neuware, gewerbliches Angebot, 235x155x21 mm, 396, [GW: 596g], PayPal, Kreditkarte, Offene Rechnung, Banküberweisung, Offene Rechnung (Vorkasse vorbehalten), Internationaler Versand<

ISBN: 9789400735811

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 ins… Meer...

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. Trade Books>Trade Paperback>Philosophy>Philosophy>Philosophy, Springer Netherlands Core >1<

2013, ISBN: 9789400735811

Springer, Taschenbuch, Auflage: 2011, 396 Seiten, Publiziert: 2013-05-29T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 1.33 kg, Logik, Philosophie, Sozialwissenschaft, Katego… Meer...

Springer, Taschenbuch, Auflage: 2011, 396 Seiten, Publiziert: 2013-05-29T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 1.33 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Philosophiegeschichte, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Film, Kunst & Kultur, Mathematik, Naturwissenschaften & Technik, Östliche Weisheitslehren, Lehren & Weisheiten, Esoterik, van Benthem, Johan, Gupta, Amitabha, Parikh, Rohit, Springer, 2013<

2013, ISBN: 9400735812

2011 Kartoniert / Broschiert Mathematische Grundlagen, Philosophische Traditionen und Denkschulen, Philosophie: Logik, Theoretische Informatik, DynamicDoxasticLogic; dynamicepistemiclog… Meer...

2011 Kartoniert / Broschiert Mathematische Grundlagen, Philosophische Traditionen und Denkschulen, Philosophie: Logik, Theoretische Informatik, DynamicDoxasticLogic; dynamicepistemiclogic; EpistemicLogic; JustificationLogic; logicandgames; modallogic; preferencelogic, mit Schutzumschlag 11, [PU:Springer Netherlands; Springer Netherland]<