Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

logic en · ADJ · etymology 1

Pronunciation

  • /ˈlɒd͡ʒ.ək/
  • /ˈlɑ.d͡ʒɪk/ (Canada, General-American)
  • (California) audio
  • /ˈlɔd͡ʒ.ɪk/ (Australia)
  • [ˈlɔ̟d͡ʒ.ək]
  • lŏ'jĭk (Canada, General-American)
  • /ˈlɒd͡ʒ.ɪk/ (Received-Pronunciation)
  • lŏj'ĭk (Received-Pronunciation)
  • lŏj'ĭk (Australia)

Etymology

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

Meanings

  1. Logical.

Forms

SpellingFeaturesLabelsSource
logick alternative lexicographic

logic en · NOUN · etymology 2

Pronunciation

  • /ˈlɒd͡ʒ.ək/
  • /ˈlɑ.d͡ʒɪk/ (Canada, General-American)
  • (California) audio
  • /ˈlɔd͡ʒ.ɪk/ (Australia)
  • [ˈlɔ̟d͡ʒ.ək]
  • lŏ'jĭk (Canada, General-American)
  • /ˈlɒd͡ʒ.ɪk/ (Received-Pronunciation)
  • lŏj'ĭk (Received-Pronunciation)
  • lŏj'ĭk (Australia)

Etymology

From Middle English logik, from Old French logike, from Latin logica, from Ancient Greek λογική (logikḗ, “logic”), from feminine of λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), from λόγος (lógos, “speech, reason”). Displaced native Old English flitcræft (literally “art of arguing”).

Meanings

  1. (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.
    • understand logic
    • use logic
    • pure logic
    • apply logic
  2. (countable, uncountable) The study of the principles and criteria of valid inference and demonstration.
    • 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, page 9:
  3. (uncountable) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
  4. (countable) A formal or informal language together with a deductive system or a model-theoretic semantics.
  5. (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
    • This hypothesis goes by many names, including group resistence, the threshold effect, and the gender paradox. Because the hypothesis holds such wide appeal, it is worth revisiting the logic behind it. The hypothesis is built on the factual observation that fewer females than males act antisocially. 2001 September 27, Terrie E. Moffitt, Avshalom Caspi, Michael Rutter, Phil A. Silva, Sex Differences in Antisocial Behaviour: Conduct Disorder, Delinquency, and Violence in the Dunedin Longitudinal Study, Cambridge University Press, →ISBN, page 151:
    • "It's not a matter of opinion that she wasn't anywhere near her husband when somebody shoved a needle in him," I said, miffed. "I would have seen her." "By that logic, nobody did it because you didn't see anybody." 2020, Dan Andriacco, Murderers' Row:
    • It's hard to work out his system of logic.
  6. (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
    • Fred is designing the logic for the new controller.
  7. (countable) A system of thought or collection of rhetoric, especially one associated with a social practice.
    • "We identify four logics of empowerment (political, economic, social, and security) and apply these to understanding empowerment’s historical and contemporary meanings-in-use." 2023, Alba Rosa Boer Cueva et al., Logics of empowerment in the women, peace and security agenda:

Forms

SpellingFeaturesLabelsSource
logick alternative lexicographic
logics Number=Plur lexicographic

Deriveds

epistemic logic · Aristotelian logic · logic high · fat logic · monadic predicate logic · logic-chopper · ladder logic · traditional logic · many-valued logic · chop-logic · predicate logic · Floyd-Hoare logic · logic-chopping · paraconsistent logic · pseudologic · arithmetic logic unit · Boolean logic · logic analyzer · Hoare logic · fridge logic · material logic · negative logic · business logic · non-classical logic · logicism · nonlogic · fuzzy logic · logicaster · paralogic · logic bomb · application logic · diode-transistor logic · horologic · monadic second-order logic · linear logic · circular logic · logicker · truth-functional logic · computation tree logic · sublogic · sentential logic · moon logic · metalogic · logic low · classical logic · logicist · programmable logic controller · constructive logic · zero-order logic · combinatory logic · Brazilian logic · programmable logic array · Gunning transceiver logic · emitter-coupled logic · logic programming · transistor-transistor logic · t-norm fuzzy logic · modal logic · symbolic logic · nigger logic · second-order logic · kettle logic · Frege-Russell logic · non-Aristotelian logic · propositional logic · logic level · resistor-transistor logic · term logic · temporal logic · unlogic · doxastic logic · time-loop logic · antilogic · illogic · logic maze · formal logic · musicologic · logic fallacy · first-order logic · modern logic · mathematical logic · hyperlogic · many-sorted logic · quantificational logic · quantum logic gate · philosophical logic · prelogic · computability logic · multi-valued logic · combinational logic · positive logic · provability logic · intensional logic · interpretability logic · deontic logic · mytho-logic · quantum logic · magnetologic · ternary logic · logic diagram · logicless · logic form · presentation logic · chop logic · erasable programmable logic device · cacologic · intuitionistic logic · logic error · logic board · informal logic · sequential logic · logicize · relevance logic · choplogic · description logic · diode logic · domain logic · uncommitted logic array · chopped logic · logic chopper

Descendants

邏輯 · 逻辑

Holonyms

philosophy · mathematics

Meronyms

second-order logic · deductive logic · Aristotelian logic · formal logic · propositional logic · fuzzy logic · first-order logic · classical logic · propositional calculus · inductive logic · intuitionistic logic · temporal logic · logical calculus · predicate calculus · predicate logic · modal logic · symbolic logic

Relateds

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

Synonyms

logic · predicate logic · formal system (system) · study

Translations (204)

fi logiikka (part of an electronic system that performs the boolean logic operations) · uk ло́гіка (method of human thought) · fi logiikka (formal or informal language) · sk logika (any system of thought, irrespective of its rigor or productiveness) · sh ло̀гика (formal or informal language) · pt lógica (any system of thought, irrespective of its rigor or productiveness) · sv logik (any system of thought, irrespective of its rigor or productiveness) · ca lògica (any system of thought, irrespective of its rigor or productiveness) · ca lògica (mathematical study) · pl logika (formal or informal language) · es lógica (method of human thought) · bn মন্তেক (method of human thought) · fr logique (mathematical study) · ko 론리학 (mathematical study) · vi luận lý (method of human thought) · fi logiikka (any system of thought, irrespective of its rigor or productiveness) · ca lògica (method of human thought) · be ло́гіка (formal or informal language) · sh мислословје (formal or informal language) · ja 論理 (method of human thought) · pt lógica (method of human thought) · cs logika (any system of thought, irrespective of its rigor or productiveness) · uk ло́гіка (formal or informal language) · fa-ira مَنْطِق (method of human thought) · uz logika (method of human thought) · hu logika (method of human thought) · cy rhesymeg (method of human thought) · ro logică (method of human thought) · tl matwiran (method of human thought) · kk логика (method of human thought) · be лёгіка (any system of thought, irrespective of its rigor or productiveness) · fa-ira مَنْطِق (any system of thought, irrespective of its rigor or productiveness) · fa-ira مَنْطِق (mathematical study) · gl lóxica (method of human thought) · ru ло́гика (any system of thought, irrespective of its rigor or productiveness) · sh мислословје (any system of thought, irrespective of its rigor or productiveness) · ota منطق (method of human thought) · lo ຕັກກະສາດ (mathematical study) · be ло́гіка (any system of thought, irrespective of its rigor or productiveness) · cmn 論理 /论理 (method of human thought) · cs logika (mathematical study) · tr mantık (method of human thought) · uz mantiq (method of human thought) · sh lògika (part of an electronic system that performs the boolean logic operations) · hy տրամաբանություն (method of human thought) · hi तर्क (method of human thought) · he הִגָּיוֹן (mathematical study) · sv logik (method of human thought) · mi (whakaaro) arorau (method of human thought) · bg ло́гика (part of an electronic system that performs the boolean logic operations) · sh ло̀гика (method of human thought) · prs مَنْطِق (mathematical study) · lv loģika (method of human thought) · hi तार्किक (mathematical study) · eu logika (method of human thought) · ru ло́гика (formal or informal language) · pl logika (mathematical study) · nb logikk (method of human thought) · sk logika (method of human thought) · tr eseme (method of human thought) · cs logika (method of human thought) · sh lògika (method of human thought) · de Logik (formal or informal language) · ga loighic (method of human thought) · tl matwiran (any system of thought, irrespective of its rigor or productiveness) · be ло́гіка (mathematical study) · be лёгіка (part of an electronic system that performs the boolean logic operations) · kmr mentiq (method of human thought) · tg мантиқ (method of human thought) · it logica (mathematical study) · mk ло́гика (method of human thought) · uk ло́гіка (any system of thought, irrespective of its rigor or productiveness) · sh misloslovje (mathematical study) · el λογική (formal or informal language) · az məntiq (mathematical study) · tl matwiran (part of an electronic system that performs the boolean logic operations) · it logica (method of human thought) · la dialectica (method of human thought) · nb logikk (formal or informal language) · ko 논리 (method of human thought) · sh ло̀гика (part of an electronic system that performs the boolean logic operations) · be ло́гіка (part of an electronic system that performs the boolean logic operations) · uk ло́гіка (mathematical study) · el λογική (method of human thought) · tl lohika (method of human thought) · es lógica (any system of thought, irrespective of its rigor or productiveness) · my ယုတ္တိဗေဒ (mathematical study) · ko 론리 (method of human thought) · ru ло́гика (method of human thought) · cy rhesymeg (mathematical study) · pl logika (method of human thought) · bg ло́гика (any system of thought, irrespective of its rigor or productiveness) · ja 論理 (any system of thought, irrespective of its rigor or productiveness) · my ယုတ္တိ (method of human thought) · tt мантыйк (method of human thought) · za lozciz (method of human thought) · prs مَنْطِق (any system of thought, irrespective of its rigor or productiveness) · sh ло̀гика (any system of thought, irrespective of its rigor or productiveness) · et loogika (method of human thought) · pt lógica (part of an electronic system that performs the boolean logic operations) · sh lògika (mathematical study) · vi logic (method of human thought) · ur تَرْک (method of human thought) · sl logika (any system of thought, irrespective of its rigor or productiveness) · yi לאָגיק (any system of thought, irrespective of its rigor or productiveness) · yue 邏輯 /逻辑 (method of human thought) · nb logikk (mathematical study) · fi logiikka (method of human thought) · id mantik (method of human thought) · el λογική (part of an electronic system that performs the boolean logic operations) · nl logica (method of human thought) · kk қисын (method of human thought) · bg ло́гика (formal or informal language) · yi לאָגיק (method of human thought) · de Logik (any system of thought, irrespective of its rigor or productiveness) · sh мислословје (mathematical study) · ko 논리학 (mathematical study) · gl lóxica (mathematical study) · ang flitcræft (mathematical study) · fr logique (any system of thought, irrespective of its rigor or productiveness) · eo logiko (method of human thought) · de Logik (method of human thought) · be лёгіка (mathematical study) · be лёгіка (method of human thought) · de Logik (mathematical study) · pt lógica (mathematical study) · be лёгіка (formal or informal language) · cmn 邏輯 /逻辑 (method of human thought) · it logica matematica (method of human thought) · ang flitcræft (method of human thought) · ps منطق (method of human thought) · xh i-logic (method of human thought) · te తర్కము (method of human thought) · fi logiikka (mathematical study) · ms mantik (method of human thought) · km តក្ក (method of human thought) · ar مَنْطِق (mathematical study) · ja 論理学 (mathematical study) · mk ло́гика (any system of thought, irrespective of its rigor or productiveness) · th ตรรกะ (method of human thought) · prs مَنْطِق (method of human thought) · he הִגָּיוֹן (any system of thought, irrespective of its rigor or productiveness) · yi לאָגיק (mathematical study) · sa न्यायम् (method of human thought) · ka ლოგიკა (method of human thought) · he הִגָּיוֹן (method of human thought) · ms logika (method of human thought) · ru ло́гика (part of an electronic system that performs the boolean logic operations) · ru ло́гика (mathematical study) · sq logjikë (method of human thought) · my တက္ကဗေဒ (mathematical study) · gl lóxica (formal or informal language) · ky логика (method of human thought) · nb logikk (any system of thought, irrespective of its rigor or productiveness) · bg ло́гика (method of human thought) · fr logique (method of human thought) · hi मंतिक़ (method of human thought) · sh lògika (any system of thought, irrespective of its rigor or productiveness) · bg ло́гика (mathematical study) · sw mantiki (method of human thought) · sh ло̀гика (mathematical study) · sl logika (method of human thought) · hy լոգիկա (method of human thought) · ug مەنتىق (method of human thought) · ar مَنْطِق (method of human thought) · is rökfræði (method of human thought) · tr mantık (mathematical study) · tl matwiran (mathematical study) · tk logika (method of human thought) · sk logika (mathematical study) · tpi lajik (method of human thought) · sl logika (mathematical study) · sv logik (mathematical study) · pt lógica (formal or informal language) · cmn 論理學 /论理学 (mathematical study) · hy տրամաբանություն (mathematical study) · ms logik (method of human thought) · gl lóxica (any system of thought, irrespective of its rigor or productiveness) · ur مَنْطِق (method of human thought) · mk ло́гика (formal or informal language) · pl logika (any system of thought, irrespective of its rigor or productiveness) · th ตรรกศาสตร์ (mathematical study) · tl matwiran (formal or informal language) · mk ло́гика (mathematical study) · lt logika (method of human thought) · uk ло́гіка (part of an electronic system that performs the boolean logic operations) · sh mislovlje (any system of thought, irrespective of its rigor or productiveness) · be ло́гіка (method of human thought) · id logika (method of human thought) · es lógica (mathematical study) · sh misloslovje (formal or informal language) · it logica (any system of thought, irrespective of its rigor or productiveness) · vi lô-gíc (method of human thought) · sh lògika (formal or informal language) · tl dalubmatwiran (mathematical study) · hi तर्क (any system of thought, irrespective of its rigor or productiveness) · el λογική (mathematical study) · mn логик (method of human thought) · da logik (method of human thought) · hy տրամաբանություն (any system of thought, irrespective of its rigor or productiveness) · lo ຕັກກະ (method of human thought) · el λογική (any system of thought, irrespective of its rigor or productiveness) · ga loighic (mathematical study) · az məntiq (method of human thought)

wikidata: Q173156

logic en · VERB · etymology 2

Pronunciation

  • /ˈlɒd͡ʒ.ək/
  • /ˈlɑ.d͡ʒɪk/ (Canada, General-American)
  • (California) audio
  • /ˈlɔd͡ʒ.ɪk/ (Australia)
  • [ˈlɔ̟d͡ʒ.ək]
  • lŏ'jĭk (Canada, General-American)
  • /ˈlɒd͡ʒ.ɪk/ (Received-Pronunciation)
  • lŏj'ĭk (Received-Pronunciation)
  • lŏj'ĭk (Australia)

Etymology

From Middle English logik, from Old French logike, from Latin logica, from Ancient Greek λογική (logikḗ, “logic”), from feminine of λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), from λόγος (lógos, “speech, reason”). Displaced native Old English flitcræft (literally “art of arguing”).

Meanings

  1. (derogatory, intransitive) To engage in excessive or inappropriate application of logic.
    • Nay, is not the author himself "logicking" against logic, from the beginning of his book to the end ? 1884, Orestes Augustus Brownson, Controversy, page 21:
  2. (transitive) To apply logical reasoning to.
    • He logicked that one out. He snuck into Haiti and scored herbs to rev him and calm him. 2010, James Ellroy, Blood's a Rover, page 90:
  3. (transitive) To overcome by logical argument.
    • If things had gone as usual this night, if Kit had not logicked her into agreement, then she probably would have opened the door tonight. 2010, Jade Lee, Wicked Surrender:

Forms

SpellingFeaturesLabelsSource
logicking Tense=Pres, VerbForm=Part lexicographic
logics Number=Sing, Person=3, Tense=Pres lexicographic
logick alternative lexicographic
logicked Tense=Past, VerbForm=Part lexicographic
logicked Tense=Past lexicographic