# Book:Logic

WARNING! The Book Creator software has significant limitations. Book creation may be disabled while a replacement is adapted and installed. An alternative open source is available; see MediaWiki2LaTeX. For Help with downloading a Wikipedia page as a PDF, see Help:Download as PDF. |

## Logic and MetalogicEdit

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