Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
Erişim Adresi
ISBN
9789400700802
Dil Kodu
İngilizce
Yer Numarası
DK/14409
Basım Bildirimi
1st ed. 2011.
Yayın Bilgisi
Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Fiziksel Niteleme
XXIV, 372 p. online resource.
Dizi
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 2542-8292 ; 352
İçindekiler Notu
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.
Özet, vb.
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.
Konu
Logic.
Mathematical logic.
Machine theory.
Philosophy, Modern.
Logic.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Philosophical Traditions.
Mathematical logic.
Machine theory.
Philosophy, Modern.
Logic.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Philosophical Traditions.
Diğer Yazarlar
Kurum Adı
Eseri Alıntıla
Referansları kullanmadan önce gözden geçirmeniz ve varsa gerekli düzeltmeleri yapmanız önerilir.
Dijital Kaynak
MARC Görünümü
LEADER 04616nam a22005655i 4500
001 813164
003 TR_AnAIT
005 20260130231300
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
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/14409
245 10|aProof, Computation and Agency|h[electronic resource] :|bLogic at the Crossroads /|cedited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
250 |a1st ed. 2011.
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,|x2542-8292 ;|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|aLogic.
650 0|aMathematical logic.
650 0|aMachine theory.
650 0|aPhilosophy, Modern.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aFormal Languages and Automata Theory.
650 24|aPhilosophical Traditions.
700 1 |avan Benthem, Johan.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aGupta, Amitabha.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aParikh, Rohit.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9789400700796
776 08|iPrinted edition:|z9789400700819
776 08|iPrinted edition:|z9789400735811
830 0|aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v352
856 40|uhttps://doi.org/10.1007/978-94-007-0080-2
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
001 813164
003 TR_AnAIT
005 20260130231300
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
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/14409
245 10|aProof, Computation and Agency|h[electronic resource] :|bLogic at the Crossroads /|cedited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
250 |a1st ed. 2011.
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,|x2542-8292 ;|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|aLogic.
650 0|aMathematical logic.
650 0|aMachine theory.
650 0|aPhilosophy, Modern.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aFormal Languages and Automata Theory.
650 24|aPhilosophical Traditions.
700 1 |avan Benthem, Johan.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aGupta, Amitabha.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aParikh, Rohit.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9789400700796
776 08|iPrinted edition:|z9789400700819
776 08|iPrinted edition:|z9789400735811
830 0|aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v352
856 40|uhttps://doi.org/10.1007/978-94-007-0080-2
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
Materyaller
Depodan talep edilen materyal sadece kütüphane içerisinde kullanılmaktadır.
Materyal dışarıya ödünç verilmemektedir.
Materyal dışarıya ödünç verilmemektedir.
