https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=AllaussageAllaussage - Versionsgeschichte2026-06-03T23:58:28ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Allaussage&diff=992210&oldid=previmported>FordPrefect42: Belege fehlen2019-02-06T13:53:11Z<p>Belege fehlen</p>
<p><b>Neue Seite</b></p><div>{{Belege fehlen}}<br />
Eine '''Allaussage''' ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs,<ref>Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Allaussage</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]].<br />
<br />
Die logischen Eigenschaften der Allaussagen werden modern in der [[Prädikatenlogik]] und wurden traditionell als universal bejahende Urteile in der [[Syllogistik]] behandelt.<br />
<br />
Natürlichsprachlich werden im Deutschen Allsätze vor allem mit Wörtern wie „alle/s“, „jede/r/s“, „immer“ und „überall“ oder mit in [[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[[quantor]]s über [[Prädikat (Logik)|Prädikate]] beziehungsweise [[Aussageform]]en quantifiziert wird<br />
<br />
<!-- Diesen Absatz verstehe ich nicht - lässt er sich verständlicher formulieren?[[Aristoteles]] hat ''singuläre Aussagen'' Allaussagen angeglichen, dadurch jedoch „wichtige Unterschiede“ verdeckt<ref>So Tugendhat/Wolf, Logisch-semantische Propädeutik (1983), S. 67</ref>. Nach Kant war das insofern zutreffend, da in der singulären Aussage auch „das Prädikat ohne Ausnahmen auf das Subjekt zutrifft“<ref>Referierend Tugendhat/Wolf, Logisch-semantische Propädeutik (1983), S. 67</ref>. --><br />
Um eine Allaussage zu [[Falsifizierung|falsifizieren]], reicht es aus, einen einzigen Gegenstand aus dem Gegenstandsbereich anzugeben, auf den die Aussage nicht zutrifft. Um eine Allaussage hingegen zu [[Verifizierung|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.<br />
<br />
In der Syllogistik gingen Allaussagen (universale Urteile) mit einer Existenzpräsupposition einher, d.&nbsp;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.<br />
<br />
== Siehe auch ==<br />
* [[Existenzaussage]]<br />
<br />
== Weblinks ==<br />
{{Wiktionary}}<br />
<br />
== Quellen ==<br />
<references/><br />
<br />
[[Kategorie:Logik]]</div>imported>FordPrefect42