Higher-order defeat occurs when one loses justification for one's beliefs as a result of receiving evidence that those beliefs resulted from a cognitive malfunction. Several philosophers have identified features of higher-order defeat that distinguish it from familiar types of defeat. If higher-order defeat has these features, they are data an account of rational belief must capture. In this article, I identify a new distinguishing feature of higher-order defeat, (...) and I argue that on its own, and in conjunction with the other distinguishing features, it favors an account of higher-order defeat grounded in non-evidential, ‘state-given reasons’ for belief. (shrink)

Evidentialism is the thesis, roughly, that one’s beliefs should fit one’s evidence. The enkratic principle is the thesis, roughly, that one’s beliefs should "line up" with one’s beliefs about which beliefs one ought to have. While both theses have seemed attractive to many, they jointly entail the controversial thesis that self-misleading evidence is impossible. That is to say, if evidentialism and the enkratic principle are both true, one’s evidence cannot support certain false beliefs about which beliefs one’s evidence supports. Recently, (...) a number of epistemologists have challenged the thesis that self-misleading evidence is impossible on the grounds that misleading higher-order evidence does not have the kind of strong and systematic defeating force that would be needed to rule out the possibility of such self-misleading evidence. Here I respond to this challenge by proposing an account of higher-order defeat that does, indeed, render self-misleading evidence impossible. Central to the proposal is the idea that higher-order evidence acquires its normative force by influencing which conditional beliefs it is rational to have. What emerges, I argue, is an independently plausible view of higher-order evidence, which has the additional benefit of allowing us to reconcile evidentialism with the enkratic principle. (shrink)

It seems obvious that when higher-order evidence makes it rational for one to doubt that one’s own belief on some matter is rational, this can undermine the rationality of that belief. This is known as higher-order defeat. However, despite its intuitive plausibility, it has proved puzzling how higher-order defeat works, exactly. To highlight two prominent sources of puzzlement, higher-order defeat seems to defy being understood in terms of conditionalization; and (...) higher-order defeat can sometimes place agents in what seem like epistemic dilemmas. This chapter draws attention to an overlooked aspect of higher-order defeat, namely that it can undermine the resilience of one’s beliefs. The notion of resilience was originally devised to understand how one should reflect the ‘weight’ of one’s evidence. But it can also be applied to understand how one should reflect one’s higher-order evidence. The idea is particularly useful for understanding cases where one’s higher-order evidence indicates that one has failed in correctly assessing the evidence, without indicating whether one has over- or underestimated the degree of evidential support for a proposition. But it is exactly in such cases that the puzzles of higher-order defeat seem most compelling. (shrink)

It’s widely accepted that higher-order defeaters, i.e., evidence that one’s belief is formed in an epistemically defective way, can defeat doxastic justification. However, it’s yet unclear how exactly such kind of defeat happens. Given that many theories of doxastic justification can be understood as fitting the schema of proper basing on propositional justifiers, we might attempt to explain the defeat either by arguing that a higher-order defeater defeats propositional justification or by arguing that (...) it defeats proper basing. It has been argued that the first attempt is unpromising because a variety of prominent theories of propositional justification don’t imply that we lose propositional justification when gaining higher-order defeaters. This leads some scholars to take the second attempt. In this paper, I criticize this second attempt, and I defend the first attempt by arguing that a theory of propositional justification that requires intellectual responsibility can nicely account for higher-order defeat. My proposal is that we lose doxastic justification when we gain higher-order defeaters because there is no intellectually responsible way for us to maintain our original beliefs due to the defeaters. (shrink)

Many epistemologists have endorsed a version of the view that rational belief is sensitive to higher-order defeat. That is to say, even a fully rational belief state can be defeated by misleading higher-order evidence, which indicates that the belief state is irrational. In a recent paper, however, Maria Lasonen-Aarnio calls this view into doubt. Her argument proceeds in two stages. First, she argues that higher-order defeat calls for a two-tiered theory of epistemic (...) rationality. Secondly, she argues that there seems to be no satisfactory way of avoiding epistemic dilemmas within a two-tiered framework. Hence, she concludes that the prospects look dim for making sense of higher-order defeat within a broader theoretical picture of epistemic rationality. Here I aim to resist both parts of Lasonen-Aarnio’s challenge. First, I outline a way of accommodating higher-order defeat within a single-tiered framework, by amending epistemic rules with appropriate provisos for different kinds of higher-order defeat. Secondly, I argue that those who nevertheless prefer to accommodate higher-order defeat within a two-tiered framework can do so without admitting to the possibility of epistemic dilemmas, since epistemic rules are not always accompanied by ‘oughts’ in a two-tiered framework. The considerations put forth thus indirectly vindicate the view that rational belief is sensitive to higher-order defeat. (shrink)

On an optimistic version of realist moral epistemology, a significant range of ordinary moral beliefs, construed in realist terms, constitute knowledge—or at least some weaker positive epistemic status, such as epistemic justification. The “debunking challenge” to this view grants prima facie justification but claims that it is “debunked” (i.e., defeated), yielding the final verdict that moral beliefs are ultima facie unjustified. Notable candidate “debunkers” (i.e., defeaters) include the so-called “evolutionary debunking arguments,” the “Benacerraf-Field Challenge,” and persistent moral disagreement among epistemic (...) peers. Such defeaters are best treated as higher-order evidence—viz., evidence contesting the merits of the first-order evidence on which moral beliefs are based. This chapter first develops a theory of higher-order defeat in general, which it then applies to debunking in particular. The result: the challenge fails entirely on epistemic grounds—regardless of whether or not its empirical and metaphysical presuppositions are correct. An advantage of this purely epistemic defense over alternative strategies is that the former extends even to laypersons who themselves lack the expertise necessary to formulate an adequate response. However, this leaves open the prospects for non-epistemological interpretations of debunking (e.g., moral or ontological). The chapter therefore concludes with brief suggestions in that direction. (shrink)

Higher-order evidence appears to have the ability to defeat rational belief. It is not obvious, however, why exactly the defeat happens. In this paper, I consider two competing explanations of higher-order defeat: the “Objective Higher-Order Defeat Explanation” and the “Subjective Higher-Order Defat Explanation.” According to the former explanation, possessing sufficiently strong higher-order evidence to indicate that one’s belief about p fails to be rational is necessary and (...) sufficient for defeating one’s belief about p. I argue that this type of explanation is defective or at best collapses into the other type of explanation. According to the latter explanation, Believing that one’s belief about p fails to be rational (in response to higher-order evidence about p) is necessary and sufficient for defeating one’s belief about p. I argue that this type of explanation is better suited to explain higher-order defeat given that what one is rational to believe partly depends on the relations among one’s doxastic attitudes. Finally, I address an peculiar feature of the Subjective Higher-Order Defeat Explanation: higher-order defeat becomes contingent on one’s response to the higher-order evidence. (shrink)

Titelbaum Oxford studies in epistemology, 2015) has recently argued that the Enkratic Principle is incompatible with the view that rational belief is sensitive to higher-order defeat. That is to say, if it cannot be rational to have akratic beliefs of the form “p, but I shouldn’t believe that p,” then rational beliefs cannot be defeated by higher-order evidence, which indicates that they are irrational. In this paper, I distinguish two ways of understanding Titelbaum’s argument, and (...) argue that neither version is sound. The first version can be shown to rest on a subtle, but crucial, misconstrual of the Enkratic Principle. The second version can be resisted through careful consideration of cases of higher-order defeat. The upshot is that proponents of the Enkratic Principle are free to maintain that rational belief is sensitive to higher-order defeat. (shrink)

Recent authors have drawn attention to a new kind of defeating evidence commonly referred to as higher-order evidence. Such evidence works by inducing doubts that one’s doxastic state is the result of a flawed process – for instance, a process brought about by a reason-distorting drug. I argue that accommodating defeat by higher-order evidence requires a two-tiered theory of justification, and that the phenomenon gives rise to a puzzle. The puzzle is that at least in (...) some situations involving higher-order defeaters the correct epistemic rules issue conflicting recommendations. For instance, a subject ought to believe p, but she ought also to suspend judgment in p. I discuss three responses. The first resists the puzzle by arguing that there is only one correct epistemic rule, an Über-rule. The second accepts that there are genuine epistemic dilemmas. The third appeals to a hierarchy or ordering of correct epistemic rules. I spell out problems for all of these responses. I conclude that the right lesson to draw from the puzzle is that a state can be epistemically rational or justified even if one has what looks to be strong evidence to think that it is not. As such, the considerations put forth constitute a non question-begging argument for a kind of externalism. (shrink)

The paper proposes an account of the rational response to higher-order evidence whose key claim is that whenever we acquire such evidence we ought to engage in the inquiring activity of double-checking. Combined with a principle that establishes a connection between rational inquiry and rational belief retention, the account offers a novel explanation of the alleged impermissibility of retaining one’s belief in the face of higher-order evidence. It is argued that this explanation is superior to the (...) main competitor view which appeals to the notion of defeat. (shrink)

A critical survey of recent work in epistemology on higher-order evidence. It discusses the nature of higher-order evidence, some puzzles it raises, responses to those puzzles, and problems facing them. It concludes by indicating connections between debates concerning higher-order evidence in epistemology and parallel debates in ethics and aesthetics.

This chapter examines the ways in which the debates about the epistemic significance of disagreement are debates about the nature and impact of higher-order evidence.

Sometimes we get evidence of our own epistemic malfunction. This can come from finding out we’re fatigued, or have been drugged, or that other competent and well-informed thinkers disagree with our beliefs. This sort of evidence seems to seems to behave differently from ordinary evidence about the world. In particular, getting such evidence can put agents in a position where the most rational response involves violating some epistemic ideal.

This chapter provides a critical overview of several influential proposals about the epistemic function of higher-order evidence. I start by criticizing accounts of higher-order evidence that appeal to evidential defeat (§1), epistemic conflicts (§2), and unreasonable knowledge (§3). Next, I propose an alternative account that appeals to a combination of improper basing (§4) and non-ideal rationality (§5). Finally, I conclude by summarizing my reasons for preferring this account of higher-order evidence to the alternatives (...) (§6). (shrink)

Should you always be certain about what you should believe? In other words, does rationality demand higher-order certainty? First answer: Yes! Higher-order uncertainty can’t be rational, since it breeds at least a mild form of epistemic akrasia. Second answer: No! Higher-order certainty can’t be rational, since it licenses a dogmatic kind of insensitivity to higher-order evidence. Which answer wins out? The first, I argue. Once we get clearer about what higher-order (...) certainty is, a view emerges on which higher-order certainty does not, in fact, license any kind of insensitivity to higher-order evidence. The view as I will describe it has plenty of intuitive appeal. But it is not without substantive commitments: it implies a strong form of internalism about epistemic rationality, and forces us to reconsider standard ways of thinking about the nature of evidential support. Yet, the view put forth promises a simple and elegant solution to a surprisingly difficult problem in our understanding of rational belief. (shrink)

Abstract. This paper argues that the “Argument from Moral Peer Disagreement” fails to make a case for widespread moral skepticism. The main reason for this is that the argument rests on a too strong assumption about the normative significance of peer disagreement (and higher-order evidence more generally). In order to demonstrate this, I distinguish two competing ways in which one might explain higher-order defeat. According to what I call the “Objective Defeat Explanation” it (...) is the mere possession of higher-order evidence that explains defeat. I argue that this type of explanation is problematic and that it at best collapses into another explanation I call the “Subjective Defeat Explanation”. According to this explanation, it is coming to believe that one’s belief fails to be rational that explains defeat. Then I go on to argue that the Subjective Defeat Explanation is able to provide a straightforward explanation of higher-order defeat but that it entails that peer disagreement (and higher-order evidence more generally) only contingently gives rise to defeat, and importantly, that the condition it is contingent upon is very often not satisfied when it comes to moral peer disagreement specifically. As a result, it appears that moral knowledge is seldom threatened by moral peer disagreement. (shrink)

According to the seventh-century C.E. philosopher Kumārila Bhat.t.a, epistemic agents are warranted in taking their world-presenting experiences as veridical, if they lack defeaters. For him, these experiences are defeasibly sources of knowledge without the agent reflecting on their content or investigating their causal origins. This position is known as svatah prāmāṇya in Sanskrit (henceforth the SP principle). -/- As explicated by the eleventh-century commentator, Pārthasārathi Misŕa, this position entails that epistemic agents know things without simultaneously knowing that they know them, (...) or being in a position to know that they know. In contrast, some contemporary Anglo-analytic philosophers argue for the “knows-knows principle” (KK principle), in which if someone knows that p, then that person also knows that they know that p, or that person is in a position to know that they know p. Despite some apparent similarities, the SP principle is not a version of the KK principle, nor would Pārthasārathi’s Kumārila have held the KK principle. -/- Recently, Daniel Immerman (2018) has argued that the SP principle is a position-to-know version of the “knows-knows principle” (KK-pos principle). By examining Kumārila’s response to his Buddhist opponent, who challenges the veracity of Vedic testimony, we will see that Kumārila understands higher-order knowing as involving an independent check on one’s epistemic processes, through an epistemic instrument known as postulation (arthāpatti). This precludes him from holding the KK-pos principle. (shrink)

Higher‐order evidence can make an agent doubt the reliability of her reasoning. When this happens, it seems rational for the agent to adopt a cautious attitude towards her original conclusion, even in cases where the higher‐order evidence is misleading and the agent's original reasons were actually perfectly good. One may think that recoiling to a cautious attitude in the face of misleading self‐doubt involves a failure to properly respond to one's reasons. My aim is to show (...) that this is not so. My proposal is that (misleading) higher‐order evidence can undermine the agent's possession of her first‐order reasons, constituting what I call a dispossessing defeater. After acquiring the higher‐order evidence, the agent is no longer in a position to rely competently on the relevant first‐order considerations as reasons for her original conclusion, so that such reasons stop being available to her (even if they remain as strong as in the absence of the higher‐order evidence). In this way, an agent with misleading higher‐order evidence can adopt a cautious stance towards her original conclusion, while properly responding to the set of reasons that she possesses–a set that is reduced due to the acquisition of higher‐order dispossessing defeaters. (shrink)

In this paper, we propose a new theory of rationality defeat. We propose that defeaters are "indicators of ignorance", evidence that we’re not in a position to know some target proposition. When the evidence that we’re not in a position to know is sufficiently strong and the probability that we can know is too low, it is not rational to believe. We think that this account retains all the virtues of the more familiar approaches that characterise defeat in (...) terms of its connection to reasons to believe or to confirmation but provides a better approach to higher-order defeat. We also think that a strength of this proposal is that it can be embedded into a larger normative framework. On our account the no-defeater condition is redundant. We can extract our theory of defeat from our theory of what makes it rational to believe—it is rational to believe when it is sufficiently probable that our belief would be knowledge. Thus, our view can provide a monistic account of defeat, one that gives a unifying explanation of the toxicity of different defeaters that is grounded in a framework that either recognises knowledge as the norm of belief or identifies knowledge as the fundamental epistemic good that full belief can realise. (shrink)

Subjects who retain their beliefs in the face of higher-order evidence that those very beliefs are outputs of flawed cognitive processes are at least very often criticisable. Many think that this is because such higher-order evidence defeats various epistemic statuses such as justification and knowledge, but it is notoriously difficult to give an account of such defeat. This paper outlines an alternative explanation, stemming from some of my earlier work, for why subjects are criticisable for (...) retaining beliefs in the face of paradigm kinds of putatively defeating higher-order evidence: they manifest dispositions that are bad relative to a range of candidate epistemic successes such as true belief and knowledge. In particular, giving up belief in response to higher-order evidence only when that evidence is not misleading would require subjects to have dispositions that discriminate between cases in which their original cognitive processes is fine, and cases in which they merely seemed to be fine. But, I argue, such dispositions are not normally humanly feasible. I show that retaining belief in putative cases of defeat by higher-order evidence is problematic irrespective of whether veritism or some form of gnosticism is true. In the end I contrast my account of dispositional evaluations with similar-sounding ideas that have been put forth in the literature, such as consequentialist views that focus on instrumental means to success. (shrink)

I extend the Higher-Order View of Undermining Defeat (HOVUD) defended in Melis (2014) to account for the defeat of propositional justification. In doing so, I clarify the important notion of higher-order commitment, and I make some considerations concerning the defeat of externalist epistemic warrants.

Although there is disagreement about the details, John Pollock’s framework for defeat is now part of the received wisdom in analytic epistemology. Recently, however, cracks have appeared in the consensus, particularly on the understanding of undercutting defeat. While not questioning the existence of undercutting defeat, Scott Sturgeon argues that undercutting defeat operates differently from rebutting. Unlike the latter, undercutting defeat, Sturgeon claims, occurs only in conjunction with certain higher-order contributions, i.e., with beliefs about (...) the basis on which one does or would believe. Sturgeon concludes that Pollock misconceives undercutting defeat. I argue that in the case of defeat of inferential justification, undercutting defeat is a genuine phenomenon and takes roughly the shape Pollock suggests, not needing help from higher-order beliefs or justifications. However, I agree with Sturgeon that for noninferential justification the Pollockian account is in trouble. I try to explain why there should be this difference. This difference in defeaters has important implications for epistemology. In a final section, I use the defeat-related difference between inferential and noninferential justification to argue that there is less noninferential perceptual or testimonial justification than is commonly thought. (shrink)

I critically examine two features of Plantinga’s Reformed Epistemology. (i) If basic theistic beliefs are threatened by defeaters (of various kinds) and thus must be defended by higher-order defeaters in order to remain rational and warranted, are they still “properly basic”? (ii) Does Plantinga’s overall account offer an argument that basic theistic beliefs actually are warranted? I answer both questions in the negative.

We offer a critical evaluation of a recent proposal of E. Tal and J. Comesa\~na on the topic of when evidence of evidence constitutes evidence. After establishing that attempts of L. Moretti and W. Roche to discredit the proposal miss their mark, we fashion another, which does not.

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)

On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is (...) then shown how we can use pure higher-order logic to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to (...) a sui generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher- (...) class='Hi'>order and the property-theoretic questions may coincide sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a (...) minimal constraint on a reasonable treatment of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between (...) objects and functions. Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

My aim in this paper is to develop and defend a novel answer to a question that has recently generated a considerable amount of controversy. The question concerns the normative significance of peer disagreement. Suppose that you and I have been exposed to the same evidence and arguments that bear on some proposition: there is no relevant consideration which is available to you but not to me, or vice versa. For the sake of concreteness, we might picture.

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

In this paper I’ll suggest that a certain challenge facing defeatist views about higher-order evidence cannot be met, namely, motivating principles that recommend abandoning belief in cases of higher order defeat, but do not recommend global scepticism. I’ll propose that, ultimately, the question of whether to abandon belief in response to the realization that our belief can’t be recovered from what I’ll call ‘a perspective of doubt’ can’t be answered through rational deliberation aimed at truth (...) or accuracy. (shrink)

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

You have higher-order uncertainty iff you are uncertain of what opinions you should have. I defend three claims about it. First, the higher-order evidence debate can be helpfully reframed in terms of higher-order uncertainty. The central question becomes how your first- and higher-order opinions should relate—a precise question that can be embedded within a general, tractable framework. Second, this question is nontrivial. Rational higher-order uncertainty is pervasive, and lies at the (...) foundations of the epistemology of disagreement. Third, the answer is not obvious. The Enkratic Intuition---that your first-order opinions must “line up” with your higher-order opinions---is incorrect; epistemic akrasia can be rational. If all this is right, then it leaves us without answers---but with a clear picture of the question, and a fruitful strategy for pursuing it. (shrink)

In the contemporary epistemological literature, peer disagreement is often taken to be an instance of a more general phenomenon of “higher-order evidence.” Correspondingly, its epistemic significance is often thought to turn on the epistemic significance of higher-order evidence in general. This chapter attempts to evaluate this claim, and in doing so to clarify some points of unclarity in the current literature – both about what it is for evidence to be “higher-order,” and about the (...) relationship between disagreement and higher-order evidence. We will begin by considering some candidate definitions of “higher-order evidence,” and offering our own definition that attempts to capture the phenomenon of interest. We will then consider, in light of this definition, whether disagreement and its epistemic significance are best-understood as a kind of higher-order evidence. We’ll argue that although peer disagreement can be epistemically significant qua higher-order evidence, this role doesn’t exhaust its significance, and that it can also serve as straightforward first-order evidence. Finally, we’ll suggest that inattention to this latter point has made broadly conciliatory views about peer disagreement seem somewhat easier to resist than they in fact are. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that (...) higher-order realism does not in fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, (...) propositions, and identity, as well as on the metaphysics of modality. (shrink)

This paper concerns would-be necessary connections between doxastic attitudes about the epistemic statuses of your doxastic attitudes, or ‘higher-order epistemic attitudes’, and the epistemic statuses of those doxastic attitudes. I will argue that, in some situations, it can be reasonable for a person to believe p and to suspend judgment about whether believing p is reasonable for her. This will set the stage for an account of the virtue of intellectual humility, on which humility is a matter of (...) your higher-order epistemic attitudes. Recent discussions in the epistemology of disagreement have assumed that the question of the proper response to disagreement about p concerns whether you ought to change your doxastic attitude towards p. My conclusion here suggests an alternative approach, on which the question of the proper response to disagreement about p concerns the proper doxastic attitude to adopt concerning the epistemic status of your doxastic attitude towards p.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (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 what Birch (2022) calls the theory-heavy approach to investigating nonhuman-animal consciousness, we select one of the well-developed theories of consciousness currently debated within contemporary cognitive science and investigate whether animals exhibit the neural structures or cognitive abilities posited by that theory as sufficient for consciousness. Birch argues, however, that this approach is in general problematic because it faces what he dubs the dilemma of demandingness—roughly, that we cannot use theories that are based on the human case to assess (...) consciousness in nonhuman animals and vice versa. We argue here that, though this dilemma may problematize the application of many current accounts of consciousness to nonhuman animals, it does not challenge the use of standard versions of the higher-order thought theory (“HOTT”) of consciousness, according to which a creature is in a conscious mental state just in case it is aware of being in that state via a suitable higher-order thought (“HOT”). We show this in two ways. First, we argue that, unlike many extant theories of consciousness, HOTT is typically motivated by a commonsense, and more importantly, neutral condition on consciousness that applies to humans and animals alike. Second, we offer new empirical and theoretical reasons to think that many nonhuman animals possess the relevant HOTs necessary for consciousness. Considering these issues not only reveals the explanatory power of HOTT and some of its advantages over rival accounts, but also enables us to further extend and clarify the theory. (shrink)

Ambitious higher-order theories of consciousness aim to account for conscious states when these are understood in terms of what-it-is-like-ness. This paper considers two arguments concerning this aim, and concludes that ambitious theories fail. The misrepresentation argument against HO theories aims to show that the possibility of radical misrepresentation—there being a HO state about a state the subject is not in—leads to a contradiction. In contrast, the awareness argument aims to bolster HO theories by showing that subjects are aware (...) of all their conscious states. Both arguments hinge on how we understand two related notions which are ubiquitous in discussions of consciousness: those of what-it-is-like-ness and there being something it is like for a subject to be in a mental state. This paper examines how HO theorists must understand the two crucial notions if they are to reject the misrepresentation argument but assert the awareness argument. It shows that HO theorists can and do adopt an understanding—the HO reading—which seems to give them what they want. But adopting the HO reading changes the two arguments. On this reading, the awareness argument tells us nothing about those states there is something it is like to be in, and so offers no support to ambitious HO theories. And to respond to the misrepresentation understood according to the HO reading is to simply ignore the argument presented, and so to give no response at all. As things stand, we should deny that HO theories can account for what-it-is-like-ness. (shrink)

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...) general cortical network of cognition, a network essential for conscious experiences. Although subcortical circuits are not directly responsible for conscious feelings, they provide non-conscious inputs that coalesce with other kinds of neural signals in the cognitive assembly of conscious emotional experiences. In building the case for this proposal, we defend a modified version of what is known as the higher-order theory of consciousness. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher- (...) class='Hi'>order logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (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)

It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge (...) is possible in a sensitivity theory once this view is adopted. (shrink)

Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict, suggesting that there are rational dilemmas. This paper focuses on an often misunderstood and underexplored response to this (and similar) puzzles, the so-called conflicting-ideals view. Drawing on work from defeasible logic, I propose understanding this view as a move away from the default metaepistemological position according to (...) which rationality requirements are strict and governed by a strong, but never explicitly stated logic, toward the more unconventional view, according to which requirements are defeasible and governed by a comparatively weak logic. When understood this way, the response is not committed to dilemmas. (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.