Voraussetzung

Eine Voraussetzung bezeichnet sehr unterschiedliche Sachverhalte.

Beispiele für die Verwendung des Begriffs "Voraussetzung"

So verwendet man den Begriff "Voraussetzung" beispielsweise für

• die Existenz von Leben auf dem Mars und bezeichnet eigentlich damit die Gesamtheit der Parameterwerte für das Leben auf der Oberfläche des betreffenden Planeten

• das Eintreffen eines Ereignisses und bezeichnet eigentlich damit die Wirkung bestimmter Ursachen, die dieses Ereignis hervorbringen beziehungsweise identifiziert hier die Bedeutung des Begriffes "Voraussetzung" mit der des Begriffes "Bedingung".

• eine Beweisführung und bezeichnet deren Prämissen. Also diejenigen Aussagen, von denen man ausgeht, um mit Hilfe logischer Schlussregeln zu der zu beweisenden Aussage (These und anderem) zu gelangen. Dabei ist zwischen notwendigen Voraussetzungen - Voraussetzungen ohne die die Beweisführung nicht gelingt und hinreichenden Voraussetzungen - Voraussetzungen, die alleine schon den Beweis liefern, zu unterscheiden.

Zum identischen Austausch von "Voraussetzung" und "Bedingung"

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.

Zur Anwendung des Begriffs "Voraussetzung" in der Theorie der Algorithmen

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.

Zur semantischen Äquivalenz von "Voraussetzung" und "Bedingung"

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 Konditionalismus