This approach does not define a probability measure by syntactical structures. It reveals a link between modal logic and mathematical probability theory. This is shown (1) by adding an operator (and two further connectives and constants) to a system of lower predicate calculus and (2) regarding the models of that extended system. These models are models of the modal system S₅ (without the Barcan formula), where a usual probability measure is defined on their set of possible worlds. Mathematical probability models can be seen as models of S₅
Keywords Probability measure  axioms ofKolmogoroff   Choquet-capacity, upper- and lower probabilities  lower predicate calculus  modal lower predicate calculus   Kripke-models of systems of modal lower predicate calculus
Categories (categorize this paper)
DOI 10.1007/BF00769280
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,676
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Mathematical Theory of Evidence.Glenn Shafer - 1976 - Princeton University Press.
The Propensity Interpretation of Probability.Karl R. Popper - 1959 - British Journal for the Philosophy of Science 10 (37):25-42.
A Laplacean Formal Semantics for Single-Case Propensities.Ronald N. Giere - 1976 - Journal of Philosophical Logic 5 (3):321 - 353.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
28 ( #363,115 of 2,386,589 )

Recent downloads (6 months)
1 ( #552,015 of 2,386,589 )

How can I increase my downloads?


My notes