Tautologie (Definition)

Was ist eine Tautologie?

Der Begriff Tautologie kommt sowohl in der Sprache (Linguistik), als auch in der Aussagenlogik vor. In der Sprache wird von einer Tautologie gesprochen, wenn bedeutungsgleiche Begriffe an einander gereiht werden, zum Beispiel „nie und nimmer“ oder „leicht und einfach“.

In der Aussagenlogik bezeichnet eine Tautologie eine Aussage, die immer wahr ist.

Beispiele

• A ist gleich A.
• Wenn es dunkel ist, ist es dunkel.
• Alle Menschen sind Menschen.
• Krieg ist Krieg.

Wortherkunft

Der Begriff „Tautologie“ leitet sich aus zwei altgriechischen Wörtern ab:

1. „τὸ αὐτό tò autó“, bedeutet so viel wie „dasselbe“.
2. „lógos“, bedeutet „Sinn“ bzw. „Lehre“.

Weitere Formen

Eine Tautologie kann auch durch Disjunktionen (ODER-Verknüpfungen) entstehen. So ist zum Beispiel die Aussage: „Heute ist Freitag oder es ist nicht Freitag“ immer war, da eine der beiden Aussagen immer zutrifft und somit die Gesamtaussage stets wahr ist.

In der Wissenschaft werden teilweise auch Aussagen ohne Informationsgehalt als Tautologien bezeichent, bspw. eine Aussage wie: „Es müssen geeignete Maßnamen ergriffen werden.“ Ferner werden auch Definitionen als Tautologie bezeichnet, wenn der zu definierende Begriff selbst Teil der Definition ist.

Tautologien in der Programmierung

In der Programmierung werden mittels „If“-Abfragen geprüft, ob eine Bedingung wahr oder falsch ist. Folgendes Beispiel für eine Tautologie in der Informatik wäre denkbar:

If ( varName != „Peter“ OR varName != „Nathalie“ ) -> gelesen: Wenn die Variable varName ungleich „Peter“ ist, oder ungleich „Nathalie“. Diese Bedingung ist immer wahr und somit tautologisch. Wenn die Variable varName den Wert „Peter“ hat, ist die Aussage wahr, da die zweite Bedingung (ungleich „Nathalie“) erfüllt. Ebenso ist die Aussage wahr, wenn varName „Nathalie“ ist, da nun der erste Teil der Bedingung (ungleich „Peter“) erfüllt ist. Ist varName weder „Peter“ noch „Nathalie“, so sind sogar beide Bedingungen erfüllt. Die Aussage ist somit immer wahr, also tautologisch.