"logic" meaning in English

See logic in All languages combined, or Wiktionary

Adjective

IPA: /ˈlɒd͡ʒ.ɪk/ [Received-Pronunciation], /ˈlɑ.d͡ʒɪk/ [US], /ˈlɔd͡ʒ.ɪk/ [General-Australian] Audio: en-us-logic.ogg [US]
enPR: lŏj'ĭk [General-Australian], lŏ'jĭk [General-Australian] Rhymes: -ɒdʒɪk Etymology: From Middle English logike, from Old French and Latin logicus, from Ancient Greek λογῐκός (logikós). Etymology templates: {{inh|en|enm|logike}} Middle English logike, {{der|en|fro|-}} Old French, {{der|en|la|logicus}} Latin logicus, {{der|en|grc|λογῐκός}} Ancient Greek λογῐκός (logikós) Head templates: {{en-adj|?}} logic
  1. logical
    Sense id: en-logic-en-adj-rH85oeC3
The following are not (yet) sense-disambiguated
Synonyms: logick [archaic]
Etymology number: 1

Noun

IPA: /ˈlɒd͡ʒ.ɪk/ [Received-Pronunciation], /ˈlɑ.d͡ʒɪk/ [US], /ˈlɔd͡ʒ.ɪk/ [General-Australian] Audio: en-us-logic.ogg [US] Forms: logics [plural]
enPR: lŏj'ĭk [General-Australian], lŏ'jĭk [General-Australian] Rhymes: -ɒdʒɪk 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”). Etymology templates: {{inh|en|enm|logik}} Middle English logik, {{der|en|fro|logike}} Old French logike, {{der|en|la|logica}} Latin logica, {{der|en|grc|λογική||logic}} Ancient Greek λογική (logikḗ, “logic”), {{m|grc|λογικός||of or pertaining to speech or reason or reasoning, rational, reasonable}} λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), {{m|grc|λόγος||speech, reason}} λόγος (lógos, “speech, reason”), {{ncog|ang|flitcræft|lit=art of arguing}} Old English flitcræft (literally “art of arguing”) Head templates: {{en-noun|~}} logic (countable and uncountable, plural logics)
  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. Tags: uncountable Categories (topical): Thinking Translations (method of human thought): logjikë [feminine] (Albanian), ⁧مَنْطِق⁩ (manṭiq) [masculine] (Arabic), տրամաբանություն (tramabanutʿyun) (Armenian), məntiq (Azerbaijani), logika (Basque), মন্তেক (montek) (Bengali), ло́гика (lógika) [feminine] (Bulgarian), lògica [feminine] (Catalan), 邏輯 (Chinese Mandarin), 逻辑 (luóji) (Chinese Mandarin), 論理 (Chinese Mandarin), 论理 (lùnlǐ) (Chinese Mandarin), logika [feminine] (Czech), logica [feminine] (Dutch), logiko (Esperanto), logiikka (Finnish), logique [feminine] (French), lóxica [feminine] (Galician), Logik [feminine] (German), λογική (logikí) [feminine] (Greek), ⁧הגיון⁩ (higayon) (Hebrew), तर्क (tark) (Hindi), logika (Hungarian), rökfræði [feminine] (Icelandic), logika (Indonesian), mantik (Indonesian), loighic [feminine] (Irish), logica [feminine] (Italian), logica matematica [feminine] (Italian), 論理 (ronri) (alt: ろんり) (Japanese), តក្ក (takka) (Khmer), 논리 (nolli) (alt: 論理) (Korean), dialectica [feminine] (Latin), loģika [feminine] (Latvian), ло́гика (lógika) [feminine] (Macedonian), (whakaaro) arorau (Maori), logikk [masculine] (Norwegian), flitcræft [masculine] (Old English), ⁧منطق⁩ (manteq) (Persian), logika [feminine] (Polish), lógica [feminine] (Portuguese), logică [feminine] (Romanian), ло́гика (lógika) [feminine] (Russian), न्यायम् (nyāyam) (Sanskrit), lògika [feminine] (Serbo-Croatian), logika [feminine] (Slovak), logika [feminine] (Slovene), lógica [feminine] (Spanish), mantiki (Swahili), logik [common-gender] (Swedish), matwiran (Tagalog), తర్కము (tarkamu) (Telugu), ตรรกะ (dtàk-gà) (Thai), lajik (Tok Pisin), mantık (Turkish), eseme (Turkish), ло́гіка (lóhika) [feminine] (Ukrainian), ⁧ترک⁩ (tark) (Urdu), ⁧مەنتىق⁩ (mentiq) (Uyghur), logic (Vietnamese), lô-gíc (Vietnamese), luận lý (alt: 論理) (Vietnamese), rhesymeg [feminine] (Welsh), i-logic (Xhosa), ⁧לאָגיק⁩ (logik) [feminine] (Yiddish)
    Sense id: en-logic-en-noun-slXcUchq Disambiguation of Thinking: 0 48 7 3 6 6 5 8 5 6 6 Disambiguation of 'method of human thought': 70 2 0 1 15 0 12
  2. (philosophy, logic) The study of the principles and criteria of valid inference and demonstration. Tags: countable, uncountable Categories (topical): Logic, Philosophy Hyponyms: logic
    Sense id: en-logic-en-noun-4ih2iA8d Topics: human-sciences, logic, mathematics, philosophy, sciences
  3. (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements. Tags: uncountable Categories (topical): Mathematics Translations (mathematical study): ⁧مَنْطِق⁩ (manṭiq) [masculine] (Arabic), տրամաբանություն (tramabanutʿyun) (Armenian), məntiq (Azerbaijani), တက္ကဗေဒ (takka.beda.) (Burmese), lògica (Catalan), logika [feminine] (Czech), logiikka (Finnish), logique [feminine] (French), lóxica [feminine] (Galician), Logik [feminine] (German), λογική (logikí) [feminine] (Greek), ⁧הגיון⁩ (higayon) [masculine] (Hebrew), loighic [feminine] (Irish), logica [feminine] (Italian), 論理学 (ronrigaku) (alt: ろんりがく) (Japanese), 논리학 (nollihak) (alt: 論理學) (Korean), ло́гика (lógika) [feminine] (Macedonian), logikk [masculine] (Norwegian), flitcræft [masculine] (Old English), ⁧منطق⁩ (manteq) (Persian), logika [feminine] (Polish), lógica [feminine] (Portuguese), ло́гика (lógika) [feminine] (Russian), lògika [feminine] (Serbo-Croatian), mislovlje [neuter] (Serbo-Croatian), logika [feminine] (Slovak), logika [feminine] (Slovene), lógica (Spanish), logik [common-gender] (Swedish), dalubmatwiran (Tagalog), matwiran (Tagalog), mantık (Turkish), ло́гіка (lóhika) [feminine] (Ukrainian), rhesymeg [feminine] (Welsh), ⁧לאָגיק⁩ (logik) [feminine] (Yiddish)
    Sense id: en-logic-en-noun-76jBKfNF Topics: mathematics, sciences Disambiguation of 'mathematical study': 5 16 63 7 1 1 7
  4. (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics. Tags: countable Categories (topical): Mathematics Translations (formal or informal language): logiikka (Finnish), lóxica [feminine] (Galician), Logik [feminine] (German), λογική (logikí) [feminine] (Greek), ло́гика (lógika) [feminine] (Macedonian), logikk [masculine] (Norwegian), logika [feminine] (Polish), lógica [feminine] (Portuguese), lògika [feminine] (Serbo-Croatian), mislovlje [neuter] (Serbo-Croatian), matwiran (Tagalog)
    Sense id: en-logic-en-noun-szx4gFaU Topics: mathematics, sciences Disambiguation of 'formal or informal language': 6 1 2 86 1 1 3
  5. (uncountable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person. Tags: uncountable Translations (any system of thought, irrespective of its rigor or productiveness): տրամաբանություն (tramabanutʿyun) (Armenian), lògica [feminine] (Catalan), logika [feminine] (Czech), logiikka (Finnish), logique [feminine] (French), lóxica [feminine] (Galician), Logik [feminine] (German), λογική (logikí) [feminine] (Greek), ⁧הגיון⁩ (higayon) [masculine] (Hebrew), logica [feminine] (Italian), 論理 (ronri) (alt: ろんり) (Japanese), ло́гика (lógika) [feminine] (Macedonian), logikk [masculine] (Norwegian), ⁧منطق⁩ (manteq) (Persian), logika [feminine] (Polish), lógica [feminine] (Portuguese), lògika [feminine] (Serbo-Croatian), mislovlje [neuter] (Serbo-Croatian), logika [feminine] (Slovak), logika [feminine] (Slovene), lógica (Spanish), logik [common-gender] (Swedish), matwiran (Tagalog), ⁧לאָגיק⁩ (logik) [feminine] (Yiddish)
    Sense id: en-logic-en-noun-WUEfPfjL Disambiguation of 'any system of thought, irrespective of its rigor or productiveness': 13 1 3 5 50 7 22
  6. (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit. Tags: uncountable Synonyms (system): formal system [mathematics, sciences] Translations (part of an electronic system that performs the boolean logic operations): logiikka (Finnish), λογική (logikí) (Greek), lógica [feminine] (Portuguese), lògika [feminine] (Serbo-Croatian), matwiran (Tagalog)
    Sense id: en-logic-en-noun-IZAyGgwc Disambiguation of 'system': 0 0 0 18 24 33 25 Disambiguation of 'part of an electronic system that performs the boolean logic operations': 4 1 2 8 7 70 8
  7. (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice. Tags: countable Categories (topical): Sociology, Directives
    Sense id: en-logic-en-noun-AisM3hSt Disambiguation of Directives: 4 7 19 7 11 6 6 33 1 3 3 Topics: human-sciences, sciences, social-science, sociology
The following are not (yet) sense-disambiguated
Synonyms: logick [archaic], study [formal, modern] [mathematics, sciences, logic, mathematics, philosophy, human-sciences, sciences, logic, mathematics, philosophy, human-sciences, sciences], predicate logic [philosophy, human-sciences, sciences], logic Holonyms: philosophy, mathematics
Etymology number: 2 Meronyms: formal logic, Aristotelian logic, classical logic, symbolic logic, propositional logic, predicate logic, first-order logic, second-order logic, modal logic, temporal logic, fuzzy logic, intuitionistic logic, deductive logic, inductive logic, logical calculus, propositional calculus, predicate calculus Derived forms: application logic, Aristotelian logic, arithmetic logic unit, Boolean logic, business logic, cacologic, chop-logic, 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, formal logic, fridge logic, fuzzy logic, Gunning transceiver logic, Hoare logic, informal logic, intensional logic, interpretability logic, intuitionistic logic, kettle logic, ladder logic, linear logic, logic analyzer, logic board, logic bomb, logic chopper, logic-chopper, logic diagram, logic error, logic fallacy, logic form, logic programming, many-sorted logic, many-valued logic, material logic, mathematical logic, modal logic, modern logic, monadic predicate logic, monadic second-order logic, moon logic, multi-valued logic, mytho-logic, negative logic, non-Aristotelian logic, non-classical logic, paraconsistent logic, philosophical logic, positive logic, predicate logic, presentation logic, programmable logic array, programmable logic controller, propositional logic, provability logic, quantum logic, quantum logic gate, relevance logic, resistor-transistor logic, second-order logic, sentential logic, sequential logic, symbolic logic, temporal logic, term logic, ternary logic, t-norm fuzzy logic, traditional logic, transistor-transistor logic, uncommitted logic array, unlogic, zero-order logic Related terms: 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, ¬, ~, , &, , , , , ⇏, , , , , Aristotle, Frege, Russell, Gödel, Appendix:Glossary of logic

Verb

IPA: /ˈlɒd͡ʒ.ɪk/ [Received-Pronunciation], /ˈlɑ.d͡ʒɪk/ [US], /ˈlɔd͡ʒ.ɪk/ [General-Australian] Audio: en-us-logic.ogg [US] Forms: logics [present, singular, third-person], logicking [participle, present], logicked [participle, past], logicked [past]
enPR: lŏj'ĭk [General-Australian], lŏ'jĭk [General-Australian] Rhymes: -ɒdʒɪk 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”). Etymology templates: {{inh|en|enm|logik}} Middle English logik, {{der|en|fro|logike}} Old French logike, {{der|en|la|logica}} Latin logica, {{der|en|grc|λογική||logic}} Ancient Greek λογική (logikḗ, “logic”), {{m|grc|λογικός||of or pertaining to speech or reason or reasoning, rational, reasonable}} λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), {{m|grc|λόγος||speech, reason}} λόγος (lógos, “speech, reason”), {{ncog|ang|flitcræft|lit=art of arguing}} Old English flitcræft (literally “art of arguing”) Head templates: {{en-verb|logics|logicking|logicked}} logic (third-person singular simple present logics, present participle logicking, simple past and past participle logicked)
  1. (intransitive, derogatory) To engage in excessive or inappropriate application of logic. Tags: derogatory, intransitive
    Sense id: en-logic-en-verb-QbdYwXDG
  2. (transitive) To apply logical reasoning to. Tags: transitive
    Sense id: en-logic-en-verb-Fp836RAg
  3. (transitive) To overcome by logical argument. Tags: transitive
    Sense id: en-logic-en-verb-IAaxVOB4
The following are not (yet) sense-disambiguated
Synonyms: logick [archaic]
Etymology number: 2

Inflected forms

Alternative forms

Download JSON data for logic meaning in English (47.9kB)

{
  "etymology_number": 1,
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "enm",
        "3": "logike"
      },
      "expansion": "Middle English logike",
      "name": "inh"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "-"
      },
      "expansion": "Old French",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "logicus"
      },
      "expansion": "Latin logicus",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "λογῐκός"
      },
      "expansion": "Ancient Greek λογῐκός (logikós)",
      "name": "der"
    }
  ],
  "etymology_text": "From Middle English logike, from Old French and Latin logicus, from Ancient Greek λογῐκός (logikós).",
  "head_templates": [
    {
      "args": {
        "1": "?"
      },
      "expansion": "logic",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "glosses": [
        "logical"
      ],
      "id": "en-logic-en-adj-rH85oeC3",
      "links": [
        [
          "logical",
          "logical"
        ]
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈlɒd͡ʒ.ɪk/",
      "tags": [
        "Received-Pronunciation"
      ]
    },
    {
      "ipa": "/ˈlɑ.d͡ʒɪk/",
      "tags": [
        "US"
      ]
    },
    {
      "ipa": "/ˈlɔd͡ʒ.ɪk/",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "rhymes": "-ɒdʒɪk"
    },
    {
      "audio": "en-us-logic.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/En-us-logic.ogg/En-us-logic.ogg.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/c/cc/En-us-logic.ogg",
      "tags": [
        "US"
      ],
      "text": "Audio (US)"
    },
    {
      "enpr": "lŏj'ĭk",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "enpr": "lŏ'jĭk",
      "tags": [
        "General-Australian"
      ]
    }
  ],
  "synonyms": [
    {
      "_dis1": "0 0 0 0 0 0 0 0 0 0 0",
      "tags": [
        "archaic"
      ],
      "word": "logick"
    }
  ],
  "word": "logic"
}

{
  "derived": [
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "application logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "Aristotelian logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "arithmetic logic unit"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "Boolean logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "business logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "cacologic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "chop-logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "chop logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "chopped logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "classical logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "combinational logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "combinatory logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "computability logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "computation tree logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "constructive logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "deontic logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "description logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "diode logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "diode-transistor logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "domain logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "doxastic logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "emitter-coupled logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "epistemic logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "erasable programmable logic device"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "fat logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "first-order logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "formal logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "fridge logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "fuzzy logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "Gunning transceiver logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "Hoare logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "informal logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "intensional logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "interpretability logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "intuitionistic logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "kettle logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ladder logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "linear logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic analyzer"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic board"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic bomb"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic chopper"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic-chopper"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic diagram"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic error"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic fallacy"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic form"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logic programming"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "many-sorted logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "many-valued logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "material logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "mathematical logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "modal logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "modern logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "monadic predicate logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "monadic second-order logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "moon logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "multi-valued logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "mytho-logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "negative logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "non-Aristotelian logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "non-classical logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "paraconsistent logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "philosophical logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "positive logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "predicate logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "presentation logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "programmable logic array"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "programmable logic controller"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "propositional logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "provability logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "quantum logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "quantum logic gate"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "relevance logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "resistor-transistor logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "second-order logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "sentential logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "sequential logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "symbolic logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "temporal logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "term logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "ternary logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "t-norm fuzzy logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "traditional logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "transistor-transistor logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "uncommitted logic array"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "unlogic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "zero-order logic"
    }
  ],
  "descendants": [
    {
      "depth": 1,
      "templates": [
        {
          "args": {
            "1": "zh",
            "2": "邏輯",
            "bor": "1"
          },
          "expansion": "→ Chinese: 邏輯/逻辑 (luójí)",
          "name": "desc"
        }
      ],
      "text": "→ Chinese: 邏輯/逻辑 (luójí)"
    }
  ],
  "etymology_number": 2,
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "enm",
        "3": "logik"
      },
      "expansion": "Middle English logik",
      "name": "inh"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "logike"
      },
      "expansion": "Old French logike",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "logica"
      },
      "expansion": "Latin logica",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "λογική",
        "4": "",
        "5": "logic"
      },
      "expansion": "Ancient Greek λογική (logikḗ, “logic”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "λογικός",
        "3": "",
        "4": "of or pertaining to speech or reason or reasoning, rational, reasonable"
      },
      "expansion": "λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "λόγος",
        "3": "",
        "4": "speech, reason"
      },
      "expansion": "λόγος (lógos, “speech, reason”)",
      "name": "m"
    },
    {
      "args": {
        "1": "ang",
        "2": "flitcræft",
        "lit": "art of arguing"
      },
      "expansion": "Old English flitcræft (literally “art of arguing”)",
      "name": "ncog"
    }
  ],
  "etymology_text": "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”).",
  "forms": [
    {
      "form": "logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "logic (countable and uncountable, plural logics)",
      "name": "en-noun"
    }
  ],
  "holonyms": [
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "philosophy"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "mathematics"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "meronyms": [
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "formal logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "Aristotelian logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "classical logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "symbolic logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "propositional logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "predicate logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "first-order logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "second-order logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "modal logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "temporal logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "fuzzy logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "intuitionistic logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "deductive logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "inductive logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "logical calculus"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "propositional calculus"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "predicate calculus"
    }
  ],
  "pos": "noun",
  "related": [
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logician"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "word": "logical"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "inference"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "argument"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "fallacy"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "premise"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "conclusion"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "validity"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "proposition"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "atomic proposition"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "predicate"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "relation"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "inference rule"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "syllogism"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "modus ponens"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "modus tollens"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "definition"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "axiom"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "theorem"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "proof"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "derivation"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "antecedent"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "consequent"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "necessity"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "possible world"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "formula"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "sentence"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "variable"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "free variable"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "bound variable"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "tautology"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "contradiction"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "Boolean algebra"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "truth value"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "interpretation"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "model"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "set"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "conjunction"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "disjunction"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "negation"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "implication"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "material implication"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "equivalence"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "quantifier"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "and"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "or"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "not"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "if"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "when"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "unless"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "thus"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "therefore"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "it follows"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "for each"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "exists"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "¬"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "~"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "∧"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "&"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "∨"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "→"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "↛"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "⇒"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "⇏"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "⊃"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "↔"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "⇔"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "≡"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "Aristotle"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "Frege"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "Russell"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "Gödel"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "Appendix:Glossary of logic"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "_dis": "0 48 7 3 6 6 5 8 5 6 6",
          "kind": "topical",
          "langcode": "en",
          "name": "Thinking",
          "orig": "en:Thinking",
          "parents": [
            "Mind",
            "Human",
            "All topics",
            "Fundamental"
          ],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "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."
      ],
      "id": "en-logic-en-noun-slXcUchq",
      "links": [
        [
          "thought",
          "thought"
        ],
        [
          "linear",
          "linear"
        ],
        [
          "scientific method",
          "scientific method"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "tags": [
        "uncountable"
      ],
      "translations": [
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "sq",
          "lang": "Albanian",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logjikë"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ar",
          "lang": "Arabic",
          "roman": "manṭiq",
          "sense": "method of human thought",
          "tags": [
            "masculine"
          ],
          "word": "⁧مَنْطِق⁩"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "hy",
          "lang": "Armenian",
          "roman": "tramabanutʿyun",
          "sense": "method of human thought",
          "word": "տրամաբանություն"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "az",
          "lang": "Azerbaijani",
          "sense": "method of human thought",
          "word": "məntiq"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "eu",
          "lang": "Basque",
          "sense": "method of human thought",
          "word": "logika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "bn",
          "lang": "Bengali",
          "roman": "montek",
          "sense": "method of human thought",
          "word": "মন্তেক"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "bg",
          "lang": "Bulgarian",
          "roman": "lógika",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "ло́гика"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ca",
          "lang": "Catalan",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "lògica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "sense": "method of human thought",
          "word": "邏輯"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "roman": "luóji",
          "sense": "method of human thought",
          "word": "逻辑"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "sense": "method of human thought",
          "word": "論理"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "cmn",
          "lang": "Chinese Mandarin",
          "roman": "lùnlǐ",
          "sense": "method of human thought",
          "word": "论理"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "cs",
          "lang": "Czech",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "nl",
          "lang": "Dutch",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "eo",
          "lang": "Esperanto",
          "sense": "method of human thought",
          "word": "logiko"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "fi",
          "lang": "Finnish",
          "sense": "method of human thought",
          "word": "logiikka"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "fr",
          "lang": "French",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logique"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "gl",
          "lang": "Galician",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "lóxica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "de",
          "lang": "German",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "Logik"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "el",
          "lang": "Greek",
          "roman": "logikí",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "λογική"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "he",
          "lang": "Hebrew",
          "roman": "higayon",
          "sense": "method of human thought",
          "word": "⁧הגיון⁩"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "hi",
          "lang": "Hindi",
          "roman": "tark",
          "sense": "method of human thought",
          "word": "तर्क"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "hu",
          "lang": "Hungarian",
          "sense": "method of human thought",
          "word": "logika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "is",
          "lang": "Icelandic",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "rökfræði"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "id",
          "lang": "Indonesian",
          "sense": "method of human thought",
          "word": "logika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "id",
          "lang": "Indonesian",
          "sense": "method of human thought",
          "word": "mantik"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ga",
          "lang": "Irish",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "loighic"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "it",
          "lang": "Italian",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "it",
          "lang": "Italian",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logica matematica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "alt": "ろんり",
          "code": "ja",
          "lang": "Japanese",
          "roman": "ronri",
          "sense": "method of human thought",
          "word": "論理"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "km",
          "lang": "Khmer",
          "roman": "takka",
          "sense": "method of human thought",
          "word": "តក្ក"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "alt": "論理",
          "code": "ko",
          "lang": "Korean",
          "roman": "nolli",
          "sense": "method of human thought",
          "word": "논리"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "la",
          "lang": "Latin",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "dialectica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "lv",
          "lang": "Latvian",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "loģika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "mk",
          "lang": "Macedonian",
          "roman": "lógika",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "ло́гика"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "mi",
          "lang": "Maori",
          "sense": "method of human thought",
          "word": "(whakaaro) arorau"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "no",
          "lang": "Norwegian",
          "sense": "method of human thought",
          "tags": [
            "masculine"
          ],
          "word": "logikk"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ang",
          "lang": "Old English",
          "sense": "method of human thought",
          "tags": [
            "masculine"
          ],
          "word": "flitcræft"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "fa",
          "lang": "Persian",
          "roman": "manteq",
          "sense": "method of human thought",
          "word": "⁧منطق⁩"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "pl",
          "lang": "Polish",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "lógica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ro",
          "lang": "Romanian",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logică"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ru",
          "lang": "Russian",
          "roman": "lógika",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "ло́гика"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "sa",
          "lang": "Sanskrit",
          "roman": "nyāyam",
          "sense": "method of human thought",
          "word": "न्यायम्"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "lògika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "sk",
          "lang": "Slovak",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "sl",
          "lang": "Slovene",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "es",
          "lang": "Spanish",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "lógica"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "sw",
          "lang": "Swahili",
          "sense": "method of human thought",
          "word": "mantiki"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "sv",
          "lang": "Swedish",
          "sense": "method of human thought",
          "tags": [
            "common-gender"
          ],
          "word": "logik"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "tl",
          "lang": "Tagalog",
          "sense": "method of human thought",
          "word": "matwiran"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "te",
          "lang": "Telugu",
          "roman": "tarkamu",
          "sense": "method of human thought",
          "word": "తర్కము"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "th",
          "lang": "Thai",
          "roman": "dtàk-gà",
          "sense": "method of human thought",
          "word": "ตรรกะ"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "tpi",
          "lang": "Tok Pisin",
          "sense": "method of human thought",
          "word": "lajik"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "tr",
          "lang": "Turkish",
          "sense": "method of human thought",
          "word": "mantık"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "tr",
          "lang": "Turkish",
          "sense": "method of human thought",
          "word": "eseme"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "uk",
          "lang": "Ukrainian",
          "roman": "lóhika",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "ло́гіка"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ur",
          "lang": "Urdu",
          "roman": "tark",
          "sense": "method of human thought",
          "word": "⁧ترک⁩"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "ug",
          "lang": "Uyghur",
          "roman": "mentiq",
          "sense": "method of human thought",
          "word": "⁧مەنتىق⁩"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "vi",
          "lang": "Vietnamese",
          "sense": "method of human thought",
          "word": "logic"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "vi",
          "lang": "Vietnamese",
          "sense": "method of human thought",
          "word": "lô-gíc"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "alt": "論理",
          "code": "vi",
          "lang": "Vietnamese",
          "sense": "method of human thought",
          "word": "luận lý"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "cy",
          "lang": "Welsh",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "rhesymeg"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "xh",
          "lang": "Xhosa",
          "sense": "method of human thought",
          "word": "i-logic"
        },
        {
          "_dis1": "70 2 0 1 15 0 12",
          "code": "yi",
          "lang": "Yiddish",
          "roman": "logik",
          "sense": "method of human thought",
          "tags": [
            "feminine"
          ],
          "word": "⁧לאָגיק⁩"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Philosophy",
          "orig": "en:Philosophy",
          "parents": [
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "2001, Mark Sainsbury, Logical Forms - An Introduction to Philosophical Logic, Second Edition, Blackwell Publishing, page 9",
          "text": "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\".",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The study of the principles and criteria of valid inference and demonstration."
      ],
      "hyponyms": [
        {
          "word": "logic"
        }
      ],
      "id": "en-logic-en-noun-4ih2iA8d",
      "links": [
        [
          "philosophy",
          "philosophy"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "inference",
          "inference"
        ],
        [
          "demonstration",
          "demonstration"
        ]
      ],
      "raw_glosses": [
        "(philosophy, logic) The study of the principles and criteria of valid inference and demonstration."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements."
      ],
      "id": "en-logic-en-noun-76jBKfNF",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "define",
          "define"
        ],
        [
          "proof",
          "proof"
        ],
        [
          "statement",
          "statement"
        ]
      ],
      "raw_glosses": [
        "(uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "ar",
          "lang": "Arabic",
          "roman": "manṭiq",
          "sense": "mathematical study",
          "tags": [
            "masculine"
          ],
          "word": "⁧مَنْطِق⁩"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "hy",
          "lang": "Armenian",
          "roman": "tramabanutʿyun",
          "sense": "mathematical study",
          "word": "տրամաբանություն"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "az",
          "lang": "Azerbaijani",
          "sense": "mathematical study",
          "word": "məntiq"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "my",
          "lang": "Burmese",
          "roman": "takka.beda.",
          "sense": "mathematical study",
          "word": "တက္ကဗေဒ"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "ca",
          "lang": "Catalan",
          "sense": "mathematical study",
          "word": "lògica"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "cs",
          "lang": "Czech",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "fi",
          "lang": "Finnish",
          "sense": "mathematical study",
          "word": "logiikka"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "fr",
          "lang": "French",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "logique"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "gl",
          "lang": "Galician",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "lóxica"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "de",
          "lang": "German",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "Logik"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "el",
          "lang": "Greek",
          "roman": "logikí",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "λογική"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "he",
          "lang": "Hebrew",
          "roman": "higayon",
          "sense": "mathematical study",
          "tags": [
            "masculine"
          ],
          "word": "⁧הגיון⁩"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "ga",
          "lang": "Irish",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "loighic"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "it",
          "lang": "Italian",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "logica"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "alt": "ろんりがく",
          "code": "ja",
          "lang": "Japanese",
          "roman": "ronrigaku",
          "sense": "mathematical study",
          "word": "論理学"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "alt": "論理學",
          "code": "ko",
          "lang": "Korean",
          "roman": "nollihak",
          "sense": "mathematical study",
          "word": "논리학"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "mk",
          "lang": "Macedonian",
          "roman": "lógika",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "ло́гика"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "no",
          "lang": "Norwegian",
          "sense": "mathematical study",
          "tags": [
            "masculine"
          ],
          "word": "logikk"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "ang",
          "lang": "Old English",
          "sense": "mathematical study",
          "tags": [
            "masculine"
          ],
          "word": "flitcræft"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "fa",
          "lang": "Persian",
          "roman": "manteq",
          "sense": "mathematical study",
          "word": "⁧منطق⁩"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "pl",
          "lang": "Polish",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "lógica"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "ru",
          "lang": "Russian",
          "roman": "lógika",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "ло́гика"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "lògika"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "mathematical study",
          "tags": [
            "neuter"
          ],
          "word": "mislovlje"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "sk",
          "lang": "Slovak",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "sl",
          "lang": "Slovene",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "es",
          "lang": "Spanish",
          "sense": "mathematical study",
          "word": "lógica"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "sv",
          "lang": "Swedish",
          "sense": "mathematical study",
          "tags": [
            "common-gender"
          ],
          "word": "logik"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "tl",
          "lang": "Tagalog",
          "sense": "mathematical study",
          "word": "dalubmatwiran"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "tl",
          "lang": "Tagalog",
          "sense": "mathematical study",
          "word": "matwiran"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "tr",
          "lang": "Turkish",
          "sense": "mathematical study",
          "word": "mantık"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "uk",
          "lang": "Ukrainian",
          "roman": "lóhika",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "ло́гіка"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "cy",
          "lang": "Welsh",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "rhesymeg"
        },
        {
          "_dis1": "5 16 63 7 1 1 7",
          "code": "yi",
          "lang": "Yiddish",
          "roman": "logik",
          "sense": "mathematical study",
          "tags": [
            "feminine"
          ],
          "word": "⁧לאָגיק⁩"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A formal or informal language together with a deductive system or a model-theoretic semantics."
      ],
      "id": "en-logic-en-noun-szx4gFaU",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "informal",
          "informal"
        ],
        [
          "language",
          "language"
        ],
        [
          "deductive",
          "deductive"
        ],
        [
          "system",
          "system"
        ],
        [
          "model-theoretic",
          "model theory"
        ],
        [
          "semantics",
          "semantics"
        ]
      ],
      "raw_glosses": [
        "(countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "fi",
          "lang": "Finnish",
          "sense": "formal or informal language",
          "word": "logiikka"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "gl",
          "lang": "Galician",
          "sense": "formal or informal language",
          "tags": [
            "feminine"
          ],
          "word": "lóxica"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "de",
          "lang": "German",
          "sense": "formal or informal language",
          "tags": [
            "feminine"
          ],
          "word": "Logik"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "el",
          "lang": "Greek",
          "roman": "logikí",
          "sense": "formal or informal language",
          "tags": [
            "feminine"
          ],
          "word": "λογική"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "mk",
          "lang": "Macedonian",
          "roman": "lógika",
          "sense": "formal or informal language",
          "tags": [
            "feminine"
          ],
          "word": "ло́гика"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "no",
          "lang": "Norwegian",
          "sense": "formal or informal language",
          "tags": [
            "masculine"
          ],
          "word": "logikk"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "pl",
          "lang": "Polish",
          "sense": "formal or informal language",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "formal or informal language",
          "tags": [
            "feminine"
          ],
          "word": "lógica"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "formal or informal language",
          "tags": [
            "feminine"
          ],
          "word": "lògika"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "formal or informal language",
          "tags": [
            "neuter"
          ],
          "word": "mislovlje"
        },
        {
          "_dis1": "6 1 2 86 1 1 3",
          "code": "tl",
          "lang": "Tagalog",
          "sense": "formal or informal language",
          "word": "matwiran"
        }
      ]
    },
    {
      "categories": [],
      "examples": [
        {
          "text": "It's hard to work out his system of logic.",
          "type": "example"
        },
        {
          "ref": "27 September 2001, 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, page 151",
          "text": "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.",
          "type": "quotation"
        },
        {
          "ref": "2020, Dan Andriacco, Murderers' Row",
          "text": "\"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.\"\n\"By that logic, nobody did it because you didn't see anybody.\"",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Any system of thought, whether rigorous and productive or not, especially one associated with a particular person."
      ],
      "id": "en-logic-en-noun-WUEfPfjL",
      "links": [
        [
          "system",
          "system"
        ],
        [
          "rigorous",
          "rigorous"
        ],
        [
          "productive",
          "productive"
        ]
      ],
      "raw_glosses": [
        "(uncountable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person."
      ],
      "tags": [
        "uncountable"
      ],
      "translations": [
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "hy",
          "lang": "Armenian",
          "roman": "tramabanutʿyun",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "word": "տրամաբանություն"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "ca",
          "lang": "Catalan",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "lògica"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "cs",
          "lang": "Czech",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "fi",
          "lang": "Finnish",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "word": "logiikka"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "fr",
          "lang": "French",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "logique"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "gl",
          "lang": "Galician",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "lóxica"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "de",
          "lang": "German",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "Logik"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "el",
          "lang": "Greek",
          "roman": "logikí",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "λογική"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "he",
          "lang": "Hebrew",
          "roman": "higayon",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "masculine"
          ],
          "word": "⁧הגיון⁩"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "it",
          "lang": "Italian",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "logica"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "alt": "ろんり",
          "code": "ja",
          "lang": "Japanese",
          "roman": "ronri",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "word": "論理"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "mk",
          "lang": "Macedonian",
          "roman": "lógika",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "ло́гика"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "no",
          "lang": "Norwegian",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "masculine"
          ],
          "word": "logikk"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "fa",
          "lang": "Persian",
          "roman": "manteq",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "word": "⁧منطق⁩"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "pl",
          "lang": "Polish",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "lógica"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "lògika"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "neuter"
          ],
          "word": "mislovlje"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "sk",
          "lang": "Slovak",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "sl",
          "lang": "Slovene",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "logika"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "es",
          "lang": "Spanish",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "word": "lógica"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "sv",
          "lang": "Swedish",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "common-gender"
          ],
          "word": "logik"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "tl",
          "lang": "Tagalog",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "word": "matwiran"
        },
        {
          "_dis1": "13 1 3 5 50 7 22",
          "code": "yi",
          "lang": "Yiddish",
          "roman": "logik",
          "sense": "any system of thought, irrespective of its rigor or productiveness",
          "tags": [
            "feminine"
          ],
          "word": "⁧לאָגיק⁩"
        }
      ]
    },
    {
      "categories": [],
      "examples": [
        {
          "text": "Fred is designing the logic for the new controller."
        }
      ],
      "glosses": [
        "The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit."
      ],
      "id": "en-logic-en-noun-IZAyGgwc",
      "links": [
        [
          "logic gate",
          "logic gate"
        ],
        [
          "logic circuit",
          "logic circuit"
        ]
      ],
      "raw_glosses": [
        "(uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit."
      ],
      "synonyms": [
        {
          "_dis1": "0 0 0 18 24 33 25",
          "sense": "system",
          "topics": [
            "mathematics",
            "sciences"
          ],
          "word": "formal system"
        }
      ],
      "tags": [
        "uncountable"
      ],
      "translations": [
        {
          "_dis1": "4 1 2 8 7 70 8",
          "code": "fi",
          "lang": "Finnish",
          "sense": "part of an electronic system that performs the boolean logic operations",
          "word": "logiikka"
        },
        {
          "_dis1": "4 1 2 8 7 70 8",
          "code": "el",
          "lang": "Greek",
          "roman": "logikí",
          "sense": "part of an electronic system that performs the boolean logic operations",
          "word": "λογική"
        },
        {
          "_dis1": "4 1 2 8 7 70 8",
          "code": "pt",
          "lang": "Portuguese",
          "sense": "part of an electronic system that performs the boolean logic operations",
          "tags": [
            "feminine"
          ],
          "word": "lógica"
        },
        {
          "_dis1": "4 1 2 8 7 70 8",
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "part of an electronic system that performs the boolean logic operations",
          "tags": [
            "feminine"
          ],
          "word": "lògika"
        },
        {
          "_dis1": "4 1 2 8 7 70 8",
          "code": "tl",
          "lang": "Tagalog",
          "sense": "part of an electronic system that performs the boolean logic operations",
          "word": "matwiran"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Sociology",
          "orig": "en:Sociology",
          "parents": [
            "Social sciences",
            "Sciences",
            "Society",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "4 7 19 7 11 6 6 33 1 3 3",
          "kind": "topical",
          "langcode": "en",
          "name": "Directives",
          "orig": "en:Directives",
          "parents": [
            "Communication",
            "All topics",
            "Fundamental"
          ],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "ref": "2023, Alba Rosa Boer Cueva et al., Logics of empowerment in the women, peace and security agenda",
          "text": "We identify four logics of empowerment (political, economic, social, and security) and apply these to understanding empowerment’s historical and contemporary meanings-in-use.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A system of thought or collection of rhetoric, especially one associated with a social practice."
      ],
      "id": "en-logic-en-noun-AisM3hSt",
      "links": [
        [
          "sociology",
          "sociology"
        ],
        [
          "system",
          "system"
        ]
      ],
      "raw_glosses": [
        "(countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "human-sciences",
        "sciences",
        "social-science",
        "sociology"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈlɒd͡ʒ.ɪk/",
      "tags": [
        "Received-Pronunciation"
      ]
    },
    {
      "ipa": "/ˈlɑ.d͡ʒɪk/",
      "tags": [
        "US"
      ]
    },
    {
      "ipa": "/ˈlɔd͡ʒ.ɪk/",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "rhymes": "-ɒdʒɪk"
    },
    {
      "audio": "en-us-logic.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/En-us-logic.ogg/En-us-logic.ogg.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/c/cc/En-us-logic.ogg",
      "tags": [
        "US"
      ],
      "text": "Audio (US)"
    },
    {
      "enpr": "lŏj'ĭk",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "enpr": "lŏ'jĭk",
      "tags": [
        "General-Australian"
      ]
    }
  ],
  "synonyms": [
    {
      "_dis1": "0 0 0 0 0 0 0 0 0 0 0",
      "tags": [
        "archaic"
      ],
      "word": "logick"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "tags": [
        "formal",
        "modern"
      ],
      "topics": [
        "mathematics",
        "sciences",
        "logic",
        "mathematics",
        "philosophy",
        "human-sciences",
        "sciences",
        "logic",
        "mathematics",
        "philosophy",
        "human-sciences",
        "sciences"
      ],
      "word": "study"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "topics": [
        "philosophy",
        "human-sciences",
        "sciences"
      ],
      "word": "predicate logic"
    },
    {
      "_dis1": "0 0 0 0 0 0 0",
      "source": "Thesaurus:logic",
      "word": "logic"
    }
  ],
  "wikipedia": [
    "logic"
  ],
  "word": "logic"
}

{
  "etymology_number": 2,
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "enm",
        "3": "logik"
      },
      "expansion": "Middle English logik",
      "name": "inh"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "logike"
      },
      "expansion": "Old French logike",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "logica"
      },
      "expansion": "Latin logica",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "λογική",
        "4": "",
        "5": "logic"
      },
      "expansion": "Ancient Greek λογική (logikḗ, “logic”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "λογικός",
        "3": "",
        "4": "of or pertaining to speech or reason or reasoning, rational, reasonable"
      },
      "expansion": "λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "λόγος",
        "3": "",
        "4": "speech, reason"
      },
      "expansion": "λόγος (lógos, “speech, reason”)",
      "name": "m"
    },
    {
      "args": {
        "1": "ang",
        "2": "flitcræft",
        "lit": "art of arguing"
      },
      "expansion": "Old English flitcræft (literally “art of arguing”)",
      "name": "ncog"
    }
  ],
  "etymology_text": "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”).",
  "forms": [
    {
      "form": "logics",
      "tags": [
        "present",
        "singular",
        "third-person"
      ]
    },
    {
      "form": "logicking",
      "tags": [
        "participle",
        "present"
      ]
    },
    {
      "form": "logicked",
      "tags": [
        "participle",
        "past"
      ]
    },
    {
      "form": "logicked",
      "tags": [
        "past"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "logics",
        "2": "logicking",
        "3": "logicked"
      },
      "expansion": "logic (third-person singular simple present logics, present participle logicking, simple past and past participle logicked)",
      "name": "en-verb"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [],
      "examples": [
        {
          "ref": "1884, Orestes Augustus Brownson, Controversy, page 21",
          "text": "Nay, is not the author himself \"logicking\" against logic, from the beginning of his book to the end ?",
          "type": "quotation"
        }
      ],
      "glosses": [
        "To engage in excessive or inappropriate application of logic."
      ],
      "id": "en-logic-en-verb-QbdYwXDG",
      "links": [
        [
          "derogatory",
          "derogatory"
        ]
      ],
      "raw_glosses": [
        "(intransitive, derogatory) To engage in excessive or inappropriate application of logic."
      ],
      "tags": [
        "derogatory",
        "intransitive"
      ]
    },
    {
      "categories": [],
      "examples": [
        {
          "ref": "2010, James Ellroy, Blood's a Rover, page 90",
          "text": "He logicked that one out. He snuck into Haiti and scored herbs to rev him and calm him.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "To apply logical reasoning to."
      ],
      "id": "en-logic-en-verb-Fp836RAg",
      "raw_glosses": [
        "(transitive) To apply logical reasoning to."
      ],
      "tags": [
        "transitive"
      ]
    },
    {
      "categories": [],
      "examples": [
        {
          "ref": "2010, Jade Lee, Wicked Surrender",
          "text": "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.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "To overcome by logical argument."
      ],
      "id": "en-logic-en-verb-IAaxVOB4",
      "raw_glosses": [
        "(transitive) To overcome by logical argument."
      ],
      "tags": [
        "transitive"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈlɒd͡ʒ.ɪk/",
      "tags": [
        "Received-Pronunciation"
      ]
    },
    {
      "ipa": "/ˈlɑ.d͡ʒɪk/",
      "tags": [
        "US"
      ]
    },
    {
      "ipa": "/ˈlɔd͡ʒ.ɪk/",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "rhymes": "-ɒdʒɪk"
    },
    {
      "audio": "en-us-logic.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/En-us-logic.ogg/En-us-logic.ogg.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/c/cc/En-us-logic.ogg",
      "tags": [
        "US"
      ],
      "text": "Audio (US)"
    },
    {
      "enpr": "lŏj'ĭk",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "enpr": "lŏ'jĭk",
      "tags": [
        "General-Australian"
      ]
    }
  ],
  "synonyms": [
    {
      "_dis1": "0 0 0 0 0 0 0 0 0 0 0",
      "tags": [
        "archaic"
      ],
      "word": "logick"
    }
  ],
  "word": "logic"
}
{
  "categories": [
    "en:Directives",
    "en:Thinking"
  ],
  "etymology_number": 1,
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "enm",
        "3": "logike"
      },
      "expansion": "Middle English logike",
      "name": "inh"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "-"
      },
      "expansion": "Old French",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "logicus"
      },
      "expansion": "Latin logicus",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "λογῐκός"
      },
      "expansion": "Ancient Greek λογῐκός (logikós)",
      "name": "der"
    }
  ],
  "etymology_text": "From Middle English logike, from Old French and Latin logicus, from Ancient Greek λογῐκός (logikós).",
  "head_templates": [
    {
      "args": {
        "1": "?"
      },
      "expansion": "logic",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "glosses": [
        "logical"
      ],
      "links": [
        [
          "logical",
          "logical"
        ]
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈlɒd͡ʒ.ɪk/",
      "tags": [
        "Received-Pronunciation"
      ]
    },
    {
      "ipa": "/ˈlɑ.d͡ʒɪk/",
      "tags": [
        "US"
      ]
    },
    {
      "ipa": "/ˈlɔd͡ʒ.ɪk/",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "rhymes": "-ɒdʒɪk"
    },
    {
      "audio": "en-us-logic.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/En-us-logic.ogg/En-us-logic.ogg.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/c/cc/En-us-logic.ogg",
      "tags": [
        "US"
      ],
      "text": "Audio (US)"
    },
    {
      "enpr": "lŏj'ĭk",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "enpr": "lŏ'jĭk",
      "tags": [
        "General-Australian"
      ]
    }
  ],
  "synonyms": [
    {
      "tags": [
        "archaic"
      ],
      "word": "logick"
    }
  ],
  "word": "logic"
}

{
  "categories": [
    "en:Directives",
    "en:Thinking"
  ],
  "derived": [
    {
      "word": "application logic"
    },
    {
      "word": "Aristotelian logic"
    },
    {
      "word": "arithmetic logic unit"
    },
    {
      "word": "Boolean logic"
    },
    {
      "word": "business logic"
    },
    {
      "word": "cacologic"
    },
    {
      "word": "chop-logic"
    },
    {
      "word": "chop logic"
    },
    {
      "word": "chopped logic"
    },
    {
      "word": "classical logic"
    },
    {
      "word": "combinational logic"
    },
    {
      "word": "combinatory logic"
    },
    {
      "word": "computability logic"
    },
    {
      "word": "computation tree logic"
    },
    {
      "word": "constructive logic"
    },
    {
      "word": "deontic logic"
    },
    {
      "word": "description logic"
    },
    {
      "word": "diode logic"
    },
    {
      "word": "diode-transistor logic"
    },
    {
      "word": "domain logic"
    },
    {
      "word": "doxastic logic"
    },
    {
      "word": "emitter-coupled logic"
    },
    {
      "word": "epistemic logic"
    },
    {
      "word": "erasable programmable logic device"
    },
    {
      "word": "fat logic"
    },
    {
      "word": "first-order logic"
    },
    {
      "word": "formal logic"
    },
    {
      "word": "fridge logic"
    },
    {
      "word": "fuzzy logic"
    },
    {
      "word": "Gunning transceiver logic"
    },
    {
      "word": "Hoare logic"
    },
    {
      "word": "informal logic"
    },
    {
      "word": "intensional logic"
    },
    {
      "word": "interpretability logic"
    },
    {
      "word": "intuitionistic logic"
    },
    {
      "word": "kettle logic"
    },
    {
      "word": "ladder logic"
    },
    {
      "word": "linear logic"
    },
    {
      "word": "logic analyzer"
    },
    {
      "word": "logic board"
    },
    {
      "word": "logic bomb"
    },
    {
      "word": "logic chopper"
    },
    {
      "word": "logic-chopper"
    },
    {
      "word": "logic diagram"
    },
    {
      "word": "logic error"
    },
    {
      "word": "logic fallacy"
    },
    {
      "word": "logic form"
    },
    {
      "word": "logic programming"
    },
    {
      "word": "many-sorted logic"
    },
    {
      "word": "many-valued logic"
    },
    {
      "word": "material logic"
    },
    {
      "word": "mathematical logic"
    },
    {
      "word": "modal logic"
    },
    {
      "word": "modern logic"
    },
    {
      "word": "monadic predicate logic"
    },
    {
      "word": "monadic second-order logic"
    },
    {
      "word": "moon logic"
    },
    {
      "word": "multi-valued logic"
    },
    {
      "word": "mytho-logic"
    },
    {
      "word": "negative logic"
    },
    {
      "word": "non-Aristotelian logic"
    },
    {
      "word": "non-classical logic"
    },
    {
      "word": "paraconsistent logic"
    },
    {
      "word": "philosophical logic"
    },
    {
      "word": "positive logic"
    },
    {
      "word": "predicate logic"
    },
    {
      "word": "presentation logic"
    },
    {
      "word": "programmable logic array"
    },
    {
      "word": "programmable logic controller"
    },
    {
      "word": "propositional logic"
    },
    {
      "word": "provability logic"
    },
    {
      "word": "quantum logic"
    },
    {
      "word": "quantum logic gate"
    },
    {
      "word": "relevance logic"
    },
    {
      "word": "resistor-transistor logic"
    },
    {
      "word": "second-order logic"
    },
    {
      "word": "sentential logic"
    },
    {
      "word": "sequential logic"
    },
    {
      "word": "symbolic logic"
    },
    {
      "word": "temporal logic"
    },
    {
      "word": "term logic"
    },
    {
      "word": "ternary logic"
    },
    {
      "word": "t-norm fuzzy logic"
    },
    {
      "word": "traditional logic"
    },
    {
      "word": "transistor-transistor logic"
    },
    {
      "word": "uncommitted logic array"
    },
    {
      "word": "unlogic"
    },
    {
      "word": "zero-order logic"
    }
  ],
  "descendants": [
    {
      "depth": 1,
      "templates": [
        {
          "args": {
            "1": "zh",
            "2": "邏輯",
            "bor": "1"
          },
          "expansion": "→ Chinese: 邏輯/逻辑 (luójí)",
          "name": "desc"
        }
      ],
      "text": "→ Chinese: 邏輯/逻辑 (luójí)"
    }
  ],
  "etymology_number": 2,
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "enm",
        "3": "logik"
      },
      "expansion": "Middle English logik",
      "name": "inh"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "logike"
      },
      "expansion": "Old French logike",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "logica"
      },
      "expansion": "Latin logica",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "λογική",
        "4": "",
        "5": "logic"
      },
      "expansion": "Ancient Greek λογική (logikḗ, “logic”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "λογικός",
        "3": "",
        "4": "of or pertaining to speech or reason or reasoning, rational, reasonable"
      },
      "expansion": "λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "λόγος",
        "3": "",
        "4": "speech, reason"
      },
      "expansion": "λόγος (lógos, “speech, reason”)",
      "name": "m"
    },
    {
      "args": {
        "1": "ang",
        "2": "flitcræft",
        "lit": "art of arguing"
      },
      "expansion": "Old English flitcræft (literally “art of arguing”)",
      "name": "ncog"
    }
  ],
  "etymology_text": "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”).",
  "forms": [
    {
      "form": "logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "logic (countable and uncountable, plural logics)",
      "name": "en-noun"
    }
  ],
  "holonyms": [
    {
      "source": "Thesaurus:logic",
      "word": "philosophy"
    },
    {
      "source": "Thesaurus:logic",
      "word": "mathematics"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "meronyms": [
    {
      "source": "Thesaurus:logic",
      "word": "formal logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "Aristotelian logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "classical logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "symbolic logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "propositional logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "predicate logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "first-order logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "second-order logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "modal logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "temporal logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "fuzzy logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "intuitionistic logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "deductive logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "inductive logic"
    },
    {
      "source": "Thesaurus:logic",
      "word": "logical calculus"
    },
    {
      "source": "Thesaurus:logic",
      "word": "propositional calculus"
    },
    {
      "source": "Thesaurus:logic",
      "word": "predicate calculus"
    }
  ],
  "pos": "noun",
  "related": [
    {
      "word": "logician"
    },
    {
      "word": "logical"
    },
    {
      "source": "Thesaurus:logic",
      "word": "inference"
    },
    {
      "source": "Thesaurus:logic",
      "word": "argument"
    },
    {
      "source": "Thesaurus:logic",
      "word": "fallacy"
    },
    {
      "source": "Thesaurus:logic",
      "word": "premise"
    },
    {
      "source": "Thesaurus:logic",
      "word": "conclusion"
    },
    {
      "source": "Thesaurus:logic",
      "word": "validity"
    },
    {
      "source": "Thesaurus:logic",
      "word": "proposition"
    },
    {
      "source": "Thesaurus:logic",
      "word": "atomic proposition"
    },
    {
      "source": "Thesaurus:logic",
      "word": "predicate"
    },
    {
      "source": "Thesaurus:logic",
      "word": "relation"
    },
    {
      "source": "Thesaurus:logic",
      "word": "inference rule"
    },
    {
      "source": "Thesaurus:logic",
      "word": "syllogism"
    },
    {
      "source": "Thesaurus:logic",
      "word": "modus ponens"
    },
    {
      "source": "Thesaurus:logic",
      "word": "modus tollens"
    },
    {
      "source": "Thesaurus:logic",
      "word": "definition"
    },
    {
      "source": "Thesaurus:logic",
      "word": "axiom"
    },
    {
      "source": "Thesaurus:logic",
      "word": "theorem"
    },
    {
      "source": "Thesaurus:logic",
      "word": "proof"
    },
    {
      "source": "Thesaurus:logic",
      "word": "derivation"
    },
    {
      "source": "Thesaurus:logic",
      "word": "antecedent"
    },
    {
      "source": "Thesaurus:logic",
      "word": "consequent"
    },
    {
      "source": "Thesaurus:logic",
      "word": "necessity"
    },
    {
      "source": "Thesaurus:logic",
      "word": "possible world"
    },
    {
      "source": "Thesaurus:logic",
      "word": "formula"
    },
    {
      "source": "Thesaurus:logic",
      "word": "sentence"
    },
    {
      "source": "Thesaurus:logic",
      "word": "variable"
    },
    {
      "source": "Thesaurus:logic",
      "word": "free variable"
    },
    {
      "source": "Thesaurus:logic",
      "word": "bound variable"
    },
    {
      "source": "Thesaurus:logic",
      "word": "tautology"
    },
    {
      "source": "Thesaurus:logic",
      "word": "contradiction"
    },
    {
      "source": "Thesaurus:logic",
      "word": "Boolean algebra"
    },
    {
      "source": "Thesaurus:logic",
      "word": "truth value"
    },
    {
      "source": "Thesaurus:logic",
      "word": "interpretation"
    },
    {
      "source": "Thesaurus:logic",
      "word": "model"
    },
    {
      "source": "Thesaurus:logic",
      "word": "set"
    },
    {
      "source": "Thesaurus:logic",
      "word": "conjunction"
    },
    {
      "source": "Thesaurus:logic",
      "word": "disjunction"
    },
    {
      "source": "Thesaurus:logic",
      "word": "negation"
    },
    {
      "source": "Thesaurus:logic",
      "word": "implication"
    },
    {
      "source": "Thesaurus:logic",
      "word": "material implication"
    },
    {
      "source": "Thesaurus:logic",
      "word": "equivalence"
    },
    {
      "source": "Thesaurus:logic",
      "word": "quantifier"
    },
    {
      "source": "Thesaurus:logic",
      "word": "and"
    },
    {
      "source": "Thesaurus:logic",
      "word": "or"
    },
    {
      "source": "Thesaurus:logic",
      "word": "not"
    },
    {
      "source": "Thesaurus:logic",
      "word": "if"
    },
    {
      "source": "Thesaurus:logic",
      "word": "when"
    },
    {
      "source": "Thesaurus:logic",
      "word": "unless"
    },
    {
      "source": "Thesaurus:logic",
      "word": "thus"
    },
    {
      "source": "Thesaurus:logic",
      "word": "therefore"
    },
    {
      "source": "Thesaurus:logic",
      "word": "it follows"
    },
    {
      "source": "Thesaurus:logic",
      "word": "for each"
    },
    {
      "source": "Thesaurus:logic",
      "word": "exists"
    },
    {
      "source": "Thesaurus:logic",
      "word": "¬"
    },
    {
      "source": "Thesaurus:logic",
      "word": "~"
    },
    {
      "source": "Thesaurus:logic",
      "word": "∧"
    },
    {
      "source": "Thesaurus:logic",
      "word": "&"
    },
    {
      "source": "Thesaurus:logic",
      "word": "∨"
    },
    {
      "source": "Thesaurus:logic",
      "word": "→"
    },
    {
      "source": "Thesaurus:logic",
      "word": "↛"
    },
    {
      "source": "Thesaurus:logic",
      "word": "⇒"
    },
    {
      "source": "Thesaurus:logic",
      "word": "⇏"
    },
    {
      "source": "Thesaurus:logic",
      "word": "⊃"
    },
    {
      "source": "Thesaurus:logic",
      "word": "↔"
    },
    {
      "source": "Thesaurus:logic",
      "word": "⇔"
    },
    {
      "source": "Thesaurus:logic",
      "word": "≡"
    },
    {
      "source": "Thesaurus:logic",
      "word": "Aristotle"
    },
    {
      "source": "Thesaurus:logic",
      "word": "Frege"
    },
    {
      "source": "Thesaurus:logic",
      "word": "Russell"
    },
    {
      "source": "Thesaurus:logic",
      "word": "Gödel"
    },
    {
      "source": "Thesaurus:logic",
      "word": "Appendix:Glossary of logic"
    }
  ],
  "senses": [
    {
      "categories": [
        "English uncountable nouns"
      ],
      "glosses": [
        "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."
      ],
      "links": [
        [
          "thought",
          "thought"
        ],
        [
          "linear",
          "linear"
        ],
        [
          "scientific method",
          "scientific method"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "tags": [
        "uncountable"
      ]
    },
    {
      "categories": [
        "English terms with quotations",
        "en:Logic",
        "en:Philosophy"
      ],
      "examples": [
        {
          "ref": "2001, Mark Sainsbury, Logical Forms - An Introduction to Philosophical Logic, Second Edition, Blackwell Publishing, page 9",
          "text": "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\".",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The study of the principles and criteria of valid inference and demonstration."
      ],
      "hyponyms": [
        {
          "word": "logic"
        }
      ],
      "links": [
        [
          "philosophy",
          "philosophy"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "inference",
          "inference"
        ],
        [
          "demonstration",
          "demonstration"
        ]
      ],
      "raw_glosses": [
        "(philosophy, logic) The study of the principles and criteria of valid inference and demonstration."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    },
    {
      "categories": [
        "English uncountable nouns",
        "en:Mathematics"
      ],
      "glosses": [
        "The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "define",
          "define"
        ],
        [
          "proof",
          "proof"
        ],
        [
          "statement",
          "statement"
        ]
      ],
      "raw_glosses": [
        "(uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        "English countable nouns",
        "en:Mathematics"
      ],
      "glosses": [
        "A formal or informal language together with a deductive system or a model-theoretic semantics."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "informal",
          "informal"
        ],
        [
          "language",
          "language"
        ],
        [
          "deductive",
          "deductive"
        ],
        [
          "system",
          "system"
        ],
        [
          "model-theoretic",
          "model theory"
        ],
        [
          "semantics",
          "semantics"
        ]
      ],
      "raw_glosses": [
        "(countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        "English terms with quotations",
        "English terms with usage examples",
        "English uncountable nouns",
        "Quotation templates to be cleaned"
      ],
      "examples": [
        {
          "text": "It's hard to work out his system of logic.",
          "type": "example"
        },
        {
          "ref": "27 September 2001, 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, page 151",
          "text": "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.",
          "type": "quotation"
        },
        {
          "ref": "2020, Dan Andriacco, Murderers' Row",
          "text": "\"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.\"\n\"By that logic, nobody did it because you didn't see anybody.\"",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Any system of thought, whether rigorous and productive or not, especially one associated with a particular person."
      ],
      "links": [
        [
          "system",
          "system"
        ],
        [
          "rigorous",
          "rigorous"
        ],
        [
          "productive",
          "productive"
        ]
      ],
      "raw_glosses": [
        "(uncountable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person."
      ],
      "tags": [
        "uncountable"
      ]
    },
    {
      "categories": [
        "English uncountable nouns"
      ],
      "examples": [
        {
          "text": "Fred is designing the logic for the new controller."
        }
      ],
      "glosses": [
        "The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit."
      ],
      "links": [
        [
          "logic gate",
          "logic gate"
        ],
        [
          "logic circuit",
          "logic circuit"
        ]
      ],
      "raw_glosses": [
        "(uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit."
      ],
      "tags": [
        "uncountable"
      ]
    },
    {
      "categories": [
        "English countable nouns",
        "English terms with quotations",
        "Quotation templates to be cleaned",
        "en:Sociology"
      ],
      "examples": [
        {
          "ref": "2023, Alba Rosa Boer Cueva et al., Logics of empowerment in the women, peace and security agenda",
          "text": "We identify four logics of empowerment (political, economic, social, and security) and apply these to understanding empowerment’s historical and contemporary meanings-in-use.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A system of thought or collection of rhetoric, especially one associated with a social practice."
      ],
      "links": [
        [
          "sociology",
          "sociology"
        ],
        [
          "system",
          "system"
        ]
      ],
      "raw_glosses": [
        "(countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "human-sciences",
        "sciences",
        "social-science",
        "sociology"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈlɒd͡ʒ.ɪk/",
      "tags": [
        "Received-Pronunciation"
      ]
    },
    {
      "ipa": "/ˈlɑ.d͡ʒɪk/",
      "tags": [
        "US"
      ]
    },
    {
      "ipa": "/ˈlɔd͡ʒ.ɪk/",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "rhymes": "-ɒdʒɪk"
    },
    {
      "audio": "en-us-logic.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/En-us-logic.ogg/En-us-logic.ogg.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/c/cc/En-us-logic.ogg",
      "tags": [
        "US"
      ],
      "text": "Audio (US)"
    },
    {
      "enpr": "lŏj'ĭk",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "enpr": "lŏ'jĭk",
      "tags": [
        "General-Australian"
      ]
    }
  ],
  "synonyms": [
    {
      "tags": [
        "formal",
        "modern"
      ],
      "topics": [
        "mathematics",
        "sciences",
        "logic",
        "mathematics",
        "philosophy",
        "human-sciences",
        "sciences",
        "logic",
        "mathematics",
        "philosophy",
        "human-sciences",
        "sciences"
      ],
      "word": "study"
    },
    {
      "sense": "system",
      "topics": [
        "mathematics",
        "sciences"
      ],
      "word": "formal system"
    },
    {
      "topics": [
        "philosophy",
        "human-sciences",
        "sciences"
      ],
      "word": "predicate logic"
    },
    {
      "tags": [
        "archaic"
      ],
      "word": "logick"
    },
    {
      "source": "Thesaurus:logic",
      "word": "logic"
    }
  ],
  "translations": [
    {
      "code": "sq",
      "lang": "Albanian",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logjikë"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "roman": "manṭiq",
      "sense": "method of human thought",
      "tags": [
        "masculine"
      ],
      "word": "⁧مَنْطِق⁩"
    },
    {
      "code": "hy",
      "lang": "Armenian",
      "roman": "tramabanutʿyun",
      "sense": "method of human thought",
      "word": "տրամաբանություն"
    },
    {
      "code": "az",
      "lang": "Azerbaijani",
      "sense": "method of human thought",
      "word": "məntiq"
    },
    {
      "code": "eu",
      "lang": "Basque",
      "sense": "method of human thought",
      "word": "logika"
    },
    {
      "code": "bn",
      "lang": "Bengali",
      "roman": "montek",
      "sense": "method of human thought",
      "word": "মন্তেক"
    },
    {
      "code": "bg",
      "lang": "Bulgarian",
      "roman": "lógika",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "ло́гика"
    },
    {
      "code": "ca",
      "lang": "Catalan",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "lògica"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "sense": "method of human thought",
      "word": "邏輯"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "roman": "luóji",
      "sense": "method of human thought",
      "word": "逻辑"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "sense": "method of human thought",
      "word": "論理"
    },
    {
      "code": "cmn",
      "lang": "Chinese Mandarin",
      "roman": "lùnlǐ",
      "sense": "method of human thought",
      "word": "论理"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "nl",
      "lang": "Dutch",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logica"
    },
    {
      "code": "eo",
      "lang": "Esperanto",
      "sense": "method of human thought",
      "word": "logiko"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "method of human thought",
      "word": "logiikka"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logique"
    },
    {
      "code": "gl",
      "lang": "Galician",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "lóxica"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "Logik"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "logikí",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "λογική"
    },
    {
      "code": "he",
      "lang": "Hebrew",
      "roman": "higayon",
      "sense": "method of human thought",
      "word": "⁧הגיון⁩"
    },
    {
      "code": "hi",
      "lang": "Hindi",
      "roman": "tark",
      "sense": "method of human thought",
      "word": "तर्क"
    },
    {
      "code": "hu",
      "lang": "Hungarian",
      "sense": "method of human thought",
      "word": "logika"
    },
    {
      "code": "is",
      "lang": "Icelandic",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "rökfræði"
    },
    {
      "code": "id",
      "lang": "Indonesian",
      "sense": "method of human thought",
      "word": "logika"
    },
    {
      "code": "id",
      "lang": "Indonesian",
      "sense": "method of human thought",
      "word": "mantik"
    },
    {
      "code": "ga",
      "lang": "Irish",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "loighic"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logica"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logica matematica"
    },
    {
      "alt": "ろんり",
      "code": "ja",
      "lang": "Japanese",
      "roman": "ronri",
      "sense": "method of human thought",
      "word": "論理"
    },
    {
      "code": "km",
      "lang": "Khmer",
      "roman": "takka",
      "sense": "method of human thought",
      "word": "តក្ក"
    },
    {
      "alt": "論理",
      "code": "ko",
      "lang": "Korean",
      "roman": "nolli",
      "sense": "method of human thought",
      "word": "논리"
    },
    {
      "code": "la",
      "lang": "Latin",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "dialectica"
    },
    {
      "code": "lv",
      "lang": "Latvian",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "loģika"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "lógika",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "ло́гика"
    },
    {
      "code": "mi",
      "lang": "Maori",
      "sense": "method of human thought",
      "word": "(whakaaro) arorau"
    },
    {
      "code": "no",
      "lang": "Norwegian",
      "sense": "method of human thought",
      "tags": [
        "masculine"
      ],
      "word": "logikk"
    },
    {
      "code": "ang",
      "lang": "Old English",
      "sense": "method of human thought",
      "tags": [
        "masculine"
      ],
      "word": "flitcræft"
    },
    {
      "code": "fa",
      "lang": "Persian",
      "roman": "manteq",
      "sense": "method of human thought",
      "word": "⁧منطق⁩"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "lógica"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logică"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "lógika",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "ло́гика"
    },
    {
      "code": "sa",
      "lang": "Sanskrit",
      "roman": "nyāyam",
      "sense": "method of human thought",
      "word": "न्यायम्"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "lògika"
    },
    {
      "code": "sk",
      "lang": "Slovak",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "sl",
      "lang": "Slovene",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "lógica"
    },
    {
      "code": "sw",
      "lang": "Swahili",
      "sense": "method of human thought",
      "word": "mantiki"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "method of human thought",
      "tags": [
        "common-gender"
      ],
      "word": "logik"
    },
    {
      "code": "tl",
      "lang": "Tagalog",
      "sense": "method of human thought",
      "word": "matwiran"
    },
    {
      "code": "te",
      "lang": "Telugu",
      "roman": "tarkamu",
      "sense": "method of human thought",
      "word": "తర్కము"
    },
    {
      "code": "th",
      "lang": "Thai",
      "roman": "dtàk-gà",
      "sense": "method of human thought",
      "word": "ตรรกะ"
    },
    {
      "code": "tpi",
      "lang": "Tok Pisin",
      "sense": "method of human thought",
      "word": "lajik"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "sense": "method of human thought",
      "word": "mantık"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "sense": "method of human thought",
      "word": "eseme"
    },
    {
      "code": "uk",
      "lang": "Ukrainian",
      "roman": "lóhika",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "ло́гіка"
    },
    {
      "code": "ur",
      "lang": "Urdu",
      "roman": "tark",
      "sense": "method of human thought",
      "word": "⁧ترک⁩"
    },
    {
      "code": "ug",
      "lang": "Uyghur",
      "roman": "mentiq",
      "sense": "method of human thought",
      "word": "⁧مەنتىق⁩"
    },
    {
      "code": "vi",
      "lang": "Vietnamese",
      "sense": "method of human thought",
      "word": "logic"
    },
    {
      "code": "vi",
      "lang": "Vietnamese",
      "sense": "method of human thought",
      "word": "lô-gíc"
    },
    {
      "alt": "論理",
      "code": "vi",
      "lang": "Vietnamese",
      "sense": "method of human thought",
      "word": "luận lý"
    },
    {
      "code": "cy",
      "lang": "Welsh",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "rhesymeg"
    },
    {
      "code": "xh",
      "lang": "Xhosa",
      "sense": "method of human thought",
      "word": "i-logic"
    },
    {
      "code": "yi",
      "lang": "Yiddish",
      "roman": "logik",
      "sense": "method of human thought",
      "tags": [
        "feminine"
      ],
      "word": "⁧לאָגיק⁩"
    },
    {
      "code": "ar",
      "lang": "Arabic",
      "roman": "manṭiq",
      "sense": "mathematical study",
      "tags": [
        "masculine"
      ],
      "word": "⁧مَنْطِق⁩"
    },
    {
      "code": "hy",
      "lang": "Armenian",
      "roman": "tramabanutʿyun",
      "sense": "mathematical study",
      "word": "տրամաբանություն"
    },
    {
      "code": "az",
      "lang": "Azerbaijani",
      "sense": "mathematical study",
      "word": "məntiq"
    },
    {
      "code": "my",
      "lang": "Burmese",
      "roman": "takka.beda.",
      "sense": "mathematical study",
      "word": "တက္ကဗေဒ"
    },
    {
      "code": "ca",
      "lang": "Catalan",
      "sense": "mathematical study",
      "word": "lògica"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "mathematical study",
      "word": "logiikka"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "logique"
    },
    {
      "code": "gl",
      "lang": "Galician",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "lóxica"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "Logik"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "logikí",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "λογική"
    },
    {
      "code": "he",
      "lang": "Hebrew",
      "roman": "higayon",
      "sense": "mathematical study",
      "tags": [
        "masculine"
      ],
      "word": "⁧הגיון⁩"
    },
    {
      "code": "ga",
      "lang": "Irish",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "loighic"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "logica"
    },
    {
      "alt": "ろんりがく",
      "code": "ja",
      "lang": "Japanese",
      "roman": "ronrigaku",
      "sense": "mathematical study",
      "word": "論理学"
    },
    {
      "alt": "論理學",
      "code": "ko",
      "lang": "Korean",
      "roman": "nollihak",
      "sense": "mathematical study",
      "word": "논리학"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "lógika",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "ло́гика"
    },
    {
      "code": "no",
      "lang": "Norwegian",
      "sense": "mathematical study",
      "tags": [
        "masculine"
      ],
      "word": "logikk"
    },
    {
      "code": "ang",
      "lang": "Old English",
      "sense": "mathematical study",
      "tags": [
        "masculine"
      ],
      "word": "flitcræft"
    },
    {
      "code": "fa",
      "lang": "Persian",
      "roman": "manteq",
      "sense": "mathematical study",
      "word": "⁧منطق⁩"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "lógica"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "lógika",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "ло́гика"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "lògika"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "mathematical study",
      "tags": [
        "neuter"
      ],
      "word": "mislovlje"
    },
    {
      "code": "sk",
      "lang": "Slovak",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "sl",
      "lang": "Slovene",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "mathematical study",
      "word": "lógica"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "mathematical study",
      "tags": [
        "common-gender"
      ],
      "word": "logik"
    },
    {
      "code": "tl",
      "lang": "Tagalog",
      "sense": "mathematical study",
      "word": "dalubmatwiran"
    },
    {
      "code": "tl",
      "lang": "Tagalog",
      "sense": "mathematical study",
      "word": "matwiran"
    },
    {
      "code": "tr",
      "lang": "Turkish",
      "sense": "mathematical study",
      "word": "mantık"
    },
    {
      "code": "uk",
      "lang": "Ukrainian",
      "roman": "lóhika",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "ло́гіка"
    },
    {
      "code": "cy",
      "lang": "Welsh",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "rhesymeg"
    },
    {
      "code": "yi",
      "lang": "Yiddish",
      "roman": "logik",
      "sense": "mathematical study",
      "tags": [
        "feminine"
      ],
      "word": "⁧לאָגיק⁩"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "formal or informal language",
      "word": "logiikka"
    },
    {
      "code": "gl",
      "lang": "Galician",
      "sense": "formal or informal language",
      "tags": [
        "feminine"
      ],
      "word": "lóxica"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "formal or informal language",
      "tags": [
        "feminine"
      ],
      "word": "Logik"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "logikí",
      "sense": "formal or informal language",
      "tags": [
        "feminine"
      ],
      "word": "λογική"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "lógika",
      "sense": "formal or informal language",
      "tags": [
        "feminine"
      ],
      "word": "ло́гика"
    },
    {
      "code": "no",
      "lang": "Norwegian",
      "sense": "formal or informal language",
      "tags": [
        "masculine"
      ],
      "word": "logikk"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "formal or informal language",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "formal or informal language",
      "tags": [
        "feminine"
      ],
      "word": "lógica"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "formal or informal language",
      "tags": [
        "feminine"
      ],
      "word": "lògika"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "formal or informal language",
      "tags": [
        "neuter"
      ],
      "word": "mislovlje"
    },
    {
      "code": "tl",
      "lang": "Tagalog",
      "sense": "formal or informal language",
      "word": "matwiran"
    },
    {
      "code": "hy",
      "lang": "Armenian",
      "roman": "tramabanutʿyun",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "word": "տրամաբանություն"
    },
    {
      "code": "ca",
      "lang": "Catalan",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "lògica"
    },
    {
      "code": "cs",
      "lang": "Czech",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "word": "logiikka"
    },
    {
      "code": "fr",
      "lang": "French",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "logique"
    },
    {
      "code": "gl",
      "lang": "Galician",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "lóxica"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "Logik"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "logikí",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "λογική"
    },
    {
      "code": "he",
      "lang": "Hebrew",
      "roman": "higayon",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "masculine"
      ],
      "word": "⁧הגיון⁩"
    },
    {
      "code": "it",
      "lang": "Italian",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "logica"
    },
    {
      "alt": "ろんり",
      "code": "ja",
      "lang": "Japanese",
      "roman": "ronri",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "word": "論理"
    },
    {
      "code": "mk",
      "lang": "Macedonian",
      "roman": "lógika",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "ло́гика"
    },
    {
      "code": "no",
      "lang": "Norwegian",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "masculine"
      ],
      "word": "logikk"
    },
    {
      "code": "fa",
      "lang": "Persian",
      "roman": "manteq",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "word": "⁧منطق⁩"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "lógica"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "lògika"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "neuter"
      ],
      "word": "mislovlje"
    },
    {
      "code": "sk",
      "lang": "Slovak",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "sl",
      "lang": "Slovene",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "logika"
    },
    {
      "code": "es",
      "lang": "Spanish",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "word": "lógica"
    },
    {
      "code": "sv",
      "lang": "Swedish",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "common-gender"
      ],
      "word": "logik"
    },
    {
      "code": "tl",
      "lang": "Tagalog",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "word": "matwiran"
    },
    {
      "code": "yi",
      "lang": "Yiddish",
      "roman": "logik",
      "sense": "any system of thought, irrespective of its rigor or productiveness",
      "tags": [
        "feminine"
      ],
      "word": "⁧לאָגיק⁩"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "part of an electronic system that performs the boolean logic operations",
      "word": "logiikka"
    },
    {
      "code": "el",
      "lang": "Greek",
      "roman": "logikí",
      "sense": "part of an electronic system that performs the boolean logic operations",
      "word": "λογική"
    },
    {
      "code": "pt",
      "lang": "Portuguese",
      "sense": "part of an electronic system that performs the boolean logic operations",
      "tags": [
        "feminine"
      ],
      "word": "lógica"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "part of an electronic system that performs the boolean logic operations",
      "tags": [
        "feminine"
      ],
      "word": "lògika"
    },
    {
      "code": "tl",
      "lang": "Tagalog",
      "sense": "part of an electronic system that performs the boolean logic operations",
      "word": "matwiran"
    }
  ],
  "wikipedia": [
    "logic"
  ],
  "word": "logic"
}

{
  "categories": [
    "en:Directives",
    "en:Thinking"
  ],
  "etymology_number": 2,
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "enm",
        "3": "logik"
      },
      "expansion": "Middle English logik",
      "name": "inh"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "logike"
      },
      "expansion": "Old French logike",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "logica"
      },
      "expansion": "Latin logica",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "grc",
        "3": "λογική",
        "4": "",
        "5": "logic"
      },
      "expansion": "Ancient Greek λογική (logikḗ, “logic”)",
      "name": "der"
    },
    {
      "args": {
        "1": "grc",
        "2": "λογικός",
        "3": "",
        "4": "of or pertaining to speech or reason or reasoning, rational, reasonable"
      },
      "expansion": "λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”)",
      "name": "m"
    },
    {
      "args": {
        "1": "grc",
        "2": "λόγος",
        "3": "",
        "4": "speech, reason"
      },
      "expansion": "λόγος (lógos, “speech, reason”)",
      "name": "m"
    },
    {
      "args": {
        "1": "ang",
        "2": "flitcræft",
        "lit": "art of arguing"
      },
      "expansion": "Old English flitcræft (literally “art of arguing”)",
      "name": "ncog"
    }
  ],
  "etymology_text": "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”).",
  "forms": [
    {
      "form": "logics",
      "tags": [
        "present",
        "singular",
        "third-person"
      ]
    },
    {
      "form": "logicking",
      "tags": [
        "participle",
        "present"
      ]
    },
    {
      "form": "logicked",
      "tags": [
        "participle",
        "past"
      ]
    },
    {
      "form": "logicked",
      "tags": [
        "past"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "logics",
        "2": "logicking",
        "3": "logicked"
      },
      "expansion": "logic (third-person singular simple present logics, present participle logicking, simple past and past participle logicked)",
      "name": "en-verb"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "verb",
  "senses": [
    {
      "categories": [
        "English derogatory terms",
        "English intransitive verbs",
        "English terms with quotations"
      ],
      "examples": [
        {
          "ref": "1884, Orestes Augustus Brownson, Controversy, page 21",
          "text": "Nay, is not the author himself \"logicking\" against logic, from the beginning of his book to the end ?",
          "type": "quotation"
        }
      ],
      "glosses": [
        "To engage in excessive or inappropriate application of logic."
      ],
      "links": [
        [
          "derogatory",
          "derogatory"
        ]
      ],
      "raw_glosses": [
        "(intransitive, derogatory) To engage in excessive or inappropriate application of logic."
      ],
      "tags": [
        "derogatory",
        "intransitive"
      ]
    },
    {
      "categories": [
        "English terms with quotations",
        "English transitive verbs"
      ],
      "examples": [
        {
          "ref": "2010, James Ellroy, Blood's a Rover, page 90",
          "text": "He logicked that one out. He snuck into Haiti and scored herbs to rev him and calm him.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "To apply logical reasoning to."
      ],
      "raw_glosses": [
        "(transitive) To apply logical reasoning to."
      ],
      "tags": [
        "transitive"
      ]
    },
    {
      "categories": [
        "English terms with quotations",
        "English transitive verbs"
      ],
      "examples": [
        {
          "ref": "2010, Jade Lee, Wicked Surrender",
          "text": "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.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "To overcome by logical argument."
      ],
      "raw_glosses": [
        "(transitive) To overcome by logical argument."
      ],
      "tags": [
        "transitive"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈlɒd͡ʒ.ɪk/",
      "tags": [
        "Received-Pronunciation"
      ]
    },
    {
      "ipa": "/ˈlɑ.d͡ʒɪk/",
      "tags": [
        "US"
      ]
    },
    {
      "ipa": "/ˈlɔd͡ʒ.ɪk/",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "rhymes": "-ɒdʒɪk"
    },
    {
      "audio": "en-us-logic.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/c/cc/En-us-logic.ogg/En-us-logic.ogg.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/c/cc/En-us-logic.ogg",
      "tags": [
        "US"
      ],
      "text": "Audio (US)"
    },
    {
      "enpr": "lŏj'ĭk",
      "tags": [
        "General-Australian"
      ]
    },
    {
      "enpr": "lŏ'jĭk",
      "tags": [
        "General-Australian"
      ]
    }
  ],
  "synonyms": [
    {
      "tags": [
        "archaic"
      ],
      "word": "logick"
    }
  ],
  "word": "logic"
}

This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-03-12 from the enwiktionary dump dated 2024-03-01 using wiktextract (68773ab and 5f6ddbb). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.