Table of Contents

1: Ian Hacking: What is logic
2: Robert Kowalski: Logic without model theory
3: John Barwise and Eric Hammer: Diagrams and the concept of logical system
4: Johan Van Bentham: General dynamics
5: Jim Lambek: What is a deductive system
6: Neil Tennent: The transmission of truth and the transmitting of abduction
7: D.M. Gabbay: What is a logical system?
8: Arnon Avron: What is a logical system?
9: C. Crocco and L. Farinas del Cerro: Structure, consequence relation
10: Peter Aczel: Schematic consequence
11: Kosta Dosen: Logical constants and punctuation marks
12: Solomon Feferman: Finitary inductively presented logics
13: Sean Matthews: A-theory and its metatheory in FSo
14: Narciso Marti-Oliet and Jose Meseguer: General logics and logical frameworks
15: I. Nemeti and A. Andreka: General algebraic logic, a perspective on What is Logic?

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