See intuitionistic logic on Wiktionary
{
"forms": [
{
"form": "intuitionistic logics",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "intuitionistic logic (plural intuitionistic logics)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Dutch translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Icelandic translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"coordinate_terms": [
{
"word": "classical logic"
},
{
"word": "paraconsistent logic"
}
],
"glosses": [
"A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism."
],
"hypernyms": [
{
"word": "constructive logic"
},
{
"word": "non-classical logic"
},
{
"word": "paracomplete logic"
}
],
"id": "en-intuitionistic_logic-en-noun-2Pu0fE-m",
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"law of excluded middle",
"law of excluded middle"
],
[
"law of double negation",
"law of double negation"
],
[
"Peirce's law",
"Peirce's law"
],
[
"intuitionism",
"intuitionism"
]
],
"raw_glosses": [
"(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism."
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"translations": [
{
"code": "nl",
"lang": "Dutch",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "intuïtionistische logica"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"word": "intuitionistinen logiikka"
},
{
"code": "de",
"lang": "German",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "intuitionistische Logik"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "innsæisrökfræði"
},
{
"code": "pl",
"lang": "Polish",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "logika intuicjonistyczna"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "logică intuiționistă"
}
],
"wikipedia": [
"intuitionistic logic"
]
}
],
"word": "intuitionistic logic"
}
{
"coordinate_terms": [
{
"word": "classical logic"
},
{
"word": "paraconsistent logic"
}
],
"forms": [
{
"form": "intuitionistic logics",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "intuitionistic logic (plural intuitionistic logics)",
"name": "en-noun"
}
],
"hypernyms": [
{
"word": "constructive logic"
},
{
"word": "non-classical logic"
},
{
"word": "paracomplete logic"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"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 Dutch translations",
"Terms with Finnish translations",
"Terms with German translations",
"Terms with Icelandic translations",
"Terms with Polish translations",
"Terms with Romanian translations",
"en:Logic",
"en:Mathematics"
],
"glosses": [
"A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism."
],
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"law of excluded middle",
"law of excluded middle"
],
[
"law of double negation",
"law of double negation"
],
[
"Peirce's law",
"Peirce's law"
],
[
"intuitionism",
"intuitionism"
]
],
"raw_glosses": [
"(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism."
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"wikipedia": [
"intuitionistic logic"
]
}
],
"translations": [
{
"code": "nl",
"lang": "Dutch",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "intuïtionistische logica"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"word": "intuitionistinen logiikka"
},
{
"code": "de",
"lang": "German",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "intuitionistische Logik"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "innsæisrökfræði"
},
{
"code": "pl",
"lang": "Polish",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "logika intuicjonistyczna"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "a type of logic which rejects the axiom \"law of excluded middle\"",
"tags": [
"feminine"
],
"word": "logică intuiționistă"
}
],
"word": "intuitionistic logic"
}
Download raw JSONL data for intuitionistic logic meaning in All languages combined (2.7kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-12-03 from the enwiktionary dump dated 2024-11-21 using wiktextract (94ba7e1 and 5dea2a6). 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.