Standard lore has it that a proper name is a temporally rigid designator. It picks out the same entity at every time at which it picks out an entity at all. If the entity in question is an enduring continuant then we know what this means, though we are also stuck with a host of metaphysical puzzles concerning endurance itself. If the entity in question is a perdurant then the rigidity claim is trivial, though one is left wondering how it (...) is that different speakers ever manage to pick out one and the same entity when a host of suitable, overlapping candidates are available. But what if the entity in question is neither a continuant nor a perdurant? What if the things we talk about in ordinary language are time-bound entities that cannot truly be said to persist through time, or stage sequences whose unity resides exclusively in our minds--like the “waves” at the stadium or the characters of a cartoon? In such cases the rigidity claim can’t be right and a counterpart-theoretic semantics seems required. Is that bad? I say it isn’t. And it had better not be, if that turns out to be the best metaphysical option we have. (shrink)

In the philosophy of mathematics, indispensability arguments aim to show that we are justified in believing that abstract mathematical objects exist. I wish to defend a particular objection to such arguments that has become increasingly popular recently. It is called instrumental nominalism. I consider the recent versions of this view and conclude that it has yet to be given an adequate formulation. I provide such a formulation and show that it can be used to answer the indispensability arguments. -/- There (...) are two main indispensability arguments in the literature, though one has received nearly all of the attention. They correspond to two ways in which we use mathematics in science and in everyday life. We use mathematical language to help us describe non-mathematical reality; and we use mathematical reasoning to help us perform inferences concerning non-mathematical reality using only a feasible amount of cognitive power. The former use is the starting point of the Quine-Putnam indispensability argument ([Quine, 1980a], [Quine, 1980b], [Quine, 1981a], [Quine, 1981b], [Putnam, 1979a], [Putnam, 1979b]); the latter provides the basis for Ketland’s more recent argument ([Ketland, 2005]). I begin by considering the Quine-Putnam argument and introduce instrumental nominalism to defuse it. Then I show that Ketland’s argument can be defused in a similar way. (shrink)

Names are rigid designators, but what kind of rigidity do they exhibit? Both “obstinately” and “persistently” rigid designators pick out O at every world at which they pick out anything at all. They differ in that obstinately rigid designators also pick out O at worlds at which O fails to exist; persistently rigid designators have no extension whatsoever at worlds at which O fails to exist. The question whether names are obstinate or persistent arises in two contexts: in arguments against (...) rigidified descriptivism (on the grounds that names and rigidified descriptions exhibit different kinds of rigidity) and in considerations about what it means for an expression to be “directly referential.” This paper contends that names are persistent, not obstinate. The position thus clarifies the relationship between Millian theories of names and rigid designation, in addition to undermining attempts to rehabilitate the modal argument against rigidified descriptivism. (shrink)

In this article I advocate a worldly account of normative reasons according to which there is an ontological gap between these and the premises of practical thought, i.e. motivating considerations. While motivating considerations are individuated fine-grainedly, normative reasons should be classified as coarse-grained entities, e.g. as states of affairs, in order to explain certain necessary truths about them and to make sense of how we count and weigh them. As I briefly sketch, acting for normative reasons is nonetheless possible if (...) the connection between normative reasons and motivating considerations is a competence-based correspondence. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

The view that ordinary objects are composites of form and matter ("hylomorphism") can be contrasted with the more common view that ordinary objects are composed of only material parts ("matter only"). On a matter-only view the hard question is modal: which modal profile does that (statue-shaped) object have? Does it have the modal profile of a statue, a lump, a mere aggregate? On a hylomorphic view the hard question is ontological: which objects exist? Does a statue (matter-m + statue-form), a (...) lump (matter-m + lump-form), and/or a mere aggregate (matter-m + mere aggregate-form) exist? I defend a novel answer to the hard question for hylomorphism. In particular, I argue that which ordinary objects exist depends, in part, on how subjects respond to the matter they encounter. I argue that, with regard to grounding the existence and modal properties of ordinary objects, response-dependent hylomorphism is superior to both matter only views and to non-response-dependent versions of hylomorphism. (shrink)

We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)

In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence.

We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.

I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

I explain and criticize a theory of beliefs and of belief sentences offered by Graeme Forbes. My main criticism will be directed at Forbes' idea that, as a matter of the semantic rules of belief reporting -- as a matter of the meaning of belief ascriptions -- to get at the subject's way of thinking in an attitude ascription, we must use expressions that are "linguistic counterparts" of the subject's expressions. I think we often do something like that, but that (...) we have other, equally good methods of getting at ways of thinking; so what is wanted is a more inclusive characterization of the rules of belief reporting by which we manage to do it -- a characterization more along the lines of: anything goes. (shrink)

Consider two standard quantified modal languages A and P whose vocabularies comprise the identity predicate and the existence predicate, each endowed with a standard S5 Kripke semantics where the models have a distinguished actual world, which differ only in that the quantifiers of A are actualist while those of P are possibilist. Is it possible to enrich these languages in the same manner, in a non-trivial way, so that the two resulting languages are equally expressive-i.e., so that for each sentence (...) of one language there is a sentence of the other language such that given any model, the former sentence is true at the actual world of the model iff the latter is? Forbes (1989) shows that this can be done by adding to both languages a pair of sentential operators called Vlach-operators, and imposing a syntactic restriction on their occurrences in formulas. As Forbes himself recognizes, this restriction is somewhat artificial. The first result I establish in this paper is that one gets sameness of expressivity by introducing infinitely many distinct pairs of indexed Vlach-operators. I then study the effect of adding to our enriched modal languages a rigid actuality operator. Finally, I discuss another means of enriching both languages which makes them expressively equivalent, one that exploits devices introduced in Peacocke (1978). Forbes himself mentions that option but does not prove that the resulting languages are equally expressive. I do, and I also compare the Peacockian and the Vlachian methods. In due course, I introduce an alternative notion of expressivity and I compare the Peacockian and the Vlachian languages in terms of that other notion. (shrink)

The aim of this paper is to make the case for the obstinacy thesis. This is the thesis that proper names like ‘Hitler’, demonstratives like ‘this’, pure indexicals like ‘I’, and natural kind terms like ‘water’ and ‘gold’, are obstinately rigid terms. An obstinately rigid term is one that refers to the object that is its actual referent with respect to every possible world (hence, a fortiori, even with respect to worlds where that object does not exist). This form of (...) rigidity is stronger than the usual Kripkean one and has been notoriously explored by David Kaplan (Kaplan 1989a: 492-3; Kaplan 1989b: 569-71). Yet, the obstinacy thesis seems implausible to many philosophers and is worth substantive argument. For convenience, we focus our attention on proper names; but most of our remarks could be easily generalized to other unstructured singular terms. We shall take for granted Saul Kripke’s semantical doctrine that proper names are rigid in the general sense of the term and argue that their rigidity should take the specific form of obstinacy rather than persistence. (shrink)

El artículo discute la formulación de Marcus del principio de sustituibilidad. Se apoyó en una noción de forma lógica en la que el análisis elimina algunos tipos problemáticos de contexto. Defiendo una formulación variante del principio en la cual los contextos problemáticos se acomodan por derecho propio.

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part (...) of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’. (shrink)

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that cannot (...) truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)