the branch of philosophy that analyzes inference | the grammatical relation created by a transitive verb |
a system of reasoning | (logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third |
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 | |