Essai sur la forme générale des théories physiques. (Q2595495): Difference between revisions

Verf. schildert ausführlich (mit Beispielen aus der modernen Physik) den Aufbau einer abgeschlossenen physikalischen Theorie. Eine solche bildet, rein formal gesehen, eine deduktive Theorie mit bestimmten Schlußregeln, Grundbegriffen und Axiomen, die die Grundlage des eigentlichen deduktiven Teiles darstellen. Die hierbei anzuwendende Logik ist letzten Endes empirisch, nicht notwendig klassisch. Verf. legt seinen Ausführungen eine dreiwertige Logik zugrunde (mit den Wahrheitswerten ``wahr'', ``falsch'', ``unentscheidbar''). Die Sätze dieser Logik machen einen wesentlichen Bestandteil der klassischen Logik aus. Auf dieser Basis diskutiert Verf. Begriffe, wie die der Äquivalenz von Axiomensystemen, und der Isomorphie von Theorien. -- Zu einer physikalischen Theorie gehören aber als wesentlicher Bestandteil, der sie von einem Zeichenspiel unterscheidet, noch Erklärungen, die die Bedeutung der Grundbegriffe und den Sinn der Axiome klarlegen, und die Verf. unter dem Namen \textit{``Induktive Synthese''} zusammenfaßt. Viele Überlegungen in dieser Richtung berühren sich mit denen von \textit{F. Gonseth}.