See modus tollens on Wiktionary
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "la",
"3": "modus tollendō tollēns",
"t": "the mode where the denying denies"
},
"expansion": "Latin modus tollendō tollēns (“the mode where the denying denies”)",
"name": "der"
}
],
"etymology_text": "From Latin modus tollendō tollēns (“the mode where the denying denies”), from modus (“mode”) and forms of tollō (“I take away”).",
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "modus tollens (uncountable)",
"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 German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Icelandic translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Persian 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": "Philosophy",
"orig": "en:Philosophy",
"parents": [
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"text": "1. If P, then Q."
},
{
"text": "2. Not Q."
},
{
"text": "3. Therefore, not P."
}
],
"glosses": [
"A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form"
],
"hypernyms": [
{
"word": "inference rule"
}
],
"id": "en-modus_tollens-en-noun-ei0HP29f",
"links": [
[
"philosophy",
"philosophy"
],
[
"logic",
"logic"
],
[
"valid",
"valid"
],
[
"argument",
"argument"
],
[
"consequent",
"consequent"
],
[
"conditional",
"conditional"
],
[
"proposition",
"proposition"
],
[
"denied",
"deny"
],
[
"imply",
"imply"
],
[
"antecedent",
"antecedent"
]
],
"raw_glosses": [
"(philosophy, logic) A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form:"
],
"related": [
{
"word": "modus ponens"
}
],
"synonyms": [
{
"tags": [
"initialism"
],
"word": "MT"
}
],
"tags": [
"uncountable"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"translations": [
{
"code": "de",
"lang": "German",
"sense": "a valid form of argument in which the consequent of a condition proposition is denied",
"tags": [
"masculine"
],
"word": "Modus tollens"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "a valid form of argument in which the consequent of a condition proposition is denied",
"tags": [
"masculine"
],
"word": "neitunarháttur"
},
{
"code": "fa",
"lang": "Persian",
"roman": "nafy-e tâli",
"sense": "a valid form of argument in which the consequent of a condition proposition is denied",
"word": "نفی تالی"
}
],
"wikipedia": [
"modus tollens"
]
}
],
"word": "modus tollens"
}
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "la",
"3": "modus tollendō tollēns",
"t": "the mode where the denying denies"
},
"expansion": "Latin modus tollendō tollēns (“the mode where the denying denies”)",
"name": "der"
}
],
"etymology_text": "From Latin modus tollendō tollēns (“the mode where the denying denies”), from modus (“mode”) and forms of tollō (“I take away”).",
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "modus tollens (uncountable)",
"name": "en-noun"
}
],
"hypernyms": [
{
"word": "inference rule"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"related": [
{
"word": "modus ponens"
}
],
"senses": [
{
"categories": [
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English nouns",
"English terms derived from Latin",
"English uncountable nouns",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with German translations",
"Terms with Icelandic translations",
"Terms with Persian translations",
"en:Logic",
"en:Philosophy"
],
"examples": [
{
"text": "1. If P, then Q."
},
{
"text": "2. Not Q."
},
{
"text": "3. Therefore, not P."
}
],
"glosses": [
"A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form"
],
"links": [
[
"philosophy",
"philosophy"
],
[
"logic",
"logic"
],
[
"valid",
"valid"
],
[
"argument",
"argument"
],
[
"consequent",
"consequent"
],
[
"conditional",
"conditional"
],
[
"proposition",
"proposition"
],
[
"denied",
"deny"
],
[
"imply",
"imply"
],
[
"antecedent",
"antecedent"
]
],
"raw_glosses": [
"(philosophy, logic) A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form:"
],
"tags": [
"uncountable"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"wikipedia": [
"modus tollens"
]
}
],
"synonyms": [
{
"tags": [
"initialism"
],
"word": "MT"
}
],
"translations": [
{
"code": "de",
"lang": "German",
"sense": "a valid form of argument in which the consequent of a condition proposition is denied",
"tags": [
"masculine"
],
"word": "Modus tollens"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "a valid form of argument in which the consequent of a condition proposition is denied",
"tags": [
"masculine"
],
"word": "neitunarháttur"
},
{
"code": "fa",
"lang": "Persian",
"roman": "nafy-e tâli",
"sense": "a valid form of argument in which the consequent of a condition proposition is denied",
"word": "نفی تالی"
}
],
"word": "modus tollens"
}
Download raw JSONL data for modus tollens meaning in All languages combined (2.5kB)
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2025-01-13 from the enwiktionary dump dated 2025-01-01 using wiktextract (4ba5975 and 4ed51a5). 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.