Book 2005

Logica Universalis

Towards a General Theory of Logic


ISBN: 978-3-7643-7259-0 (Print) 978-3-7643-7304-7 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-x

  2. Universal Logic: Frameworks and Structures

    1. Chapter

      Pages 3-17

      From Consequence Operator to Universal Logic: A Survey of General Abstract Logic

    2. Chapter

      Pages 19-33

      Abstract Model Theory as a Framework for Universal Logic

    3. Chapter

      Pages 35-63

      A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics

    4. Chapter

      Pages 65-88

      Selfextensional Logics with Implication

    5. Chapter

      Pages 89-95

      Logic without Self-Deductibility

  3. Identity and Nature of Logical Structures

    1. Chapter

      Pages 99-111

      Equipollent Logical Systems

    2. Chapter

      Pages 113-133

      What is a Logic?

    3. Chapter

      Pages 135-145

      What is a Logic, and What is a Proof?

  4. Tools and Concepts for Universal Logic

    1. Chapter

      Pages 149-167

      Non-deterministic Matrices and Modular Semantics of Rules

    2. Chapter

      Pages 169-189

      Two's Company: “The Humbug of Many Logical Values”

    3. Chapter

      Pages 191-205

      Logical Friendliness and Sympathy

    4. Chapter

      Pages 207-228

      Logical Discrimination