Logik & Argumentation an der TU Darmstadt

Das Vorliegen von Sauerstoff in der Atmosphäre ist eine notwendige Bedingung für menschliches Leben.

Die Formeln werden aus anderen Formeln abgeleitet, im Sinne von „deduziert“. Das bedeutet insbesondere, dass durch Deduktion nichts abgeleitet werden kann, was nicht bereits implizit in den Prämissen enthalten war.

Es handelt sich um einen deduktiven Schluss.

Z.B.: 

Induktiv: Gestern stand ich auf der A3 im Stau, heute stand ich auf der A3 im Stau. Wenn ich morgen wieder den Weg über die A3 nehme, werde ich wieder im Stau stehen.

Abduktiv: Der Radfahrer Tim hat eine Verletzung am Knie. Vielleicht hatte er einen Unfall und ist vom Rad gestürzt.

Antezedens (Vordersatz) und Consequens (Nachsatz)

Es handelt sich um einen abduktiven Schluss.

Die Gültigkeit des Kalküls basiert auf der lückenlosen Aneinanderreihung logisch gültiger Schritte. Das Auslassen eines Schrittes bedeutet eine Unterbrechung der Beweiskette.

Mögliche Ereignisse werden mit einem subjektiven Wert belegt (bzw. zugeordnet)

Letztlich durch die intuitive Gewissheit des Gedankenexperiments. Durch sie erlangen die Formen ihre Gültigkeit, und jede Sequenz ist die Anwendung einer logischen Form in einem Schritt.

Syntax bezeichnet die Regelung, wie Wörter einer Sprache korrekt (im Sinne von Grammatik) miteinander kombiniert werden dürfen. Die Verabredung, die eindeutig festlegt, welche Bedeutung (im Sinne einer zulässigen Interpretation) ein Begriff hat nennen wir dagegen Semantik.

Es handelt sich um einen induktiven Schluss.