Från Rilpedia

Hypotetisk slutledning, slutledning, i vilken översatsen är ett hypotetiskt omdöme. En sådan slutledning kallas ren, om undersatsen är ett hypotetiskt omdöme. Den äger då formen:

• Om A är, så är B.
• Om C är, så är A,
• alltså: Om C är, så är B.
• eller
  • Om A är, så är B.
  • Hypotetiskt bevis - Hypsografi
  • Om B är, så är D,
  • alltså: Om A är, så är D.
    • Den kallas vanlig hypotetisk slutledning, om undersatsen är ett kategoriskt omdöme. En sådan slutledning har antingen formen:
    • Om A är, så är B.
    • Nu är A,
    • alltså är B,
      • i vilket fall man sägs sluta enligt "modus ponens", eller ock formen:
      • Om A är, så är B.
      • Nu är icke B,
      • alltså är icke A,
        • i vilket fall man sägs sluta enligt "modus tollens". Från att grunden är given kan man nämligen sluta till att även följden är det, och från den omständigheten att följden icke är för handen kan man sluta till att icke heller grunden är det. Oriktiga vore däremot följande sätt att sluta:
        • Om A är, så är B.
        • Nu är B,
        • alltså är A,
        • eller
        • Om A är, så är B.
      • Nu är icke A,
      • alltså är icke B.
      • Då nämligen en viss följd kan ha flera grunder, får man varken från den förras närvaro sluta till närvaron av någon viss grund, ej heller från frånvaron av en viss grund sluta till följdens uteblivande. Mindre uppmärksammade och mer sällan förekommande är de hypotetiska slutledningar, i vilka undersatsen är ett disjunktivt omdöme. De förekommer dock stundom, till exempel:
  • Om A är, så är B.
  • Antingen är A eller ock C,
  • alltså: Antingen är B eller C eller båda (om näml. B vore på annan grund än A), eller
    • Om A är, så är B.
    • Antingen är icke B eller ock är C,
    • alltså: Antingen är icke A eller ock är C.
  • Hypotetisk-disjunktiv slutledning kallas en sådan, vars översats är ett hypotetisk-disjunktivt omdöme. Sådana finns av flera slag, till exempel:
    • Om A är, så är antingen C eller D.
    • Nu är A,
    • alltså är antingen C eller D,
    • eller
    • Om A är, så är antingen C eller D.
    • Antingen är A eller B,
    • alltså är antingen B, C eller D.
• En ofta förekommande form av denna slutledning är hornslutet