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)

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)

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)

Factive mental states, such as knowing or being aware, can only link an agent to the truth; by contrast, nonfactive states, such as believing or thinking, can link an agent to either truths or falsehoods. Researchers of mental state attribution often draw a sharp line between the capacity to attribute accurate states of mind and the capacity to attribute inaccurate or “reality-incongruent” states of mind, such as false belief. This article argues that the contrast that really matters for mental state (...) attribution does not divide accurate from inaccurate states, but factive from nonfactive ones. (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)

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)

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)

Curiosity is evident in humans of all sorts from early infancy, and it has also been said to appear in a wide range of other animals, including monkeys, birds, rats, and octopuses. The classical definition of curiosity as an intrinsic desire for knowledge may seem inapplicable to animal curiosity: one might wonder how and indeed whether a rat could have such a fancy desire. Even if rats must learn many things to survive, one might expect their learning must be driven (...) by simpler incentives, such as hunger. One might also wonder what proximal signals could guide animals towards knowledge itself, or how something as abstract as knowledge could ever be a motivational target for an unreflective animal. Taking a cue from recent work in reinforcement learning, I argue that surprise functions as a reward signal for the curious animal, and then show how this amounts to a desire for knowledge gain, where knowledge is conceived of as a cognitive adaptation to reality. This adaptation results in a mental state whose existence depends essentially on the truth of its contents, a factive mental state. Curious creatures benefit from an interaction between the prediction-error correction processes of basic learning and the active surprise-seeking force of their curiosity. This internally adversarial interaction accelerates knowledge gain in ways that are very helpful for agents with the restrictions of biological creatures, in environments with the complexity of our natural world. (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)

What is common knowledge? According to the dominant iterative model, a group of people commonly knows that p if and only if they each individually know that p, and they furthermore each know that they each know that p, and so on to infinity. According to the integrative model proposed in this paper, a group commonly knows that p when its members are united in a state of mind of the type whose contents must be true. Epistemic integration within a (...) group is enabled by symmetrical signalling processes such as eye contact. In conversational dyads, symmetrical processing operates on pairs of signals produced by the two sides in a familiar format: speakers generate content for joint attention in main channel communication, and addressees evaluate that content in backchannel communication. Processes of reinforcement learning shape our pairwise signalling, driving the accumulation of common knowledge, both in response to extrinsic reward for coordinated action, and in response to the intrinsic reward of curiosity. Where the iterative model caps the epistemic performance of the group at the level of its weakest member, the integrative model of common knowledge shows how groups working together can outperform their strongest member working alone. (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 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)

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)

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)

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)

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)

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)

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)

Harman’s lottery paradox, generalized by Vogel to a number of other cases, involves a curious pattern of intuitive knowledge ascriptions: certain propositions seem easier to know than various higher-probability propositions that are recognized to follow from them. For example, it seems easier to judge that someone knows his car is now on Avenue A, where he parked it an hour ago, than to judge that he knows that it is not the case that his car has been stolen and driven (...) away in the last hour. Contextualists have taken this pattern of intuitions as evidence that ‘knows’ does not always denote the same relationship; subject-sensitive invariantists have taken this pattern of intuitions as evidence that non-traditional factors such as practical interests figure in knowledge; still others have argued that the Harman Vogel pattern gives us a reason to abandon the principle that knowledge is closed under known entailment. This paper argues that there is a psychological explanation of the strange pattern of intuitions, grounded in the manner in which we shift between an automatic or heuristic mode of judgment and a controlled or systematic mode. Understanding the psychology behind the pattern of intuitions enables us to see that the pattern gives us no reason to abandon traditional intellectualist invariantism. The psychological account of the paradox also yields new resources for clarifying and defending the single premise closure principle for knowledge ascriptions. (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)

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)

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)

With by far the lowest population density in the United States, myriad challenges attach to healthcare delivery in Alaska. In the “Size, Population, and Accessibility” section, we characterize this geographic context, including how it is exacerbated by lack of infrastructure. In the “Distributing Healthcare” section, we turn to healthcare economics and staffing, showing how these bear on delivery—and are exacerbated by geography. In the “Health Care in Rural Alaska” section, we turn to rural care, exploring in more depth what healthcare (...) delivery looks like outside of Alaska’s major cities. This discussion continues in the “Alaska’s Native Villages” section, which specifically analyzes healthcare in Alaska’s indigenous villages, some of the smallest and most isolated communities in the United States. Though many of the ways we could improve Alaskan health care for Alaskan residents are limited by its unique features, the “Justice and Healthcare Delivery” and “Technology and Telemedicine” sections consider ways in which certain policies and technology—including telemedicine—could mitigate the challenges developed in previous sections. (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)

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.

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)

Do laypeople and philosophers differ in their attributions of knowledge? Starmans and Friedman maintain that laypeople differ from philosophers in taking ‘authentic evidence’ Gettier cases to be cases of knowledge. Their reply helpfully clarifies the distinction between ‘authentic evidence’ and ‘apparent evidence’. Using their sharpened presentation of this distinction, we contend that the argument of our original paper still stands.

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)

Many epistemologists use intuitive responses to particular cases as evidence for their theories. Recently, experimental philosophers have challenged the evidential value of intuitions, suggesting that our responses to particular cases are unstable, inconsistent with the responses of the untrained, and swayed by factors such as ethnicity and gender. This paper presents evidence that neither gender nor ethnicity influence epistemic intuitions, and that the standard responses to Gettier cases and the like are widely shared. It argues that epistemic intuitions are produced (...) by the natural ‘mindreading’ capacity that underpins ordinary attributions of belief and knowledge in everyday social interaction. Although this capacity is fallible, its weaknesses are similar to the weaknesses of natural capacities such as sensory perception. Experimentalists who do not wish to be skeptical about ordinary empirical methods have no good reason to be skeptical about epistemic intuitions. (shrink)

In the philosophical literature on mental states, the paradigmatic examples of mental states are beliefs, desires, intentions, and phenomenal states such as being in pain. The corresponding list in the psychological literature on mental state attribution includes one further member: the state of knowledge. This article examines the reasons why developmental, comparative and social psychologists have classified knowledge as a mental state, while most recent philosophers--with the notable exception of Timothy Williamson-- have not. The disagreement is traced back to a (...) difference in how each side understands the relationship between the concepts of knowledge and belief, concepts which are understood in both disciplines to be closely linked. Psychologists and philosophers other than Williamson have generally have disagreed about which of the pair is prior and which is derivative. The rival claims of priority are examined both in the light of philosophical arguments by Williamson and others, and in the light of empirical work on mental state attribution. (shrink)

Intuitively, there is a difference between knowledge and mere belief. Contemporary philosophical work on the nature of this difference has focused on scenarios known as “Gettier cases.” Designed as counterexamples to the classical theory that knowledge is justified true belief, these cases feature agents who arrive at true beliefs in ways which seem reasonable or justified, while nevertheless seeming to lack knowledge. Prior empirical investigation of these cases has raised questions about whether lay people generally share philosophers’ intuitions about these (...) cases, or whether lay intuitions vary depending on individual factors (e.g. ethnicity) or factors related to specific types of Gettier cases (e.g. cases that include apparent evidence). We report an experiment on lay attributions of knowledge and justification for a wide range of Gettier Cases and for a related class of controversial cases known as Skeptical Pressure cases, which are also thought by philosophers to elicit intuitive denials of knowledge. Although participants rated true beliefs in Gettier and Skeptical Pressure cases as being justified, they were significantly less likely to attribute knowledge for these cases than for matched true belief cases. This pattern of response was consistent across different variations of Gettier cases and did not vary by ethnicity or gender, although attributions of justification were found to be positively related to measures of empathy. These findings therefore suggest that across demographic groups, laypeople share similar epistemic concepts with philosophers, recognizing a difference between knowledge and justified true belief. (shrink)

The world provides us with an ocean of opportunities for fitting emotion. But we are beings with limited emotional resources, so missed opportunities are common. This chapter argues that these failures to take up fitting emotions are very frequently unfitting in their own right—so frequently, in fact, that most of us lead lives replete with unfitting absences of emotion. It begins by showing that, whenever an emotion can be unfitting in virtue of being too weak, the absence of that emotion (...) can also be unfitting, and for just the same reason. But emotional responses to a host of everyday objects—a funny joke, a nasty insult, and so on—can be unfittingly weak. This means that failures to respond emotionally to an enormous host of everyday objects are similarly unfitting. (shrink)

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.

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)

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)

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)

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’.

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)

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.

Do we apply higher epistemic standards to subjects with high stakes? This paper argues that we expect different outward behavior from high-stakes subjects—for example, we expect them to collect more evidence than their low-stakes counterparts—but not because of any change in epistemic standards. Rather, we naturally expect subjects in any condition to think in a roughly adaptive manner, balancing the expected costs of additional evidence collection against the expected value of gains in accuracy. The paper reviews a body of empirical (...) work on the automatic regulation of cognitive effort in response to stakes, and argues that we naturally see high- and low-stakes subjects as experiencing different levels of ‘epistemic anxiety’, and anticipate different levels of cognitive effort from them for this reason. If unresolved epistemic anxiety always bars an ascription of knowledge, then we can explain our responses to cases involving shifting stakes without positing any variation in the standards of intuitive knowledge ascription. (shrink)

Why do our intuitive knowledge ascriptions shift when a subject's practical interests are mentioned? Many efforts to answer this question have focused on empirical linguistic evidence for context sensitivity in knowledge claims, but the empirical psychology of belief formation and attribution also merits attention. The present paper examines a major psychological factor (called ?need-for-closure?) relevant to ascriptions involving practical interests. Need-for-closure plays an important role in determining whether one has a settled belief; it also influences the accuracy of one's cognition. (...) Given these effects, it is a mistake to assume that high- and low-stakes subjects provided with the same initial evidence are perceived to enjoy belief formation that is the same as far as truth-conducive factors are concerned. This mistaken assumption has underpinned contextualist and interest-relative invariantist treatments of cases in which contrasting knowledge ascriptions are elicited by descriptions of subjects with the same initial information and different stakes. The paper argues that intellectualist invariantism can easily accommodate such cases. (shrink)

Political leaders may change their mind about a policy, or even a significant moral issue. While genuinely changing one’s mind is not hypocritical, there are reasons to think that leaders who claim such a change are merely hypocritically pandering for political advantage. Indeed, some social science studies allegedly confirm that constituents will judge political leaders who change positions as hypocritical. Yet these studies are missing crucial details that we normally use to distinguish genuine mind changers from hollow hypocrites. These details (...) suggest ways in which political leaders can communicate that their mind change is genuine without necessarily being judged hypocritical. (shrink)

R.C. Pradhan claims in Language, Reality, and Transcendence that, in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and Philosophical Investigations, “[i]n no case is Wittgenstein interested in the empirical facts regarding language, as for him philosophy does not undertake any scientific study of language” (Pradhan 2009, xiv). I consider Ludwig Wittgenstein’s purportedly anti-scientific and anti-empirical approach to language in light of advances by philosophers and linguists in the latter half of the 20th century. I distinguish between various ways of understanding Wittgenstein’s stance against (...) scientism. Due to the success of more recent work on language, I argue that Wittgenstein’s critique, as interpreted by Pradhan in Language, Reality, and Transcendence, does not undermine the formal study of language. Nevertheless, I argue, the contention of Wittgenstein and Pradhan that language, through grammar (in Wittgenstein’s sense), serves a variety of functions still sheds light on the differences in meaning across different discourses. I argue that a synthesis of Wittgenstein’s pluralist theory of meaning with elements of a theoretical study of language offers the best comprehensive account of natural language. I will argue that this conception of language is consistent with elements of Pradhan’s interpretation. As Pradhan notes, “The aim here is not to project one kind of grammatical determination but keep options open for many such grammatical determinations such that the grammatical nuances are not papered over in the name of the unity of grammar” (Pradhan 2009, 28). (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)

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)

There are two main ways to teach a course online: synchronously or asynchronously. In an asynchronous course, students can log on at their convenience and do the course work. In a synchronous course, there is a requirement that all students be online at specific times, to allow for a shared course environment. In this article, the author discusses the strengths and weaknesses of synchronous online learning for the teaching of undergraduate philosophy courses. The author discusses specific strategies and technologies he (...) uses in the teaching of online philosophy courses. In particular, the author discusses how he uses videoconferencing to create a classroom-like environment in an online class. (shrink)

Because knowledge entails true belief, it is can be hard to explain why a given action is naturally seen as driven by one of these states as opposed to the other. A simpler and more radical characterization of knowledge helps to solve this problem while also shedding some light on what is special about social learning.

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)