Proof, Computation and Agency - Logic at the Crossroads

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