Logic at the Crossroads (Set): Proof, Computation and Agency Games, Norms and Reasons (Paperback, 2012)

Volume I: Proof, Computation and Agency Preface.- Introduction.- 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; Yuri Gurevich and Andreas Blass.- 8. Recent Developments of Feedback Coding, and its relations with Many-valued Logic; Daniele Mundici and Ferdinando Cicalese.- 9. Two Applications of Epistemic Logic in Computer Security; Ron van der Meyden.- 10. An Introduction to Quantum Computing; Noson 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; D. B. Acharya and Shalini Joshi.- VI PERSPECTIVES FROM INDIAN LOGIC.- 17. 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.- Notes on Contributors. Bibliography. Volume II: Games, Norms and Reasons Preface.- Introduction.- PART I.- 1. Why Meaning Intentions are Degenerate; Akeel Bilgrami.- 2. Redoing the Foundations of Decision Theory; Lawrence E. Blume, David A. Easley and Joseph Y. Halpern.- 3. A Note on Adjusted Winner; Eric Pacuit, Rohit Parikh and Samer Salame.- 4. Modal Logic for Lexicographic Preference Aggregation; Patrick Girard.- 5. Syllogistic Logic with Complements; Lawrence Moss.- 6. Introduction to Unary Inductive Logic; Jeff Paris.- 7. From Unary to Binary Inductive Logic; Jeff Paris and A. Vencovska.- 8. Merging Information; Sujata Ghosh and Fernando R. Velazquez-Quesada.- 9. Challenges for Decidable Epistemic Logics from Security Protocols; R. Ramanujam and S.P. Suresh.- PART II.- Introduction: Tribute to Rohit Parikh.- 1. No-fi -Regret: A Connection between Computational Learning Theory and Game Theory; Amy Greenwald, Amir Jafari and Casey Marks.- 2. Why Do We Need Justification Logic?; Sergei Artemov.- 3. The Realization Theorem for S5: A Simple, Constructive Proof; Melvin Fitting.- 4. A Proof-Theoretic Approach to Mathematical Knowledge Management; Dexter Kozen and Ganesh Ramanarayanan.- 5. From Parikh's Theorem to Many-Sorted Spectra; Johann A. Makowsky.- 6. A Fresh Look at Propositional Dynamic Logic and Game Logic; Jan van Eijck and Rineke Verbrugge.- 7. Bounded Rationality: Models for some Fast and Frugal Heuristics; Horacio Arlo-Costa and Arthur Paul Pedersen.- 8. Axiom of Distinction in Social Software; Vincent F. Hendricks.- Notes on the Contributors.