This paper draws a distinction between the existential quantifier and the symbol ‘∃’ used to express it, on the one hand, and existence and ‘exists’, on the other. It argues that some popular arguments in metaphysics, including arguments against vague existence and arguments against deflationary metaontology (which views ontological disputes as lacking substance), are guilty of fudging this distinction. The paper draws some lessons for metaphysical debate about existence and highlights some heretofore ignored and attractive positions in logical space.

According to the conciliatory view in metaontology, there are multiple possible languages corresponding to the popular positions in ontology. In each of these languages, the term ‘exists’ expresses a distinct “existence-like” property, and consequently the claims associated with each of the rival ontological positions come out true in some such language. Species of the conciliatory view can be distinguished based on claims about how the various existence-like properties are related vis-à-vis metaphysical naturalness. On some versions, all of the existence-like properties (...) are held to be equally natural, such that there is no “metaphysically privileged” language. However on others, there is held to be a most natural existence-like property and hence a most fundamental ontological language. In this paper I defend two views, one metaontological and one ontological. I first defend a version of the conciliatory view according to which there is exactly one perfectly natural existence-like property, but the rest are still “reasonably” natural. I then argue that, assuming this metaontological view, we should accept a permissive ontological view in the fundamental language (i.e. one with a very expansive domain). (shrink)

This thesis investigates the metaphysical nature of necessity. My study focuses primarily on the reduction of metaphysical necessity and the question of whether a necessary truth can be reductively defined. Theodore Sider develops a new reductive account of metaphysical necessity. Unfortunately, the multiple realizability problem posed by Jonathan Schaffer undermines the credibility of Sider’s account. This underlies my motivation to search for a revised Siderian account of necessity. On this basis, I propose a modified version of Sider’s account and argue (...) that analytic, natural-kind and micro-reduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Since logical truths are necessary truths, analytic, natural-kind and micro-reduction truths are necessary truths as well. In this thesis, I will proceed as follows. Chapter 1 introduces Sider’s account of necessity. In particular, I focus on his analysis of the necessity of a micro-reduction truth. His analysis is largely constitutive of the notion of a metaphysical semantics and some associated notions. I reconstruct his analysis and articulate his metaphysical semantics and the associated notions. Chapter 2 presents and clarifies the multiple realizability problem of Schaffer. His critique shows that Sider’s metaphysical semantics cannot handle multiple realizability. Sider refutes this claim by arguing that the multiple realizability problem is a problem for his analysis of the necessity of a micro-reduction truth, not for his metaphysical semantics itself. This is a good starting point to propound a modified account of necessity. Chapter 3 proposes and articulates my modified analysis of the necessity of a micro-reduction, where I show that the necessity of a micro-reduction truth can be reductively defined without appeal to Sider’s metaphysical semantics. I argue that analytic, natural-kind and microreduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Logical truths are necessary and so are they. After that, I consider a potential objection to my modified account and attempt to respond to it. (shrink)

Neo-Fregeanism is a family of positions in the philosophy of mathematics that combines a certain type of platonism about mathematical abstracta with a certain type of logicism about the foundations and epistemology of mathematics. This paper addresses the following question: what sort of theory of reference can/should NF be committed to? The theory of reference I propose for NF comes in two parts. First, an alethic account of referential success: the fact that a term ‘a’ succeeds in referring to something (...) depends on facts about truth. Second, a deflationary account of referential specification: given that ‘a’ refers to something, the fact that ‘a’ refers to b specifically follows from the disquotational schema for reference together with the fact that b = a. In the first section of the paper I argue that NF should be committed to the first part of this theory. This a point on which there is already agreement. The bulk of the paper is therefore devoted to arguing that NF should be committed to the second part, given that it is committed to the first part. I close the paper by indicating some significant implications and a possible problem for this theory of reference. (shrink)

In this paper, I discuss a specific approach to measuring and comparing the simplicity of theories that is based on Lewis’s notion of fundamental properties. In particular, I discuss the criterion of simplicity as stated by Williams. According to Williams, the best candidate for a theory is the one which has the shortest definition in terms of fundamental properties. The aim of this paper is to show that the criterion thus specified has two constraints. First, the criterion is not applicable (...) to cases in which candidates for theories that specify fundamental properties are compared. Secondly, the applicability of the criterion in social sciences seems to be unwarranted. (shrink)

Quine (1960, Word and object. Cambridge, Mass.:MIT Press, ch. 2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. ‘Rabbit’ might be taken to divide its reference over rabbits, over temporal slices of rabbits, or undetached parts of rabbits, without significantly affecting which sentences get classified as true and which as false. This is the basis of his famous ‘argument from below’ to the conclusion that there can be no fact of the matter (...) as to how reference is to be divided. Putative counterexamples to Quine’s claim have been put forward in the past (see especially Evans 1975; 1975, Journal of Philosophy, LXXII(13), 343–362. Reprinted in McDowell (Ed.), Gareth Evans: Collected papers. Oxford: Clarendon Press.), and various patches have been suggested (e.g. Wright (1997, The indeterminacy of translation. In C. Wright & B. Hale (Eds.), A companion to the philosophy of language (pp. 397–426). Oxford: Blackwell)). One lacuna in this literature is that one does not find any detailed presentation of what exactly these interpretations are supposed to be. Drawing on contemporary literature on persistence, the present paper sets out detailed semantic treatments for fragments of English, whereby predicates such as ‘rabbit’ divide their reference over four-dimensional continuants (Quine’s rabbits), instantaneous temporal slices of those continuants (Quine’s rabbit-slices) and the simple elements which compose those slices (undetached rabbit parts) respectively. Once we have the systematic interpretations on the table, we can get to work evaluating them. (shrink)

Necessarily, if I ate a slice of pizza, then that slice of pizza was eaten by me. More generally, it is necessarily true that if a relation holds between two objects in some order, its converse holds of the same objects in reverse order. What is the intimate relationship that guarantees such necessary connections? Timothy Williamson argues that the relationship between converses must be identity, on pain of the massive and systematic indeterminacy of relational predicates. If sound, Williamson’s argument overturns (...) our standard conception of relations, according to which relations are individuated not just by the arguments they take, but by the order in which they take those arguments. I show how one can defend the standard conception against Williamson’s argument. My defense helps us to better understand both the standard conception of relations and the nature of relational predicates. (shrink)

In the paper I defend the idea of metametasemantics against the arguments recently presented by Ori Simchen. Simchen attacks the view, according to which metametasemantics incorporating all possible metasemantic accounts is necessary to protect the metasemantic theories from the notorious problem of inscrutability of reference. Simchen claims that if metametasemantics is allowed it ‘absorbs’ metasemantic theories to the extent that it diminishes their explanatory value. Furthermore, in this way Simchen sets up two main metasemantic paradigms i.e. productivism and interpretationism as (...) the rival theories inevitably excluding each other. I endeavour to undermine Simchen’s point by demonstrating that his argumentation mixes up deflationary reading of the predicate ‘is true’ with its substantial reading. Consequently, I demonstrate that accepting metametasemantics does not diminish explanatory value of various metasemantic theories and thus that there is no good reason to forbid metametasemantics. I also argue that even if we ignore the above-mentioned confusion in Simchen’s reasoning, his arguments still fail when considering various problems with the notion of diminishment of explanatory value and because the analogy that his arguments are based on is fairly weak. Eventually, I conclude that metametasemantics does not pose any danger to metasemantics and that it provides a solid ground for developing a theory that benefits from both productivism and interpretationism. (shrink)

According to a well-established tradition in the philosophy of language, we can understand what makes an arbitrary sound, gesture, or marking into a meaningful linguistic expression only by appealing to mental states, such as beliefs and intentions. In this paper, I explore the contrasting possibility of understanding the meaningfulness of linguistic expressions just in terms of observable linguistic behavior. Specifically, I explore the view that a type of sound becomes a meaningful linguistic expression within a group in virtue of the (...) production of that type of item becoming that group’s widespread, copied way of getting others to involve an object or relation in their activity. After discussing a preliminary version of the view, I develop it in response to some key concerns about whether it really does, as a matter of fact, eschew mental states, and about its adequacy as an account of linguistic meaning. (shrink)

This chapter discusses the application of formal methods from social choice theory to the metasemantic question of whether radical interpretation is possible. Radical interpretation involves deducing semantic truths from non-semantic truths by appeal to certain a priori principles or criteria, such as the principle of charity. A familiar view is that the intended interpretation is the one that best meets a combination of constraints. It is suggested that this situation can be modelled as follows: each constraint determines a binary relation (...) on the set X of interpretations that is transitive and complete. The radical interpreter’s task is to determine an overall ordering as a function from the profile of individual orderings. The application of Arrow’s theorem in this context is discussed. (shrink)

According to a prominent view of organism persistence, organisms cease to exist at death. According to a rival view, organisms can continue to exist as dead organisms. Most of the arguments in favor of the latter view rely on linguistic and common sense intuitions. I propose a new argument for somaticism by appealing to two other sources that have thus far not figured in the debate: the concept of naturalness, and biological descriptions of organisms, in particular in ethology and ecology. (...) I show that if we hone in on the relevant notion of naturalness, we can show that organisms can continue to instantiate the natural property being an organism after death. (shrink)

In his new paper, “Eligibility and Inscrutability,” J. R. G. Williams presents a surprising new challenge to David Lewis’ theory of interpretation. Although Williams frames this challenge primarily as a response to Lewis’ criticisms of Putnam’s model-theoretic argument, the challenge itself goes to the heart of Lewis’ own account of interpretation. Further, and leaving Lewis’ project aside for a moment, Williams’ argument highlights some important—and some fairly general—points concerning the relationship between model theory and semantic determinacy.

In the Introduction to the Critique of Pure Reason Kant raises a famous question: how is metaphysics possible as a science? Kant posed this question for his predecessors in early modern philosophy. I raise this question anew for the resurgence of metaphysics within analytic philosophy. I begin by dividing the question of the possibility of metaphysics into separate questions about its semantic and epistemic possibility, and translate them into contemporary terms as: (1) Why do terms in metaphysical theories refer? (2) (...) How do we have knowledge in metaphysics? I then argue that the inflationary conception of metaphysics cannot explain the semantic possibility of metaphysics and, consequently, cannot explain its epistemic possibility. I then argue, more briefly, that a deflationary conception cannot satisfactorily answer the Kantian questions either. The critical path alone remains open. (shrink)

Existence monism (EM) is a metaphysical view asserting the existence of only one concrete object. EM is well known for its radicalness, and encounters difficulty in terms of its prima facie inconsistency with truisms. This paper aims to propose an alternative (and somewhat easy) way to overcome this difficulty and indicate another means by which the possibility of EM can be defended. I will present a package of theses that are intended to be combined with EM, which I call Linguistic (...) Ontology with the One as Semantic Glue (LOOSG). I will show that this package (in combination with EM) provides a systematic explanation as to why truisms hold while only one concrete object actually exists. In other words, I will argue that if an existence monist embraces LOOSG, the desired explanation for truisms is then available to her. In addition, it will also be noted that LOOSG has a theoretical virtue, in that it only presupposes the framework of standard semantics. Based on these discussions, I offer LOOSG as a viable option for existence monism. (shrink)

The project of this chapter is to explore some relations between the rule-following considerations and radical interpretation. I spell out the sense in which the rule-following considerations are about meaning determination, and investigate whether the principle of meaning determination used in the early Davidson's account of meaning determination - the principle of charity - provides an answer to what I shall call "Wittgenstein's paradox". More precisely, I am interested in one aspect of the paradox: the "problem of objectivity". My question (...) then is whether meaning, as determined by charity, is such that the correctness of the applications of meaningful expressions is an objective matter. After running us through the basics of the radical interpretation account of meaning determination I argue that the principle of charity does seem to fall prey to the problem of objectivity. After unsuccessfully trying to rescue objectivity by means of Lewisian natural properties, this is the verdict I in the end endorse. (shrink)

Shamik Dasgupta has argued that realists about natural properties (and laws, grounding, etc.) cannot account for their epistemic value. For "properties are cheap": in addition to natural properties and any value the realist might attach to them, there are also "shmatural" properties (standing to natural properties like charge and mass as Goodman's grue and bleen stand to green and blue) and a corresponding "shmvalue" of theorizing in terms of them. Dasgupta's challenge is one of objectivity: the existence of the "shmamiked" (...) network of concepts threatens the objectivity of facts stated using the unshmamiked network. But the challenge can be repelled given a proper understanding of objectivity itself. (shrink)

According to the standard interpretation of Lewis’s theory of predicate meaning (the U&N theory), the naturalness of meaning candidates should be stated metaphysically - as a length of definition in terms of fundamental properties. Recently, Weatherson has criticized the U&N theory and argued that the criterion of naturalness should be stated epistemologically - as the amount of evidence needed to form a belief. Despite the criticism, his attitude towards the U&N theory is quite relaxed. According to Weatherson, the U&N theory (...) can be used as a good heuristic for delivering the correct verdicts when doing applied semantics, i.e., when we try to determine the best meaning candidate for a particular predicate. In this paper, I try to show that the “good heuristic strategy” is of no use because A) there is no guarantee that the epistemological and the metaphysical criteria of naturalness deliver the same verdicts and B) even if they deliver the same verdicts, the difference in their theoretical backgrounds may affect arguments which rely on the verdicts. The difference will be shown by drawing on the example of Theodore Sider and his use of the U&N theory. (shrink)

The general thesis of this paper is that metasemantic theories can play a central role in determining the correct solution to the liar paradox. I argue for the thesis by providing a specific example. I show how Lewis’s reference-magnetic metasemantic theory may decide between two of the most influential solutions to the liar paradox: Kripke’s minimal fixed point theory of truth and Gupta and Belnap’s revision theory of truth. In particular, I suggest that Lewis’s metasemantic theory favours Kripke’s solution to (...) the paradox over Gupta and Belnap’s. I then sketch how other standard criteria for assessing solutions to the liar paradox, such as whether a solution faces a so-called revenge paradox, fit into this picture. While the discussion of the specific example is itself important, the underlying lesson is that we have an unused strategy for resolving one of the hardest problems in philosophy. (shrink)

I critically evaluate the notion of structure Ted Sider presents in Writing the Book of the World. A prerequisite to understanding Sider's notion of structure is understanding Sider's take on ideology and ontology. In Section II, I discuss this. In Section III, I consider arguments in favor of structure. In Section IV, I examine one debate that is considered by Sider to be nonsubstantive: the debate over modality. I conclude, in Section V, by examining the reception Writing the Book of (...) the World has received in the philosophical community. (shrink)

In the current debate on how ordinary objects persist through time, more than one philosopher has endorsed the following two theses: stage theory and diachronic universalism. In this paper, I would like to offer a solution to the problem that Balashov poses to the joint acceptance of these theses. I will also offer a number of reasons why, even if it is not necessary to undermine Balashov’s counterexamples, stage theorists can, without making their theory less appealing, reject Balashov’s understanding of (...) sorts, which plays a crucial role in his criticisms of stage universalism. (shrink)

This article criticises David Lewis's attempt to use his philosophical analysis of convention to reconcile the picture of languages as model-theoretic objects and the picture of languages as human social activity.

Philosophy and Phenomenological Research, EarlyView.

Perhaps the two main contemporary formulations of ethical naturalism – Synthetic Ethical Naturalism (SEN) and Analytical Descriptivism – seem to conflict with plausible views about cases where moral debate and disagreement is possible. Both lack safeguards to avoid divergence of reference across different communities, which can scupper the prospects for genuine moral disagreement. I explore the prospects for supplementing both views with Lewis's notion of eligibility, arguing that this can solve the problem for a modified form of analytical descriptivism, and (...) for a modified form of SEN too (though perhaps more controversially). I close by considering the appropriateness of using the notions of eligibility and joint-carving in ethics. (shrink)