(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system | the branch of philosophy that analyzes inference |
the state of being complete and entire; having everything that is needed | 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 |