Resumen: El presente escrito argumenta cómo el denominado abuso de lo necesario a posteriori, propuesto en Beebee y Sabbarton-Leary, asume erróneamente que: a) los enunciados necesarios a posteriori requieren un compromiso metafísico con un esencialismo no trivial; y b) que el experimento mental de la tierra gemela cumple un rol evidencial en la determinación de lo necesario a posteriori. Contra a), se sostiene que lo necesario a posteriori no requiere un compromiso esencialista no trivial; a lo sumo, el esencialismo no (...) trivial es consecuencia de la propuesta de lo necesario a posteriori. Contra b), se afirma cómo el experimento mental de la tierra gemela cumple un rol subsidiario, explicativo y no evidencial. Esto evita un compromiso ontológico con el nexo concebible - posible. Luego, se discute cómo la noción de co- referencialidad rígida es una vía de solución a la exigencia de esencialismo no trivial. Finalmente, se considera de qué modo el esencialismo científico de Brian Ellis, al enunciar condiciones a priori de satisfacción, no afecta la justificación de lo necesario a posteriori. Del mismo modo, se defiende un nexo término rígido de jure/clase sustancial - término rígido de facto/clase propiedad.: This paper discusses how the so-called "abuse of the necessary a posteriori", proposed by Beebee and Sabbarton-Leary, erroneously assumes that: a) necessary a posteriori statements require a metaphysical commitment to a non-trivial essentialism, and b) the thought experiment of the twin earth fulfills an evidential role in determining the necessary a posteriori. Against a), it is argued that the necessary a posteriori does not require a non-trivial essentialist commitment; at most, nontrivial essentialism is a consequence of the necessary a posteriori. Contra b), it is stated how the thought experiment of the twin earth fulfills a subsidiary, explanatory, and non-evidential role. This prevents an ontological commitment to the conceivable-possible connection. It is then discussed how the notion of rigid coreferentiality is a way of solving the non-trivial essentialism requirement. Finally, we consider how Brian Ellis' scientific essentialism, in stating a priori conditions of satisfaction, does not affect the necessary a posteriori justification. (shrink)

Starting from the familiar observation that no straightforward treatment of pure quotation can be compositional in the standard (homomorphism) sense, we introduce general compositionality, which can be described as compositionality that takes linguistic context into account. A formal notion of linguistic context type is developed, allowing the context type of a complex expression to be distinct from those of its constituents. We formulate natural conditions under which an ordinary meaning assignment can be non-trivially extended to one that is sensitive to (...) context types and satisfies general compositionality. As our main example we work out a Fregean treatment of pure quotation, but we also indicate that the method applies to other kinds of context, e.g. intensional contexts. (shrink)

This paper starts from the observation that the standard arguments for compositionality are really arguments for the computability of semantics. Since computability does not entail compositionality, the question of what justifies compositionality recurs. The paper then elaborates on the idea of recursive semantics as corresponding to computable semantics. It is then shown by means of time complexity theory and with the use of term rewriting as systems of semantic computation, that syntactically unrestricted, noncompositional recursive semantics leads to computational explosion (factorial (...) complexity). Hence, with combinatorially unrestricted syntax, semantics with tractable time complexity is compositional. (shrink)

In this paper, I present, generalize and develop the extensionalist theory of rigidity for general terms in light of criteria commonly applied to theories of general term rigidity. According to the theory, a general term is rigid if its extension is constant across all possible worlds. This position has been widely dismissed because it conflicts with the seemingly straightforward idea that natural kind terms have varying extensions from world to world. This criticism holds only to the extent that natural kind (...) terms are indeed rigid. If it turns out that we need not view them as rigid, then the extensionalist theory fares well when compared with other theoretical requirements. (shrink)

Arguably, the proposition that Mark Twain is Samuel Clemens and the proposition that water is H2O are both a posteriori. Nevertheless, they both seem to be necessary. Ever since Davies and Humberstone :1–31, 1980), it has been known that two-dimensional semantics can account for this fact. But two-dimensionalism isn’t the only theory on the market that purports to do so. In this paper, I will look at two alternatives, one by Scott Soames and one by Kathrin Glüer-Pagin and Peter Pagin, (...) and argue that both of them fail. Regarding the former, I argue that the conceptually possible but metaphysically impossible worlds one is required to postulate are hard to conceive of on closer inspection. As for the latter, the proposal doesn’t work for certain modal sentences, and I show that it cannot be easily amended. (shrink)

The article examines the role of natural kinds in semantic theorizing, which has largely been conducted in isolation from relevant work in science, metaphysics, and philosophy of science. We argue that the Kripke–Putnam account of natural kind terms, despite recent claims to the contrary, depends on a certain metaphysics of natural kinds; that the metaphysics usually assumed—micro-essentialism—is untenable even in a ‘placeholder’ version; and that the currently popular homeostatic property cluster theory of natural kinds is correct only to an extent (...) that fails to vindicate the Kripke–Putnam account. This undermines the metasemantics required for anti-descriptivist semantics. _1_ Introduction _2_ From Semantics to Metaphysics _3_ Metaphysics, Part I: The Demise of Micro-essentialism _3.1_ Original micro-essentialism _3.2_ Placeholder essentialism _4_ Metaphysics, Part II: Homeostatic Property Cluster Theory _5_ Prospects for Natural Kind Term Semantics. (shrink)

It is generally assumed that rigidity plays a key role in explaining the necessary a posteriori status of identity statements, both between proper names and between natural kind terms. However, while the notion of rigid designation is well defined for singular terms, there is no generally accepted definition of what it is for a general term to be rigid. In this paper I argue that the most common view, according to which rigid general terms are the ones which designate the (...) same kind in all possible worlds, fails to deliver a posteriori necessities. I also present an alternative view, on which the work of explaining a posteriori necessities is not done by rigidity, but by a related metasemantic notion, which I call actuality - dependence. (shrink)

In natural language, looks-talk is used in a variety of ways. I investigate three uses of ‘looks’ that have traditionally been distinguished – epistemic, comparative, and phenomenal ‘looks’ – and endorse and develop considerations in support of the view that these amount to polysemy. Focusing on the phenomenal use of ‘looks’, I then investigate connections between its semantics, the content of visual experience, and the metaphysics of looks. I argue that phenomenal ‘looks’ is not a propositional attitude operator: We do (...) not use it to ascribe propositional attitudes to subjects, but to directly ascribe looks to objects, where looks are relational properties. However, I go on to argue that, given the way we use phenomenal ‘looks’, these relational properties are ultimately best understood as phenomenal relational properties, i.e. in terms of relations involving experiences. Along the way, I endorse Byrne’s argument against Jackson’s claim that phenomenal ‘looks F’ only takes predicates for colour, shape, and distance, and raise the issue of compositionality for the resulting view according to which phenomenal ‘looks F’ is context-dependent in a way that allows it to take a vast range of predicates. I conclude by arguing that these considerations concerning the natural language use of ‘looks’, and in particular its phenomenal use, are water on the mills of phenomenal intentionalism, a position in the philosophy of perception according to which experiences are propositional attitudes with phenomenal looks-contents. (shrink)

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (shrink)

The question whether the notion of rigidity can be extended in a fruitful way beyond singular terms has received a standard answer in the literature, according to which non-singular terms designate kinds, properties or other abstract singular objects and generalized rigidity is the same thing as singular term rigidity, but for terms designating such objects. I offer some new criticisms of this view and go on to defend an alternative view, on which non-singular terms designate extensions in general, and generalized (...) rigidity is identity of extension across possible worlds. I develop some fundamental positive considerations that make this view virtually inevitable as a view of generalized rigidity, emphasizing its exclusive ability to offer a purely logical justification of the necessity of several kinds of statements that go beyond true identity statements between rigid singular terms. (shrink)

It is commonly assumed that natural kind terms constitute a distinct semantic category. This idea emerged during the 1970's following Kripke's and Putnam's well-known remarks on natural kind terms. The idea has stayed with us, although it is now recognized that the issues are considerably more complex than initially thought. Thus, it has become clear that much of Kripke's and Putnam's discussions were based on rather simplified views of natural kinds. It also turns out that the semantic issues are less (...) straightforward than assumed - in particular, it is far from clear what it might mean to say that a kind term is rigid. Strikingly, however, these worries have not done much to undermine the confident assumption that natural kind terms form a special semantic category. In the paper I try to shake that confidence. I argue that although natural kind terms are no doubt important (for instance, from an explanatory point of view), we are certainly not warranted in concluding that they form a separate, semantic category among the kind terms. (shrink)