A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space (...) models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly. (shrink)

A formal result is proved which is used in Juhani Yli-Vakkuri’s ‘Epistemicism and Modality’ to argue that certain two-dimensional possible world models are inadequate for a language with operators for ‘necessarily’, ‘actually’, and ‘definitely’.

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is truth-functional. As (...) Humberstone notes, the issue of Post completeness in congruential modal logics is not well understood. The present article shows that in contrast to normal modal logics, the extent of the property of Post completeness among congruential modal logics depends on the background set of logics. Some basic results on the corresponding properties of Post completeness are established, in particular that although a congruential modal logic is Post complete among all modal logics if and only if its modality is truth-functional, there are continuum many modal logics Post complete among congruential modal logics. (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

In his book The Boundary Stones of Thought, Ian Rumfitt considers five arguments in favour of intuitionistic logic over classical logic. Two of these arguments are based on reflections concerning the meaning of statements in general, due to Michael Dummett and John McDowell. The remaining three are more specific, concerning statements about the infinite and the infinitesimal, statements involving vague terms, and statements about sets.Rumfitt is sympathetic to the premisses of many of these arguments, and takes some of them to (...) be effective challenges to Bivalence, the following principle: Each statement is either true or false.However, he argues that counterexamples to Bivalence do not immediately lead to counterexamples to Excluded Middle, and so do not immediately refute classical logic; here, Excluded Middle is taken to be the following principle: For each statement A, is true.Much... (shrink)

Margaret Macdonald was at the institutional heart of analytic philosophy in Britain in the mid-twentieth century. Yet, her views on the nature of philosophical theories diverge quite considerably from those of many of her contemporaries. In this paper, I focus on her 1953 article ‘Linguistic Philosophy and Perception’, a provocative paper in which Macdonald argues that the value of philosophical theories is more akin to that of poetry or art than science or mathematics. I do so for two reasons. First, (...) because it reveals just how far Macdonald’s meta- philosophical views diverged from those of many of her contemporaries. Second, because the discussion in LPP pre-empts recent literature on the nature of philosophical inquiry and the efficacy of philosophical arguments. Indeed, Macdonald’s paper is just as likely to provoke discussion today as it was in the 1950s. (shrink)

Berkeley’s likeness principle is the claim that “an idea can be like nothing but an idea”. The likeness principle is intended to undermine representationalism: the view (that Berkeley attributes to thinkers like Descartes and Locke) that all human knowledge is mediated by ideas in the mind which represent material objects. Yet, Berkeley appears to leave the likeness principle unargued for. This has led to several attempts to explain why Berkeley accepts it. In contrast to ‘metaphysical’ and ‘epistemological’ interpretations available in (...) the literature, in this paper I defend a ‘conceptual’ interpretation. I argue that Berkeley accepts the likeness principle on the basis of (i) his commitment to the transparency of ideas, and (ii) his account of resemblance which he sets out in his works on vision. Thus, I provide an explanation for Berkeley’s reasons for accepting the likeness principle which, appropriately, focuses on his views concerning ideas and likeness. (shrink)

This paper provides a philosophical evaluation of the concept of handedness prevalent but largely unspoken in the scientific literature. This literature defines handedness as the preference or ability to use one hand rather than the other across a range of common activities. Using the philosophical discipline of phenomenology, I articulate and critique this conceptualization of handedness. Phenomenology shows defining a concept of handedness by focusing on hand use leads to a right hand biased concept. I argue further that a phenomenological (...) model based in spatial orientation rather than hand use provides a more inclusive concept of handedness. (shrink)

William Molyneux was born in Dublin, studied in Trinity College Dublin, and was a founding member of the Dublin Philosophical Society (DPS), Ireland’s counterpart to the Royal Society in London. He was a central figure in the Irish intellectual milieu during the Early Modern period and – along with George Berkeley and Edmund Burke – is one of the best-known thinkers to have come out of that context and out of Irish thought more generally. In 1688, when Molyneux wrote the (...) letter to Locke in which he posed the now famous question about a man born blind made to see, he was an active member of the DPS and was on familiar terms with several other key figures in Irish philosophy at the time. For the most part, Irish thinkers in the seventeenth and eighteenth centuries answered “no” to Molyneux’s question of whether a blind man made to see could distinguish, by sight alone, between a cube and a sphere. (shrink)

This paper presents a challenge to conciliationist views of disagreement. I argue that conciliationists cannot satisfactorily explain why we need not revise our beliefs in response to certain moral disagreements. Conciliationists can attempt to meet this challenge in one of two ways. First, they can individuate disputes narrowly. This allows them to argue that we have dispute-independent reason to distrust our opponents’ moral judgment. This approach threatens to license objectionable dogmatism. It also inappropriately gives deep epistemic significance to superficial questions (...) about how to think about the subject matter of a dispute. Second, conciliationists can individuate disputes widely. This allows them to argue that we lack dispute-independent reason to trust our opponents’ moral judgment. But such arguments fail; our background of generally shared moral beliefs gives us good reason to trust the moral judgment of our opponents, even after we set quite a bit of our reasoning aside. On either approach, then, conciliationists should acknowledge that we have dispute-independent reason to trust the judgment of those who reject our moral beliefs. Given a conciliationist view of disagreement’s epistemic role, this has the unattractive result that we are epistemically required to revise some of our most intuitively secure moral beliefs. (shrink)

In the mid-seventeenth century a movement of self-styled experimental philosophers emerged in Britain. Originating in the discipline of natural philosophy amongst Fellows of the fledgling Royal Society of London, it soon spread to medicine and by the eighteenth century had impacted moral and political philosophy and even aesthetics. Early modern experimental philosophers gave epistemic priority to observation and experiment over theorising and speculation. They decried the use of hypotheses and system-building without recourse to experiment and, in some quarters, developed a (...) philosophy of experiment. The movement spread to the Netherlands and France in the early eighteenth century and later impacted Germany. Its important role in early modern philosophy was subsequently eclipsed by the widespread adoption of the Kantian historiography of modern philosophy, which emphasised the distinction between rationalism and empiricism and had no place for the historical phenomenon of early modern experimental philosophy. The re-emergence of interest in early modern experimental philosophy roughly coincided with the development of contemporary x-phi and there are some important similarities between the two. (shrink)

Hypocrites are often thought to lack the standing to blame others for faults similar to their own. Although this claim is widely accepted, it is seldom argued for. We offer an argument for the claim that nonhypocrisy is a necessary condition on the standing to blame. We first offer a novel, dispositional account of hypocrisy. Our account captures the commonsense view that hypocrisy involves making an unjustified exception of oneself. This exception-making involves a rejection of the impartiality of morality and (...) thereby a rejection of the equality of persons, which we argue grounds the standing to blame others. (shrink)

According to the view that there is moral encroachment in epistemology, whether a person has knowledge of p sometimes depends on moral considerations, including moral considerations that do not bear on the truth or likelihood of p. Defenders of moral encroachment face a central challenge: they must explain why the moral considerations they cite, unlike moral bribes for belief, are reasons of the right kind for belief (or withheld belief). This paper distinguishes between a moderate and a radical version of (...) moral encroachment. It shows that, while defenders of moderate moral encroachment are well-placed to meet the central challenge, defenders of radical moral encroachment are not. The problem for radical moral encroachment is that it cannot, without taking on unacceptable costs, forge the right sort of connection between the moral badness of a belief and that belief’s chance of being false. (shrink)

Subject-sensitive invariantism posits surprising connections between a person’s knowledge and features of her environment that are not paradigmatically epistemic features. But which features of a person’s environment have this distinctive connection to knowledge? Traditional defenses of subject-sensitive invariantism emphasize features that matter to the subject of the knowledge-attribution. Call this pragmatic encroachment. A more radical thesis usually goes ignored: knowledge is sensitive to moral facts, whether or not those moral facts matter to the subject. Call this moral encroachment. This paper (...) argues that, insofar as there are good arguments for pragmatic encroachment, there are also good arguments for moral encroachment. (shrink)

Radical moral encroachment is the view that belief itself is morally evaluable, and that some moral properties of belief itself make a difference to epistemic rationality. To date, almost all proponents of radical moral encroachment hold to an asymmetry thesis: the moral encroaches on rational belief, but not on rational credence. In this paper, we argue against the asymmetry thesis; we show that, insofar as one accepts the most prominent arguments for radical moral encroachment on belief, one should likewise accept (...) radical moral encroachment on credence. We outline and reject potential attempts to establish a basis for asymmetry between the attitude types. Then, we explore the merits and demerits of the two available responses to our symmetry claim: (i) embracing moral encroachment on credence and (ii) denying moral encroachment on belief. (shrink)

Most agree that, in some special scenarios, prudence can speak against feeling a fitting emotion. Some go further, arguing that the tension between fittingness and prudence afflicts some emotions in a fairly general way. This paper goes even further: it argues that, when it comes to anxiety, the tension between fittingness and prudence is nearly inescapable. On any plausible theory, an enormous array of possible outcomes are both bad and epistemically uncertain in the right way to ground fitting anxiety. What’s (...) more, the fittingness of an emotion is a demanding, not a permissive, normative status. So the norms of fitting emotion demand a great deal of anxiety. For almost any realistic agent, it would be deeply imprudent to feel anxiety in a way that meets the demands set by norms of fitting emotion. (shrink)

Here we show, based on a simplified version of fully homomorphic encryption, that it is not possible to simulate conscious experience, in the sense of using a computer algorithm to generate experiences that are indistinguishable from those of a particular typical human being. This seems to have important implications for questions in the context of future developments in artificial intelligence. For example, the proposed process of mind-uploading will in general not generate a virtual consciousness similar to the consciousness of the (...) original human being. (shrink)

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian principle. (...) Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

In 2019, several US states passed “heartbeat” bills. Should such bills go into effect, they would outlaw abortion once an embryonic heartbeat can be detected, thereby severely limiting an individual’s access to abortion. Many states allow health care professionals to refuse to provide an abortion for reasons of conscience. Yet heartbeat bills do not include a positive conscience clause that would allow health care professionals to provide an abortion for reasons of conscience. I argue that this asymmetry is unjustified. The (...) same criteria that justify protecting conscientious refusals to provide abortion also justify protecting positive conscientious appeals regarding abortion. Thus, if the law provides legal exemptions for health care professionals who, as a matter of conscience, refuse to provide abortions where it is legal, it should also provide exemptions for health care professionals who, as a matter of conscience, feel obligated to provide abortions where it is illegal. (shrink)

It is widely agreed that hypocrisy can undermine one’s moral standing to blame. According to the Nonhypocrisy Condition on standing, R has the standing to blame some other agent S for a violation of some norm N only if R is not hypocritical with respect to blame for violations of N. Yet this condition is seldom argued for. Macalester Bell points out that the fact that hypocrisy is a moral fault does not yet explain why hypocritical blame is standingless blame. (...) She raises a challenge: one must explain what is distinct about hypocritical blame such that the hypocritical blamer lacks the standing to blame, even if the arrogant or petty blamer does not. Of those writing on hypocrisy, only we offer a direct response to Bell’s challenge. Recently, however, our account has come under criticism. We argue here that (1) our account can handle these criticisms and that (2) no other rival account adequately addresses Bell’s challenge of explaining what is uniquely objectionable about hypocritical blame. Because answering Bell’s challenge is a necessary component of any plausible account of the relationship between hypocrisy and standing, our account remains the best on offer. (shrink)

Sometimes it is not one’s place to blame or forgive. This phenomenon is captured under the philosophical notion of standing. However, there is an asymmetry to be explained here. One can successfully blame, even if one lacks the standing to do so. Yet, one cannot successfully forgive if one lacks the standing to do so. In this article we explain this asymmetry. We argue that a complete explanation depends on not only a difference in the natures of the standing to (...) blame and forgive but also a difference in the natures of blame and forgiveness themselves. (shrink)

Sometimes, the fact that an attitude is fitting seems like a demand to have that attitude. But in other cases, the fact that an attitude is fitting seems more like a permission to have the attitude. I defend a proposal that can accommodate both of these appearances. I argue that there is a kind of emotionlessness, which I call apathy, that can be fitting or unfitting in just the same way that emotion can. I further argue that, in some cases, (...) it can be fitting to respond a single object either with emotion or with apathy. When both apathy and emotion are fitting options, the fittingness of the emotion is a permission-like status; failures to have the fitting emotion are not failures of fit. But when an emotion is fitting and apathy is unfitting, the fittingness of the emotion is a demand-like status; failures to have the emotion are failures of fit. (shrink)

Call the following claim Asymmetry: rationality often requires a more steadfast response to pure moral disagreement than it does to otherwise analogous non-moral disagreement. This paper briefly motivates Asymmetry and explores its implications for meta-ethics. Some philosophers have thought that anti-realists are better-placed than realists to explain Asymmetry because, if anti-realism is true, disagreement cannot provide evidence against the reliability of one's thinking about objective moral facts. This paper argues that this simple diagnosis fails to support otherwise plausible anti-realisms. It (...) closes by discussing an alternative explanation for Asymmetry, which appeals to the moral importance of steadfastness. (shrink)

Noam Chomsky’s well-known claim that linguistics is a “branch of cognitive psychology” has generated a great deal of dissent—not from linguists or psychologists, but from philosophers. Jerrold Katz, Scott Soames, Michael Devitt, and Kim Sterelny have presented a number of arguments, intended to show that this Chomskian hypothesis is incorrect. On both sides of this debate, two distinct issues are often conflated: (1) the ontological status of language and (2) the relation between psychology and linguistics. The ontological issue is, I (...) will argue, not the relevant issue in the debate. Even if this Chomskian position on the ontology of language is false, linguistics may still be a subfield of psychology if the relevant methods in linguistic theory construction are psychological. Two options are open to the philosopher who denies Chomskian conceptualism: linguistic nominalism or linguistic platonism. The former position holds that syntactic, semantic, and phonological properties are primarily properties, not of mental representations, but rather of public languagesentence tokens; The latter position holds that the linguistic properties are properties of public language sentence types. I will argue that both of these positions are compatible with Chomsky’s claim that linguistics is a branch of psychology, and the arguments that have been given for nominalism and platonism do not establish that linguistics and psychology are distinct disciplines. (shrink)

If there is pragmatic encroachment in epistemology, whether a person knows that p can vary with normative facts about her actions—including facts that do not bear on the truth or likelihood of p. This paper raises an underappreciated question for defenders of pragmatic encroachment: which of the many norms on action are distinctively connected to knowledge? To the extent that contemporary defenders of pragmatic encroachment address this question, they do so by citing norms of ‘practical rationality.’ I show that this (...) approach can only be made to work on the assumption that all immorality involves some form of incoherence. I then suggest a pluralist strategy for pragmatic encroachers who seek to answer my question without making this heavyweight metaethical assumption: they should agree that multiple distinct norms on action play a difference-making role in epistemology. I close the paper by sketching three ways in which pragmatic encroachers might pursue this strategy. (shrink)

This essay provides a novel argument for impurism, the view that certain non-truth-relevant factors can make a difference to a belief's epistemic standing. I argue that purists, unlike impurists, are forced to claim that certain ‘high-stakes’ cases rationally require agents to be akratic. Akrasia is one of the paradigmatic forms of irrationality. So purists, in virtue of calling akrasia rationally mandatory in a range of cases with no obvious precedent, take on a serious theoretical cost. By focusing on akrasia, and (...) on the nature of the normative judgments involved therein, impurists gain a powerful new way to frame a core challenge for purism. They also gain insight about the way in which impurism is true: my argument motivates the claim that there is moral encroachment in epistemology. (shrink)

Kern describes how law was perceived in the middle ages. Law does not have to be issued by the state, but it has to be old and good.

In this paper, I defend an epistemic requirement on fitting hopes and worries: it is fitting to hope or to worry that p only if one’s epistemic position makes it rational to suspend judgment as to whether p. This view, unlike prominent alternatives, is ecumenical; it retains its plausibility against a variety of different background views of epistemology. It also has other important theoretical virtues: it is illuminating, elegant, and extensionally adequate. Fallibilists about knowledge have special reason to be friendly (...) to my view; it can help them explain why it can be unfitting to hold on to hope and worry in the face of overwhelming evidence, and it can also help them explain the sense in which knowledge that p and hope that –p are in tension with one another. (shrink)

Traditionally, those writing on blame have been concerned with blaming others, including when one has the standing to blame others. Yet some alleged problems for such accounts of standing arise when we focus on self-blame. First, if hypocrites lack the standing to blame others, it might seem that they also lack the standing to blame themselves. But this would lead to a bootstrapping problem, wherein hypocrites can only regain standing by doing that which they lack the standing to do. Second, (...) in addition to hypocrites, there may be hypercrites, who blame themselves more severely than others. Leading accounts for why hypocrites lack standing to blame others would also seem to imply that hypercrites lack the standing to blame others, but some may find this counterintuitive. We argue that neither of these problems from self-blame poses a unique threat to leading accounts of standing. (shrink)

Many writers have recently argued that there is something distinctively problematic about sustaining moral beliefs on the basis of others’ moral views. Call this claim pessimism about moral deference. Pessimism about moral deference, if true, seems to provide an attractive way to argue for a bold conclusion about moral disagreement: moral disagreement generally does not require belief revision. Call this claim steadfastness about moral disagreement. Perhaps the most prominent recent discussion of the connection between moral deference and moral disagreement, due (...) to Alison Hills, uses pessimism about the former to argue for steadfastness about the latter. This paper reveals that this line of thinking, and others like it, are unsuccessful. There is no way to argue from a compelling version of pessimism about moral deference to the conclusion of steadfastness about moral disagreement. The most plausible versions of pessimism about moral deference have only very limited implications for moral disagreement. (shrink)

According to Christine Korsgaard, Kantian hypothetical and categorical imperative principles are constitutive principles of agency. By acting in a way that is guided by these imperatives, an individual makes herself into an agent. There is hence, on her theory, an inextricable link between the nature of agency and the practical issue of why we should be rational and moral. The benefits of such an account would be great: in Korsgaard’s view, an account that bases morality on the nature of agency (...) is the basis for a refutation of any kind of moral skepticism, providing an indubitable and objective foundation for morality. This may seem too good to be true, and it is. Korsgaard could only succeed at offering a foundation for morality at a great cost. The cost is that Korsgaard gives too restrictive an account of agency. Korsgaard does not present a coherent account of irrational or immoral agency, and the inability to offer an account of such agency implies an inability to offer a proper account of responsibility. Korsgaard’s view shares a fundamental flaw with Immanuel Kant’s account of morality in the Groundwork of the Metaphysics of Morals: Korsgaard cannot give a full, adequate account of individual responsibility. In light of the failure of Kant’s and Korsgaard’s accounts, Kantians need to provide a better, more comprehensive characterization of agency. Presenting a proper account of agency will require a rejection of a central tenet of traditional Kantian metaethics, but the rejection of this central tenet does not require a full rejection of Kantianism. (shrink)

Subjectivism about reasons is the view that a person has a reason to perform act A if she has some motivation to do A, or would have motivation to do A in certain circumstances. In On What Matters, Derek Parfit presents a series of arguments against subjectivism about reasons. In Parfit’s view, if subjectivism were true, nothing would actually matter. Parfit contends that there are only two positions regarding reasons: objectivism and subjectivism. I will argue for an inclusive position on (...) reasons that is neither subjectivist nor objectivist. On this view of reasons, there are some reasons that are grounded in the motivations of individuals, and there are also reasons that are not grounded in such motivations. On the view I put forward, I contend, against Parfit, that even if there were no objective reasons, it would still be the case that some things matter. (shrink)

Book reviewed:;Jerrold J. Katz, Sense, Reference, and Philosophy.

There has been a great deal of discussion in the recent philosophical literature of the relationship between the minimalist theory of truth and the expressivist metaethical theory. One group of philosophers contends that minimalism and expressivism are compatible, the other group contends that such theories are incompatible. Following Simon Blackburn (manuscript), I will call the former position ‘compatibilism’ and the latter position ‘incompatiblism.’ Even those compatibilist philosophers who hold that there is no conflict or tension between these two theories—minimalism and (...) expressivism—typically think that some revision of minimalism is required to accommodate expressivism. The claim that there is such an incompatibility, I will argue, is based on a misunderstanding of the historical roots of expressivism, the motivations behind the expressivist theory, and the essential commitments of expressivism. I will present an account of the expressivist theory that is clearly consistent with minimalism. (shrink)

Course Description: Science appears to be extraordinarily successful is two crucial respects. First, science apparently serves as an extremely reliable vehicle for arriving at the truth (as contrasted with astrology or palm reading). Second, the methodology of science seems eminently rational (again as opposed to the methodologies of astrology or palm reading). Philosophers have been quite interested in these two apparent virtues of science. Some philosophers think that the two virtues are illusory and that, upon reflection, science is not significantly (...) superior to astrology or palm reading. Some philosophers even reject concepts like truth and rationality as somehow bogus or illegitimate. Our basic goal in this course is to survey 20th century philosophy of science as centered upon such disputes. To this end, our focus will be upon the following question: are truth and rationality genuine features of scientific inquiry, or are they mere illusions? (shrink)