✦ LIBER ✦

Proof, Computation and Agency Volume 5152 || Indian Logic and Philosophy of Science: The Logic-Epistemology Link

✍ Scribed by van Benthem, Johan; Gupta, Amitabha; Parikh, Rohit

Book ID: 111677012
Publisher: Springer Netherlands
Year: 2011
Tongue: Dutch
Weight: 322 KB
Edition: 2011
Category: Article
ISBN: 9400700806
DOI: 10.1007/978-94-007-0080-2_18

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science Volume 104 || Constructive Mathematics and Computer Programming

✍ , 📂 Article 📅 1982 🏛 Elsevier 🌐 English ⚖ 908 KB

Logic, Methodology and Philosophy of Science VI

[Boston Studies in the Philosophy of Sci

[Boston Studies in the Philosophy of Science] Galileo’s Logic of Discovery and Proof Volume 137 || Epilogue

✍ Wallace, William A. 📂 Article 📅 1992 🏛 Springer Netherlands ⚖ 632 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Proof theory of fuzzy logics: Urquhart's C and related logics

✍ Brim, Luboš; Gruska, Jozef; Zlatuška, Jiří 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 524 KB

[Boston Studies in the Philosophy of Sci

[Boston Studies in the Philosophy of Science] Analogy in Indian and Western Philosophical Thought Volume 243 || History of Indian Logic

✍ Gourko, Helena; Cohen, Robert S. 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 79 KB

This Book Is Unusual In Many Respects. It Was Written By A Prolific Author Whose Tragic Untimely Death Did Not Allow To Finish This And Many Other Of His Undertakings. It Was Assembled From Numerous Excerpts, Notes, And Fragments According To His Initial Plans. Zilberman’s Legacy Still Awaits Its Tr

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science IX, Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science Volume 134 || Contributed papers

✍ , 📂 Article 📅 1995 🏛 Elsevier 🌐 English ⚖ 839 KB

This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited lectures. Divided into 15 sections, the book covers a wide range of different issues. The reader is given the opportunity to le

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || Lambek Calculus and Linear Logic: Proof Nets as Parse Structures

✍ Moot, Richard; Retoré, Christian 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 590 KB