Proof, Computation and Agency Logic at the Crossroads /

Proof, Computation and Agency Logic at the Crossroads /

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 fro...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: van Benthem, Johan (Επιμελητής έκδοσης), Gupta, Amitabha (Επιμελητής έκδοσης), Parikh, Rohit (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Σειρά:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352
Θέματα:
Philosophy.
Logic.
Philosophy, Asian.
Mathematical logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Non-Western Philosophy.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.

Παρόμοια τεκμήρια