Logic
Philosophy
Abstraction
Philosophical logic
Non-classical logic
Mathematical logic
Theories of truth
Proof theory
Negation
Paraconsistent logic
False
Contradiction