the branch of philosophy that analyzes inference | (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 |
a system of reasoning | the state of being complete and entire; having everything that is needed |
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 | |