Words: logic
Part of speech: n
Definition: the branch of philosophy that analyzes inference