Synopses & Reviews
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics.
Review
"The papers present a wealth of logical systems as well as of general frameworks for the study of such systems."--Journal of Symbolic Logic
Table of Contents
1. What is Logic?,
Ian Hacking2. Logic without Model Theory, Robert Kowalski
3. Diagrams and the Concept of Logical System, John Barwise and Eric Hammer
4. General Dynamics, Johan Van Bentham
5. What is a Deductive System?, Jim Lambek
6. The Transmission of Truth and the Transmitting of Abduction, Neil Tennent
7. What is a Logical System?, D.M. Gabbay
8. What is a Logical System?, Arnon Avron
9. Structure, Consequence Relation, C. Crocco and L. Farinas del Cerro
10. Schematic Consequence, Peter Aczel
11. Logical Constants and Punctuation Marks, Kosta Dosen
12. Finitary Inductively Presented Logics, Solomon Feferman
13. A-Theory and Its Metatheory in FSo, Sean Matthews
14. General Logics and Logical Frameworks, Narciso Marti-Oliet and Jose Meseguer
15. General Algebraic Logic, A Perspective on What is Logic?, I. Nemeti and A. Andreka