Merely Possible Possible Worlds

Author(s):  
Robert Stalnaker

This chapter first sketches a minimal theory of propositions—one that ascribes to propositions just the structure that anyone who is willing to talk of propositions at all must ascribe to them. It extends the minimal theory by adding some assumptions about the modal properties of propositions and possibilities, and then sketches a general model of logical space that makes room for merely possible possibilities. Next, it considers the relation between models and the reality that they purport to model and the extent to which our theory of propositions and possibilities provides a realistic semantics. Finally, it responds to some arguments against the thesis that propositions may exist contingently.

Author(s):  
Jeffrey C. King

Propositions have been long thought by many philosophers to play a number of important roles. These include being the information conveyed by an utterance of a sentence, being the primary bearers of truth and falsity, being the possessors of modal properties like being possible and necessary, and being the things we assume, believe, and doubt. This article canvases significant attempts by philosophers to say what sorts of things propositions are. First, the classical views of propositions advanced by Gottlob Frege and Bertrand Russell are considered. Second, the view of propositions as sets of possible worlds is discussed. Next, views of propositions arising out of work on direct reference are discussed. The article closes with a discussion of more recent views of propositions.


2018 ◽  
Vol 95 (2) ◽  
pp. 159-179 ◽  
Author(s):  
Michael De

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two potential answers to the objection so understood and concludes that only one of them has a chance of succeeding.


Author(s):  
Emily Paul

A central part of the Christian doctrine of the incarnation is that the Son of God ‘becomes’ incarnate. Furthermore, according to classical theism, God is timeless: He exists ‘outside’ of time, and His life has no temporal stages. A consequence of this ‘atemporalist’ view is that a timeless being cannot undergo intrinsic change—for this requires the being to be one way at one time, and a different way at a later time. How, then, can we understand the central Christian claim that the Son of God ‘becomes’ human? This paper examines one such explanation, drawn from a brief remark by Brian Leftow: the Word takes on flesh by exhibiting modal variation with regards to the incarnation. On this account, a timeless God ‘becomes’ incarnate simply due to variation across logical space: at some possible worlds He is incarnate and at others He is not. Modal variation need not, therefore, require temporality: it only requires variation across (static) possible worlds. I draw out the problems with Leftow’s modal claim under the heads of Ersatzism and Genuine Modal Realism about possible worlds, respectively. I argue that in both instances, Leftow’s desired cross–worldly variation of the Son’s incarnation cannot be achieved.  


2017 ◽  
Vol 82 (2) ◽  
pp. 453-473 ◽  
Author(s):  
RICHARD RAST ◽  
DAVENDER SINGH SAHOTA

AbstractGiven a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the isomorphism problem for linear orders into the isomorphism problem for models of T. This is done by constructing models with specific linear orders in the tail of the Archimedean ladder of a suitable nonsimple type.If the theory admits no nonsimple types, then we use Mayer’s characterization of isomorphism for such theories to compute invariants for countable models. If the theory is small, then the invariant is real-valued, and therefore its isomorphism relation is smooth. If not, the invariant corresponds to a countable set of reals, and therefore the isomorphism relation is Borel equivalent to F2.Combining these two results, we conclude that $\left( {{\rm{Mod}}\left( T \right), \cong } \right)$ is either maximally complicated or maximally uncomplicated (subject to completely general model-theoretic lower bounds based on the number of types and the number of countable models).


Author(s):  
Matthew James Collier

Emily Paul has recently argued that Brian Leftow’s account of why the import of God’s becoming Incarnate is not temporal but modal fails. She argues that Leftow’s required modal variation is not satisfied. That is, we do not have the required variation across logical space concerning the Incarnation. Paul examines her argument on two possible worlds theories: theistic ersatzism and (what I call) Lewisian theism. She thinks that both possible worlds theories face difficulties. I argue that Paul fails to provide a compelling argument against Leftow because, firstly, her defence of one her premises fails, and, secondly, she misjudges what is required for some of Leftow’s claims to be true. I also argue that some of the problematic consequences that Paul raises for theistic ersatzism and Lewisian theism either are not problematic or can be avoided.


1991 ◽  
Vol 36 (12) ◽  
pp. 1057-1058
Author(s):  
Marvin R. Goldfried ◽  
Douglas A. Vakoch
Keyword(s):  

2006 ◽  
Author(s):  
Otmar E. Varela ◽  
Elvira Salgado ◽  
Virginia Lazio

Sign in / Sign up

Export Citation Format

Share Document