Panqualityism, recently defended by Sam Coleman, is a variety of Russellian monism on which the categorical properties of fundamental physical entities are qualities, or, in Coleman’s exposition, unconscious qualia. Coleman defends a quotationalist, higher-order thought version of panqualityism. The aim of this paper is, first, to demonstrate that a first-order representationalist panqualityism is also available, and to argue positively in its favor. For it shall become apparent that quotationalist and first-order representationalist panqualityism are, in spite of (...) their close similarities, radically different theories: quotationalist panqualityism locates qualities in the subject of an experience, while first-order panqualityism locates qualities in the world. I argue that this makes quotationalist panqualityism implausible and first-order, representationalist panqualityism a highly natural, elegant, and intuitive theory. (shrink)

Many theorists maintain that perceptual experience exhibits the what is often called the phenomenology of particularity: that in perceptual experience it phenomenally seems that there are particular things. Some urge that this phenomenology demands special accounts of perception on which particulars somehow constitute perceptual experience, including versions of relationalism, on which perception is a relation between perceivers and particular perceived objects, or complex forms of representationalism, on which perception exhibits demonstrative or special particular-involving types of content. I argue here (...) that no such account required. I develop and defend a novel account of such phenomenology, grounded in the higher-order theory of consciousness. In short, this view holds that the phenomenology of particularity arises because suitable higher-order states make it appear to one that one is in perceptual relations to particulars, even if perception is not in any way constituted by particulars. I argue that this account has many advantages and avoids problems that other theories of such phenomenology face. (shrink)

David Rosenthal explains conscious mentality in terms of two independent, though complementary, theories—the higher-order thought (“HOT”) theory of consciousness and quality-space theory (“QST”) about mental qualities. It is natural to understand this combination of views as constituting a kind of representationalism about experience—that is, a version of the view that an experience’s conscious character is identical with certain of its representational properties. At times, however, Rosenthal seems to resist this characterization of his view. We explore here whether (...) and to what extent it makes sense to construe Rosenthal’s views as representationalist. Our goal is not merely terminological—discerning how best to use the expression ‘representationalism’. Rather, we argue that understanding Rosenthal’s account as a kind of representationalism permits us not only to make sense of broader debates within the philosophy of mind, but also to extend and clarify aspects of the view itself. (shrink)

It is often said that some kind of peripheral (or inattentional) conscious awareness accompanies our focal (attentional) consciousness. I agree that this is often the case, but clarity is needed on several fronts. In this paper, I lay out four distinct theses on peripheral awareness and show that three of them are true. However, I then argue that a fourth thesis, commonly associated with the so-called "self-representational approach to consciousness," is false. The claim here is that we have outer focal (...) consciousness accompanied often (or even always) by inner peripheral (self-)awareness. My criticisms stem from both methodological and phenomenological considerations. In doing so, I offer a diagnosis as to why the fourth thesis has seemed true to so many and also show how the so-called "transparency of experience," frequently invoked by representationalists, is importantly relevant to my diagnosis. Finally, I respond to several objections and to further attempts to show that thesis four is true. What emerges is that if one wishes to hold that some form of self-awareness accompanies all outer-directed conscious states, one is better off holding that such self-awareness is itself unconscious, as is held for example by standard higher-order theories of consciousness. (shrink)

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

In this paper I consider recent discussions within the representationalist theories of phenomenal consciousness, in particular, the discussions between first order representationalism (FOR) and higher order representationalism (HOR). I aim to show that either there is only a terminological dispute between them or, if the discussion is not simply terminological, then HOR is based on a misunderstanding of the phenomena that a theory of phenomenal consciousness should explain. First, I argue that we can defend first (...) order representationalism from Carruthers' attacks and ignore higher order thoughts in our account of phenomenal consciousness. Then I offer a diagnostic of Carruthers' misunderstanding. In the last section I consider further reasons to include mindreading abilities in an explanation of phenomenal consciousness. (shrink)

In order to meet the explanatory challenge levelled against non-representationalist views on cognition, radical enactivists claim that cognition about potentially absent targets involves the socioculturally scaffolded capacity to manipulate public symbols. At a developmental scale, this suggests that higher cognition gradually emerges as humans begin to master language use, which takes place around the third year of life. If, however, it is possible to show that pre-linguistic infants represent their surroundings, then the radical enactivists’ explanation for the emergence (...) of higher cognition is defeated. In this paper, I critically assess experiments designed to show that pre-linguistic infants inherit representational abilities. I begin by outlining these experiments in Sect. 2. In Sect. 3, I argue that these experiments only succeed in supporting widespread representationalism by committing a particular kind of circular reasoning, which I call conjunctivist reasoning due to its origins in the debates about the nature of perception. I conclude by developing two independent yet congruent enactivist lines of interpretation for the experiments discussed in 2. I explain the infants’ responses to atypical experimental conditions based on agent-environment codetermination and then I argue that surprise behavior can be explained in terms of embodied habits and unfulfilled anticipation. (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)

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)

Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse an influential line (...) of argument from the "higher-order evidence" debate, which purports to show that it would be dogmatic, even for a cognitively infallible agent, to refuse to revise her beliefs about logical matters in response to evidence indicating that those beliefs are irrational. Second, I defend this "anti-dogmatism" argument against two responses put forth by Declan Smithies and David Christensen. Against Smithies’ response, I argue that it leads to irrational self-ascriptions of epistemic luck, and that it obscures the distinction between propositional and doxastic justification. Against Christensen’s response, I argue that it clashes with one of two attractive deontic principles, and that it is extensionally inadequate. Taken together, these criticisms will suggest that the connection between logic and rationality cannot be what it is standardly taken to be—ideal rationality does not require logical omniscience. (shrink)

Suppose we learn that we have a poor track record in forming beliefs rationally, or that a brilliant colleague thinks that we believe P irrationally. Does such input require us to revise those beliefs whose rationality is in question? When we gain information suggesting that our beliefs are irrational, we are in one of two general cases. In the first case we made no error, and our beliefs are rational. In that case the input to the contrary is misleading. In (...) the second case we indeed believe irrationally, and our original evidence already requires us to fix our mistake. In that case the input to that effect is normatively superfluous. Thus, we know that information suggesting that our beliefs are irrational is either misleading or superfluous. This, I submit, renders the input incapable of justifying belief revision, despite our not knowing which of the two kinds it is. (shrink)

In this paper it is argued that existing ‘self-representational’ theories of phenomenal consciousness do not adequately address the problem of higher-order misrepresentation. Drawing a page from the phenomenal concepts literature, a novel self-representational account is introduced that does. This is the quotational theory of phenomenal consciousness, according to which the higher-order component of a conscious state is constituted by the quotational component of a quotational phenomenal concept. According to the quotational theory of consciousness, phenomenal concepts help (...) to account for the very nature of phenomenally conscious states. Thus, the paper integrates two largely distinct explanatory projects in the field of consciousness studies: (i) the project of explaining how we think about our phenomenally conscious states, and (ii) the project of explaining what phenomenally conscious states are in the first place. (shrink)

This paper bridges art history and consciousness studies and investigates the network of gazes and frames in Las Meninas and how this engages with a system of higher-order thoughts and reflexive operations.

Many philosophers and scientists have argued that the difference between phenomenally conscious states and other kind of states lies in the implicit self-awareness that conscious states have. Higher-Order Representationalist theories, attempt to explain such a self-awareness by means of a higher-order representation. Consciousness relies on our capacity to represent our own mental states, consciousness depends on our Theory of Mind. Such an ability can, at least conceptually, be decomposed into another two: mindreading and metacognition. In this (...) paper I will argue that consciousness cannot depend on mindreading. The tenability of HOR theories depends, therefore, on the relation between mindreading and metacognition. I analyze several views on such a relation and argue that none of them seem to be a plausible option for HOR theories. (shrink)

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context (...) of a conscious mental state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (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)

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)

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

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)

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

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.

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)

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)

In nearly forty years’ of work, Simon Blackburn has done more than anyone to expand our imaginations about the aspirations for broadly projectivist/expressivist theorizing in all areas of philosophy. I know that I am far from alone in that his work has often been a source of both inspiration and provocation for my own work. It might be tempting, in a volume of critical essays such as this, to pay tribute to Blackburn’s special talent for destructive polemic, by seeking to (...) take down that by which I’ve been most provoked over the years. But Blackburn’s biting wit has both more wit and more bite than I could hope to emulate. So instead I’ll try to emulate here what I’ve admired the most about Blackburn – the constructive vein of much of his work. (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.

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.

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)

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)

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)

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)

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)

One popular approach to theorizing about phenomenal consciousness has been to connect it to representations of a certain kind. Representational theories of consciousness can be further sub-divided into first-order and higher-order theories. Higher-order theories are often interpreted as invoking a special relation between the first-order state and the higher-order state. However there is another way to interpret higher-order theories that rejects this relational requirement. On this alternative view phenomenal consciousness consists (...) in having suitable higher-order representations. I call this ‘HOROR’ (‘Higher-Order Representation Of a Representation’) theory to distinguish it from relational versions of higher- order theory. In this paper I make the case that HOROR theory is a plausible account of the real nature of phenomenal consciousness whatever one’s views are about whether it is physical/reducible or not. I first clarify HOROR theory and compare it to the more traditional same-order and higher-order thought theories. Afterwards I move to presenting some considerations in favor of HOROR theory. (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)

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)

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.

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)

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)

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)

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)

Aesthetic subjectivism takes the truth of aesthetic judgments to be relative to the individual making that judgment. Despite widespread suspicion, however, this does not mean that one cannot be wrong about such judgments. Accordingly, this does not mean that one cannot gain higher-order evidence of error and fallibility that bears on the rationality of the aesthetic judgment in question. In this paper, we explain and explore these issues in some detail.

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)

A discussion on this so debatable and debated concept, Higher Order Vagueness. After going through the issues that make Higher Order Vagueness an object of scientific attention, we conclude that vagueness is undesirable in logical systems but desirable in language, and the Semiotics Universe splits into three other universes inside of the universe of the Computer Science Systems. We create a new way of addressing problems with sigmatoids, and define vagueness in an almost mathematical fashion.

Conscious mental states are states we are in some way aware of. I compare higher-order theories of consciousness, which explain consciousness by appeal to such higher-order awareness (HOA), and first-order theories, which do not, and I argue that higher-order theories have substantial explanatory advantages. The higher-order nature of our awareness of our conscious states suggests an analogy with the metacognition that figures in the regulation of psychological processes and behaviour. I argue (...) that, although both consciousness and metacognition involve higher-order psychological states, they have little more in common. One thing they do share is the possibility of misrepresentation; just as metacognitive processing can misrepresent one’s cognitive states and abilities, so the HOA in virtue of which one’s mental states are conscious can, and sometimes does, misdescribe those states. A striking difference between the two, however, has to do with utility for psychological processing. Metacognition has considerable benefit for psychological processing; in contrast, it is unlikely that there is much, if any, utility to mental states’ being conscious over and above the utility those states have when they are not conscious. (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)

Currently, one of the most influential theories of consciousness is Rosenthal's version of higher-order-thought (HOT). We argue that the HOT theory allows for two distinct interpretations: a one-component and a two-component view. We further argue that the two-component view is more consistent with his effort to promote HOT as an explanatory theory suitable for application to the empirical sciences. Unfortunately, the two-component view seems incapable of handling a group of counterexamples that we refer to as cases of radical (...) confabulation. We begin by introducing the HOT theory and by indicating why we believe it is open to distinct interpretations. We then proceed to show that it is incapable of handling cases of radical confabulation. Finally, in the course of considering various possible responses to our position, we show that adoption of a disjunctive strategy, one that would countenance both one-component and two-component versions, would fail to provide any empirical or explanatory advantage. (shrink)

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)