Reductio Ad Absurdum Counterexample Method Lookup
Offline bounded reference card: Reductio assumes a proposition and derives an independently established unacceptable consequence or contradiction. References Quintilian, Institutio Oratoria; Aristotle, Rhetoric; Silva Rhetoricae rhetorical terminology. A disliked consequence is not by itself a logical contradiction.
Description
Reductio tests a proposition by tracing consequences under stated assumptions.
Reductio tests a proposition by tracing consequences under stated assumptions.1
A disliked consequence and a logical contradiction require different warrants, which this reference keeps separate.
When to use Reductio Ad Absurdum Counterexample Method Lookup
Use this tool when you need to read a bounded offline explanation and its reference scope. Establish the language, clause boundaries, transcription basis, source context, or evidence annotations required by this particular tool.
How to use Reductio Ad Absurdum Counterexample Method Lookup and understand its results
- Establish the language, clause boundaries, transcription basis, source context, or evidence annotations required by this particular tool.
- Enter topic, following the field table and calculation rules below, then run the tool.
- Read result. Inspect the nested fields in the output table below and keep any missing evidence or selected indices visible.
- Correct any input issues and run again. Before using a successful result, review its units, signs, evidence coverage, and stated model or reference assumptions.
| Input field | Meaning | Value type | Requirement |
|---|---|---|---|
| topic | Exact offline reference token: summary, reference, or limitations | string | Required |
Choose one exact supported topic token below: summary, reference, or limitations. Run the tool and read result.text. The implementation looks up a fixed own-property entry and returns its text unchanged; unsupported tokens fail. The reference entry names sources but does not fetch them or reproduce their full texts.
result.text=builtInReference[topic] Read these symbols with the field meanings and branch or reference rules above.
| Topic token | Built-in result.text |
|---|---|
| summary | Reductio assumes a proposition and derives an independently established unacceptable consequence or contradiction. |
| reference | Quintilian, Institutio Oratoria; Aristotle, Rhetoric; Silva Rhetoricae rhetorical terminology. |
| limitations | A disliked consequence is not by itself a logical contradiction. |
| Output field | Meaning | Value type |
|---|---|---|
| result | Object containing the fields below | object |
| result.text | Exact built-in reference text for the chosen topic | string |
{
"input": {
"topic": "summary"
},
"output": {
"result": {
"text": "Reductio assumes a proposition and derives an independently established unacceptable consequence or contradiction."
}
}
}Limitations and assumptions
This is a small offline explanatory card. Its named references do not mean that the tool retrieves external material, verifies a current programme rule, or exhaustively represents every rhetorical tradition. A disliked consequence is not by itself a logical contradiction.
Missing required fields, unknown fields, wrong types, and violated calculation rules return input issues. Extremely large composite outputs are rejected.
Alternative or Complementary methods
For a related task, use Dilemma Between the Horns Refutation Lookup: A dilemma depends on its conditional premises and whether its alternatives exhaust the relevant cases. The reference outlines ways to challenge those premises or alternatives rather than proving a particular real-world refutation. For a complementary step, use a Fortiori Stronger Case Argument Lookup: An a-fortiori argument transfers a claim along an ordered comparison using a justified monotonic warrant. Ordering alone cannot establish that the transfer holds or that no exceptions apply.
References
Similar or alternative tools
- Dilemma Between the Horns Refutation Lookup
A dilemma depends on its conditional premises and whether its alternatives exhaust the relevant cases. The reference outlines ways to challenge those premises or alternatives rather than proving a particular real-world refutation.
- a Fortiori Stronger Case Argument Lookup
An a-fortiori argument transfers a claim along an ordered comparison using a justified monotonic warrant. Ordering alone cannot establish that the transfer holds or that no exceptions apply.