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...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Basel ; Boston :
Birkhauer
c2007.
|
| Edición: | 2nd ed |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009461430406719 |
Tabla de Contenidos:
- 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.
