Skip to main content
Log in

On Stalnaker’s Simple Theory of Propositions

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

Robert Stalnaker recently proposed a simple theory of propositions using the notion of a set of propositions being consistent, and conjectured that this theory is equivalent to the claim that propositions form a complete atomic Boolean algebra. This paper clarifies and confirms this conjecture. Stalnaker also noted that some of the principles of his theory may be given up, depending on the intended notion of proposition. This paper therefore also investigates weakened constraints on consistency and the corresponding classes of Boolean algebras.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Birkhoff, G. (1940). Lattice theory. New York: American Mathematical Society.

    Google Scholar 

  2. Davey, B.A., & Priestley, H.A. (2002). Introduction to lattices and order, 2nd edn. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  3. Fox, C., & Lappin, S. (2005). Foundations of intensional semantics. Malden: Blackwell Publishing.

    Book  Google Scholar 

  4. Givant, S., & Halmos, P. (2009). Introduction to Boolean algebras. New York: Springer.

    Google Scholar 

  5. Jech, T. (2002). Set theory, 3rd edn. Berlin: Springer.

    Google Scholar 

  6. Pollard, C. (2008). Hyperintensions. Journal of Logic and Computation, 18, 257–282.

    Article  Google Scholar 

  7. Saliı̆, V.N. (1988). Lattices with unique complements. Providence: American Mathematical Society.

    Book  Google Scholar 

  8. Stalnaker, R. (1976). Possible worlds. Noûs, 10, 65–75.

    Article  Google Scholar 

  9. Stalnaker, R. (1984). Possible worlds. In Inquiry, chapter 3 (pp. 43–58). Cambridge: MIT Press.

  10. Stalnaker, R. (2003). Possible worlds. In Ways a world might be, chapter 1 (pp. 25–39). Oxford: Clarendon Press.

  11. Stalnaker, R. (2012). Mere possibilities. Princeton: Princeton University Press.

    Book  Google Scholar 

  12. Stalnaker, R. (2018). A Quinean foundation for modal logic. Handouts for The Rutgers Lectures in Philosophy 2018. A book based on these lectures is to be published by Oxford University Press.

Download references

Acknowledgements

I would like to thank Robert Stalnaker for email correspondence out of which this paper developed. The proofs of Lemmas 5 and 24 are due to Stalnaker (p.c.), as is the suggestion to consider the principle of upward closure; I am grateful for being able to include them here. Thanks also to a reviewer for this journal, as well as to Andrew Bacon, Michael Caie, Cian Dorr and Jeremy Goodman for very helpful discussion.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Peter Fritz.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fritz, P. On Stalnaker’s Simple Theory of Propositions. J Philos Logic 50, 1–31 (2021). https://doi.org/10.1007/s10992-020-09557-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-020-09557-6

Keywords

Navigation