Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungNächste ÜberarbeitungBeide Seiten der Revision |
begriffe:enthymem [03.07.22, 17:28:33] – ↷ Seite von logik:begriffe:enthymem nach begriffe:enthymem verschoben sascha | begriffe:enthymem_logik [31.12.22, 14:54:58] – [Beschreibung] sascha |
---|
Um [[logik:fehlannahmen:mehrdeutigkeitsfehler:hauptseite|Mehrdeutigkeiten]] zu vermeiden, werden in der [[logik:hauptseite|Logik]] implizite Prämissen gewöhnlich vermieden. | Um [[logik:fehlannahmen:mehrdeutigkeitsfehler: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 eher abwegige oder allgemein anerkannte Aspekte betrifft, ist das auch eher unproblematisch. Schwierig wird es, wenn eine Prämisse als Enthymem impliziert wird, die eher strittig ist. Siehe hierzu auch den Artikel zum [[rhetorik:begriffe:enthymem|Enthymem]] im Bereich [[rhetorik:hauptseite|Rhetorik]]. | 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 <html><span class="maniculus"></html>[[begriffe:enthymem_rhetorik|Enthymem (Rhetorik)]]<html></b>.</html> |
| |
==== Existenzeinführung ==== | ==== Existenzeinführung ==== |
| |
Ein Beispiel für ein //Enthymem// in formellen Systemen ist die [[logik:begriffe:existenzeinführung|Existenzeinführung]], die stattfindet, wenn von einem [[logik:begriffe:allsatz|Allsatz]] auf einen [[logik: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. |
===== Siehe auch ===== | ===== Siehe auch ===== |
| |
* [[rhetorik:begriffe:enthymem|Enthymem (Rhetorik)]] | * [[begriffe:enthymem_rhetorik|Enthymem (Rhetorik)]] |
* [[logik:begriffe:existenzeinführung|Existenzeinführung]] | * [[begriffe:existenzeinfuehrung|Existenzeinführung]] |
| |
===== Weitere Informationen ===== | ===== Weitere Informationen ===== |