The branch of philosophy that analyzes inference
A system of reasoning
Reasoned and reasonable judgment
The principles that guide reasoning within a given field or situation
The system of operations performed by a computer that underlies the machine's representation of logical operations