The technique of theory construction. (Q2593912)

Verf. geht von der Auffassung aus, daß das Band, das alle Wissenschaften (sciences) verbindet, die mathematische Logik ist. Die Einheit der Wissenschaft könnte am besten durch Formalisierung aller wissenschaftlichen Theorien mit Hilfe der symbolischen Logik erreicht werden. Verschiedene Theorien würden sich dann nur durch die ihnen eigentümlichen logischen Konstanten unterscheiden. Eine solche Formaliserung würde einige unerwünschte Folgen der Spezialisierung beseitigen, die durch die Ungenauigkeit der Alltagssprache in einzelnen Wissenschaften an\-gestiftete Verwirrung aufklären und die Erkenntnis der Folgerungen erleichtern, die sich aus neuen, zu prüfenden Hypothesen ergeben. Es wird ein Beispiel einer solchen formalisierten Theorie gegeben, das sich an das Werk des Verf. ``Axiomatic method in biology'' (Cambridge 1937; F. d. M. \(63_{\text{II}}\), 827) anlehnt. Der benutzte Symbolismus ähnelt demjenigen der Principia Mathematica. Dem Einwand, daß die biologischen Wissenschaften traditionsgemäß induktiv und nicht deduktiv seien, setzt Verf. die Meinung entgegen, diese Tradition sei mit daran schuld, daß der Fort\-schritt in der Biologie weniger rasch gewesen sei als in den physikalischen Wissen\-schaften.