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 also makes it G. This approach is hyperintensional and possesses desirable logical and modal features. In particular, 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 motivate my account over Correia and Skiles’ [11] prominent alternative and close by defining an irreflexive and asymmetric notion of analysis in terms of the symmetric and reflexive notion. (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 and that q is an analytic part of p, then S knows that q. 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.

It is often said that there are two varieties of identity theory. Type-identity theorists interpret physicalism as the claim that every property is identical to a physical property, while token-identity theorists interpret it as the claim that every particular is identical to a physical particular. The aim of this paper is to undermine the distinction between the two. Drawing on recent work connecting generalized identity to truth-maker semantics, I demonstrate that these interpretations are logically equivalent. I then argue that each (...) has the resources to resolve problems facing the other. (shrink)

It is often said that there are two varieties of identity theory. Type-identity theorists interpret physicalism as the claim that every property is identical to a physical property, while token-identity theorists interpret it as the claim that every particular is identical to a physical particular. The aim of this paper is to undermine the distinction between the two. Drawing on recent work connecting generalized identity to truth-maker semantics, I demonstrate that these interpretations are logically equivalent. I then argue that each (...) has the resources to resolve problems facing the other. (shrink)

Among contemporary philosophers, there is widespread consensus that begging the question is a grave argumentative flaw. However, there is presently no satisfactory analysis of what this flaw consists of. Here, I defend a notion of question-begging in terms of analyticity. In particular, I argue that an argument begs the question just in case its conclusion is an analytic part of the conjunction of its premises.

Two families of positions dominate debates over a metaphysically reductive analysis of knowledge. Traditionalism holds that knowledge has a complete, uniquely identifying analysis, while knowledge-first epistemology contends that knowledge is primitive—admitting of no reductive analysis whatsoever. Drawing on recent work in metaphysics, I argue that these alternatives fail to exhaust the available possibilities. Knowledge may have a merely partial analysis: a real definition that distinguishes it from some, but not all other things. I demonstrate that this position is attractive; it (...) evades concerns that its rivals face. (shrink)

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, who seek to establish that mathematics is committed to its own necessity. I demonstrate that their assumptions collapse the counterfactual conditional into the material conditional. This collapse entails the success of counterfactual strengthening, which is controversial within counterfactual logic, and which has counterexamples within pure and applied mathematics. I close (...) by discussing the dispensability of counterfactual conditionals within the language of mathematics. (shrink)

Science relies on models and idealizations that are known not to be true. Even so, science is epistemically reputable. To accommodate science, epistemology should focus on understanding rather than knowledge and should recognize that the understanding of a topic need not be factive. This requires reconfiguring the norms of epistemic acceptability. If epistemology has the resources to accommodate science, it will also have the resources to show that art too advances understanding.

Philosophy long sought to set knowledge on a firm foundation, through derivation of indubitable truths by infallible rules. For want of such truths and rules, the enterprise foundered. Nevertheless, foundationalism's heirs continue their forbears' quest, seeking security against epistemic misfortune, while their detractors typically espouse unbridled coherentism or facile relativism. Maintaining that neither stance is tenable, Catherine Elgin devises a via media between the absolute and the arbitrary, reconceiving the nature, goals, and methods of epistemology. In Considered Judgment, she argues (...) for a reconception that takes reflective equilibrium as the standard of rational acceptability. A system of thought is in reflective equilibrium when its components are reasonable in light of one another, and the account they comprise is reasonable in light of our antecedent convictions about the subject it concerns. Many epistemologists now concede that certainty is a chimerical goal. But they continue to accept the traditional conception of epistemology's problematic. Elgin suggests that in abandoning the quest for certainty we gain opportunities for a broader epistemological purview--one that comprehends the arts and does justice to the sciences. She contends that metaphor, fiction, emotion, and exemplification often advance understanding in science as well as in art. The range of epistemology is broader and more variegated than is usually recognized. Tenable systems of thought are neither absolute nor arbitrary. Although they afford no guarantees, they are good in the way of belief. (shrink)

Truth is standardly considered a requirement on epistemic acceptability. But science and philosophy deploy models, idealizations and thought experiments that prescind from truth to achieve other cognitive ends. I argue that such felicitous falsehoods function as cognitively useful fictions. They are cognitively useful because they exemplify and afford epistemic access to features they share with the relevant facts. They are falsehoods in that they diverge from the facts. Nonetheless, they are true enough to serve their epistemic purposes. Theories that contain (...) them have testable consequences, hence are factually defeasible. (shrink)

The book contains a unique epistemological position that deserves serious consideration by specialists in the subject."--Bruce Aune, University of Massachusetts.

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)

A challenger of traditions and boundaries A pivotal figure in 20th-century philosophy, Nelson Goodman has made seminal contributions to metaphysics, epistemology, aesthetics, and the philosophy of language, with surprising connections that cut across traditional boundaries. In the early 1950s, Goodman, Quine, and White published a series of papers that threatened to torpedo fundamental assumptions of traditional philosophy. They advocated repudiating analyticity, necessity, and prior assumptions. Some philosophers, realizing the seismic effects repudiation would cause, argued that philosophy should retain the familiar (...) framework. Others considered the arguments compelling, but despaired of doing philosophy without the framework. Goodman disagreed with both factions. Rather than regretting the loss of structure, he capitalized on the opportunities that arise when the strictures of tradition are loosened. Available individually by volume 1. Nominalism, Constructivism, and Relativism in the Work of Nelson Goodman (0-8153-2609-2) 296 pages 2. Nelson Goodman's New Riddle of Induction (0-8153-2610-6) 312 pages 3. Nelson Goodman's Philosophy of Art (0-8153-2611-4) 284 pages 4. Nelson Goodman's Theory of Symbols and its Applications (0-8153-2612-2) 344 pages. (shrink)

"Systematizes and develops in a comprehensive study Nelson Goodman's philosophy of language. The Goodman-Elgin point of view is important and sophisticated, and deals with a number of issues, such as metaphor, ignored by most other theories." --John R. Perry, Stanford University.

Nelson Goodman was one of the soaring figures of twentieth century philosophy. His work radically reshaped the subject, forcing fundamental reconceptions of philosophy’s problems, ends, and means. Goodman not only contributed to diverse fields, from philosophy of language to aesthetics, from philosophy of science to mereology, his works cut across these and other fields, revealing shared features and connecting links that narrowly focused philosophers overlook. That the author of The Structure of Appearance also wrote Languages of Art is not in (...) the end surprising. (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)

Jonathan Bennett (1974) maintains that Huckleberry Finn’s deliberations about whether to return Jim to slavery afford insight into the tension between sympathy and moral judgment; Miranda Fricker (2007) argues that the trial scene in To Kill a Mockingbird affords insight into the nature of testimonial injustice. Neither claims merely that the works prompt an attentive reader to think something new or to change her mind. Rather, they consider the reader cognitively better off for her encounters with the novels. Nor is (...) her cognitive improvement restricted to acquiring new justified true beliefs about the works themselves. What the reader gleans is supposed to enhance her knowledge or understanding of the .. (shrink)

Davidson's token-Token identity theory is based on the indeterminacy of translation. I argue that psychological theories, Like other theories, Are underdetermined by the evidence, And that their reduction, Like other reductions, Is subject to the indeterminacy of translation. This does not invalidate reduction, But it does raise epistemic difficulties. Accepting a claim as law-Like involves uncertainty and risk. There are ideological reasons for thinking that psychophysical reduction involves risks we should not take.

In Between the Absolute and the Arbitrary, Catherine Z. Elgin maps a constructivist alternative to the standard Anglo-American conception of philosophy's ...

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)

The arts and the sciences perform many of the same cognitive functions, both serving to advance understanding. This paper explores some of the ways exemplification operates in the two fields. Both scientific experiments and works of art highlight, underscore, display, or convey some of their own features. They thereby focus attention on them, and make them available for examination and projection. Thus, the Michelson-Morley experiment exemplifies the constancy of the speed of light. Jackson Pollock's "Number One" exemplifies the viscosity of (...) paint. Despite their similarities, science and art might seem to differ in their attitude toward facts. Science is said to adhere to facts; art, to be indifferent to them. Such, I urge, is not the case. Science, like art, often scorns fact to advance understanding through fiction. Thought experiments, I contend, are scientific fictions; literary and pictorial fictions, aesthetic thought experiments. (shrink)

Human beings are epistemically interdependent. Much of what we know and much of what we need to know we glean from others. Being a gregarious bunch, we are prone to venturing opinions whether they are warranted or not. This makes information transfer a tricky business. What we want from others is not just information, but reliable information. When we seek information, we are in the position of enquirers not examiners. We ask someone whether p because we do not ourselves already (...) know whether p. So we cannot check our informant’s bona fides by seeing whether she is speaking the truth about p. We need grounds for trust. In What’s the Point of Knowledge? Michael Hannon maintains that this is the predicament that underlies the concept of knowledge. The we here is comprehensive. Evidently, every language has a word for knowledge. This, Hannon suggests, indicates that the concept of knowledge satisfies a universal human need. A goal, if not the goal, of epistemology is to identify that need and ascertain how it is satisfied. Following Craig, Hannon argues that the point of knowledge is to enable us to identify good – that is, suitably reliable – informants. Let us call this the information transfer view. (shrink)

Understanding, as I construe it, is holistic. It is a matter of how commitments mesh to form a mutually supportive, independently supported system of thought. It is advanced by bootstrapping. We start with what we think we know and build from there. This makes education continuous with what goes on at the cutting edge of inquiry. Methods, standards, categories and stances are as important as facts. So something like E. D. Hirsch’s list of facts every fourth grader should know is (...) slightly silly. What makes for a good fourth grade education is not the set of facts the fourth grader knows, but the level of understanding she has achieved and the resources she can deploy to advance that understanding. Facts are part of the story, but so are fictions, methods, standards, and categories. A major part of understanding is recognizing what problems remain to be solved. (shrink)

Edward Craig and Michael Hannon agree that the function of knowledge is to enable us to identify informants whose word we can safely take. This requires that knowers display a publicly recognizable mark. Although this might suffice for information transfer, I argue that the position that emerges promotes testimonial injustice, since the mark of a good informant need not be shared by all who are privy to the facts we seek. I suggest a way the problem might be alleviated.

I show that it follows from both externalist and internalist theories that stupid people may be in a better position to know than smart ones. This untoward consequence results from taking our epistemic goal to be accepting as many truths as possible and rejecting as many falsehoods as possible, combined with a recognition that the standard for acceptability cannot be set too high, else scepticism will prevail. After showing how causal, reliabilist, and coherentist theories devalue intelligence, I suggest that knowledge, (...) as contemporary theories construe it, is not a particularly valuable cognitive achievement, and that we would do well to reopen epistemology to the study of cognitive excellences of all sorts. (shrink)

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 show that the theory of definition in Definition by Proxy can consistently embrace the principles I show to be inconsistent in Definition.

I argue that trustworthiness is an epistemic desideratum. It does not reduce to justified or reliable true belief, but figures in the reason why justified or reliable true beliefs are often valuable. Such beliefs can be precarious. If a belief's being justified requires that the evidence be just as we take it to be, then if we are off even by a little, the belief is unwarranted. Similarly for reliability. Although it satisfies the definition of knowledge, such a belief is (...) not trustworthy. We ought not use it as a basis for inference or action and ought not give others to believe it. The trustworthiness of a belief, I urge, depends on its being backed by reasons—considerations that other members of the appropriate epistemic community cannot reasonably reject. Trustworthiness is intersubjective. It both depends on and contributes to the evolving cognitive values of an epistemic community. (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.

Recent philosophical discussions construe disagreement as epistemically unsettling. On learning that a peer disagrees, it is said, you should suspend judgment, lower your credence, or dismiss your peer’s conviction as somehow flawed, even if you can neither identify the flaw nor explain why you think she is the party in error. Philosophers do none of these things. A distinctive feature of philosophy as currently practiced is that, although we marshal the strongest arguments we can devise, we do not expect others (...) to agree. Nor are we dismayed then they do not. Through a survey of familiar professional practices, I argue that philosophy rightly revels in responsible disagreement. This discloses important and perhaps surprising facets of the epistemology of philosophy. (shrink)

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)

Exemplification is the relation of an example to whatever it is an example of. Goodman maintains that exemplification is a symptom of the aesthetic: although not a necessary condition, it is an indicator that symbol is functioning aesthetically. I argue that exemplification is as important in science as it is in art. It is the vehicle by which experiments make aspects of nature manifest. I suggest that the difference between exemplars in the arts and the sciences lies in the way (...) they exemplify. Density and repleteness are characteristic of aesthetic exemplars but not of scientific ones. (shrink)