基本説明
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. This book contains recent works on universal logic by first-class researchers from all around the world.
Full Description
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. The present book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. It will help those who are lost in the jungle of heterogeneous logical systems to find a way. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones.
Contents
Universal Logic: Frameworks and Structures.- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic.- Abstract Model Theory as a Framework for Universal Logic.- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics.- Selfextensional Logics with Implication.- Logic without Self-Deductibility.- Identity and Nature of Logical Structures.- Equipollent Logical Systems.- What is a Logic?.- What is a Logic, and What is a Proof?.- Tools and Concepts for Universal Logic.- Non-deterministic Matrices and Modular Semantics of Rules.- Two's Company: "The Humbug of Many Logical Values".- Friendliness and Sympathy in Logic.- Logical Discrimination.
