What Is a Logical System?

Klappentext 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. Zusammenfassung BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert KowalskiA collection of papers addressing the fundamental question "what is a logical system?" This book presents a wide spectrum of ideas on the problem, reflecting curent mainstream approaches to logic and its applications. Inhaltsverzeichnis 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?

Détails du produit

• Auteurs: D. M. Gabbay, D. M. (Professor of Computing Science Gabbay, Dov M. (King''''s College London) Gabbay
• Collaboration: D M Gabbay (Editeur), D. M. Gabbay (Editeur), Gabbay D. M. (Editeur)
• Edition: Oxford University Press
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 08.12.1994
• EAN: 9780198538592
• ISBN: 978-0-19-853859-2
• Pages: 464
• Thèmes: Studies in Logic and Computation; Studies in Logic and Computation; Studies in Logic and Computati
• Catégories: Sciences naturelles, médecine, informatique, technique > Mathématiques > Bases; MATHEMATICS / Logic, COMPUTERS / Logic Design, COMPUTERS / Machine Theory, Mathematical theory of computation, Mathematical logic, Computer architecture & logic design, COMPUTERS / Computer Architecture, Computer architecture and logic design