Dilemma Between the Horns Refutation Lookup
Offline bounded reference card: Dilemma refutation may challenge the conditional premises, reject exhaustive horns or supply a counter-dilemma. References Quintilian, Institutio Oratoria; Aristotle, Rhetoric; Silva Rhetoricae rhetorical terminology. Not an automatic proof that real-world alternatives are exhaustive.
Description
A dilemma depends on its conditional premises and whether its alternatives exhaust the relevant cases.
A dilemma depends on its conditional premises and whether its alternatives exhaust the relevant cases.1
The reference outlines ways to challenge those premises or alternatives rather than proving a particular real-world refutation.
When to use Dilemma Between the Horns Refutation 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 Dilemma Between the Horns Refutation 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 | Dilemma refutation may challenge the conditional premises, reject exhaustive horns or supply a counter-dilemma. |
| reference | Quintilian, Institutio Oratoria; Aristotle, Rhetoric; Silva Rhetoricae rhetorical terminology. |
| limitations | Not an automatic proof that real-world alternatives are exhaustive. |
| 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": "Dilemma refutation may challenge the conditional premises, reject exhaustive horns or supply a counter-dilemma."
}
}
}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. Not an automatic proof that real-world alternatives are exhaustive.
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 Reductio Ad Absurdum Counterexample Method Lookup: Reductio tests a proposition by tracing consequences under stated assumptions. A disliked consequence and a logical contradiction require different warrants, which this reference keeps separate. 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
- Reductio Ad Absurdum Counterexample Method Lookup
Reductio tests a proposition by tracing consequences under stated assumptions. A disliked consequence and a logical contradiction require different warrants, which this reference keeps separate.
- 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.