Logic

Logic is the study of valid inference — what follows from what, and why. It provides the formal tools that philosophy uses to evaluate arguments, distinguish sound reasoning from fallacy, and build precise theories of meaning, truth, and provability.