"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 Disambiguation of English entries with incorrect language header: 72 28 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': 77 23
  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

Download JSON data for paraconsistent logic meaning in English (3.8kB)

{
  "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": "72 28",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "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": "77 23",
          "code": "fi",
          "lang": "Finnish",
          "sense": "study of logical systems without principle of explosion",
          "word": "parakonsistentti logiikka"
        },
        {
          "_dis1": "77 23",
          "code": "de",
          "lang": "German",
          "sense": "study of logical systems without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "parakonsistente Logik"
        },
        {
          "_dis1": "77 23",
          "code": "pl",
          "lang": "Polish",
          "sense": "study of logical systems without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "logika parakonsystentna"
        },
        {
          "_dis1": "77 23",
          "code": "ro",
          "lang": "Romanian",
          "sense": "study of logical systems without principle of explosion",
          "tags": [
            "feminine"
          ],
          "word": "logică paraconsistentă"
        },
        {
          "_dis1": "77 23",
          "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"
  ],
  "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"
}

This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-04-26 from the enwiktionary dump dated 2024-04-21 using wiktextract (93a6c53 and 21a9316). 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.