Introduction to Unified Logic 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 ! | ||||
