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.

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)

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)

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.

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)

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)

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)

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)

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

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)

This chapter contains section titled: Suggested Reading.

In a recent book and an article, Carl Craver construes the relations between different levels of a mechanism, which he also refers to as constitutive relations, in terms of mutual manipulability (MM). Interpreted metaphysically, MM implies that inter-level relations are symmetrical. MM thus violates one of the main desiderata of scientific explanation, namely explanatory asymmetry. Parts of Craver’s writings suggest a metaphysical interpretation of MM, and Craver explicitly commits to constitutive relationships being symmetrical. The paper furthermore explores the option of (...) interpreting MM epistemologically, as a means for individuating mechanisms. It is argued that MM then is redundant. MM should therefore better be abandoned. (shrink)

Many take Kantian ethics to founder when it comes to our duties to animals. In this paper, I advocate a novel approach to this problem. The paper is divided into three sections. In the first, I canvass various passages from Kant in order to set up the problem. In the second, I introduce a novel approach to this problem. In the third, I defend my approach from various objections. By way of preview: I advocate rejecting the premise that nonhuman animals (...) are nonrational. (shrink)

Because moral understanding involves a distinctly first-personal grasp of moral matters, there is a temptation to think of its value primarily in terms of achievements that reflect well on its possessor: the moral worth of one's action or the virtue of one's character. These explanations, I argue, do not do full justice to the importance of moral understanding in our moral lives. Of equal importance is the value of moral understanding in our relations with other moral agents. In particular, I (...) argue that an understanding of moral matters is of central importance within relations of solidarity. In addition to highlighting an overlooked aspect of moral understanding's value, this view also has important implications for what solidarity requires of those who stand in that relationship. (shrink)

Frege's picture of attitude states and attitude reports requires a notion of content that is shareable between agents, yet more fine-grained than reference. Kripke challenged this picture by giving a case on which the expressions that resist substitution in an attitude report share a candidate notion of fine-grained content. A consensus view developed which accepted Kripke's general moral and replaced the Fregean picture with an account of attitude reporting on which states are distinguished in conversation by their (private) representational properties. (...) I begin in support of the consensus by showing how a sort of de facto coordination on mental symbols is possible, even for unsophisticated agents. But I go on to argue that whenever conditions are ripe for de facto coordination on symbols, there is an inter-subjective relation that supports a fine-grained notion of content resistant to Kripke's challenge. The consensus view corresponds to a Kripke-resistant strain of the Fregean picture. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...) to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

Liberalism generally holds that legitimate political power is limited and is to be impartially exercised, only for the public good. Liberals accordingly assign political priority to maintaining certain basic liberties and equality of opportunities; they advocate an essential role for markets in economic activity, and they recognize government's crucial role in correcting market breakdowns and providing public goods. Classical liberalism and what I call “the high liberal tradition” are two main branches of liberalism. Classical liberalism evolved from the works of (...) Adam Smith and the classical utilitarian economists; its major 20th century representatives include Friedrich Hayek and Milton Friedman. The high liberal tradition developed from John Stuart Mill's works, and its major philosophical representatives in the 20th century are John Dewey and, later, John Rawls. This paper discusses the main distinguishing features of the classical and the high liberal traditions and their respective positions regarding capitalism as an economic and social system. Classical liberals, unlike high liberals, regard economic liberties and rights of private property in productive resources to be nearly as important as basic liberties. They conceive of equality of opportunity in more formal terms, and regard capitalist markets and the price system as essential not only to the allocation of production resources, but also as the fundamental criterion for the just distribution of income, wealth, and economic powers. High liberals, by contrast, regard the economic liberties as subordinate to the exercise of personal and civic liberties. They are prepared to regulate and restrict economic liberties to achieve greater equality of opportunities, reduce inequalities of economic powers, and promote a broader conception of the public good. And while high liberals endorse markets and the price system as essential to allocation of productive resources, they do not regard markets as the fundamental criterion for assessing just distributions of income, wealth, and economic powers and positions of responsibility. The paper concludes with some reflections upon the essential role that dissimilar conceptions of persons and society play in grounding the different positions on economic justice that classical and high liberals advocate. (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.

The allocation of scarce health care resources such as flu treatment or organs for transplant presents stark problems of distributive justice. Persad, Wertheimer, and Emanuel have recently proposed a novel system for such allocation. Their “complete lives system” incorporates several principles, including ones that prescribe saving the most lives, preserving the most life-years, and giving priority to persons between 15 and 40 years old. This paper argues that the system lacks adequate moral foundations. Persad and colleagues' defense of giving priority (...) to those between 15 and 40 leaves them open to the charge that they discriminate unfairly against children. Second, the paper contends that the complete lives system fails to provide meaningful practical guidance in central cases, since it contains no method for balancing its principles when they conflict. Finally, the paper proposes a new method for balancing principles of saving the most lives and maximizing life-years. (shrink)