logic
The study of sound reasoning.