|1.||formal logic deduction See also induction the branch of philosophy concerned with analysing the patterns of reasoning by which a conclusion is properly drawn from a set of premises, without reference to meaning or context|
|2.||formal system Compare formal language any particular formal system in which are defined axioms and rules of inference|
|3.||the system and principles of reasoning used in a specific field of study|
|4.||a particular method of argument or reasoning|
|5.||force or effectiveness in argument or dispute|
|6.||reasoned thought or argument, as distinguished from irrationality|
|7.||the relationship and interdependence of a series of events, facts, etc|
|8.||chop logic to use excessively subtle or involved logic or argument|
|a. See also logic circuit the principles underlying the units in a computer system that perform arithmetical and logical operations|
|b. (as modifier): a logic element|
|[C14: from Old French logique from Medieval Latin logica (neuter plural, treated in Medieval Latin as feminine singular), from Greek logikos concerning speech or reasoning]|
|logic (lŏj'ĭk) Pronunciation Key
The study of the principles of reasoning, especially of the structure of propositions as distinguished from their content and of method and validity in deductive reasoning.
The branch of philosophy dealing with the principles of reasoning. Classical logic, as taught in ancient Greece and Rome, systematized rules for deduction. The modern scientific and philosophical logic of deduction has become closely allied to mathematics, especially in showing how the foundations of mathematics lie in logic.