Logica Universalis Towards a General Theory of Logic /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Beziau, Jean-Yves (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Basel : Birkhäuser Basel, 2005.
• Θέματα: Mathematics.; Arithmetic and logic units, Computer.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.; Arithmetic and Logic Structures.

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

Πίνακας περιεχομένων:

• 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”
• Logical Friendliness and Sympathy
• Logical Discrimination.