User:Enruit/Books/logic

Logic and Metalogic

 * Introduction


 * Main article
 * Logic


 * History
 * History of logic


 * Topics in logic
 * Aristotelian logic
 * Propositional calculus
 * Predicate logic
 * Modal logic
 * Informal logic
 * Mathematical logic
 * Algebraic logic
 * Multi-valued logic
 * Fuzzy logic
 * Metatheory
 * Metalogic
 * Philosophical logic
 * Logic in computer science


 * Controversies in logic
 * Principle of bivalence
 * Paradoxes of material implication
 * Paraconsistent logic
 * Is logic empirical?