English Explanatory Dictionary

logic

English dictionary entry

Meanings

adj
  1. logical
noun
  1. 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.
  2. The study of the principles and criteria of valid inference and demonstration.
  3. The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
  4. A formal or informal language together with a deductive system or a model-theoretic semantics.
  5. Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
  6. The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
  7. A system of thought or collection of rhetoric, especially one associated with a social practice.
verb
  1. To engage in excessive or inappropriate application of logic.
  2. To apply logical reasoning to.
  3. To overcome by logical argument.

Pronunciation

lŏj'ĭk /ˈlɒd͡ʒ.ɪk/ lŏ'jĭk /ˈlɑ.d͡ʒɪk/ en-us-logic.ogg /ˈlɔd͡ʒ.ɪk/ /ˈlɒd͡ʒ.ək/ [ˈlɔ̟d͡ʒ.ək]

Word forms

logic logick logics logicking logicked

Etymology

From Middle English logike, from Old French and Latin logicus, from Ancient Greek λογῐκός (logĭkós). Displaced native Old English flitcræftlīċ.

Synonyms

study predicate logic logic formal system

Related words

logician logical inference argument fallacy premise conclusion validity proposition atomic proposition predicate relation inference rule syllogism modus ponens modus tollens definition axiom theorem proof derivation antecedent consequent necessity possible world formula sentence variable free variable bound variable tautology contradiction Boolean algebra truth value interpretation model set conjunction disjunction negation implication material implication equivalence quantifier and or not if when unless thus therefore it follows for each exists ¬ ~ ∧ & ∨

Derived words

antilogic application logic Aristotelian logic arithmetic logic unit Boolean logic Brazilian logic business logic cacologic chop logic choplogic chop-logic chopped logic classical logic combinational logic combinatory logic computability logic computation tree logic constructive logic deontic logic description logic diode logic diode-transistor logic domain logic doxastic logic emitter-coupled logic epistemic logic erasable programmable logic device fat logic first-order logic Floyd-Hoare logic formal logic fridge logic fuzzy logic Gunning transceiver logic Hoare logic horologic hyperlogic illogic informal logic intensional logic interpretability logic intuitionistic logic kettle logic ladder logic linear logic logic analyzer logicaster logic board logic bomb logic chopper logic-chopper logic diagram logic error logic fallacy logic form logic high logicism logicist logicize logicker
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on L Russian dictionary Dahl dictionary