D. M. Gabbay (ed.)

What Is a Logical System?

Herausgeber: Gabbay, D M

• Gebundenes Buch

Produktbeschreibung

This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied.

---

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Hurst & Co.
• Seitenzahl: 464
• Erscheinungstermin: 26. Januar 1995
• Englisch
• Abmessung: 235mm x 160mm x 34mm
• Gewicht: 839g
• ISBN-13: 9780198538592
• ISBN-10: 0198538596
• Artikelnr.: 20976034

Inhaltsangabe

* 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?