What Is a Logical System?

by D. M. Gabbay

Overview

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.

Product Details

ISBN-13:	9780198538592
Publisher:	Oxford University Press
Publication date:	01/26/1995
Series:	Studies in Logic and Computation , #4
Pages:	464
Product dimensions:	9.24(w) x 6.30(h) x 1.33(d)

About the Author

University of London

Table of Contents

1. What is Logic?, Ian Hacking2. Logic without Model Theory, Robert Kowalski3. Diagrams and the Concept of Logical System, John Barwise and Eric Hammer4. General Dynamics, Johan Van Bentham5. What is a Deductive System?, Jim Lambek6. The Transmission of Truth and the Transmitting of Abduction, Neil Tennent7. What is a Logical System?, D.M. Gabbay8. What is a Logical System?, Arnon Avron9. Structure, Consequence Relation, C. Crocco and L. Farinas del Cerro10. Schematic Consequence, Peter Aczel11. Logical Constants and Punctuation Marks, Kosta Dosen12. Finitary Inductively Presented Logics, Solomon Feferman13. A-Theory and Its Metatheory in FSo, Sean Matthews14. General Logics and Logical Frameworks, Narciso Marti-Oliet and Jose Meseguer15. General Algebraic Logic, A Perspective on What is Logic?, I. Nemeti and A. Andreka

Editorial Reviews

"The papers present a wealth of logical systems as well as of general frameworks for the study of such systems."—Journal of Symbolic Logic

From the Publisher