Widerspruchsfreiheit

Aus AnthroWiki

In der Logik gilt eine Menge von Aussagen als konsistent oder widerspruchsfrei, wenn aus ihr kein Widerspruch abgeleitet werden kann, also kein Ausdruck und zugleich dessen Negation. Da man mit inkonsistenten Aussagenmengen Beliebiges beweisen könnte, auch Unsinniges, ist die Widerspruchsfreiheit unerlässlich für brauchbare wissenschaftliche Theorien, logische Kalküle oder mathematische Axiomensysteme.

Ein Zusatzaxiom heißt relativ konsistent zu einer bestehen Aussagenmenge, falls seine Hinzunahme keine neuen Widersprüche einbringt. Mit anderen Worten: ist die Aussagenmenge als konsistent vorausgesetzt, ist sie mit dem Zusatzaxiom ebenfalls konsistent.

Ferner heißen zwei Zusatzaxiome zueinander äquikonsistent bezüglich einer bestehenden Aussagenmenge, falls die Hinzunahme des einen genau dann keine neuen Widersprüche einbringt, falls es das andere auch nicht tut.

Siehe auch

Weblinks

Peter H. Starke: Logische Grundlagen der Informatik. Vorlesungsskript Oktober 2000


Dieser Artikel basiert (teilweise) auf dem Artikel Widerspruchsfreiheit aus der freien Enzyklopädie Wikipedia und steht unter der Lizenz Creative Commons Attribution/Share Alike. In Wikipedia ist eine Liste der Autoren verfügbar.