Logica Universalis Towards a General Theory of Logic
"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book a...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Basel
Birkhäuser
2007, 2007
|
| Edition: | 2nd ed. 2007 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of 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