Abstract
By supplying propositional calculus with a probability semantics we showed, in our 1996, that finite stochastic problems can be treated by logic-theoretic means equally as well as by the usual set-theoretic ones. In the present paper we continue the investigation to further the use of logical notions in probability theory. It is shown that quantifier logic, when supplied with a probability semantics, is capable of treating stochastic problems involving countably many trials.
Similar content being viewed by others
REFERENCES
Barone, J. and Novikoff, A. (1978): A history of the axiomatic formulation of probability from Borel to Kolmogorov. Part I, Arch. Hist. Exact Sci. 18: 123–190.
Borel, È. (1909): Les probabilitès dènombrable et leur applications arithmètiques, Rend. Circ. Mat. Palermo 27: 247–270.
Frèchet, M. (1935): Gènèralisations du thèoréme des probabilitès totales, Fund. Math. 25: 379–387.
Gaifman, H. (1964): Concerning measures in first order calculi, Israel J. Math. 2: 1–17.
Hailperin, T. (1996): Sentential Probability Logic, Lehigh University Press, Bethlehem, PA.
Hailperin, T. (1997): Ontologically neutral logic, Hist. Philos. Logic 18: 185–200.
Herbrand, J. (1971): Logical Writings (ed. W. D. Goldfarb), Harvard University Press, Cambridge, MA.
Kolmogorov, A. (1933): Grundbegriffe der Wahrscheinlichkeitsrechnung, Springer, Berlin.
Rényi, A. (1970): Probability Theory, North-Holland/American Elsevier, Amsterdam/New York.
Shiryayev, A. N. (1984): Probability, Springer, New York.
Tarski, A. (1983): Logic, Semantics, Metamathematics, 2nd edn, Hackett, Indianapolis, IN.
von Plato, J. (1994): Creating Modern Probability, Cambridge University Press, Cambridge, UK.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hailperin, T. Probability Semantics for Quantifier Logic. Journal of Philosophical Logic 29, 207–239 (2000). https://doi.org/10.1023/A:1004754819280
Issue Date:
DOI: https://doi.org/10.1023/A:1004754819280