Philosophy
Logic
Abstraction
Conditionals
Modal logic
Philosophy of science
Mathematical logic
Truth
Counterfactual conditional
Sequent
Impossible world
Causality