What is a Logical System?

Buch | Hardcover

464 Seiten

1994
Clarendon Press (Verlag)
978-0-19-853859-2 (ISBN)

Artikel merken

BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert Kowalski

A 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.

1. What is logic ; 2. Logic without model theory ; 3. Diagrams and the concept of logical system ; 4. General dynamics ; 5. What is a deductive system ; 6. The transmission of truth and the transmitting of abduction ; 7. What is a logical system? ; 8. What is a logical system? ; 9. Structure, consequence relation ; 10. Schematic consequence ; 11. Logical constants and punctuation marks ; 12. Finitary inductively presented logics ; 13. A-theory and its metatheory in FSo ; 14. General logics and logical frameworks ; 15. General algebraic logic, a perspective on What is Logic?

Erscheint lt. Verlag	8.12.1994
Reihe/Serie	Studies in Logic and Computation ; 4
Zusatzinfo	line figures
Verlagsort	Oxford
Sprache	englisch
Maße	160 x 241 mm
Gewicht	831 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-19-853859-6 / 0198538596
ISBN-13	978-0-19-853859-2 / 9780198538592
Zustand	Neuware