The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

In this paper, I examine the case that has been made for origin essentialism and find it wanting. I focus on the arguments of Nathan Salmon and Graeme Forbes. Like most origin essentialists, Salmon and Forbes have been concerned to respect the intuition that slight variation in the origin of an artifact or organism is possible. But, I argue, both of their arguments fail to respect this intuition. Salmon's argument depends on a sufficiency principle for cross-world identity, which should be (...) rejected, if - as Salmon concedes - a given artifact might have been originally made from slightly different material. Similarly, Forbes's argument succeeds only if essentially the same argument can be used to establish a claim that - by his own admission - is too strong, namely that no variation, however slight, in an organism's origin is possible. (shrink)

This paper presents an account of the understanding of statements involving metaphysical modality, together with dovetailing theories of their truth conditions and epistemology. The account makes modal truth an objective matter, whilst avoiding both Lewisian modal realism and mind-dependent or expressivist treatments of the truth conditions of modal sentences. The theory proceeds by formulating constraints a world-description must meet if it is to represent a genuine possibility. Modal truth is fixed by the totality of the constraints. To understand modal discourse (...) is to have tacit knowledge of the body of information stated in these constraints. Modal knowledge is attained by evaluating modal statements in accordance with the constraints. The question of the general relations between modal truth and knowability is also addressed. The paper includes a discussion of which modal logic is supported by the presented theory of truth conditions for modal statements. (shrink)

It has been argued that actualism – the view that there are no non-actual objects – cannot deal adequately with statements involving iterated modality, because such claims require reference, either explicit or surreptitious, to non-actual objects. If so, actualists would have to reject the standard semantics for quantified modal logic (QML). In this paper I develop an account of modality which allows the actualist to make sense of iterated modal claims that are ostensibly about non-actual objects. Every occurrence of a (...) modal operator involves the stipulation of a possible world, and nested modal operators require stipulation of nested possible worlds. I provide an actualistically acceptable (AA) semantics for QML wherein the nesting relation is irreflexive and intransitive and forms a tree. Despite these restrictions, AA models can beshown to be sound and complete for a wide variety of modal logics. (shrink)

ln "Possibilities and the Arguments for Origin Essentialism" Teresa Robertson (1998) contends that the best-known arguments in favour of origin essentialism can succeed only at the cost of violating modal common sense—by denying that any variation in constitution or process of assembly is possible. Focusing on the (Kripke-style) arguments of Nathan Salmon and Graeme Forbes, Robertson shows that both founder in the face of sophisticated Ship of Theseus style considerations. While Robertson is right that neither of the arguments is compelling (...) as formulated, each can be modified to fend off her particular counterexamples; these modifications do not differ in kind from those already needed to deal with ordinary Theseus cases, requiring only a further narrowing of the sufficiency clause from which the necessity of origins is derived. (shrink)