What Is a Logical System?

What Is a Logical System?

by Dov M. Gabbay
     
 

ISBN-10: 0198538596

ISBN-13: 9780198538592

Pub. Date: 10/28/1996

Publisher: Oxford University Press, USA

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

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, USA
Publication date:
10/28/1996
Series:
Studies in Logic and Computation Series, #4
Pages:
464
Product dimensions:
6.44(w) x 9.50(h) x 1.17(d)

Table of Contents

1. What is Logic?, Ian Hacking
2. 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

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >