Propositions, possible worlds, and recursion
نویسندگان
چکیده
منابع مشابه
Andrzej Wiśniewski PROPOSITIONS , POSSIBLE WORLDS , AND RECURSION
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.
متن کاملWorlds and Propositions Set Free
The authors provide an object-theoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent object-theoretic versions of the classical paradoxes are justified philosophically. The authors then trace ...
متن کاملPossible Worlds
No formula binds me in this so-called opening address, but it is more usual for the speaker to trace the historical evolution of some part of that, branch of medicine of which he is a devotee. Looking back in recent years, I find that this field has been so often cultivated, albeit by a rotation of crops, that I feel it should lie fallow for a while. I might, in a popular address, recount the c...
متن کاملActualism and possible worlds
THE IDEA of possible worlds has both promised and, I believe, delivered understanding and insight in a wide range of topics. Pre-eminent here, I think, is the topic of broadly logical possibility, both de &to and de re. But there are others: the nature of propositions, properties, and sets; the function of proper names and definite descriptions; the nature of counterfactuals; time and temporal ...
متن کاملUnawareness with "possible" possible worlds
Logical structures for modeling agents’ reasoning about unawareness are presented where it can hold simultaneously that: (i) agents’ beliefs about whether they are fully aware need not be veracious with partitional information; and (ii) the agent is fully aware if and only if she is aware of a fixed domain of formulae. In light of (ii), all states are deemed “possible”. Semantics operate in two...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2013
ISSN: 1425-3305
DOI: 10.12775/llp.2011.004