Ich habe in einem anderen Thread argumentiert , dass ein Satz beweisbar oder falsifizierbar sein muss, um gültig zu sein. Gibt es irgendwelche Fehler in dieser Definition der Gültigkeit? Was könnte hier ein mögliches Gegenargument sein?
Gibt es andere Kriterien, die verwendet werden können, um eine Aussage endgültig zu validieren? Können solche Kriterien als wissenschaftlich angesehen werden?
"Gott existiert" ist ähnlich wie "ein Elektron existiert", weil weder die Behauptung vollständig falsifizierbar ist noch ihre Negation. Stellen Sie sich zum Beispiel die Summe aller wissenschaftlichen Daten vor, die jemals gesammelt wurden, um die Existenz eines Elektrons zu belegen. Nehmen wir nun an, dass jedes einzelne Experiment von einer unwahrscheinlich großen (aber immer noch möglichen) Menge an experimentellen Fehlern betroffen war. Es ist also möglichdass alle zukünftigen Wiederholungen dieser Experimente die Existenz des Elektrons nicht nachweisen können. Es ist aber auch möglich, dass die Experimente irgendwann wieder funktionieren und man dann stattdessen glaubt, dass die Experimente, die die Existenz des Elektrons widerlegen, von experimentellen Fehlern betroffen waren. Weder „es existiert ein Elektron“ noch „es existiert kein Elektron“ ist wirklich falsifizierbar. Die Existenz des Elektrons hängt letztendlich von gemeinsamer Intuition, Erfahrung und Überzeugung ab. Ebenso ist die Existenz Gottes. Wenn Gott auf die Erde käme und jedem Menschen seine Existenz auf eine Weise demonstrieren würde, die alle Menschen verstehen und effektiv kommunizieren könnten, dann gäbe es keine Schwierigkeiten, „Gott existiert“ als wissenschaftliche Aussage zu akzeptieren. Und wenn Gott dann die Erde verließ,
Damit eine Behauptung eine gültige wissenschaftliche Behauptung ist, muss sie präzise und vereinbarte Definitionen haben, und es muss ein überzeugendes Argument dafür geben, dass sie mit hoher Wahrscheinlichkeit wahr ist.
In formalen Systemen werden Axiome (z. B. das von Michael McGowan erwähnte Axiom of Choice) typischerweise als wahr angesehen und können nicht bewiesen oder widerlegt werden.
In den Wissenschaften wird von Axiomen erwartet, dass sie die gemessene Realität widerspiegeln. Während also die euklidische Geometrie (obwohl unvollständig) einen gut vereinbarten, nicht widersprüchlichen Satz von Axiomen hat, stimmt das Axiom, das fordert, dass parallele Linien in einem festen Abstand voneinander bleiben müssen (eine spätere Umformulierung seines fünften Postulats), nicht damit überein Die Allgemeine Relativitätstheorie und meine Erweiterung stimmt nicht mit unseren Interpretationen unserer gemessenen Realität überein (beachten Sie hier eine Ebene der Indirektion). Das bedeutet nicht, dass die euklidische Geometrie per se widerlegt ist , sondern dass sie nicht mit der Realität übereinstimmt.
Ich bin mir nicht sicher, wie das auf Ihre Frage nach Gott zutrifft. Es ist eine Glaubensfrage, die Ähnlichkeiten mit Axiomen hat, aber nicht dasselbe ist wie.
Kurzum: Nein.
Laut Gödel wird es immer Aussagen geben, die zwar wahr, aber nicht beweisbar sind.
Siehe hier für mehr: Gödels Unvollständigkeitssätze
Ich weiß nicht, was du hier mit "gültig" meinst. Allerdings gibt es viele Behauptungen, die weder bewiesen noch widerlegt werden können, die für die Schlussfolgerung in logischen oder mathematischen Systemen notwendig sind. Dies erstreckt sich zweifellos auf das logische Denken in der Wissenschaft, da mathematische und logische Theorien dort oft auf die eine oder andere Weise verwendet werden. Jedes Axiom eines korrekten Satzes von Axiomen für Gruppentheorie, Ringtheorie, Gittertheorie, Halbgruppentheorie, Feldtheorie, Boolesche Algebra usw. kann nicht widerlegt oder bewiesen werden. Jedes Axiom kommt als kontingent auf den fraglichen Diskursbereich und qualifiziert sich daher als kontingent im Kontext des gesamten Prädikatenkalküls. Auch in der Aussagenlogik lassen sich viele, viele Aussageformen weder beweisen noch widerlegen. Die Wahrheitswerte dieser Aussageformen hängen davon ab, welche Wahrheitswerte die atomaren Variablen annehmen. Nehmen wir als sehr einfaches Beispiel an, Sie haben ein natürliches deduktives System und keine Axiome. Angenommen, Sie möchten zeigen, dass CApqAqp, wobei "C" die materielle Bedingung und "A" die Disjunktion bezeichnet. Obwohl es in diesem Zusammenhang viele Möglichkeiten gibt, dies zu beweisen, verlassen sich zumindest die meisten auf die Arbeit mit einem bedingten Aussageformular wie "Apq".
Wenn Sie also mit „gültig“ „sinnvoll“ meinen, dann liegt es nahe, dass es gültige wissenschaftliche Behauptungen gibt, die nicht beweisbar oder widerlegbar sind, da es in Logik und Mathematik sinnvolle oder gültige Behauptungen gibt, die nicht beweisbar oder widerlegbar sind. Allerdings muss der Umfang eines Anspruchs im Auge behalten werden. Kein Axiom, sagen wir, der Gittertheorie kann bewiesen oder widerlegt werden, und wenn Sie den Umfang eines Axioms aus den Augen verlieren, könnten Sie in die Irre geführt werden und glauben, dass es bewiesen oder widerlegt werden kann.
Tom Jones
Josef Weissmann