Probability logic

Journal of Symbolic Logic 34 (2):264-274 (1969)
  Copy   BIBTEX

Abstract

In this paper we introduce a system S5U, formed by adding to the modal system S5 a new connective U, Up being read “probably”. A few theorems are derived in S5U, and the system is provided with a decision procedure. Several decidable extensions of S5U are discussed, and probability logic is related to plurality quantification.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,190

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Probability, logic, and probability logic.Alan Hójek - 2001 - In Lou Goble, The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 362--384.
Probability logic.Niki Pfeifer - 2021 - In Markus Knauff & Wolfgang Spohn, The Handbook of Rationality. London: MIT Press.
On Mental Probability Logic.Niki Pfeifer - 2006 - Dissertation, Department of Psychology, University of Salzburg
Towards a mental probability logic.Niki Pfeifer & G. D. Kleiter - 2005 - Psychologica Belgica 45 (1):71--99.
Probability logic.Douglas N. Hoover - 1978 - Annals of Mathematical Logic 14 (3):287.
Probability logic.Theodore Hailperin - 1984 - Notre Dame Journal of Formal Logic 25 (3):198-212.
Probability Logic.Kazem Sadegh-Zadeh - 2011 - In Handbook of Analytic Philosophy of Medicine. Dordrecht, Heidelberg, New York, London: Springer.

Analytics

Added to PP
2009-01-28

Downloads
96 (#226,282)

6 months
17 (#151,358)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

References found in this work

Formal Logic.A. N. Prior - 1964 - Studia Logica 15:298-301.
Methods of Logic.R. M. Martin - 1951 - Philosophy and Phenomenological Research 11 (4):599-600.
Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.
The modal "probably".C. L. Hamblin - 1959 - Mind 68 (270):234-240.

Add more references