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 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)

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)

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)

This paper presents a puzzle about the logic of real definition. 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 logically incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

Consequentialists maintain that an act is morally right just in case it produces the best consequences of any available alternative. Because agents are ignorant about some of their acts’ consequences, they cannot be certain about which alternative is best. Kagan contends that it is reasonable to assume that unforeseen good and bad consequences roughly balance out and can be largely disregarded. A statistical argument demonstrates that Kagan’s assumption is almost always false. An act’s foreseeable consequences are an extremely poor indicator (...) of the goodness of its overall consequences. Acting based on foreseeable consequences is barely more reliably good than acting completely at random. (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.

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)

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)

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)

I develop an account of disciplinary level in terms of truth-maker semantics. In particular, I exploit the mereological structure of states of affairs—which is central to the truth-maker approach—to provide conditions in which one discipline occupies a higher level than another.

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)

SHOTTENKIRK, Dena (2009).Nominalism and Its Aftermath : the Philosophy of Nelson Goodman Dordrecht: Springer, IX, 170 p.

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)

In Improvisation, Samuel Wells defines improvisation in the theater as "a practice through which actors seek to develop trust in themselves and one another in order that they may conduct unscripted dramas without fear." Sounds a lot like life, doesn't it? Building trust, overcoming fear, conducting relationships, and making choices--all without a script. Wells establishes theatrical improvisation as a model for Christian ethics, a matter of "faithfully improvising on the Christian tradition." He views the Bible not as a "script" (...) but as a "training school" that shapes the habits and practices of the Christian community. Drawing on scriptural narratives and church history, Wells explains six practices that characterize both improvisation and Christian ethics. His model of improvisation reinforces the goal of Christian ethics--to teach Christians to "embody their faith in the practices of discipleship all the time."--Publisher description. (shrink)

The story of God -- The story of the church -- The story of ethics -- The story of Christian ethics -- Universal ethics -- Subversive ethics -- Ecclesial ethics -- Good order -- Good life -- Good relationships -- Good beginnings and endings -- Good earth.

Relative essentialism, the view that multiple objects about which there are distinct de re modal truths can occupy the same space at the same time, is a metaphysical view that dissolves a number of metaphysical issues. The present essay constructs and defends relative essentialism and argues that it is implicit in some of the ideas of W. V. Quine and Donald Davidson. Davidson’s published views about individuation and sameness can accommodate the common-sense insights about change and persistence of Aristotle and (...) Kripke. Aristotle and Kripke have to give up unmediated direct reference resting on a unique correct articulation of reality into entities. Davidson has to acknowledge a distinction between descriptions giving accidental and those giving essential features of an object. Quine and Davidson were in a position to be a relative essentialist, but were over-impressed by supervenience. The relative essentialist view of beings developed from Quine and Davidson strongly suggests the Heideggerian distinction between beings and Being, and is the perspective from which analytic philosophy can engage that topic. Relative essentialism also connects analytic philosophy to Derrida’s thinking about differance. (shrink)

I am writing on moral knowledge in Locke's Essay Concerning Human Understanding. There are two basic parts. In the first part, I articulate and attack a predominant interpretation of the Essay . This interpretation attributes to Locke the view that he did not write in the Essay anything that would be inconsistent with his early views in the Questions Concerning the Laws of Nature that there exists a single, ultimate, moral standard, i.e., the Law of Nature. For example, John Colman, (...) in his book John Locke's Moral Philosophy , argues that even though Locke explains in the Essay that we arbitrarily create our moral notions, they are still objective since they are bound together with the Law of Nature. Colman explains that the features of human nature relevant to the derivation of the Law of Nature are universally shared needs and concerns . I argue that this presupposes a view of Locke which assumes that there are essences of species independent of our beliefs about them. However, I attempt to show from the text of the Essay that this view cannot be supported. ;In the second part, I argue that the text of the Essay supports two alternative theses. The first is that given the kind of metaphysical world-view presupposed by the corpuscular method of science employed within the Essay, coupled with Locke's commitment to the possibility of moral knowledge, he was left with only one option with reference to ethics, viz., to make moral goodness or evil a mind-dependent relation between a rule and an action, instead of a property of an action or person which exists independently of our moral beliefs. This view is logically inconsistent with the existence of the Law of Nature. The second is that Locke has a semantical view of moral claims which is consistent with his relational view of moral goodness, viz., the primary function of moral judgments is to recommend behavior for ourselves and others. I described. However, Locke explains in the Essay that the opposite takes place with respect to our moral notions: events and persons must conform to the moral notion. ;On the account that I offer, Locke's views on moral epistemology are much closer to David Hume's than many have supposed, and correspondingly, anticipate the more skeptical views of moral epistemology in the twentieth century. (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.

Everyone is agreed that mankind today finds itself virtually swimming in crises. The typical discussion of every world problem is so fraught with a sense of urgency, so steeped in the hyperbole of danger, that the discussions would be funny were they not so tragic.

It is the proudest boast of the sciences that they are objective, clean of moral judgments, wertfrei. This insistence was salutary as the physical sciences struggled to loose themselves from the bonds of tradition, and it was natural that the social sciences took over the emphasis. Yet by a quirk of history the latter disciplines in striving for objectivity and amorality are unscientific. Far from being the hallmark of scientific method that students of society think it, the doctrine of Wertfreiheit (...) is of religious origin. It has always been the spokesmen of tradition who have said that science is without reference to morals and value, relegating this province to themselves. (shrink)

Richard Faber, the author of learned studies of Novalis, Vergil, Brecht, and Carl Schmitt, is aware that this is not the first book he has published with the same title. ad Jacob Taubes, the title...

Karl Popper argued in 1974 that evolutionary theory contains no testable laws and is therefore a metaphysical research program. Four years later, he said that he had changed his mind. Here we seek to understand Popper’s initial position and his subsequent retraction. We argue, contrary to Popper’s own assessment, that he did not change his mind at all about the substance of his original claim. We also explore how Popper’s views have ramifications for contemporary discussion of the nature of laws (...) and the structure of evolutionary theory. (shrink)

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)

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

The processes underwriting the acquisition of culture remain unclear. How are shared habits, norms, and expectations learned and maintained with precision and reliability across large-scale sociocultural ensembles? Is there a unifying account of the mechanisms involved in the acquisition of culture? Notions such as “shared expectations,” the “selective patterning of attention and behaviour,” “cultural evolution,” “cultural inheritance,” and “implicit learning” are the main candidates to underpin a unifying account of cognition and the acquisition of culture; however, their interactions require greater (...) specification and clarification. In this article, we integrate these candidates using the variational (free-energy) approach to human cognition and culture in theoretical neuroscience. We describe the construction by humans of social niches that afford epistemic resources called cultural affordances. We argue that human agents learn the shared habits, norms, and expectations of their culture through immersive participation in patterned cultural practices that selectively pattern attention and behaviour. We call this process “thinking through other minds” (TTOM) – in effect, the process of inferring other agents’ expectations about the world and how to behave in social context. We argue that for humans, information from and about other people's expectations constitutes the primary domain of statistical regularities that humans leverage to predict and organize behaviour. The integrative model we offer has implications that can advance theories of cognition, enculturation, adaptation, and psychopathology. Crucially, this formal (variational) treatment seeks to resolve key debates in current cognitive science, such as the distinction between internalist and externalist accounts of theory of mind abilities and the more fundamental distinction between dynamical and representational accounts of enactivism. (shrink)

If understanding is factive, the propositions that express an understanding are true. I argue that a factive conception of understanding is unduly restrictive. It neither reflects our practices in ascribing understanding nor does justice to contemporary science. For science uses idealizations and models that do not mirror the facts. Strictly speaking, they are false. By appeal to exemplification, I devise a more generous, flexible conception of understanding that accommodates science, reflects our practices, and shows a sufficient but not slavish sensitivity (...) to the facts. (shrink)