| Review: |
Logica Universalis, the name, was introduced about ten years ago to mean a general theory of logics considered as mathematical structures. This book contains recent works on universal logic by researchers from around the world. It contains three parts. In the first part a variety of frameworks for a general theory of logic are presented: algebra, topology, and category theory are all involved. Papers in Part II deal with a central problem of universal logic: the question of identity between logical structures. The last part presents tools and concepts that can be useful for the study of logic: logical matrices; non-deterministic matrices; a bivalent semantics; logical friendliness and symmetry; and logical discrimination. |