Zur Axiomatik der Wahrscheinlichkeitsrechnung. (Q2624973)

Auf Grund der metamathematischen Untersuchungen von \textit{Tarski} (Über einige fundamentale Begriffe der Mathematik, C. R. Soc. Sc. Varsovie 23 (1930), 22-29; F. d. M. \(57_{\text{II}}\), ) wird für die \textit{Bohlmann}sche Axiomatik der Wahrscheinlichkeitsrechnung (1909; F. d. M. 40, 291 (JFM 40.0291.*)) ein logischer Unterbau hergestellt, indem zwei Gruppen von Axiomen aufgestellt werden. Die erste Gruppe axiomatisiert das Feld der Aussagen, in welchem operiert wird. Die zweite Gruppe umfaßt drei Axiome über die Wahrscheinlichkeit der Aussagen relativ zu einem Aussagensystem, die den folgenden drei Sätzen der gewöhnlichen Sprache entsprechen: (1) Die Wahrscheinlichkeit von \(x\) relativ zu \(\mathfrak U\) ist 1, wenn \(x\) zu \(\mathfrak U\) gehört. (2) Wenn sich \(x\) und \(y\) ausschließen bezüglich \(\mathfrak U\), dann ist die Entweder - Oder - Wahrscheinlichkeitbezüglich \(\mathfrak U\) additiv. (3) Wenn die Aussage \(x\) nicht unmöglich ist, so ist die Wahrscheinlichkeit für das gleichzeitige Aufterten von \(x\) und \(y\) bezüglich \(\mathfrak U\) gleich dem Produkt der Wahrscheinlichkeiten für \(x\) bezüglich \(\mathfrak U\) und der nachträglichen Wahrscheinlichkeit von \(y\).