English - Etymology
From Old French logike, from Latin logica, from Ancient Greek λογική (logikḗ, “logic”), from properly feminine of λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), from λόγος (lógos, “speech, reason”).
English - Pronunciation
English - Noun
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
(philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
2001, Mark Sainsbury, Logical Forms — An Introduction to Philosophical Logic, Second Edition, Blackwell Publishing, p. 9
- An old tradition has it that there are two branches of logic: deductive logic and inductive logic. More recently, the differences between these disciplines have become so marked that most people nowadays use "logic" to mean deductive logic, reserving terms like "confirmation theory" for at least some of what used to be called inductive logic. I shall follow the more recent practice, and shall construe "philosophy of logic" as "philosophy of deductive logic".
- 2001, Mark Sainsbury, Logical Forms — An Introduction to Philosophical Logic, Second Edition, Blackwell Publishing, p. 9
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of proof of statements.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (uncountable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
- (mathematics, study): formal logic, modern logic
- (mathematics, system): formal system
- (philosophy): predicate logic
English - Verb
- (intransitive, pejorative) To engage in excessive or inappropriate application of logic.
- (transitive) To apply logical reasoning to.
- (transitive) To overcome by logical argument.