Introduction to Unified Logic

Xunwei Zhou

Beijing Union University, China

Unified logic, also called mutually-inversistic logic, is constructed by the author. It unifies Aristotelian logic, classical logic, relevance logic, modal logic, dialectical logic, ancient Chinese logic, Boolean algebra and lattice, natural deduction, fuzzy logic, rough set, non-monotonic logic, paraconsistent logic. It is a unification of extensional logic and intensional logic, a unification of inductive logic and deductive logic, a unification of two-valued logic and many-valued logic.


 

I. Basic Concepts
--Material implication vs. mutually inverse implication
--Composition operators vs. connection operators
--Formations of terms and propositions
--Truth tables for composition operators
--Inductive compositions vs. decompositions
--Truth tables of connection operators
--Mutually inverse diagrams for connection operators
--The principle of meaningfulness and meaninglessness duality for distinguished propositions

II. Predicate Calculus
--First-level single quasi-predicate calculus
--Second-level single quasi-predicate calculus

III. Aplications
--We will show how unified logic unifies more than a dozen logics.

Bibliography
Zhou Xunwei, Mutually-inversistic logic, mathematics, and their applications, Beijing: Central Compilation & Translation Press, 2013

Back to the 6th Universal Logic School !