Axiomatisches System

Axiomatisches System
Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung.

Ein Axiomensystem (auch: Axiomatisches System) ist im engeren Sinn ein System aus Axiomen und Regeln[1], in einem etwas anderen Nebensinn "eine Menge von Sätzen ..., die sich in Axiome und ...Theoreme gliedert"[2].

Inhaltsverzeichnis

Allgemeines

Ein Axiomensystem als Produkt der Axiomatisierung eines Wissensgebietes dient einer ökonomischen und übersichtlichen "Darstellung der in ihm geltenden Sätze und der zwischen ihnen bestehenden Folgerungszusammenhänge"[3].

Die Axiomatisierung zwingt zugleich zu einer klaren und eindeutigen Begrifflichkeit.

Die Elemente eines axiomatischen Systems sind:

(a) eine Menge von Basiselementen,

(b) eine Menge (als wahr vorausgesetzter) Aussagen über diese Basiselemente (= Axiome) und

(c) eine Menge von logischen Schlussregeln zur Ableitung weiterer Aussagen. [4]

Forderungen an ein Axiomensystem

An ein axiomatisches System werden Forderungen gestellt. Die Forderungen an ein axiomatisches System können in unbedingte und in weniger strenge eingeteilt werden.[5]

Als unabdingbar gelten[6]:

  1. Widerspruchsfreiheit;
  2. Unabhängigkeit; und
  3. Vollständigkeit.

Als wünschenswert[7] die

  1. Einfachheit

Widerspruchsfreiheit

Ein Axiomatisches System muss widerspruchsfrei sein.

Ein Widerspruch liegt vor, wenn man aus einem Kalkül sowohl A, als auch ¬ A herleiten kann. D.h. dann, dass man alles herleiten kann. Widerspruchsfrei ist dann also ein Kalkül, in dem es Aussagen gibt, die nicht herleitbar sind.[8]

Oder in Worten von Tarski: „Man nennt eine deduktive Disziplin widerspruchsfrei, wenn keine zwei Lehrsätze dieser Disziplin einander widersprechen oder, mit anderen Worten, wenn von zwei beliebigen sich widersprechenden Sätzen (...) mindestens einer nicht bewiesen werden kann.“[9]

In einer strengeren Fassung bedeutet die Forderung der Widerspruchsfreiheit: "es muss nicht nur bewiesen werden, dass kein Widerspruch besteht, sondern auch, dass ein Widerspruch im System nicht vorkommen kann.[10]

Vollständigkeit des Systems

Ein System ist vollständig, „wenn aus seinen Axiomen alle wahren Aussagen des Gebietes ableitbar sind“.[11]

Nach Prechtl ist eine Vollständigkeit im weiteren und im engeren Sinn zu unterscheiden. Während die obige Definition die Vollständigkeit im weiteren Sinn betrifft, liegt eine Vollständigkeit im strengeren Sinn vor, wenn jede nicht aus den Axiomen ableitbare Aussage zusammen mit den Axiomen einen Widerspruch herzuleiten gestattet.[12]

Dies dürfte den Formulierungen von Tarski und Hilbert/Ackermann entsprechen: „Man nennt dagegen eine Theorie vollständig, wenn von zwei beliebigen sich widersprechenden und ausschließlich von Ausdrücken der betrachteten Theorie und der ihr vorangehenden Theorien formulierten Sätzen mindestens ein Satz bewiesen werden kann.“[13] „Sinngemäß wird die Vollständigkeit des Axiomensystems so definiert, dass wir von ihm verlangen, dass der Begriff der herleitbaren Formel sich mit dem Begriff der allgemeingültigen Formel deckt.“[14]

Als vollständig gilt der Aussagenkalkül[15] und die elementare Geometrie.[16]

Unabhängigkeit der Axiome

„Unabhängig sind die Axiome, wenn keines von ihnen aus den anderen ableitbar ist“.[17]

(Einfachheit des Axiomensystems)

Ein Axiomensystem soll einfach sein.[18]

Axiomensysteme in einzelnen Bereichen

Logik

Für die elementare Aussagenlogik, die Prädikatenlogik erster Stufe und verschiedene Modallogiken gibt es axiomatische Systeme, die die genannten Anforderungen erfüllen[19].

Für die Prädikatenlogiken höherer Stufen lassen sich nur widerspruchsfreie, aber nicht vollständige axiomatische Systeme entwickeln.[20] Das Entscheidungsproblem ist in ihnen nicht lösbar.

Arithmetik

Für die Arithmetik gilt der Gödelsche Unvollständigkeitssatz: ist sie widerspruchsfrei, dann ist sie unvollständig; ist sie vollständig, dann kann ihre Widerspruchsfreiheit nicht bewiesen werden.

„Die angesprochene Unvollständigkeit der Arithmetik beispielsweise bedeutet folgendes: Für jede nur denkbare Formalisierung der elementaren Arithmetik gilt, dass es in ihr Sätze gibt, die in dieser Formulierung weder beweisbar noch widerlegbar sind. Mit anderen Worten: Es gibt in jeder dieser Formalisierungen Sätze A mit der Eigenschaft, dass sich weder A noch ¬ A beweisen lässt."[21]

Geometrie

Hilbert gelang es 1899 die euklidische Geometrie zu axiomatisieren.

(Sonstige) Axiomensysteme aus dem Bereich der Mathematik

Sprachwissenschaft

Karl Bühler versuchte 1933 eine Axiomatik der Sprachwissenschaft zu entwickeln.

Axiomatisches System und Gödelscher Unvollständigkeitssatz

Nach dem 1931 von Gödel bewiesenem Gödel-Theorem (auch: Unvollständigkeitssatz) ist es für ein mathematisches formales System „unmöglich, zugleich dessen Vollständigkeit und Widerspruchsfreiheit zu beweisen“[22]. "Kein adäquates Axiomensystem der Theorie eines unentscheidbaren Kalküls ist absolut-vollständig."[23]

Die Gödelschen Unvollständigkeitssätze "beweisen die Grenzen formalistischen Denkens und die Grenzen unseres Erkenntnisvermögens" [24] und zeigen eine „absolute Grenze“ der formalen Logik".[25]

Siehe auch

Quellen

  1. Bochenski, Die zeitgenössischen Denkmethoden, 10. Aufl. (1993), S. 79
  2. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Axiomatisches System
  3. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Axiomatisches System
  4. Bußmann, Lexikon der Sprachwissenschaft, 3. Aufl. (2002)/Axiom
  5. Bochenski, Die zeitgenössischen Denkmethoden, 10. Aufl. (1993), S. 80
  6. Hilbert/Ackermann, Grundzüge, 6. Aufl. (1972), S. 98; Prechtl, in: Metzler Philosophie Lexikon, 2. Aufl. (1999)/Axiom, Axiomensystem
  7. Prechtl, in: Metzler Philosophie Lexikon, 2. Aufl. (1999)/Axiom, Axiomensystem
  8. So Hilbert/Ackermann, Grundzüge, 6. Aufl. (1972), S. 99; vgl. auch Prechtl, in: Metzler Philosophie Lexikon, 2. Aufl. (1999)/Axiom, Axiomensystem
  9. Tarski, Einführung, 5. Aufl. (1977), S. 144
  10. Bochenski, Die zeitgenössischen Denkmethoden, 10. Aufl. (1993), S. 80
  11. Bochenski, Die zeitgenössischen Denkmethoden, 10. Aufl. (1993), S. 80
  12. Prechtl, in: Metzler Philosophie Lexikon, 2. Aufl. (1999)/Axiom, Axiomensystem
  13. Tarski, Einführung, 5. Aufl. (1977), S. 144
  14. Hilbert/Ackermann, Grundzüge, 6. Aufl. (1972), S. 100
  15. Tarski, Einführung, 5. Aufl. (1977), S. 146
  16. Tarski, Einführung, 5. Aufl. (1977), S. 146
  17. Bochenski, Die zeitgenössischen Denkmethoden, 10. Aufl. (1993), S. 80; vgl. auch Prechtl, in: Metzler Philosophie Lexikon, 2. Aufl. (1999)/Axiom, Axiomensystem
  18. Prechtl, in: Metzler Philosophie Lexikon, 2. Aufl. (1999)/Axiom, Axiomensystem
  19. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Axiomatisches System
  20. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005)/Axiomatisches System
  21. Hoyningen-Huene, Logik (1998), S. 272
  22. Schülerduden, Philosophie (2002), Satz vom (verbotenen) Widerspruch
  23. Lorenzen, Logik, 4. Aufl. (1970), S. 136
  24. Zoglauer, Einführung (1999), S. 115
  25. Hoyningen-Huene, Logik (1998), S. 272

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Axiomensystem — Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) des Systems logisch abgeleitet werden.[1][2] Die Ableitung erfolgt dabei durch die… …   Deutsch Wikipedia

  • Axiomatik — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… …   Deutsch Wikipedia

  • Axiomatische Theorie — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… …   Deutsch Wikipedia

  • Grundannahme — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… …   Deutsch Wikipedia

  • Gödel'scher Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Gödels Satz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Unvollständigkeitssatz — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Gödelscher Unvollständigkeitssatz — Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in Formalen Sprachen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”