Propositions, possible worlds, and recursion

Andrzej Wiśniewski



The issue of reduction of propositions to sets of possible worlds is addressed. It is shown that, under some natural assumptions, there always exist recursive propositions, i.e. decidable sets of possible worlds, which are not assigned to any sentence of a language. Some consequences of this result are discussed.


: propositions; possible worlds; decidability

Full Text:



Berto, F. [2010], “Impossible worlds and propositions: Against the parity thesis”, The Philosophical Quarterly 60: 471–486.

Cresswell, M.J. [1972], “The world is everything that is the case”, Australasian Journal of Philosophy 30: 1–13.

Kaplan, D. [1994], “A problem in possible-world semantics”, pp. 41–52 in: W. Sinnot-Armstrong, D. Raffman and N. Asher (eds.), Modality, Morality and Belief: Essays in Honor of Ruth Barcan Marcus, Cambridge University Press, Cambridge.

Lindström, S. [2009], “Possible worlds semantics and the liar. Reflections on a problem posed by Kaplan”, pp. 93–109 in: J. Almog and P. Leonardi (eds.), The Philosophy of David Kaplan, Oxford Scholarship Online Monographs, Oxford.

Montague, R. [1969], “On the nature of certain philosophical entities”, The Monist 53: 159–194.

Stalnaker, R. [1970], “Pragmatics”, Synthese 22: 272–289.

Wiśniewski, A., and J. Pogonowski [2010], “Diagonalization in double frames”, Logica Universalis 4: 31–39.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism