Postulat
Als Postulat (von lateinisch postulatus, Gefordertes, Erbetenes, vor Gericht Beanspruchtes oder Behauptetes[1]) wird ein Grundsatz für eine Diskussion, eine Theorie oder ein formales System bezeichnet, der keine neuen Terme einführt, aber nicht aus den gegebenen Definitionen abgeleitet werden kann. Ein Postulat gilt als Axiom, wenn sich aus ihm andere Theoreme des Systems oder der Alltagserfahrung herleiten lassen, deren Geltung bereits bekannt ist oder beschlossen wurde. Die Gültigkeit eines Postulats kann auf der Ebene der Metatheorie angegriffen, bestritten und widerlegt werden, z. B. wenn an seiner Stelle ein anderer Satz gefunden wird, der mindestens die gleiche Begründungskraft hat.
Mathematik
In der Mathematik werden unbewiesene oder unbeweisbare Aussagen, die in Folgerungen oder Beweissystemen als wahr vorausgesetzt werden sollen, auch Postulate genannt. Es werden auch Axiome als rein logische Grundsätze eines Systems verstanden, Postulate hingegen als Grundsätze, die nicht nur logische Symbole enthalten.[2]
Die Verwendung von Postulaten stammt aus der euklidischen Geometrie, in der zwischen Definitionen, Postulaten und Grundsätzen unterschieden wird. Euklids Text spricht von aitēmata (Postulaten) und koinai ennoiai (Axiomen, wörtlich Gemeinbegriffen, lateinisch communes animi conceptiones). Dabei wurde nicht die Anerkennung einer These oder eines Theorems gefordert, sondern dass eine bestimmte Konstruktion möglich ist, z. B. dass zwei beliebige Punkte mit genau einer Geraden verbunden werden können, oder dass um jeden Mittelpunkt mit jedem Radius ein Kreis gezogen werden kann. Heute wird in der mathematischen Praxis nicht mehr deutlich zwischen Forderung und Grundsatz also Postulat und Axiom unterschieden.
Proklos[3] unterscheidet aitēmata als durch einen Beweis zu bestätigen (ähnlich den hypotheseis des Aristoteles) von axiomata als keines Beweises bedürftig. Auch weist er Postulate der Geometrie zu und Axiome allen mit Quantitäten und Raumausdehnung hantierenden Wissenschaften. Archimedes versteht unter axiomata auch Definitionen und bezeichnet die Postulate als lambanomena.
Im älteren Logizismus wurde versucht, eine allgemeine Grundlegung ohne Axiome, nur auf Basis logischer Definitionen zu erreichen. Dabei wurde vorausgesetzt, dass sich die Definitionen und Axiome auf notwendig gültige Sachverhalte als ihre Extension beziehen, und dass ihnen ihre Rolle als grundlegende Sätze, hinter die nicht zurückgegangen werden kann, wesentlich ist. Im Formalismus hingegen wurden Axiomatisierungen als willkürliche Festlegungen formaler Systeme verstanden, die sich durch interne und externe Gütekriterien voneinander unterscheiden (etwa Entscheidbarkeit und Vollständigkeit (Logik), Ausdrückbarkeit bekannter mathematischer Sätze). Für den Formalismus werden die einfachsten mathematischen Begriffe implizit durch die aufgestellten Axiome definiert. Während der Logizismus die Postulate eliminiert, fallen im Formalismus Postulate und Axiome zusammen.
Philosophie
Die aristotelische Wissenschaftstheorie unterscheidet[4] zwischen
- Prinzip als durch sich selbst notwendig: für jeden einsichtiges Axiom
- Prinzip als Voraussetzung (hypothesis): für den Lernenden in der entsprechenden Wissenschaft einsichtig
- Prinzip als Postulat (aitēma): für den Lernenden in der entsprechenden Wissenschaft nicht einsichtig oder dessen Meinung entgegenstehend; einschließlich prinzipiell beweisbarer Sätze, die man gegenwärtig aber ohne Beweis annimmt oder verwendet.
In Immanuel Kants Terminologie ist „Postulat“ ein „praktischer unmittelbar gewisser Satz oder ein Grundsatz, der eine mögliche Handlung bestimmt, bei welcher vorausgesetzt wird, daß die Art, sie auszuführen, unmittelbar gewiß sei.“ (Immanuel Kant: AA IX, 112– Logik-Vorlesung[5]) Er unterscheidet dabei mathematische Postulate von Postulaten der praktischen Vernunft: Die Postulate der praktischen Vernunft sind eine für moralisches Handeln subjektiv notwendige Annahme, die mathematischen Postulate sind für Kant objektiv notwendige und wahre Sätze, die jedoch nicht aus Begriffen folgen, sondern an der Vorstellung von mathematischen Gegenständen a priori als Konstrukte der Einbildungskraft erkannt werden (Immanuel Kant: AA V, 11– Kritik der praktischen Vernunft[6], vgl. auch Immanuel Kant: AA III, 198– Kritik der reinen Vernunft, A 234/B 286[7])
In der Erkenntnistheorie und Wissenschaftstheorie wird der Ausdruck „Postulat“ bisweilen auch allgemeiner verwendet im Sinne einer normativen Forderung.
Moritz Schlick vertrat die These: „Postulate im Sinne der alten Philosophie gibt es gar nicht“ – nämlich als „eine Regel, an der wir unter allen Umständen festhalten müssen“. Vielmehr sollte „Postulat“ eine empirisch zweckmäßige Anweisung zur Bildung von Aussagen bezeichnen.[8]
Physik
In der Physik werden im heutigen Gebrauch die Begriffe „Postulat“ und „Axiom“ austauschbar verwendet. Da physikalische Theorien auf unterschiedliche Weise axiomatisiert werden können, kann eine bestimmte physikalische Aussage in einer Formulierung der Theorie den Status eines Axioms haben, in einer anderen, äquivalenten Formulierung hingegen den Status eines Theorems. Beispielsweise kann die klassische Punktmechanik wahlweise auf Basis der Newtonschen Gesetze, des Lagrange-Formalismus oder des Hamilton-Jacobi-Formalismus formuliert werden. Im erstgenannten Fall hat z. B. das 3. Newtonsche Gesetz den Status eines Postulats bzw. eines Axioms, in den beiden anderen Fällen ist es ein Theorem.
Weblinks
Einzelnachweise
- Eintrag postulatus in: Charlton T. Lewis, Charles Short, A Latin Dictionary.
- Vgl. etwa Anton Hügli, Poul Lübcke: Philosophielexikon, Kröner, Stuttgart 1991, s.v. „Postulat“.
- Vgl. In primum Euclidis Elementorum librum commentarii, hg. G. Friedlein, Teubner, Leipzig 1873, Digitalisat, Seite 181–183.
- Analytica posteriora 76b 23-34.
- Immanuel Kant, Gesammelte Schriften. Hrsg.: Bd. 1–22 Preussische Akademie der Wissenschaften, Bd. 23 Deutsche Akademie der Wissenschaften zu Berlin, ab Bd. 24 Akademie der Wissenschaften zu Göttingen, Berlin 1900ff., AA IX, 112– Logik-Vorlesung.
- Immanuel Kant, Gesammelte Schriften. Hrsg.: Bd. 1–22 Preussische Akademie der Wissenschaften, Bd. 23 Deutsche Akademie der Wissenschaften zu Berlin, ab Bd. 24 Akademie der Wissenschaften zu Göttingen, Berlin 1900ff., AA V, 11– Kritik der praktischen Vernunft.
- Immanuel Kant, Gesammelte Schriften. Hrsg.: Bd. 1–22 Preussische Akademie der Wissenschaften, Bd. 23 Deutsche Akademie der Wissenschaften zu Berlin, ab Bd. 24 Akademie der Wissenschaften zu Göttingen, Berlin 1900ff., AA III, 198– Kritik der reinen Vernunft, A 234/B 286.
- Moritz Schlick: Die Kausalität in der gegenwärtigen Physik, in: Die Naturwissenschaften 19 (1931), 145-62, hier 155; auch in: J. Friedl / H. Rutte (Hgg.): Die Wiener Zeit: Aufsätze, Beiträge, Rezensionen 1926-1936, Springer, Wien 2008, S. 231–292, hier 269.