Eine freie Initiative von Menschen bei  anthrowiki.at,  anthro.world,  biodyn.wiki und  steiner.wikimit online Lesekreisen, Übungsgruppen, Vorträgen ... |
 Wie Sie die Entwicklung von AnthroWiki durch Ihre Spende unterstützen können, erfahren Sie hier.
|
|
|
Use Google Translate for a raw translation of our pages into more than 100 languages. Please note that some mistranslations can occur due to machine translation. |
Widerspruchsfreiheit
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
- Widerspruchsfreiheit - Artikel in der deutschen Wikipedia
- Satz vom Widerspruch - Artikel in der deutschen Wikipedia
- Wissenschaft - Artikel in der deutschen Wikipedia - wissenschaftliche Methode
- Falsifikation - Artikel in der deutschen Wikipedia
- ω-konsistente Theorie - Artikel in der deutschen Wikipedia
Weblinks
Peter H. Starke: Logische Grundlagen der Informatik. Vorlesungsskript Oktober 2000
| Dieser Artikel basiert auf einer für AnthroWiki adaptierten Fassung des Artikels Widerspruchsfreiheit aus der freien Enzyklopädie de.wikipedia.org und steht unter der Lizenz Creative Commons Attribution/Share Alike. In Wikipedia ist eine Liste der Autoren verfügbar. |
