A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically proper account of validity. We counter recent arguments to (...) the contrary presented in Hanson’s ‘Actuality, Necessity, and Logical Truth’ (Philos Stud 130:437–459, 2006 ). (shrink)

This article studies seriously actualistic quantified modal logics. A key component of the language is an abstraction operator by means of which predicates can be created out of complex formulas. This facilitates proof of a uniform substitution theorem: if a sentence is logically true, then any sentence that results from substituting a predicate abstract for each occurrence of a simple predicate abstract is also logically true. This solves a problem identified by Kripke early in the modern semantic study of quantified (...) modal logic. A tableau proof system is presented and proved sound and complete with respect to logical truth. The main focus is on seriously actualistic T, an extension of T, but the results established hold also for systems based on other propositional modal logics. Following Menzel it is shown that the formal language studied also supports an actualistic account of truth simpliciter. (shrink)

If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality (...) of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined. (shrink)

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might (...) have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual. (shrink)