1.053
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
Neufassung
Im mathematischen Kontext tritt der Terminus „Aussage“ vor allem in den beiden folgenden Bedeutungen auf:
# Man spricht von der ''Aussage'' eines Theorems (eines mathematischen Satzes) und meint damit einen ''inhaltlichen Aspekt'' des betreffenden Theorems: ''„Was besagt dieser Satz?"“''
# In der ''Aussagenlogik'' betrachtet man nur den ''Wahrheitsgehalt'' eines Theorems ohne Rücksicht auf den inhaltlichen Aspekt. Eine solche „Aussage“ kann nur ''wahr'' oder ''falsch'' sein: ''„tertium non datur!“''
<!--== Genese ==
Unter der Überschrift Genese können historische Zusammenhänge erläutert werden und die Entwicklung eines Begriffes über die Zeit hinweg dokumentiert werden.<ref name="literatur1"/>-->
<!--== Fachdidaktische Diskussion ==
Unter dieser Überschrift können fachdidaktische Kontroversen zum Begriff beschrieben werden. Die Diskussion ''über die Seite selbst'' sollte auf der dazugehörigen [[Diskussion:{{PAGENAME}}|Diskussionsseite]] (siehe die Reiter über dem Artikel) geführt werden.-->
== „Aussage“ in der klassischen Aussagenlogik ==
Die „klassische Aussagenlogik“ kann als ''Modellierung'' von Teilaspekten der Umgangssprache aufgefasst werden:
:: In der Aussagenlogik ''modelliert'' man gewisse Teile der Umgangssprache mit dem Ziel, deren logische Struktur zu erfassen, um damit beispielsweise im wissenschaftlichen Kontext präzise Untersuchungen und Feststellungen zu ermöglichen. Und man erhofft sich durch eine solche Sprachpräzisierung eine eindeutige, also ''zweifelsfreie Kommunikation'', und zwar in den sog. „exakten Wissenschaften“, zu der die Mathematik und u. a die Naturwissenschaften zählen. ''Modellierungen'' sind aber meistens Vereinfachungen der „wirklichen“ Strukturen, wodurch tatsächlich vorhandene Unterschiede verwischt werden können, was dann Verzerrungen oder gar Verfälschungen zur Folge haben kann.<ref>[Hischer 2012, 59]</ref>
Es zeigt sich, dass man „Aussage“ in diesem Kontext ebenso wenig definieren kann wie „Menge“, obwohl man geneigt sein könnte, zu „definieren“, dass eine „Aussage“ ein ''„sprachliches Gebilde ist, von dem eindeutig feststeht, ob es wahr oder falsch ist”''.<ref>Vgl. die hierzu didaktisch orientierten Betrachtungen in [Hischer 2012, 62 f.]</ref> Denn das würde voraussetzen, dass man von einem „sprachlichen Gebilde“ eindeutig feststellen kann, ob es (objektiv?) wahr oder falsch ist, was philosophische Fragen aufwirft.<br />
Somit tritt in der Aussagenlogik der Terminus „Aussage“ als ein ''undefinierter Grundbegriff'' auf (ebebso wie „Menge“ in der Mengenlehre).
== Literatur ==
* Hischer, Horst: Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung, Wiesbaden: Springer Spektrum 2012, ISBN 978-3-8349-1888-1.
* Varga, Tamás: Mathematische Logik für Anfänger. Teil 1: Aussagenlogik. Frankfurt a. M. / Zürich: Verlag Harri Deutsch, 1972.
== Quellen ==
<references />
{{zitierhinweis}}
# Man spricht von der ''Aussage'' eines Theorems (eines mathematischen Satzes) und meint damit einen ''inhaltlichen Aspekt'' des betreffenden Theorems: ''„Was besagt dieser Satz?"“''
# In der ''Aussagenlogik'' betrachtet man nur den ''Wahrheitsgehalt'' eines Theorems ohne Rücksicht auf den inhaltlichen Aspekt. Eine solche „Aussage“ kann nur ''wahr'' oder ''falsch'' sein: ''„tertium non datur!“''
<!--== Genese ==
Unter der Überschrift Genese können historische Zusammenhänge erläutert werden und die Entwicklung eines Begriffes über die Zeit hinweg dokumentiert werden.<ref name="literatur1"/>-->
<!--== Fachdidaktische Diskussion ==
Unter dieser Überschrift können fachdidaktische Kontroversen zum Begriff beschrieben werden. Die Diskussion ''über die Seite selbst'' sollte auf der dazugehörigen [[Diskussion:{{PAGENAME}}|Diskussionsseite]] (siehe die Reiter über dem Artikel) geführt werden.-->
== „Aussage“ in der klassischen Aussagenlogik ==
Die „klassische Aussagenlogik“ kann als ''Modellierung'' von Teilaspekten der Umgangssprache aufgefasst werden:
:: In der Aussagenlogik ''modelliert'' man gewisse Teile der Umgangssprache mit dem Ziel, deren logische Struktur zu erfassen, um damit beispielsweise im wissenschaftlichen Kontext präzise Untersuchungen und Feststellungen zu ermöglichen. Und man erhofft sich durch eine solche Sprachpräzisierung eine eindeutige, also ''zweifelsfreie Kommunikation'', und zwar in den sog. „exakten Wissenschaften“, zu der die Mathematik und u. a die Naturwissenschaften zählen. ''Modellierungen'' sind aber meistens Vereinfachungen der „wirklichen“ Strukturen, wodurch tatsächlich vorhandene Unterschiede verwischt werden können, was dann Verzerrungen oder gar Verfälschungen zur Folge haben kann.<ref>[Hischer 2012, 59]</ref>
Es zeigt sich, dass man „Aussage“ in diesem Kontext ebenso wenig definieren kann wie „Menge“, obwohl man geneigt sein könnte, zu „definieren“, dass eine „Aussage“ ein ''„sprachliches Gebilde ist, von dem eindeutig feststeht, ob es wahr oder falsch ist”''.<ref>Vgl. die hierzu didaktisch orientierten Betrachtungen in [Hischer 2012, 62 f.]</ref> Denn das würde voraussetzen, dass man von einem „sprachlichen Gebilde“ eindeutig feststellen kann, ob es (objektiv?) wahr oder falsch ist, was philosophische Fragen aufwirft.<br />
Somit tritt in der Aussagenlogik der Terminus „Aussage“ als ein ''undefinierter Grundbegriff'' auf (ebebso wie „Menge“ in der Mengenlehre).
== Literatur ==
* Hischer, Horst: Grundlegende Begriffe der Mathematik: Entstehung und Entwicklung, Wiesbaden: Springer Spektrum 2012, ISBN 978-3-8349-1888-1.
* Varga, Tamás: Mathematische Logik für Anfänger. Teil 1: Aussagenlogik. Frankfurt a. M. / Zürich: Verlag Harri Deutsch, 1972.
== Quellen ==
<references />
{{zitierhinweis}}