After many years of enduring the drought and famine of Quinean ontology and Carnapian meta-ontology, the notion of ground, with its distinctively philosophical flavor, finally promises to give metaphysicians something they can believe in again and around which they can rally: their very own metaphysical explanatory connection which apparently cannot be reduced to, or analyzed in terms of, other familiar idioms such as identity, modality, parthood, supervenience, realization, causation or counterfactual dependence. Often, phenomena such as the following are cited as (...) putative examples of grounding connections: systematic connections between entire realms of facts (mental/physical; moral/natural; etc.); truthmaking (e.g., the relation between the truth of the proposition that snow is white and snow’s being white); logical cases (e.g., the connection between conjunctive facts or disjunctive facts and their constituent facts); the determinate/determinable relation (e.g., the relation between something’s being maroon and its being red). I argue in this paper that classifying all of these phenomena as exhibiting grounding connections does not achieve much in the way of illumination. In fact, by treating a collection of phenomena which is in fact heterogeneous as though it were homogeneous, we have, if anything, taken a dialectical step backward. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...) context C if and only if everything that is relevant in C satisfies the predicate ‘F’; ‘everything’ ranges just over the contextually relevant things. Such generality is restricted in a context-relative way. (shrink)

This is a book about normativity -- where the central normative terms are words like 'ought' and 'should' and their equivalents in other languages. It has three parts: The first part is about the semantics of normative discourse: what it means to talk about what ought to be the case. The second part is about the metaphysics of normative properties and relations: what is the nature of those properties and relations whose pattern of instantiation makes propositions about what ought to (...) be the case true. The third part is about the epistemology of normative beliefs: how we could ever know, or even have rational or justified belief in, propositions about what ought to be the case. (shrink)

In The Construction of Logical Space, Agustín Rayo defends trivialism, according to which number-involving truths are trivially equivalent to other, non-number-involving truths; picturesquely, ‘I have five fingers on my hand’ and ‘the number of fingers on my hand is five’ express the same fact, but carved up in different ways. A single fact thus has multiple structures. I distinguish two ways this might go: on the deflationary picture, facts get their structures from our linguistic practices, while on an inflationary picture, (...) facts have multiple structures independently of language. I argue that Rayo’s view is best interpreted as deflationary. Thus interpreted, it blocks off an attractive solution to the old problems of intensionality. I further argue a that a semi-deflationary variant of Rayo’s view can make use of the attractive solution—but it thereby sacrifices the supposed mathematical benefits of trivialism. (shrink)

Argument that full grounds modally entail what they ground.

In The Construction of Logical Space, Agustín Rayo defends trivialism, according to which number-involving truths are trivially equivalent to other, non-number-involving truths; picturesquely, ‘I have five fingers on my hand’ and ‘the number of fingers on my hand is five’ express the same fact, but carved up in different ways. A single fact thus has multiple structures. I distinguish two ways this might go: on the deflationary picture, facts get their structures from our linguistic practices, while on an inflationary picture, (...) facts have multiple structures independently of language. I argue that Rayo’s view is best interpreted as deflationary. Thus interpreted, it blocks off an attractive solution to the old problems of intensionality. I further argue a that a semi-deflationary variant of Rayo’s view can make use of the attractive solution—but it thereby sacrifices the supposed mathematical benefits of trivialism. (shrink)

Dan Greco and Jason Turner wrote two fantastic critiques of my book, The Construction of Logical Space. Greco’s critique suggests that the book can be given a Kuhnian interpretation, with a Carnapian twist. Here I embrace that interpretation. Turner criticizes one of the views I develop in the book. Here I identify an avenue of resistance.

Are there any disjunctive properties—features of things such as being either red or round, or Nelson Goodman’s infamous example of being grue? As esoteric as the question may seem at first, central issues about the metaphysics of properties hinge upon its answer, such as whether reductive views about special science properties can handle the phenomenon of multiple realizability. A familiar argument for a negative answer is that disjunctive properties fail to guarantee that their instances are similar in some genuine respect. (...) In this paper, I respond to a novel, sophisticated version of this argument developed in recent work by Paul Audi. Along the way, I develop two new accounts of what it is for a property to be disjunctive—which rely on important recent work on the nature of essence and analysis—and clarify what one is committed to in believing that there are any disjunctive properties at all. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Sometimes we give truth-conditions for sentences of a discourse in other terms. According to Agustín Rayo, when doing so it is sometimes legitimate to use the terms of that very discourse, so long as the terms do not occur in the truth-conditions themselves. I argue that giving truth-conditions in this "outscoping" way prevents one from answering "discourse threat" (for example, the threat of indeterminacy).

It has been suggested that many philosophical theses—physicalism, normative naturalism, phenomenalism, and so on—should be understood in terms of ground. Against this, Ted Sider (2011) has argued that ground is ill-suited for this purpose. Here I develop Sider’s objection and offer a response. In doing so I develop a view about the role of ground in philosophy, and about the content of these distinctively philosophical theses.

In ‘Two Notions of Being: Entity and Essence’ E. J. Lowe defends “serious essentialism”. Serious essentialism is the position that (a) everything has an essence, (b) essences are not themselves things, and (c) essences are the ground for metaphysical necessity and possi- bility. Lowe’s defence of serious essentialism is both metaphysical and epistemological. In what follows I use Lowe’s discussion as a point of departure for, first, adding some considerations for the plausi- bility of essentialismand, second, somework onmodal epistemology.

In ‘Two Notions of Being: Entity and Essence’ E. J. Lowe defends “serious essentialism”. Serious essentialism is the position that everything has an essence, essences are not themselves things, and essences are the ground for metaphysical necessity and possibility. Lowe's defence of serious essentialism is both metaphysical and epistemological. In what follows I use Lowe's discussion as a point of departure for, first, adding some considerations for the plausibility of essentialism and, second, some work on modal epistemology.

This paper points out a tension between Agustín Rayo's criteria for singulartermhood and his explicit views on the status of Hybrid Identities, that is, identity statements that use singular terms from two different Systems of Representation, such as "7=Julius Caesar" or more suggestively "I am b" where "b" is a singular term referring to my brain. It argues that non-trivial Hybrid Identities are common and important in philosophy and elsewhere, and it suggests a friendly alternative that involves treating Hybrid Identities (...) on the model of Rayo's "Just Is" statements. The last section of the paper points out that even this friendly alternative has counterintuitive consequences when combined with the metaphysical conventionalism that Rayo finds attractive, when it comes to questions of personal identity over time. (shrink)

Dan Greco and Jason Turner wrote two fantastic critiques of my book, The Construction of Logical Space. Greco’s critique suggests that the book can be given a Kuhnian interpretation, with a Carnapian twist. Here I embrace that interpretation. Turner criticizes one of the views I develop in the book. Here I identify an avenue of resistance.

Cameron, Eklund, Hofweber, Linnebo, Russell and Sider have written critical essays on my book, The Construction of Logical Space (Oxford: Oxford University Press, 2013). Here I offer some replies.

I argue for a conception of essence that does not rely on distinctions of metaphysical fundamentality.

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

There is currently intense interest in the question of the source of our presumed knowledge of truths concerning what is, or is not, metaphysically possible or necessary. Some philosophers locate this source in our capacities to conceive or imagine various actual or non-actual states of affairs, but this approach is open to certain familiar and seemingly powerful objections. A different and ostensibly more promising approach has been developed by Timothy Williamson, according to which our capacity for modal knowledge is just (...) an extension, or by-product, of our general capacity to acquire knowledge of true counterfactual conditionals — a capacity that we deploy ubiquitously in everyday life. Williamson’s account crucially involves a thesis to the effect that modal truths can be explained in terms of counterfactual truths. In this paper, I query Williamson’s account on a number of points, including this thesis. My positive proposal, which owes a debt to the work of Kit Fine on modality and essence, appeals instead to our capacity to grasp essences, understood in a neo-Aristotelian fashion, according to which essences are expressed by ‘real definitions’. (shrink)

s div class="title" a terTwo Notions of Being: Entity and Essence s /div a ter - Volume 62 - E. J. Lowe.

A logic of grounding where what is grounded can be a collection of truths is a “many-many” logic of ground. The idea that grounding might be irreducibly many-many has recently been suggested by Dasgupta. In this paper I present a range of novel philosophical and logical reasons for being interested in many-many logics of ground. I then show how Fine’s State-Space semantics for the Pure Logic of Ground can be extended to the many-many case, giving rise to the Pure Logic (...) of Many-Many Ground. In the second, more technical, part of the paper, I do two things. First, I present an alternative formalization of plg; this allows us to simplify Fine’s completeness proof for plg. Second, I formalize plmmg using an infinitary sequent calculus and prove that this formalization is sound and complete. (shrink)

I discuss three recent counterexamples to the transitivity of grounding due to Jonathan Schaffer. I argue that the counterexamples don’t work and draw some conclusions about the relationship between grounding and explanation.

Identity is ordinarily taken to be a relation defined on all and only objects. This consensus is challenged by Agustín Rayo, who seeks to develop an analogue of the identity sign that can be flanked by sentences. This paper is a critical exploration of the attempted generalization. First the desired generalization is clarified and analyzed. Then it is argued that there is no notion of content that does the desired philosophical job, namely ensure that necessarily equivalent sentences coincide in this (...) kind of content, and such pairs of sentences consequently are on a par with respect to metaphysical explanations. (shrink)

In his 2010 paper ‘Grounding and Truth-Functions’, Fabrice Correia has developed the first and so far only proposal for a logic of ground based on a worldly conception of facts. In this paper, we show that the logic allows the derivation of implausible grounding claims. We then generalize these results and draw some conclusions concerning the structural features of ground and its associated notion of relevance, which has so far not received the attention it deserves.

It is common for philosophers to offer philosophical accounts or analyses, as they are sometimes called, of knowledge, autonomy, representation, (moral) goodness, reference, and even modesty. These philosophical analyses raise deep questions.What is it that is being analyzed (i.e. what sorts of things are the objects of analysis)? What sort of thing is the analysis itself (a proposition? sentence?)? Under what conditions is an analysis correct? How can a correct analysis be informative? How, if at all, does the production of (...) philosophical analyses differ from what scientists do? The purpose of the present paper is to provide answers to these questions. (shrink)

I wonder which one in a series of characters Agustín Rayo really is, with an emphasis on objective correctness and semantics.

A number of philosophers have recently found it congenial to talk in terms of grounding. Grounding discourse features grounding sentences that are answers to questions about what grounds what. The goal of this article is to explore and defend a counterpart-theoretic interpretation of grounding discourse. We are familiar with David Lewis's applications of the method of counterpart theory to de re modal discourse. Counterpart-theoretic interpretations of de re modal idioms and grounding sentences share similar motivations, mechanisms, and applications. I shall (...) explain my motivations and describe two applications of a counterpart theory for grounding discourse. But, in this article, my main focus is on counterpart-theoretic mechanisms. (shrink)

Agustín Rayo’s The Construction of Logical Space offers an exciting and ambitious defense of a broadly Carnapian approach to metaphysics. This essay will focus on one of the main differences between Rayo’s and Carnap’s approaches. Carnap distinguished between analytic, a priori “meaning postulates”, and empirical claims, which were both synthetic and knowable only a posteriori. Like meaning postulates, they determine the boundaries of logical space. But Rayo is skeptical that the a priori/a posteriori or analytic/synthetic distinctions can do the work (...) Carnap wanted them to, so unlike meaning postulates, ‘just is’-statements aren’t assumed to be analytic or knowable a priori. This essay will concern the epistemology of ‘just is’-statements in Rayo’s picture. If not by a priori reflection, how can we determine which ones to accept? I’ll distinguish two competing strands in Rayo’s work. The less radical, Lewisian strand holds that the question of whether to accept a ‘just is’-statement can be addressed in a neutral, non-question-begging way, by a kind of cost-benefit analysis. The more radical, Kuhnian strand holds that there can be no ‘just is’-statement-independent, rational choice of which ‘just is’-statements to accept. I argue that Rayo faces strong internal pressure to adopt the Kuhnian picture. While it is possible for Rayo to resist these Kuhnian pressures, natural strategies for doing so leave his view more similar to Carnap’s than the above gloss suggested. (shrink)

I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness.

In his important book The Construction of Logical Space, Agustín Rayo lays out a distinctive metametaphysical view and applies it fruitfully to disputes concerning ontology and concerning modality. In this article, I present a number of criticisms of the view developed, mostly focusing on the underlying metametaphysics and Rayo’s claims on its behalf.

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

The Principle of Sufficient Reason states that everything has an explanation. But different notions of explanation yield different versions of this principle. Here a version is formulated in terms of the notion of a “grounding” explanation. Its consequences are then explored, with particular emphasis on the fact that it implies necessitarianism, the view that every truth is necessarily true. Finally, the principle is defended from a number of objections, including objections to necessitarianism. The result is a defense of a “rationalist” (...) metaphysics, one that constitutes an alternative to the contemporary dogmas that some aspects of the world are “metaphysically brute” and that the world could in so many ways have been different. (shrink)

Sometimes, ignorance is inexpressible. Lewis recognized this when he argued, in “Ramseyan Humility,” that we cannot know which property occupies which causal role. This peculiar state of ignorance arises in a number of other domains too, including ignorance about our position in space and the identities of individuals. In these cases, one does not know something, and yet one cannot give voice to one's ignorance in a certain way. But what does the ignorance in these cases consist in? This essay (...) argues that many standard models of ignorance cannot account for the phenomenon of inexpressible ignorance. It then develops an alternative model that does better, on which the ignorance consists in a failure to identify something by way of its nature or essence. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)