The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law of excluded (...) middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

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)

We often form intentions to resist anticipated future temptations. But when confronted with the temptations our resolutions were designed to withstand, we tend to revise our previous evaluative judgments and conclude that we should now succumb—only to then revert to our initial evaluations, once temptation has subsided. Some evaluative judgments made under the sway of temptation are mistaken. But not all of them are. When the belief that one should now succumb is a proper response to relevant considerations that have (...) newly emerged, can acting in line with one’s previous intention nonetheless be practically rational? To answer this question, I draw on recent debates on the nature of higher-order evidence and on what rationally responding to such evidence involves. I propose that agents facing temptation often have evidence of “deliberative unreliability”, which they ought to heed even when it is “misleading” (that is, even when their evaluative judgments are in fact proper responses to the relevant considerations then available). Because evidence of deliberative unreliability can “dispossess” agents of normative reasons for evaluative judgments and actions that they would otherwise have, being continent despite judging that one should now succumb can often be more rational than giving in. (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)

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)

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

Evidentialism is the thesis that a person is justified in believing a proposition iff the person's evidence on balance supports that proposition. In discussing epistemological issues associated with disagreements among epistemic peers, some philosophers have endorsed principles that seem to run contrary to evidentialism, specifying how one should revise one's beliefs in light of disagreement. In this paper, I examine the connection between evidentialism and these principles. I argue that the puzzles about disagreement provide no reason to abandon evidentialism and (...) that there are no true general principles about justified responses to disagreement other than the general evidentialist principle. I then argue that the puzzles about disagreement are primarily puzzles about the evidential impact of higher - order evidence – evidence about the significance or existence of ordinary, or first- order, evidence. I conclude by arguing that such higher - order evidence can often have a profound effect on the justification of first- order beliefs. (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)

Higher-order evidence is, roughly, evidence of evidence. The idea is that evidence comes in levels. At the first, or lowest, evidential level is evidence of the familiar type—evidence concerning some proposition that is not itself about evidence. At a higher evidential level the evidence concerns some proposition about the evidence at a lower level. Only in relatively recent years has this less familiar type of evidence been explicitly identified as a subject of epistemological focus, and the work (...) on it remains relegated to a small circle of authors and a short stack of published articles—far disproportionate to the attention it deserves. It deserves to occupy center stage for several reasons. First, higher-order evidence frequently arises in a strikingly diverse range of epistemic contexts, including testimony, disagreement, empirical observation, introspection, and memory, among others. Second, in many of the contexts in which it arises, such evidence plays a crucial epistemic role. Third, the precise role it plays is complex, gives rise to a number of interesting epistemological puzzles, and for these reasons remains controversial and is not yet fully understood. As such, higher-order evidence merits systematic investigation. This thesis undertakes such an investigation. It aims to produce a thorough account of higher-order evidence—what it is, how it works, and its epistemic consequences. Chapter 1 serves as a general introduction to the topic and an overview of the existing literature, but primarily aims to further elucidate the concept of higher-order evidence and build a theoretical framework for later chapters. Chapter 2 develops an account of what I call “higher-order support”: the bearing higher-order evidence has, not on corresponding “lower-order evidence” (roughly, the evidence the higher-order evidence is about), but on corresponding “object-level propositions” (roughly, the propositions the higher-order evidence alleges the lower-order evidence to be about). Chapter 3 develops an account of “levels interaction”: the effect on overall support when the different evidential levels combine. Chapter 4 identifies important consequences of the theoretical results of the previous two chapters and applies the theory to four select cases of current epistemological controversy—testimony, memory, the closure of inquiry, and disagreement. (shrink)

First-order evidence is evidence which bears on whether a proposition is true. Higher-order evidence is evidence which bears on whether a person is able to assess her evidence for or against a proposition. A widespread view is that higher-order evidence makes a difference to whether it is rational for a person to believe a proposition. In this paper, I consider in what way higher-order evidence might do this. More specifically, I consider whether and (...) how higher-order evidence plays a role in determining what it is rational to believe distinct from that which first-order evidence plays. To do this, I turn to the theory of reasons, and try to situate higher-order evidence within it. The only place I find for it there, distinct from that which first-order evidence already occupies, is as a practical reason, that is, as a reason for desire or action. One might take this to show either that the theory of reasons is inadequate as it stands or that higher-order evidence makes no distinctive difference to what it is rational to believe. I tentatively endorse the second option. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of (...) mathematics, recent decades have shown remarkable comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

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)

In the interesting and thought-provoking article Grazziano and colleagues argue for their Attention Schema Theory (AST) of consciousness. They present AST as a unification of Global Workspace Theory (GWT), Illusionism, and the Higher-Order Thought (HOT) theory. We argue it is a mistake to equate 'subjective experience,' ad related terms, with dualism. They simply denote experience. Also, as presented, AST does not accurately capture the essence of HOT for two reasons. HOT is presented as a version of strong illusionism, (...) which it isn't, and HOT requires that one be aware of one's mental life, and postulates that his consists in a re-representation of what is occurring at at the lower-order levels. However, the authors deny that AST involves re-representing visual stimuli. We close by proposing an alternative unification: GWT and AST provide crucial accounts of how lower-order states are assembled and maintained, but higher-order theory provides the account of subjective experience. (shrink)

We often have reason to doubt our own ability to form rational beliefs, or to doubt that some particular belief of ours is rational. Perhaps we learn that a trusted friend disagrees with us about what our shared evidence supports. Or perhaps we learn that our beliefs have been afflicted by motivated reasoning or other cognitive biases. These are examples of higher-order evidence. While it may seem plausible that higher-order evidence should impact our beliefs, it (...) is less clear how and why. Normally, when evidence impacts our beliefs, it does so by virtue of speaking for or against the truth of theirs contents. But higher-order evidence does not directly concern the contents of the beliefs that they impact. In recent years, philosophers have become increasingly aware of the need to understand the nature and normative role of higher-order evidence. This is partly due to the pervasiveness of higher-order evidence in human life. But it has also become clear that higher-order evidence plays a central role in many epistemological debates, spanning from traditional discussions of internalism/externalism about epistemic justification to more recent discussions of peer disagreement and epistemic akrasia. This volume brings together, for the first time, a distinguished group of leading and up-and-coming epistemologists to explore a range of issues about higher-order evidence. (shrink)

The higher-order thought (HOT) theory of consciousness is a reductive representational theory of consciousness which says that what makes a mental state conscious is that there is a suitable HOT directed at that mental state. Although it seems that any neural realization of the theory must be somewhat widely distributed in the brain, it remains unclear just how widely distributed it needs to be. In section I, I provide some background and define some key terms. In section II, (...) I argue against the view that HOT theory should treat first-order (i.e. world-directed) conscious states as requiring prefrontal cortical activity though it is reasonable to suppose that conscious states are realized in the brain. In section III, I then explore some of the key background metaphysical issues involved in understanding the nature of consciousness, such as the debate between realism and idealism as well as the prospects for solving the so-called “hard problem” of consciousness. Some of the differences in question often mirror the traditional differences between Western and Eastern perspectives on the nature of consciousness. Overall, I argue that some form of realism and physicalism is more plausible than the opposing views. I also argue that materialists (and especially HOT theorists) can offer plausible replies to the hard problem. (shrink)

Abstract: To evaluate the explanation of change blindness in terms of misrepresentation and determine its role for Rosenthal’s higher-order thought theory of consciousness, we present an alternative account of change blindness that affords an independent outlook and provides a viable alternative. First we describe Rosenthal’s actualism and the notion of misrepresentation, then introduce change blindness and the explanation of it by misrepresentation. Rosenthal asserts that, in change blindness, the first-order state tracks the post-change stimulus, but the (...) class='Hi'>higher-order state misrepresents it. We propose the alternative that both post-change and pre-change content can be tracked by the first-order state, and that in change blindness the higher-order thought represents the pre-change state, resulting in a good-enough representation: true but not veridical. We compare the two explanations with respect to available data and analyse the principal theoretical claims. Discussing the rationale of the alternative account, we conclude that there is good reason to conceive of the mind as satisficing, geared towards reliability instead of truth-tracking, and guided by representations that are good enough as opposed to complete or corresponding to the facts. We end with some methodological remarks concerning the risk of cognitive biases in interdisciplinary research that brings together empirical and philosophical claims. (shrink)

This discussion treats a set of familiar social derelictions as consequences of the perversion of a universalistic moral theory in the service of an ill-considered or insufficiently examined personal agenda.The set includes racism, sexism, anti-Semitism, homophobia, and class elitism, among other similar pathologies, under the general heading of discrimination. The perversion of moral theory from which these derelictions arise, I argue, involves restricting its scope of application to some preferred subgroup of the moral community of human beings. -/- The following (...) analysis of higher-order discrimination suggests that we often select the individuals who constitute such subgroups for reasons that we ourselves would reject on moral grounds were we to examine them carefully, but that we choose instead to put our rational resources in the service of avoiding any such examination at all costs. The implication is that arguments that truncate the scope of moral theory in fact justify bestowing the gift of moral treatment on a select few who deserve it no more than the many from whom we withhold it. Therefore, it would be precipitous to conclude that universalistic moral theory can be legitimately restricted in its practical scope of application in any way at all. (shrink)

Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by (...) the Russell-Myhill paradox. A key issue will be the relationship between higher-order quantification in formal languages and quantification in English, in particular the questions whether such quantifiers are already to be found in English, and whether they could simply be added to English if not in order to gain expressive strength. I will conclude that little of metaphysical significance follows from this Russell-Myhill inspired argument against structure. The reason why the results of higher-order logic show little of metaphysical significance generalizes to other uses of higher-order logic in metaphysical theorizing, and with it supports that higher-order metaphysics is a flawed research program. I end with some reflections on what positive role formal tools like higher-order logic can have in metaphysics, and what the fundamental mistake is on which higher-order metaphysics is based. (shrink)

Theories of what it is for a mental state to be conscious must answer two questions. We must say how we're conscious of our conscious mental states. And we must explain why we seem to be conscious of them in a way that's immediate. Thomas Natsoulas distinguishes three strategies for explaining what it is for mental states to be conscious. I show that the differences among those strategies are due to the divergent answers they give to the foregoing questions. Natsoulas (...) finds most promising the strategy that amounts to the higher-order-thought hypothesis that I've defended elsewhere. But he raises a difficulty for it, which he thinks probably can be met only by modifying that strategy. I argue that this is unnecessary. The difficulty is a special case of a general question, the answer to which is independent of any issues about consciousness. So it's no part of a theory of consciousness to address the problem, much less solve it. Moreover, the difficulty seems to have intuitive force only given the picture that underlies the other two explanatory strategies, which both Natsoulas and I reject. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the simple observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the (...) search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

In a critical discussion, interlocutors can strategically maneuver by shading their expressed degree of standpoint commitment for rhetorical effect. When is such strategic shading reasonable, and when does it cross the line and risk fallacious derailment of the discussion? Analysis of President George W. Bush’s 2002–2003 prewar commentary on Iraq provides an occasion to explore this question and revisit Douglas Ehninger’s distinction between argumentation as coercive correction and argumentation as a person-risking enterprise. Points of overlap between Ehninger’s account and pragma-dialectical (...) argumentation theory suggest avenues for harmonization of rhetorical and dialectical perspectives on argumentation. Out of this conceptual convergence comes theoretical resources for understanding strategic maneuvering, by accounting for ways that discussants exploit gaps between their externalized and actual discussion attitude. As such higher-order strategic maneuvering played a major role in the 2003 Iraq prewar discourse failure, perspicacious understanding of this particular argumentative maneuver carries practical, as well as theoretical import. (shrink)

I present an empirically based argument for the plausibility of misrepresentation as posited by some higher-order theories of consciousness. The argument relies on the assumption that conscious states are generated by processes in the brain. The underlying idea is that if the brain generates conscious states then misrepresentation may occur. The reason for this is that brain states can be corrupted and, accordingly, a conscious state that is at least partly caused by a corrupted brain state may be (...) a misrepresentation. Our body of knowledge from cognitive and behavioral neuroscience lends support to the idea that corruption of neural states is both possible and relatively frequent. If this is the case, I argue, it is plausible that occasionally such corruption may result in misrepresentation. I support this claim by arguing that the most prevalent theoretical alternative to the occurrence of misrepresentation—the so-called no-consciousness reply—seems less supported by our current knowledge in the domain of consciousness and cognition. This way of arguing for misrepresentation is different from other empirically based arguments in the debate because it is a meta-level argument resting on a general premise that most participants in the debate can accept. (shrink)

No-platforming—the refusal to allow those who espouse views seen as inflammatory the opportunity to speak in certain forums—is very controversial. Proponents typically cite the possibility of harms to disadvantaged groups and, sometimes, epistemically paternalistic considerations. Opponents invoke the value of free speech and respect for intellectual autonomy in favor of more open speech, arguing that the harms that might arise from bad speech are best addressed by rebuttal, not silencing. In this article, I argue that there is a powerful consideration (...) in favor of no-platforming some speakers: allowing them a platform generates genuine higher-order evidence in favor of their claims. When that higher-order evidence would be misleading, we may reasonably believe it should not be generated. (shrink)

According to the Higher-Order Thought (HOT) theory of consciousness, conscious states are just those states that are the object of a suitable higher-order thought to the effect that one is in that state. These higher-order thoughts perform this role by providing subjects with a particular type of _awareness_. However, HOT theorists have tended to offer two alternative formulations of this awareness when stating the basic claims of HOT theory. According to what I call the (...) _state formulation_ of HOT theory, HOTs provide subjects with an awareness of _mental states_, and a mental state is conscious only if the subject is aware of that state. According to what I call the _oneself formulation_ of HOT theory, HOTs provide subjects with an awareness of _themselves as being in a mental state_, and a mental state is conscious only if the subject is aware of themselves as being in that state. In this paper I explore the dialectical significance and legitimacy of HOT theorists’ current practice of employing both formulations. I argue that there is some reason for HOT theorists to adopt the oneself formulation, rather than the state formulation. However, this appears to weaken HOT theory considerably, by abandoning the idea that when our mental states are conscious, we are aware of those states themselves. Against this objection I argue that adopting the oneself formulation does not require abandoning the basic idea lying behind the state formulation and that this is consistent with the reasons for favouring the oneself formulation. (shrink)

The cognitive critique of the goals and desires that are input into the implicit calculations that result in instrumental rationality is one aspect of what has been termed broad rationality (Elster, 1983). This cognitive critique involves, among other things, the search for rational integration (Nozick, 1993)—that is, consistency between first-order and second-order preferences. Forming a second-order preference involves metarepresentational abilities made possible by mental decoupling operations. However, these decoupling abilities are separable from the motive that initiates the (...) cognitive critique itself. I argue that Velleman (1992) has identified that motive (“the desire to act in accordance with reasons”), and that it might be operationalisable as a thinking disposition at a very superordinate cognitive level. This thinking disposition, the Master Rationality Motive, is likely to be of particular importance in explaining individual differences in the tendency to seek rational integration. Preliminary research on related constructs suggests that this construct is measurable. (shrink)

This paper sketches a general account of how to respond in an epistemically rational way to moral disagreement. Roughly, the account states that when two parties, A and B, disagree as to whether p, A says p while B says not-p, this is higher-order evidence that A has made a cognitive error on the first-order level of reasoning in coming to believe that p. If such higher-order evidence is not defeated, then one rationally ought (...) to reduce one’s confidence with respect to the proposition in question. We term this the higher-order evidence account, and present it as a superior to what we might call standard conciliationism, which holds that when agents A and B disagree about p, and are epistemic peers, they should both suspend judgement about p or adjust their confidence towards the mean of A and B’s prior credences in p. Many have suspected that standard conciliationism is implausible and may have skeptical implications. After presenting the HOE account, we put it to work by applying it to a range of cases of moral disagreement, including those that have feature in recent debates assuming standard conciliationism. We show that the HOE account support reasonable, non-skeptical verdicts in a range of cases. Note that this is a paper on moral disagreement, not on the HOE account, thus the account is merely stated here, while defended more fully elsewhere. (shrink)

A normative reason for a person to? is a consideration which favours?ing. A motivating reason is a reason for which or on the basis of which a person?s. This paper explores a connection between normative and motivating reasons. More specifically, it explores the idea that there are second-order normative reasons to? for or on the basis of certain first-order normative reasons. In this paper, I challenge the view that there are second-order reasons so understood. I then show (...) that prominent views in contemporary epistemology are committed to the existence of second-order reasons, specifically, views about the epistemic norms governing practical reasoning and about the role of higher-order evidence. If there are no second-order reasons, those views are mistaken. (shrink)

Are the circumstances in which moral testimony serves as evidence that our judgement-forming processes are unreliable the same circumstances in which mundane testimony serves as evidence that our mundane judgement-forming processes are unreliable? In answering this question, we distinguish two possible roles for testimony: (i) providing a legitimate basis for a judgement, (ii) providing (‘higher-order’) evidence that a judgement-forming process is unreliable. We explore the possibilities for a view according to which moral testimony does not, in contrast to (...) mundane testimony play role (i), but can play role (ii). We argue that standard motivations for rejecting this hybrid position are unpersuasive but suggest that a more compelling reason might be found in considering the social nature of morality. (shrink)

Discussions of higher-order vagueness rarely define what it is for a term to have nth-order vagueness for n>2. This paper provides a rigorous definition in a framework analogous to possible worlds semantics; it is neutral between epistemic and supervaluationist accounts of vagueness. The definition is shown to have various desirable properties. But under natural assumptions it is also shown that 2nd-order vagueness implies vagueness of all orders, and that a conjunction can have 2nd-order vagueness even (...) if its conjuncts do not. Relations between the definition and other proposals are explored; reasons are given for preferring the present proposal. (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)

We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.

We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.

Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by (...) the Russell-Myhill paradox. A key issue will be the relationship between higher-order quantification in formal languages and quantification in English, in particular the questions whether such quantifiers are already to be found in English, and whether they could simply be added to English if not in order to gain expressive strength. I will conclude that little of metaphysical significance follows from this Russell-Myhill inspired argument against structure. The reason why the results of higher-order logic show little of metaphysical significance generalizes to other uses of higher-order logic in metaphysical theorizing, and with it supports that higher-order metaphysics is a flawed research program. I end with some reflections on what positive role formal tools like higher-order logic can have in metaphysics, and what the fundamental mistake is on which higher-order metaphysics is based. (shrink)

Higher-order theories of consciousness posit that a mental state is conscious by virtue of being represented by another mental state, which is therefore a higher-order representation (HOR). Whether HORs are construed as thoughts or experiences, higher-order theorists have generally contested whether such metarepresentations have any significant cognitive function. In this paper, I argue that they do, focusing on the value of conscious thinking, as distinguished from conscious perceiving, conscious feeling, and other forms of conscious (...) mentality. A thinking process is constituted by propositional-attitude states, and during conscious thinking some or all of these states would be targeted by HORs. Since cases of nonconscious thinking are widely accepted, the question arises as to the use of representing one's thoughts during thinking. Contra the views of Armstrong and Rolls, I argue that HORs do not facilitate first-order thinking. Rather, I propose that such representations enable reasoning about one's act of thinking, and I give various examples of this sort of metacognition in support of the theory. I further argue that the general correlation between complex thinking and its being conscious is merely due to the fact that assessing one's mental act is particularly useful during such thinking, not because consciousness somehow facilitates first-order inference-making, as folk psychology implies. My view is thus consistent with recent empirical evidence that complex thinking sometimes yields better results when nonconscious. (shrink)

Reasoning about what other people know is an important cognitive ability, known as epistemic reasoning, which has fascinated psychologists, economists, and logicians. In this paper, we propose a computational model of humans’ epistemic reasoning, including higher-order epistemic reasoning—reasoning about what one person knows about another person’s knowledge—that we test in an experiment using a deductive card game called “Aces and Eights”. Our starting point is the model of perfect higher-order epistemic reasoners (...) given by the framework of dynamic epistemic logic. We modify this idealized model with bounds on the level of feasible epistemic reasoning and stochastic update of a player’s space of possibilities in response to new information. These modifications are crucial for explaining the variation in human performance across different participants and different games in the experiment. Our results demonstrate how research on epistemic logic and cognitive models can inform each other. (shrink)

Over many years and in many publications David Rosenthal has developed, defended and applied his justly well-known higher-order thought theory of consciousness.2 In this paper I explain the theory, then provide a brief history of a major objection to it. I suggest that this objection is ultimately ineffectual, but that behind it lies a reason to look beyond Rosenthal's theory to another sort of HOT theory. I then offer my own HOT theory as a suitable alternative, before concluding (...) in a final section. Resumo Durante muitos anos, e em muitas publicações, David Rosenthal desenvolveu, defendeu e aplicou sua justamente reconhecida teoria da consciência, intitulada high-order thought. Neste artigo, explico a teoria e, em seguida, forneço uma breve história de uma objeção maior feita a ela. Sugiro que essa objeção é, em última análise, ineficaz, mas que por trás disso há uma razão para olhar além da teoria de Rosenthal, para outro tipo de teoria HOT. Então ofereço minha própria teoria HOT como uma alternativa adequada, antes de concluir, em uma seção final, a respeito de questões filosóficas aqui envolvidas. (shrink)

The Self-Intimation thesis has it that whatever justificatory status a proposition has, i.e., whether or not we are justified in believing it, we are justified in believing that it has that status. The Infallibility thesis has it that whatever justificatory status we are justified in believing that a proposition has, the proposition in fact has that status. Jointly, Self-Intimation and Infallibility imply that the justificatory status of a proposition closely aligns with the justification we have about that justificatory status. Self-Intimation (...) has two noteworthy implications. First, assuming that we never have sufficient justification for a proposition and for its negation, we can derive Infallibility from Self-Intimation. Interestingly, there seems to be no equivalently simple way to derive Self-Intimation from Infallibility. This asymmetry provides reason for thinking that bottom-level justification rather than top-level justification drives the explanation for why the levels of justification align. Second, Self-Intimation suggests a counterintuitive treatment of information concerning what justificatory status a proposition has. It follows from Self-Intimation that we always have justification for the truth about whether a proposition is justified for us, and therefore, that higher-order evidence could change what we should believe on this matter only by misleading us. This permits forming beliefs about whether a proposition is justified for us without regard to higher-order evidence, and thus reveals a reason for thinking that top-level justification is evidentially inert. (shrink)

Our aim in this paper is to evaluate Frank Jackson and Philip Pettit’s ‘program explanation’ framework as an account of the autonomy of the special sciences. We argue that this framework can only explain the autonomy of a limited range of special science explanations. The reason for this limitation is that the framework overlooks a distinction between two kinds of properties, which we refer to as ‘higher-level’ and ‘higher-order’ properties. The program explanation framework can account for the autonomy (...) of special science explanations that appeal to higher-level properties but it does not account for the autonomy of most of those explanations that appeal to higher-order properties. (shrink)

Computational models will play an important role in our understanding of human higher‐order cognition. How can a model's contribution to this goal be evaluated? This article argues that three important aspects of a model of higher‐order cognition to evaluate are (a) its ability to reason, solve problems, converse, and learn as well as people do; (b) the breadth of situations in which it can do so; and (c) the parsimony of the mechanisms it posits. This article (...) argues that fits of models to quantitative experimental data, although valuable for other reasons, do not address these criteria. Further, using analogies with other sciences, the history of cognitive science, and examples from modern‐day research programs, this article identifies five activities that have been demonstrated to play an important role in our understanding of human higher‐order cognition. These include modeling within a cognitive architecture, conducting artificial intelligence research, measuring and expanding a model's ability, finding mappings between the structure of different domains, and attempting to explain multiple phenomena within a single model. (shrink)