Humans have distinctive powers of reflection: no other animal seems to have anything like our capacity for self-examination. Many philosophers hold that this capacity has a uniquely important guiding role in our cognition; others, notably Hilary Kornblith, draw attention to its weaknesses. Kornblith chiefly aims to dispel the sense that there is anything ‘magical’ about second-order mental states, situating them in the same causal net as ordinary first-order mental states. But elsewhere he goes further, suggesting that there is something deeply (...) misleading about reflection’s first-person view of cognition. This chapter takes a closer look at the conditions under which reflection is misleading. Even if humans are the only reflective animals, we are no longer the only creatures that can be questioned about their claims. Chatbots can also be asked to explain themselves, and by studying the conditions under which they produce clarification as opposed to confabulation, we can develop a non-skeptical account of the epistemic value of reflection. I argue that this capacity naturally supports the distribution of complex problem solving among multiple agents. (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)

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)

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)

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)

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.

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.

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)

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)

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)

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)

Once symbolized by a burning armchair, experimental philosophy has in recent years shifted away from its original hostility to traditional methods. Starting with a brief historical review of the experimentalist challenge to traditional philosophical practice, this chapter looks at research undercutting that challenge, and at ways in which experimental work has evolved to complement and strengthen traditional approaches to philosophical questions.

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)

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)

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)

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)

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)

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)

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)

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)

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)

We naturally evaluate the beliefs of others, sometimes by deliberate calculation, and sometimes in a more immediate fashion. Epistemic intuitions are immediate assessments arising when someone’s condition appears to fall on one side or the other of some significant divide in epistemology. After giving a rough sketch of several major features of epistemic intuitions, this article reviews the history of the current philosophical debate about them and describes the major positions in that debate. Linguists and psychologists also study epistemic assessments; (...) the last section of the paper discusses some of their research and its potential relevance to epistemology. (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)

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)

Action is not always guided by conscious deliberation; in many circumstances, we act intuitively rather than reflectively. Tamar Gendler (2014) contends that because intuitively guided action can lead us away from our reflective commitments, it limits the power of knowledge to guide action. While I agree that intuition can diverge from reflection, I argue that this divergence does not constitute a restriction on the power of knowledge. After explaining my view of the contrast between intuitive and reflective thinking, this paper (...) argues against the conclusions Gendler draws from empirical work on implicit bias. (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)

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)

Do epistemic intuitions tell us anything about knowledge? Stich has argued that we respond to cases according to our contingent cultural programming, and not in a manner that tends to reveal anything significant about knowledge itself. I’ve argued that a cross-culturally universal capacity for mindreading produces the intuitive sense that the subject of a case has or lacks knowledge. This paper responds to Stich’s charge that mindreading is cross-culturally varied in a way that will strip epistemic intuitions of their evidential (...) value. I argue that existing work on cross-cultural variation in mindreading favors my position over Stich’s. (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)

To what extent should we trust our natural instincts about knowledge? The question has special urgency for epistemologists who want to draw evidential support for their theories from certain intuitive epistemic assessments while discounting others as misleading. This paper focuses on the viability of endorsing the legitimacy of Gettier intuitions while resisting the intuitive pull of skepticism – a combination of moves that most mainstream epistemologists find appealing. Awkwardly enough, the “good” Gettier intuitions and the “bad” skeptical intuitions seem to (...) be equally strong. This chapter argues that it is not a coincidence that these two types of intuition register with equal force: they are generated by a common mechanism. However, the input to this mechanism is interestingly different in the two types of case, and different in a way that can support the mainstream view that Gettier cases tell us something about knowledge where skeptical intuitions involve systematic error. (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.

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)

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)

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)

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)

Internalists have criticised reliabilism for overlooking the importance of the subject's point of view in the generation of knowledge. This paper argues that there is a troubling ambiguity in the intuitive examples that internalists have used to make their case, and on either way of resolving this ambiguity, reliabilism is untouched. However, the argument used to defend reliabilism against the internalist cases could also be used to defend a more radical form of externalism in epistemology.

Defeat cases are often taken to show that even the most securely-based judgment can be rationally undermined by misleading evidence. Starting with some best-case scenario for perceptual knowledge, for example, it is possible to undermine the subject’s confidence in her sensory faculties until it becomes unreasonable for her to persist in her belief. Some have taken such cases to indicate that any basis for knowledge is rationally defeasible; others have argued that there can be unreasonable knowledge. I argue that defeat (...) cases really involve not an exposure of weakness in the basis of a judgment, but a shift in that basis. For example, when threatening doubts are raised about whether conditions are favorable for perception, one shifts from a basis of unreflective perceptual judgment to a basis of conscious inference. In these cases, the basis of one’s knowledge is lost, rather than rationally undermined. This approach to defeat clears the path for a new way to defend infallibilism in epistemology, and a new understanding of what can count as the basis of any instance of knowledge. (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’.

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)

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)

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)

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)

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)

In the Essay Concerning Human Understanding, Locke insists that all knowledge consists in perception of the agreement or disagreement of ideas. However, he also insists that knowledge extends to outer reality, claiming that perception yields ‘sensitive knowledge’ of the existence of outer objects. Some scholars have argued that Locke did not really mean to restrict knowledge to perceptions of relations within the realm of ideas; others have argued that sensitive knowledge is not strictly speaking a form of knowledge for Locke. (...) This chapter argues that Locke’s conception of sensitive knowledge is in fact compatible with his official definition of knowledge, and discusses his treatment of the problem of skepticism, both in the Essay and in the correspondence with Stillingfleet. (shrink)