What is a Logical System?
Published on 8. December 1994
Book
Hardback
464 pages
978-0-19-853859-2 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Oxford University Press
Target group
Professional and scholarly
Illustrations
line figures
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 32 mm
Weight
905 gr
ISBN-13
978-0-19-853859-2 (9780198538592)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Content
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?