تفاصيل الكتاب

978-3-7643-7304-7

Logica Universalis

Publication Date: 2005

ISBN: 978-3-7643-7304-7

Internet Resource: Please Login to download book


The book 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 and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons.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: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject 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.


Subject: Mathematics and Statistics, Mathematica, abstract model theory, algebraic logic, categorical logic, consequence relations, identity between logics, institution theory, logic, logical matrices, many-valued logic, paraconsistent logic, topological logic, truth functionality