== Schlussformen ==
(Gültige) Schlussformen
Diese Kategorie enthält Artikel mit (gültigen, [[begriffe:deduktion|deduktiven]]) logischen Schlussformen, insbesondere aus der Aussagenlogik.
===== 1. Konditionalaussagen =====
| ^ [[logik:schlussformen:modus_ponens|Modus ponens]] ^ [[logik:schlussformen:modus_tollens|Modus tollens]] ^
^Prämisse 1 | A → B \\ (wenn A, dann B) | A → B \\ (wenn A, dann B) |
^Prämisse 2 | A | ¬B (nicht B) |
^Konklusion | B | ¬A (nicht A) |
| ||
^Typ | [[begriffe:konditional|Konditional]] | [[begriffe:konditional|Konditional]] |
[[begriffe:konditional|Konditional]] sollte dabei nicht mit dem [[begriffe:bikonditional|Bikonditional]] verwechselt werden. Letzteres ist zwar eine Unterform des Konditionals, erlaubt aber Schlüsse, welche mit "normalen" Konditionalen nicht möglich sind.
Neben diesen beiden Modi gibt es noch zahlreiche andere Formen, die hier nur am Rande behandelt werden:
* [[logik:schlussformen:destruktives_dilemma|Destruktives Dilemma]]
* [[logik:schlussformen:konstruktives_dilemma|Konstruktives Dilemma]]
* [[logik:schlussformen:kontraposition|Kontraposition]]
* [[logik:schlussformen:kettenschluss|Kettenschluss]]
* [[logik:schlussformen:hypothetischer_syllogismus|Hypothetischer Syllogismus]]
===== 2. Konjunktionen und Disjunktionen =====
| ^ [[logik:schlussformen:modus_ponendo_tollens|Modus ponendo tollens]] ^^ ^ [[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]] ^^
^Prämisse 1 | ¬(A ∧ B) \\ (Nicht beides, A und B) || | A ∨ B \\ (A oder [inkl.] B) ||
^Prämisse 2 | A | B | | ¬A \\ (nicht A) | ¬B \\ (nicht B) |
^Konklusion | ¬B \\ (nicht B) | ¬A \\ (nicht A) | | B | A |
| |||
^Typ | [[begriffe:konjunktion|Konjunktion]] || | [[begriffe:disjunktion|Disjunktion]] ||
===== 3. Syllogismen =====
Als [[begriffe:syllogismus|Syllogismus]] bezeichnet man Formen von logischen Schlüssen, die aus zwei Prämissen, die insgesamt drei Begriffe enthalten, eine neue Aussage schließen. Die insgesamt 24 //gültigen// Syllogismen lassen sich auf die folgenden vier Grundformen zurückführen:
* [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]], mit Varianten: [[logik:schlussformen:modus_barbara:modus_baroco|Baroco]], [[logik:schlussformen:modus_barbara:modus_bocardo|Bocardo]], [[logik:schlussformen:modus_barbara:modus_barbari|Barbari]] und [[logik:schlussformen:modus_barbara:modus_bamalip|Bamalip]].
* [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]], mit Varianten: [[logik:schlussformen:modus_celarent:modus_calemes|Calemes]], [[logik:schlussformen:modus_celarent:modus_calemos|Calemos]], [[logik:schlussformen:modus_celarent:modus_camestres|Camestres]], [[logik:schlussformen:modus_celarent:modus_camestros|Camestros]], [[logik:schlussformen:modus_celarent:modus_celaront|Celaront]], [[logik:schlussformen:modus_celarent:modus_cesare|Cesare]] und [[logik:schlussformen:modus_celarent:modus_cesaro|Cesaro]].
* [[logik:schlussformen:modus_darii:hauptseite|Modus Darii]], mit Varianten: [[logik:schlussformen:modus_darii:modus_dimatis|Dimatis]], [[logik:schlussformen:modus_darii:modus_datisi|Datisi]], [[logik:schlussformen:modus_darii:modus_disamis|Disamis]] und [[logik:schlussformen:modus_darii:modus_darapti|Darapti]].
* [[logik:schlussformen:modus_ferio:hauptseite|Modus Ferio]], mit Varianten: [[logik:schlussformen:modus_ferio:modus_festino|Festino]], [[logik:schlussformen:modus_ferio:modus_ferison|Ferison]], [[logik:schlussformen:modus_ferio:modus_felapton|Felapton]], [[logik:schlussformen:modus_ferio:modus_fesapo|Fesapo]] und [[logik:schlussformen:modus_ferio:modus_fresison|Fresison]].
Daneben kann der bereits weiter oben genannte [[logik:schlussformen:kettenschluss|Kettenschluss]] auch als eine allgemeinere Form des [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]] angesehen werden.