I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

I am concerned with epistemic closure—the phenomenon in which some knowledge requires other knowledge. In particular, I defend a version of the closure principle in terms of analyticity; if an agent S knows that p is true, then S knows that all analytic parts of p are true as well. After targeting the relevant notion of analyticity, I argue that this principle accommodates intuitive cases and possesses the theoretical resources to avoid the preface paradox. I close by arguing that contextualists (...) who maintain that knowledge attributions are closed within—but not between—linguistic contexts are tacitly committed to this principle’s truth. (shrink)

Sober [2011] argues that some causal statements are a priori true and that a priori causal truths are central to explanations in the theory of natural selection. Lange and Rosenberg [2011] criticize Sober's argument. They concede that there are a priori causal truths, but maintain that those truths are only ‘minimally causal’. They also argue that explanations that are built around a priori causal truths are not causal explanations, properly speaking. Here we criticize both of Lange and Rosenberg's claims.

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)

It is the aim of this paper to develop and defend an interpretation of level of scientific discipline within the truth-maker framework. In particular, I exploit the mereological relation of proper parthood, which is integral to truth-maker semantics, in order to provide an account of scientific level.

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...) to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

I show that the theory of definition in Definition by Proxy can consistently embrace the principles I show to be inconsistent in Definition.

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of yet, (...) undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same as G), Irreflexivity (...) (there are no reflexive definitions) and Leibniz’s Law. Additionally, it possesses the resources to resolve the paradox of analysis. (shrink)

Many metaphysicians maintain that there is a close connection between essence and modality; if an object a necessarily bears property F , then it is metaphysically necessary that Fa (or, perhaps, it is metaphysically necessary that Fa if a exists). Recently, Leech (Forthcoming) has argued that this connection lacks an adequate explanation. In particular, she argues that identity doesn't explain the link between essence and modality. In contrast, I argue that identity provides the resources to undermine Leech’s explanatory demand.

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

This paper presents a puzzle about the logic of real definition. In particular, I demonstrate that five principles concerning definition (that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion and that it is itself defined) are incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

I provide counterexamples to Kit Fine's semantics for imperative and deontic modals. In particular, I argue that the semantics fails to provide necessary conditions for conjunctive imperatives.

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

Many metaphysicians posit primitives. These vary with respect to the theoretical work that they perform, but are all undefinable in more basic terms. I argue against the existence of metaphysical primitives on the grounds that, if they existed, they would be essentially primitive. However, if primitives were essentially primitive, then they would have an essence. Because they are primitive, they lack an essence, which undermines the original supposition that they are primitive. I close by mentioning some implications this has both (...) for metaphysicians and for metaphysics more generally. (shrink)

Monism is the claim that only one object exists. While few contemporary philosophers endorse monism, it has an illustrious history – stretching back to Bradley, Spinoza and Parmenides. In this paper, I show that plausible assumptions about the higher-order logic of property identity entail that monism is true. Given the higher-order framework I operate in, this argument generalizes: it is also possible to establish that there is a single property, proposition, relation, etc. I then show why this form of monism (...) is inconsistent; because all propositions are identical, p is identical to ~p – and so they have the same truth-value. At least one of the assumptions that generate higher-order monism must be rejected. (shrink)

In True enough,, Elgin argues against veritism, which is the view that truth is the paramount epistemic objective. Elgin’s argument against veritism proceeds from considering the role that models, idealizations, and thought experiments play in science to the conclusion that veritism is unacceptable. In this commentary, I argue that Elgin’s argument fails as an argument against veritism. I sketch a refutation by logical analogy of Elgin’s argument. Just as one can aim at gold medals and still (...) find approximations to gold, such as silver and bronze medals, to be acceptable and honest achievements in competitive sports, one can aim at full truths as the paramount epistemic objective and still find approximations to truth, such as models and idealizations, to be acceptable and honest achievements in scientific inquiry. (shrink)

This topical collection of Synthese is in honor of Catherine Z. Elgin. The idea for it arose in the context of an international book symposium dedicated to Elgin's latest book, organized by Katherine Dormandy, Christoph Jäger, and myself, which took place at the University of Innsbruck in March 2018. The topical collection comprises fourteen papers addressing a broad array of issues related to True Enough and to Elgin’s work more generally, plus a contribution by Elgin with (...) detailed comments and replies. True Enough is an extraordinarily rich, wide-ranging book; it reflects both the breadth and sharpness of Elgin’s philosophical gaze and exemplifies the impressive variety of her philosophical interests. In this introduction, I give an overview of the topical collection’s content, zooming in on the aspects of Elgin’s work which captured the contributors’ attention. My discussion will not remotely do justice to the complexity of Elgin’s system, but I hope that it will help the reader navigate the topical collection and appreciate how the fourteen papers relate to Elgin’s overall project. (shrink)

To understand something involves some sort of commitment to a set of propositions comprising an account of the understood phenomenon. Some take this commitment to be a species of belief; others, such as Elgin and I, take it to be a kind of cognitive policy. This paper takes a step back from debates about the nature of understanding and asks when this commitment involved in understanding is epistemically appropriate, or ‘acceptable’ in Elgin’s terminology. In particular, appealing to lessons (...) from the lottery and preface paradoxes, it is argued that this type of commitment is sometimes acceptable even when it would be rational to assign arbitrarily low probabilities to the relevant propositions. This strongly suggests that the relevant type of commitment is sometimes acceptable in the absence of epistemic justification for belief, which in turn implies that understanding does not require justification in the traditional sense. The paper goes on to develop a new probabilistic model of acceptability, based on the idea that the maximally informative accounts of the understood phenomenon should be optimally probable. Interestingly, this probabilistic model ends up being similar in important ways to Elgin’s proposal to analyze the acceptability of such commitments in terms of ‘reflective equilibrium’. (shrink)

An extensive literature about pictorial representation discusses what is involved when a two-dimensional image represents some specific object or type of object. A smaller literature addresses parallel issues in sculptural representation. But little has been said about the role played by the sculptural material itself in determining the meanings of the sculptural work. Appealing to Nelson Goodman and Catherine Elgin’s discussions of literal and metaphorical exemplification, I argue that the material of which a sculpture is constituted plays key roles (...) in what is represented and how it is represented, in part because we have bodily and emotional responses to the real possibilities the sculptural material creates for us. I discuss examples of contemporary artworks by Melvin Edwards, Kara Walker, Willie Cole, Marc Quinn, Ai Weiwei, Janine Antoni, El Anatsui, Zoe Leonard, and others. (shrink)

Many contemporary artworks include active matter along with rules for conservation that are designed to either facilitate or prevent that matter’s degradation or decay. I discuss the mechanisms through which actual or potential states of material decay contribute to the work’s expressive import. Nelson Goodman and Catherine Elgin introduce the concepts of literal and metaphorical exemplification, which are critical to expression: a work literally exemplifies a property when it both possesses and highlights that property, and it metaphorically exemplifies a (...) property when the properties it literally exemplifies bring that property powerfully to mind. I argue that the literal exemplification of actual or potential states of decay enhances a work’s expressive power by stimulating our bodily and emotional responses to the physical potential of the work’s active matter. Conservation practices, by affecting the properties the work literally and metaphorically exemplifies, are key to the expressive power of works that employ states of degradation and decay. The argument is illustrated through discussion of works by Zoe Leonard, Marc Quinn, and Kara Walker that literally exemplify actually or potentially decaying materials, as contrasted with works by Ai Weiwei and Sam Taylor-Johnson that represent rather than exemplify decaying materials. (shrink)

This article points out the ways in which the relationship between language and political resistance are problematized in “meta-linguistic” science fiction novels after the 1980s. Although the 20th century anti-utopias tend to view language as a prison house for thought and self-determination under oppressive regimes, Suzette Haden Elgin’s Native Tongue (1984), Neal Stephenson’s Snow Crash (1992) and China Miéville’s Embassytown (2011) are distinct novels in the tradition of language-related science fiction, in the sense that these texts imagine possibilities of (...) resisting oppressive power structures by exploring similar conceptions of language as a way of transforming cultural, perceptual and political realities. The article analyzes these novels where resistance is enacted in the forms of language construction, digital world-making and metaphorical language, in order to question their political and fictional potentials for formulizing subversion in our imagined futures. (shrink)

Elgin offers an influential and far-reaching challenge to veritism. She takes scientific understanding to be non-factive and maintains that there are epistemically useful falsehoods that figure ineliminably in scientific understanding and whose falsehood is no epistemic defect. Veritism, she argues, cannot account for these facts. This paper argues that while Elgin rightly draws attention to several features of epistemic practices frequently neglected by veritists, veritists have numerous plausible ways of responding to her arguments. In particular, it is not (...) clear that false propositional commitments figure ineliminably in understanding in the manner supposed by Elgin. Moreover, even if scientific understanding were non-factive and false propositional commitments did figure ineliminably in understanding, the veritist can account for this in several ways without thereby abandoning veritism. (shrink)

In this article, I examine the possible thought experimenting qualities of Soren Kierkegaard's novel Fear and Trembling and in which way it can be explanatory. Kierkegaard's preference for pseudonyms, indirect communication, Socratic interrogation, and performativity are identified as features that provide the narrative with its thought experimenting quality. It is also proposed that this literary fiction functions as a Socratic-theological thought experiment due to its influences from both philosophy and theology. In addition, I suggest three functional levels of the fictional (...) narrative that, in different ways, influence its possible explanatory force. As a theoretical background for the investigation, two accounts of literary cognitivism are explored: Noel Carroll's Argument Account and Catherine Elgin's Exemplification Account. In relation to Carroll's proposal, I conclude that Fear and Trembling develops a philosophical argumentation that is dependent on the reader's own existential contribution. In relation to Elgin's thought, the relation between truth and explanatory force is acknowledged. At the end of the article, I argue that it is more accurate to see the explanatory force of Fear and Trembling in relation to its exploratory function. (shrink)

Sober and Elgin defend the claim that there are a priori causal laws in biology. Lange and Rosenberg take issue with this on Humean grounds, among others. I will argue that Sober and Elgin don’t go far enough – there are a priori causal laws in many sciences. Furthermore, I will argue that this thesis is compatible with a Humean metaphysics and an empiricist epistemology.

This paper considers the medium of videogames from a goodmanian standpoint. After some preliminary clarifications and definitions, I examine the ontological status of videogames. Against several existing accounts, I hold that what grounds their identity qua work types is code. The rest of the paper is dedicated to the epistemology of videogaming. Drawing on Nelson Goodman and Catherine Elgin's works, I suggest that the best model to defend videogame cognitivism appeals to the notion of understanding.

In this paper, I first outline the view developed in my recent book on the role of idealization in scientific understanding. I discuss how this view leads to the recognition of a number of kinds of variability among scientific representations, including variability introduced by the many different aims of scientific projects. I then argue that the role of idealization in securing understanding distances understanding from truth, but that this understanding nonetheless gives rise to scientific knowledge. This discussion will clarify how (...) my view relates to three other recent books on understanding by Henk de Regt, Catherine Elgin, and Kareem Khalifa. (shrink)

Is there a role for aesthetic judgements in science? One aspect of scientific practice, the use of thought experiments, has a clear aesthetic dimension. Thought experiments are creatively produced artefacts that are designed to engage the imagination. Comparisons have been made between scientific (and philosophical) thought experiments and other aesthetically appreciated objects. In particular, thought experiments are said to share qualities with literary fiction as they invite us to imagine a fictional scenario and often have a narrative form (Elgin (...) 2014). But philosophical discussions of aesthetics in science have focused mainly on the epistemic role of beauty and elegance when it comes to theories and mathematical proofs, and thought experiments have been widely overlooked. My aim in this chapter is to address how the aesthetic choices scientists make in the design of a thought experiment contribute to its function: to communicate, convince, or explain a theory or phenomenon. A key issue is whether any aesthetic features in science provide anything beyond catching our attention, or are at best, a mere heuristic aid. I respond to accounts that argue this way and show how formulation is important in scientific thought experiments and, similarly to literary fictions, there is more than one way of interpreting a thought experiment scenario. I end by considering which literary examples are most appropriate when making comparisons with thought experiments. As a result, the difference between representations in art and science raised in current discussions is not as stark as it has been made out to be, and science is a more heterogeneous practice than has been allowed. Part of the value of thought experiments in scientific practice includes the qualities they share with literary works. (shrink)

A novel solution is offered for how emotional experiences can function as sources of immediate prima facie justification for evaluative beliefs, and in such a way that suffices to halt a justificatory regress. Key to this solution is the recognition of two distinct kinds of emotional skill (what I call generative emotional skill and doxastic emotional skill) and how these must be working in tandem when emotional experience plays such a justificatory role. The paper has two main parts, the first (...) negative and the second positive. The negative part criticises the epistemic credentials of Epistemic Perceptualism (e.g., Tappolet 2012, 2016; Doring 2003, 2007; Elgin 2008; Roberts 2003), the view that emotional experience alone suffices to prima facie justify evaluative beliefs in a way that is analogous to how perceptual experience justifies our beliefs about the external world. The second part of the paper develops an account of emotional skill and uses this account to frame a revisionary form of Epistemic Perceptualism that succeeds where the traditional views could not. I conclude by considering some objections and replies. (shrink)

The notion of understanding occupies an increasingly prominent place in contemporary epistemology, philosophy of science, and moral theory. A central and ongoing debate about the nature of understanding is how it relates to the truth. In a series of influential contributions, Catherine Elgin has used a variety of familiar motivations for antirealism in philosophy of science to defend a non- factive theory of understanding. Key to her position are: (i) the fact that false theories can contribute to the upwards (...) trajectory of scientific understanding, and (ii) the essential role of inaccurate idealisations in scientific research. Using Elgin’s arguments as a foil, I show that a strictly factive theory of understanding has resources with which to offer a unified response to both the problem of idealisations and the role of false theories in the upwards trajectory of scientific understanding. Hence, strictly factive theories of understanding are viable notwithstanding these forceful criticisms. (shrink)

We discuss the social-epistemic aspects of Catherine Elgin’s theory of reflective equilibrium and understanding and argue that it yields an argument for the view that a crucial social-epistemic function of epistemic authorities is to foster understanding in their communities. We explore the competences that enable epistemic authorities to fulfil this role and argue that among them is an epistemic virtue we call “epistemic empathy”.

The model-theoretic argument known as Putnam´s paradox threatens our notion of truth with triviality: Almost any world can satisfy almost any theory. Formal argument and intuition are at odds. David Lewis devised a solution according to which the very stucture of the world fixes how it is to be divided into elite classes which determine the reference of any true theory. Three claims are defended: Firstly, Lewis´ proposal must be completed by an account of successful referential intentions. Secondly, contrary to (...) Catherine Elgin´s criticism of Lewis, natural properties corresponding to elite classes may play a role in sound scientific inquiry. Thirdly, despite Bas van Fraassen´s objection that the sceptic cannot consistently maintain doubts about reference, there is a promising sceptical strategy of exploiting Putnam´s results which is answered by Lewis´ account. (shrink)

Many artists, art critics, and poets suggest that an aesthetic appreciation of artworks may modify our perception of the world, including quotidian things and scenes. I call this Art-to-World, AtW. Focusing on visual artworks, in this paper I articulate an empirically-informed account of AtW that is based on content-related views of aesthetic experience, and on Goodman’s and Elgin’s concept of exemplification. An aesthetic encounter with artworks demands paying attention to its aesthetic, expressive, or design properties that realize its purpose. (...) Attention to these properties make percipients better able to spot them in other entities and scenes as well. The upshot is that an aesthetic commerce with artworks enlarges the scope of what we are able to see and has therefore momentous epistemic consequences. (shrink)

On page 14 of "Reconceptions in Philosophy and Other Arts and Sciences" (section 4 of chapter 1) by Nelson Goodman and Catherine Z. Elgin is written: “Since ‘blue’ and ‘green’ are interdefinable with ‘grue’ and ‘bleen’, the question of which pair is basic and which pair derived is entirely a question of which pair we start with”. This paper points out that an example of interdefinability is also that one about the predicate “grueb”, which is a predicate that applies (...) to an object if the object either is green and examined before time b, or is non-green and not examined before time b. The three predicates “green”, “grueb”, “examined before time b” are interdefinable. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But , even though the predicates “green” and “examined before time b” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time b. The interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. According to Goodman, if it is possible to determine if an object is green without needing temporal information, then it is also possible to determine if an object is grue without needing temporal information. But, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. (shrink)

Many artists, art critics, and poets suggest that an aesthetic appreciation of artworks may modify our perception of the world, including quotidian things and scenes. I call this Art-to-World, AtW. Focusing on visual artworks, in this paper I articulate an empirically-informed account of AtW that is based on content related views of aesthetic experience, and on Goodman’s and Elgin’s concept of exemplification. An aesthetic encounter with artworks demands paying attention to its aesthetic, expressive, or design properties that realize its (...) purpose. Attention to these properties make percipients better able to spot them in other entities and scenes as well. The upshot is that an aesthetic commerce with artworks enlarges the scope of what we are able to see and has therefore momentous epistemic consequences. (shrink)

According to a recent philosophical claim, “works of fiction are thought experiments” (Elgin 2007: 47), though there are relevant differences, as the role of spoilers shows—they can ruin a novel but improve the understanding we can gain through a thought experiment. In the present article I will analyze the role of spoilers and argue for a more differentiated perspective on the relation between literature and thought experiments. I will start with a short discussion of different perspectives on thought experiments (...) and argue that the mental-model view and the conception of games of make-believe are most promising for developing the present analogy. Then I will assess the similarities and differences between thought experiments and other works of fiction. I will focus on the role of spoilers and, more generally, on the foretaste context, of which they are part. This context guides readers of literary works of art to draw their attention to the literary and aesthetic quality of the text. In the case of thought experiments, on the other hand, it (i) prompts them to accept the presence of fictional elements in worldly-cognitive works and (ii) draws their attention towards cognitively relevant elements of the story. A discussion of Borges’ Pierre Menard in the last part will show that literary works of art become thought experiments if they are embedded in an appropriate foretaste context. Spoilers, thus, unveil that even works which—due to their length or plenty of detail—usually are not considered thought experiments, can perform similar cognitive functions. (shrink)