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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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 in the twentieth century.Theodore Hailperin - 1991 - History and Philosophy of Logic 12 (1):71-110.
Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.
Conditionalizing on knowledge.Timothy Williamson - 1998 - British Journal for the Philosophy of Science 49 (1):89-121.
From Classical to Intuitionistic Probability.Brian Weatherson - 2003 - Notre Dame Journal of Formal Logic 44 (2):111-123.
Probability, logic, and probability logic.Alan Hójek - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 362--384.

Analytics

Added to PP
2009-01-28

Downloads
67 (#220,152)

6 months
3 (#447,120)

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