"paraconsistent logic" meaning in English

See paraconsistent logic in All languages combined, or Wiktionary

Noun

Forms: paraconsistent logics [plural]
Head templates: {{en-noun}} paraconsistent logic (plural paraconsistent logics)
  1. (logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold. Tags: countable Categories (topical): Logic Translations (formal logical system without principle of explosion): parakonsistentti logiikka (Finnish), parakonsistente Logik [feminine] (German), logika parakonsystentna [feminine] (Polish), logică paraconsistentă [feminine] (Romanian), паранепротиворечи́вая ло́гика (paraneprotivorečívaja lógika) (Russian) Translations (study of logical systems without principle of explosion): parakonsistentti logiikka (Finnish), parakonsistente Logik [feminine] (German), logika parakonsystentna [feminine] (Polish), logică paraconsistentă [feminine] (Romanian), паранепротиворечи́вая ло́гика (paraneprotivorečívaja lógika) (Russian)
    Sense id: en-paraconsistent_logic-en-noun--mk7u~Hf Categories (other): English entries with incorrect language header, Entries with translation boxes, Pages with 1 entry, Pages with entries, Terms with Finnish translations, Terms with German translations, Terms with Polish translations, Terms with Romanian translations, Terms with Russian translations Disambiguation of English entries with incorrect language header: 73 27 Disambiguation of Entries with translation boxes: 81 19 Disambiguation of Pages with 1 entry: 82 18 Disambiguation of Pages with entries: 74 26 Disambiguation of Terms with Finnish translations: 71 29 Disambiguation of Terms with German translations: 71 29 Disambiguation of Terms with Polish translations: 71 29 Disambiguation of Terms with Romanian translations: 71 29 Disambiguation of Terms with Russian translations: 70 30 Topics: human-sciences, logic, mathematics, philosophy, sciences Disambiguation of 'formal logical system without principle of explosion': 88 12 Disambiguation of 'study of logical systems without principle of explosion': 78 22
  2. (logic, uncountable) The study of such systems. Tags: uncountable Categories (topical): Logic
    Sense id: en-paraconsistent_logic-en-noun-mOKRq3cJ Topics: human-sciences, logic, mathematics, philosophy, sciences

Inflected forms

{
  "forms": [
    {
      "form": "paraconsistent logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "paraconsistent logic (plural paraconsistent logics)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "73 27",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "81 19",
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "82 18",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "74 26",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "71 29",
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "71 29",
          "kind": "other",
          "name": "Terms with German translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "71 29",
          "kind": "other",
          "name": "Terms with Polish translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "71 29",
          "kind": "other",
          "name": "Terms with Romanian translations",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "70 30",
          "kind": "other",
          "name": "Terms with Russian translations",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold."
      ],
      "id": "en-paraconsistent_logic-en-noun--mk7u~Hf",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "logical system",
          "logical system"
        ],
        [
          "contradiction",
          "contradiction"
        ],
        [
          "principle of explosion",
          "principle of explosion"
        ]
      ],
      "raw_glosses": [
        "(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "88 12",
          "code": "fi",
          "lang": "Finnish",
          "sense": "formal logical system without principle of explosion",
          "word": "parakonsistentti logiikka"
        },
        {
          "_dis1": "88 12",
          "code": "de",
          "lang": "German",
          "sense": "formal logical system without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "parakonsistente Logik"
        },
        {
          "_dis1": "88 12",
          "code": "pl",
          "lang": "Polish",
          "sense": "formal logical system without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "logika parakonsystentna"
        },
        {
          "_dis1": "88 12",
          "code": "ro",
          "lang": "Romanian",
          "sense": "formal logical system without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "logică paraconsistentă"
        },
        {
          "_dis1": "88 12",
          "code": "ru",
          "lang": "Russian",
          "roman": "paraneprotivorečívaja lógika",
          "sense": "formal logical system without principle of explosion",
          "word": "паранепротиворечи́вая ло́гика"
        },
        {
          "_dis1": "78 22",
          "code": "fi",
          "lang": "Finnish",
          "sense": "study of logical systems without principle of explosion",
          "word": "parakonsistentti logiikka"
        },
        {
          "_dis1": "78 22",
          "code": "de",
          "lang": "German",
          "sense": "study of logical systems without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "parakonsistente Logik"
        },
        {
          "_dis1": "78 22",
          "code": "pl",
          "lang": "Polish",
          "sense": "study of logical systems without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "logika parakonsystentna"
        },
        {
          "_dis1": "78 22",
          "code": "ro",
          "lang": "Romanian",
          "sense": "study of logical systems without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "logică paraconsistentă"
        },
        {
          "_dis1": "78 22",
          "code": "ru",
          "lang": "Russian",
          "roman": "paraneprotivorečívaja lógika",
          "sense": "study of logical systems without principle of explosion",
          "word": "паранепротиворечи́вая ло́гика"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "The study of such systems."
      ],
      "id": "en-paraconsistent_logic-en-noun-mOKRq3cJ",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "study",
          "study"
        ]
      ],
      "raw_glosses": [
        "(logic, uncountable) The study of such systems."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "wikipedia": [
    "paraconsistent logic"
  ],
  "word": "paraconsistent logic"
}
{
  "categories": [
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English multiword terms",
    "English nouns",
    "Entries with translation boxes",
    "Pages with 1 entry",
    "Pages with entries",
    "Terms with Finnish translations",
    "Terms with German translations",
    "Terms with Polish translations",
    "Terms with Romanian translations",
    "Terms with Russian translations"
  ],
  "forms": [
    {
      "form": "paraconsistent logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "paraconsistent logic (plural paraconsistent logics)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "en:Logic"
      ],
      "glosses": [
        "A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "logical system",
          "logical system"
        ],
        [
          "contradiction",
          "contradiction"
        ],
        [
          "principle of explosion",
          "principle of explosion"
        ]
      ],
      "raw_glosses": [
        "(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold."
      ],
      "tags": [
        "countable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    },
    {
      "categories": [
        "English uncountable nouns",
        "en:Logic"
      ],
      "glosses": [
        "The study of such systems."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "study",
          "study"
        ]
      ],
      "raw_glosses": [
        "(logic, uncountable) The study of such systems."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "formal logical system without principle of explosion",
      "word": "parakonsistentti logiikka"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "formal logical system without principle of explosion",
      "tags": [
        "feminine"
      ],
      "word": "parakonsistente Logik"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "formal logical system without principle of explosion",
      "tags": [
        "feminine"
      ],
      "word": "logika parakonsystentna"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "formal logical system without principle of explosion",
      "tags": [
        "feminine"
      ],
      "word": "logică paraconsistentă"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "paraneprotivorečívaja lógika",
      "sense": "formal logical system without principle of explosion",
      "word": "паранепротиворечи́вая ло́гика"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "study of logical systems without principle of explosion",
      "word": "parakonsistentti logiikka"
    },
    {
      "code": "de",
      "lang": "German",
      "sense": "study of logical systems without principle of explosion",
      "tags": [
        "feminine"
      ],
      "word": "parakonsistente Logik"
    },
    {
      "code": "pl",
      "lang": "Polish",
      "sense": "study of logical systems without principle of explosion",
      "tags": [
        "feminine"
      ],
      "word": "logika parakonsystentna"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "study of logical systems without principle of explosion",
      "tags": [
        "feminine"
      ],
      "word": "logică paraconsistentă"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "paraneprotivorečívaja lógika",
      "sense": "study of logical systems without principle of explosion",
      "word": "паранепротиворечи́вая ло́гика"
    }
  ],
  "wikipedia": [
    "paraconsistent logic"
  ],
  "word": "paraconsistent logic"
}

Download raw JSONL data for paraconsistent logic meaning in English (3.4kB)


This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-01-06 from the enwiktionary dump dated 2025-01-01 using wiktextract (f889f65 and 8fbd9e8). 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.