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

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

• das Eintreffen eines Ereignisses und genannt 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 genannt 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.

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 darum, weil sich dieser oder jener Sprachgebrauch eingebürgert hat.

In der Theorie der Algorithmen treten beispielsweise gewisse logische Bestimmungen auf, die als "logische Bedingungen" genannt werden. Hier wird gewöhnlich der Begriff "Voraussetzung" nicht benutzt.

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 zu dem 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 in dem Konditionalismus