Voraussetzung
Eine Voraussetzung bezeichnet sehr unterschiedliche Sachverhalte.
So verwendet man den Begriff "Voraussetzung" beispielsweise für
Eine semantische Analyse (Semantik) zeigt, dass fast alle Aussagesätze der Form:
"Unter der Voraussetzung, dass ...." semantisch äquivalente Aussagesätze der Form: "Unter der Bedingung, dass ..." sind.
Dort, wo der eine oder der andere dieser beiden Begriffe "Voraussetzung" und "Bedingung" bevorzugt wird, geschieht dies nicht aus logischen Gründen, sondern einfach deshalb, weil sich dieser oder jener Sprachgebrauch eingebürgert hat.
In der Theorie der Algorithmen treten beispielsweise gewisse logische Bestimmungen auf, die als "logische Bedingungen" bezeichnet werden. Hier wird gewöhnlich der Begriff "Voraussetzung" nicht verwendet.
Andererseits wird von "logischen Voraussetzungen" gesprochen, aber nicht von "logischen Bedingungen" eines Beweises. Die Begründungen dafür liegen in der sprachgeschichtlichen, sprachpsychologischen und wissenschaftsgeschichtlichen Natur dieser spezifischen Anwendungen.
Die semantische Äquivalenz der beiden Begriffe wird vor allem dann sichtbar, wenn man zur Differenzierung innerhalb der Begriffe, die die Bedeutung dieser Begriffe ausmachen, übergeht.
In beiden Fällen spricht man von notwendigen beziehungsweise hinreichenden Voraussetzungen beziehungsweise Bedingungen zur Beweisführung oder zum Beispiel für das Eintreten eines Ereignisses.
siehe auch: Bedingung, Ursache, Bedingtheit, Bedingtsein, logische Bedingung, bedingter Syllogismus, bedingtes Urteil, bedingte Urteilsform, bedingter Beweis, bedingte Analogie, philosophisch: die Bedingungslehre im KonditionalismusBeispiele für die Verwendung des Begriffs "Voraussetzung"
Zum identischen Austausch von "Voraussetzung" und "Bedingung"
Zur Anwendung des Begriffs "Voraussetzung" in der Theorie der Algorithmen
Zur semantischen Äquivalenz von "Voraussetzung" und "Bedingung"