Logic and Metalogic

edit
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?