Beide Seiten der vorigen RevisionVorhergehende Überarbeitung | |
begriffe:enthymem_logik [17.04.23, 09:08:26] – ↷ Links angepasst, weil Seiten im Wiki verschoben wurden sascha | begriffe:enthymem_logik [20.05.24, 09:56:17] (aktuell) – sascha |
---|
====== Enthymem (Logik) ====== | ====== Enthymem (Logik) ====== |
| |
Von Griechisch: <i :grc-Latn>enthýmema</i> [<span :grc>ἐνθύμημα</span>]: Gedanke, Argument. Im Kontext der Logik eine Argumentation, bei der eine oder mehrere Prämissen nur impliziert anstatt explizit ausformuliert sind. | Von Griechisch: <i :grc-Latn>enthýmema</i> [<span :grc>ἐνθύμημα</span>]: Gedanke, Argument. Im Kontext der Logik eine Argumentation, bei der eine oder mehrere Prämissen nur impliziert anstatt explizit ausformuliert sind. |
| |
Beispiel | Beispiel |
===== Beschreibung ===== | ===== Beschreibung ===== |
| |
Um [[mehrdeutigkeit:hauptseite|Mehrdeutigkeiten]] zu vermeiden, werden in der [[logik:hauptseite|Logik]] implizite Prämissen gewöhnlich vermieden. | Um [[mehrdeutigkeit:hauptseite|Mehrdeutigkeiten]] zu vermeiden, werden in der [[logik:hauptseite|Logik]] implizite Prämissen gewöhnlich vermieden. |
| |
Außerhalb von formalen Systemen – wie in dem Beispiel oben – gibt es aber gewöhnlich zahlreiche Nebenbedingungen, welche implizit als gegeben angenommen werden. Insbesondere wenn dies keine abwegigen oder nicht allgemein anerkannte Aspekte betrifft, ist das auch eher unproblematisch. Schwierig wird es, wenn eine Prämisse als //Enthymem// impliziert wird, die strittig ist. Siehe hierzu auch <span maniculus>[[begriffe:enthymem_rhetorik|Enthymem (Rhetorik)]]</b>. | Außerhalb von formalen Systemen – wie in dem Beispiel oben – gibt es aber gewöhnlich zahlreiche Nebenbedingungen, welche implizit als gegeben angenommen werden. Insbesondere wenn dies keine abwegigen oder nicht allgemein anerkannte Aspekte betrifft, ist das auch eher unproblematisch. Schwierig wird es, wenn eine Prämisse als //Enthymem// impliziert wird, die strittig ist. Siehe hierzu auch <span maniculus>[[begriffe:enthymem_rhetorik|Enthymem (Rhetorik)]]</span>. |
| |
==== Existenzeinführung ==== | ==== Existenzeinführung ==== |
| |
Ein Beispiel für ein //Enthymem// in formellen Systemen ist die [[begriffe:existenzeinfuehrung|Existenzeinführung]], die stattfindet, wenn von einem [[begriffe:allsatz|Allsatz]] auf einen [[begriffe:existenzsatz|Existenzsatz]] geschlossen wird. | Ein Beispiel für ein //Enthymem// in formellen Systemen ist die [[begriffe:existenzeinfuehrung|Existenzeinführung]], die stattfindet, wenn von einem [[begriffe:allsatz|Allsatz]] auf einen [[begriffe:existenzsatz|Existenzsatz]] geschlossen wird. |
| |
Auch hier gilt, dass eine implizite Nebenbedingung vermieden werden sollte, da dies ansonsten zu einem [[logik:fehlannahmen:leere_begriffsmenge|Fehler der leeren Begriffsmenge]] führen kann. Stattdessen sollte die Existenzeinführung immer explizit gemacht werden. | Auch hier gilt, dass eine implizite Nebenbedingung vermieden werden sollte, da dies ansonsten zu einem [[logik:fehlannahmen:leere_begriffsmenge|Fehler der leeren Begriffsmenge]] führen kann. Stattdessen sollte die Existenzeinführung immer explizit gemacht werden. |
| |
Ein Beispiel für einen solchen Schluss, bei dem zuerst die Existenz explizit nachgewiesen werden muss, ist der [[logik:schlussformen:modus_barbara:modus_barbari|Modus Barbari]]. | Ein Beispiel für einen solchen Schluss, bei dem zuerst die Existenz explizit nachgewiesen werden muss, ist der [[logik:schlussformen:modus_barbara:modus_barbari|Modus Barbari]]. |
| |
===== Siehe auch ===== | ===== Siehe auch ===== |