Aristoteles beweist das Axiom vom zu vermeidenden Widerspruch (518 Aufrufe)
Γραικίσκος schrieb am 17.07.2019 um 18:19 Uhr (Zitieren)
(aus: Metaphysik IV 3-6)
Der Beweis ist also ein indirekter: Wer die Gültigkeit des Axioms, daß eine Aussage nicht zugleich wahr und falsch sein kann, bestreitet, setzt es als gültig voraus, denn wenn er sagt, das Axiom sei falsch, dann unterscheidet er zwischen wahr und falsch, hält sich also genau an das Axiom.
Diese Methode des indirekten Beweises durch die Unmöglichkeit der Bestreitung einer Aussage, indem der Bestreitende die Wahrheit der Aussage voraussetzt, hat später in der Philosophie (Kant usw.) noch eine große Karriere gemacht.
Re: Aristoteles beweist das Axiom vom zu vermeidenden Widerspruch
Platon schrieb am 18.07.2019 um 09:02 Uhr (Zitieren)
Axiome kann man nicht beweisen. Man kann sie nur plausibel machen und mit ihnen arbeiten.
Solange sie sich bewähren und zu keinen Widersprüchen führen, sind sie die sinnvolle Grundlage von Gedankengebäuden, die widerspruchsfrei sind und dazu dienen können, Wirklichkeit zu beschreiben.
Die grundsätzliche Frage ist, wie man Beweis definiert. Beweise basieren auf Axiomen, die man nicht mehr hinterfragen kann.
Jeder Beweis ist nur so gut wie die Axiome, auf denen er beruht.
Dass Axiome sich auch als falsch oder unzulänglich erweisen können, beweist die
Geschichte der Naturwissenschaft.
Viele Axiome mussten aufgegeben werden, weil sie
mit neuen Erkenntnissen nicht mehr vereinbar waren.
(vgl: Thomas Kuhn, Die Struktur wissenschaftlicher Revolutionen)
Stichwort: Paradigma-Wechsel
Das griechische Verb axioo = ich halte für wahr (=plausibel) drückt diesen Sachverhalt m.E. sehr gut aus, ein "Beweis" für die treffende Wahl des Terminus "Axiom".
Axiome sind etwas, an das man letztlich glaubt bzw. auf das man vertraut, weil es sich bewährt hat. Auf Enttäuschungen muss man wie bei allem, was auf Vertrauen beruht, immer gefasst sein.
Warten wir also auf die 4. große Kränkung der Menschheit, während wir uns weiterhin von den 3 vorherigen erholen müssen.
Re: Aristoteles beweist das Axiom vom zu vermeidenden Widerspruch
Γραικίσκος schrieb am 18.07.2019 um 13:58 Uhr (Zitieren)
Was bei Axiomen sicher nicht möglich ist, ist der direkte Beweis, d.h. die Ableitung aus Prämissen. Axiome sind die obersten Prämissen.
Aristoteles' genialer Einfall ist aber der, einen indirekten Beweis zu führen, nämlich für die Undenkbarkeit des Gegenteils. Er will zeigen, daß jemand, der das Axiom vom zu vermeidenden Widerspruch für falsch erklärt, sich dabei genau auf dieses Axiom beruft: w ǂ f.