Propositions, possible worlds, and recursion

Andrzej Wiśniewski

DOI: http://dx.doi.org/10.12775/LLP.2011.004

Abstract


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.

Keywords


: propositions; possible worlds; decidability

Full Text:

PDF

References


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.








logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism