„Allaussage“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Die Seite wurde neu angelegt: „<p>Eine '''Allaussage''' ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs,<sup id="cite_ref-1" class="reference">[https://de.wikipedia.org/wiki/Allaussage#cite_note-1 [1]]</sup> zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie ''Universalaussage'', ''universale Aussage'', ''universelle Aussage'', ''Allsatz'', ''Generalisation'' oder ''Generalisierung'' (als Ergebnis) verwendet. I…“ |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
[[all]]{{–}}[[Aussage]] {{dt.}} | |||
Eine '''Allaussage''' ist eine [[Logikaussage|Aussage]] über alle Elemente eines bestimmten Gegenstandsbereichs,<ref><span class="reference-text">Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Allaussage</span></ref> zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie ''Universalaussage'', ''universale Aussage'', ''universelle Aussage'', ''Allsatz'', ''Generalisation'' oder ''Generalisierung'' (als Ergebnis) verwendet. In der traditionellen [[Logik]] werden Allaussagen als ''universelle'', ''universale'' oder ''allgemeine Urteile'' bezeichnet – hierzu siehe [[kategorisches Urteil|Kategorisches Urteil]].<p>Die logischen Eigenschaften der Allaussagen werden modern in der [[Prädikatenlogik]] und wurden traditionell als universal bejahende Urteile in der [[Syllogistik]] behandelt.</p><p>Natürlichsprachlich werden im Deutschen Allsätze vor allem mit Wörtern wie „alle/s“, „jede/r/s“, „immer“ und „überall“ oder mit in [https://de.wikipedia.org/wiki/Definitheit_(Linguistik) definiten] Konstruktionen („Ein voller Bauch studiert nicht gern“, „Menschen sind sterblich“) ausgedrückt. In der formalen Sprache der Prädikatenlogik werden Allaussagen gebildet, indem mit Hilfe des All[https://de.wikipedia.org/wiki/Quantor quantors] über [https://de.wikipedia.org/wiki/Pr%C3%A4dikat_(Logik) Prädikate] beziehungsweise [[Aussageformen]] quantifiziert wird</p><p>Um eine Allaussage zu [[falsifizieren]], reicht es aus, einen einzigen Gegenstand aus dem Gegenstandsbereich anzugeben, auf den die Aussage nicht zutrifft. Um eine Allaussage hingegen zu [[verifizieren]], muss man im Allgemeinen jeden Gegenstand des Gegenstandsbereichs untersuchen. Ist die Menge der Gegenstände des Gegenstandsbereichs nicht zugänglich oder unendlich groß, kommt im Allgemeinen nur eine mehr oder weniger gute Bestätigung in Betracht. Eine Ausnahme stellen jedoch Allaussagen in den formalen Wissenschaften wie Logik und Mathematik dar, zum Beispiel solche über unendliche Zahlenmengen, die mit Verfahren wie der [[vollständige Induktion|vollständigen Induktion]] verifiziert werden können.</p><p>In der Syllogistik gingen Allaussagen (universale Urteile) mit einer Existenzpräsupposition einher, d. h. ein universales Urteil galt nur dann als sinnvoll, wenn die darin vorkommenden Begriffe jeweils auf mindestens einen Gegenstand zutrafen. In der Prädikatenlogik ist auch der Umgang mit leeren Begriffen beziehungsweise Prädikaten möglich, jedoch besteht eine abgeschwächte Existenz-Präsupposition dergestalt, dass der Gegenstandsbereich nicht als Ganzes leer sein darf. In alternativen logischen Systemen wie der [[freie Logik|Freien Logik]] wird auch diese Beschränkung aufgehoben.</p> | |||
== <span id="Siehe_auch">Siehe auch</span> == | == <span id="Siehe_auch">Siehe auch</span> == | ||
| Zeile 7: | Zeile 9: | ||
<div class="sisterproject"><span class="noviewer" role="presentation" aria-hidden="true"><span class="mw-default-size"><span title="Wiktionary">[[file:16px-Wiktfavicon_en.svg.png|16x16px]]</span></span></span>'''[https://de.wiktionary.org/wiki/Allaussage Wiktionary: Allaussage]''' – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen</div> | <div class="sisterproject"><span class="noviewer" role="presentation" aria-hidden="true"><span class="mw-default-size"><span title="Wiktionary">[[file:16px-Wiktfavicon_en.svg.png|16x16px]]</span></span></span>'''[https://de.wiktionary.org/wiki/Allaussage Wiktionary: Allaussage]''' – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen</div> | ||
== <span id="Quellen">Quellen</span> == | == <span id="Quellen">Quellen</span> == | ||
Version vom 16. Mai 2024, 10:31 Uhr
Eine Allaussage ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs,[1] zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie Universalaussage, universale Aussage, universelle Aussage, Allsatz, Generalisation oder Generalisierung (als Ergebnis) verwendet. In der traditionellen Logik werden Allaussagen als universelle, universale oder allgemeine Urteile bezeichnet – hierzu siehe Kategorisches Urteil.
Die logischen Eigenschaften der Allaussagen werden modern in der Prädikatenlogik und wurden traditionell als universal bejahende Urteile in der Syllogistik behandelt.
Natürlichsprachlich werden im Deutschen Allsätze vor allem mit Wörtern wie „alle/s“, „jede/r/s“, „immer“ und „überall“ oder mit in definiten Konstruktionen („Ein voller Bauch studiert nicht gern“, „Menschen sind sterblich“) ausgedrückt. In der formalen Sprache der Prädikatenlogik werden Allaussagen gebildet, indem mit Hilfe des Allquantors über Prädikate beziehungsweise Aussageformen quantifiziert wird
Um eine Allaussage zu falsifizieren, reicht es aus, einen einzigen Gegenstand aus dem Gegenstandsbereich anzugeben, auf den die Aussage nicht zutrifft. Um eine Allaussage hingegen zu verifizieren, muss man im Allgemeinen jeden Gegenstand des Gegenstandsbereichs untersuchen. Ist die Menge der Gegenstände des Gegenstandsbereichs nicht zugänglich oder unendlich groß, kommt im Allgemeinen nur eine mehr oder weniger gute Bestätigung in Betracht. Eine Ausnahme stellen jedoch Allaussagen in den formalen Wissenschaften wie Logik und Mathematik dar, zum Beispiel solche über unendliche Zahlenmengen, die mit Verfahren wie der vollständigen Induktion verifiziert werden können.
In der Syllogistik gingen Allaussagen (universale Urteile) mit einer Existenzpräsupposition einher, d. h. ein universales Urteil galt nur dann als sinnvoll, wenn die darin vorkommenden Begriffe jeweils auf mindestens einen Gegenstand zutrafen. In der Prädikatenlogik ist auch der Umgang mit leeren Begriffen beziehungsweise Prädikaten möglich, jedoch besteht eine abgeschwächte Existenz-Präsupposition dergestalt, dass der Gegenstandsbereich nicht als Ganzes leer sein darf. In alternativen logischen Systemen wie der Freien Logik wird auch diese Beschränkung aufgehoben.
Siehe auch
Weblinks
Quellen
- ↑ Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Allaussage