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)

This paper makes a comparison between naturalist and non-naturalist theories of consciousness with respect to their explanatory merits. It focuses on David Rosenthal's higher-order thought theory, arguing that the motives for higher-order theories are based on a confusion of three distinct meanings of the term 'intrinsic'. The explanatory power of HOT theories is compared with that of an alternative nonrepresentational theory, offered as an example of a naturalistic account. The latter is found overall to have more (...) virtues and less shortcomings that the higher-order theory. (shrink)

We seem to experience time as flowing. Yet according to the leading metaphysical picture of time, the block-universe theory, time in fact does not flow. Block-lovers typically react to this apparent tension by unhitching the sense of flow in our temporal experience from temporal reality, holding that temporal experience is systematically illusory. I shall develop a new block-friendly account of the sense of flow, which preserves a match of temporal experience and temporal reality. According to this account, the sense of (...) flow arises from higher-order temporal experience. (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)

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

Situation theory, as developed by Barwise and his collaborators, is used to demonstrate the possibility of defining teleology (and related notions, like that of proper or biological function) in terms of higher order causation, along the lines suggested by Taylor and Wright. This definition avoids the excessive narrowness that results from trying to define teleology in terms of evolutionary history or the effects of natural selection. By legitimating the concept of teleology, this definition also provides promising new avenues (...) for solving long standing problems in the philosophy of mind, such as the problems of intentionality and mental causation. (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 theories purport to account for the conscious character of such states in terms of higher‐order representations. This chapter focuses on three classes of higher‐order theory of phenomenal consciousness, including inner‐sense theory, actualist higher‐order thought theory, and dispositionalist higher‐order thought theory. All three of these higher‐order theories purport to offer reductive explanations of phenomenal consciousness. Inner‐sense theory has important positive virtues, but faces problems; whereas actualist higher‐order (...) thought theory avoids those problems, but at the cost of losing the positive virtues. Actualist higher‐order thought theory has the advantage that no special organs or mechanisms need to be postulated. Dispositionalist higher‐order thought theory claims to split the difference, providing an account that has all of the advantages of inner‐sense theory with none of the flaws. The success of dispositionalist higher‐order thought theory is premised upon the existence of dual analog contents. (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)

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)

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)

ABSTRACT I begin by developing a challenge for the Higher-Order Thought variant of Higher-Order representational theories of consciousness. The challenge is to account for the distinctive phenomenal character of visual experience—its presentational character. After setting out the challenge, I articulate a novel form of Higher-Order theory that can account for presentational character—the Map Theory of consciousness. The theory’s distinctive claim is that the relevant higher-order representations have a cartographic format.

One of the distinctive properties of conscious states is the peculiar self- awareness implicit in them. Two rival accounts of this self-awareness are discussed. According to a Neo-Brentanian account, a mental state M is conscious iff M represents its very own occurrence. According to the Higher-Order Monitoring account, M is merely accompanied by a numerically distinct representation of its occurrence. According to both, then, M is conscious in virtue of figuring in a higher-order content. The (...) disagreement is over the question whether the higher-order content is carried by M itself or by a differ- ent state. While the Neo-Brentanian theory is phenomenologically more attractive, it is often felt to be somewhat mysterious. It is argued that the difference between the Neo- Brentanian and Higher-Order Monitoring theories is smaller and more empirical than may initially seem, and that the Neo-Brentanian theory can be readily demystified. These considerations make it prima facie preferable to the Higher-Order Monitoring theory. (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)

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

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory, (...) an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined. (shrink)

George Boolos's employment of plurals to give an ontologically innocent interpretation of monadic higher‐order quantification continues and extends a minority tradition in thinking about quantification and ontological commitment. An especially prominent member of that tradition is Stanislaw Leśniewski, and shall first draw attention to this work and its relation to that of Boolos. Secondly I shall stand up briefly for plurals as logically respectable expressions, while noting their limitations in offering ontologically deflationary accounts of higher‐order (...) quantification. Thirdly I shall focus on the key idea of ontological commitment and investigate its connection with the idea of truth‐making. Fourthly I shall consider how different interpretations of quantification may sideline Boolos's work, but finally I shall largely support his analysis of quantification involving nominal expressions, while arguing, in the spirit of Arthur Prior, that non‐nominal quantification is non‐committing. (shrink)

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

According to the KK-principle, knowledge iterates freely. It has been argued, notably in Greco, that accounts of knowledge which involve essential appeal to normality are particularly conducive to defence of the KK-principle. The present article evaluates the prospects for employing normality in this role. First, it is argued that the defence of the KK-principle depends upon an implausible assumption about the logical principles governing iterated normality claims. Once this assumption is dropped, counter-instances to the principle can be expected to (...) arise. Second, it is argued that even if the assumption is maintained, there are other logical properties of normality which can be expected to lead to failures of KK. Such failures are noteworthy, since they do not depend on either a margins-for-error principle or safety condition of the kinds Williamson appeals to in motivating rejection KK. “Introduction: KK and Being in a Position to Know” Section formulates two versions of the KK-Principle; “Inexact Knowledge and Margins for Error” Section presents a version of Williamson’s margins-for-error argument against it; “Knowledge and Normality” and “Iterated Normality” Sections discuss the defence of the KK-Principle due to Greco and show that it is dependent upon the implausible assumption that the logic of normality ascriptions is at least as strong as K4; finally, “Knowledge in Abnormal Conditions” and “Higher-Order Ignorance Inside the Margins” Sections argue that a weakened version of Greco’s constraint on knowledge is plausible and demonstrate that this weakened constraint will, given uncontentious assumptions, systematically generate counter-instances to the KK-principle of a novel kind. (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)

In Bad Beliefs, Levy presents a picture of belief-forming processes according to which, on most matters of significance, we defer to reliable sources by relying extensively on cultural and social cues. Levy conceptualizes the kind of evidence provided by socio-cultural environments as higher-order evidence. But his notion of higher-order evidence seems to differ from those available in the epistemological literature on higher-order evidence, and this calls for a reflection on how exactly social and cultural (...) cues are/count as/provide higher-order evidence. In this paper, I draw on the three-tiered model of epistemic exchange that I have been developing recently, which highlights the centrality of relations of attention and trust in belief-forming processes, to explicate how social and cultural cues provide higher-order evidence. I also argue that Levy’s account fails to sufficiently address the issue of strategic actors who have incentives to pollute epistemic environments for their benefit, and more generally the power struggles, incentives, and competing interests that characterize human sociality. Levy’s attempted reduction of the political to the epistemic ultimately fails, but his account of social and cultural cues as higher-order evidence offers an insightful perspective on epistemic social structures. (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). (shrink)

Vogel, Sosa, and Huemer have all argued that sensitivity is incompatible with knowing that you do not believe falsely, therefore the sensitivity condition must be false. I show that this objection misses its mark because it fails to take account of the basis of belief. Moreover, if the objection is modified to account for the basis of belief then it collapses into the more familiar objection that sensitivity is incompatible with closure.

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)

Meehan finds fault with a number of my arguments, and proposes that better solutions to the problems I was addressing are available if we adopt a higher-order theory of consciousness. I start with some general remarks on theories of this sort. I connect what I had to say about the A-thesis with different forms of higher-order sense theories, and explain why I ignored higher-order thought theories altogether: there are compelling grounds for thinking they cannot (...) provide a viable account of phenomenal unity in phenomenal terms. Meehan. (shrink)

In most cases, a wh-question calls for an answer that names an entity in the set denoted by the extension of the wh-complement. However, evidence from questions with necessity modals and questions with collective predicates argues that sometimes a wh-question must be interpreted with a higher-order reading, in which this question calls for an answer that names a generalized quantifier. This paper investigates the distribution and compositional derivation of higher-order readings of wh-questions. First, I argue that (...) the generalized quantifiers that can serve as semantic answers to wh-questions must be homogeneously positive. Next, on the distribution of higher-order readings, I observe that questions in which the wh-complement is singular-marked or numeral-modified can be answered by elided disjunctions but not by conjunctions. I further present two ways to account for this disjunction–conjunction asymmetry. In the uniform account, these questions admit disjunctions because disjunctions may satisfy the atomicity requirement of singular-marking and the cardinality requirement of numeral modification. In the reconstruction account, the wh-complement is syntactically reconstructed, which gives rise to local uniqueness and yields a contradiction for conjunctive answers. (shrink)

Evidentialism as an account of theoretical rationality is a popular and well-defended position. However, recently, it's been argued that misleading higher-order evidence (HOE) – that is, evidence about one's evidence or about one's cognitive functioning – poses a problem for evidentialism. Roughly, the problem is that, in certain cases of misleading HOE, it appears evidentialism entails that it is rational to adopt a belief in an akratic conjunction – a proposition of the form “p, but my evidence doesn't (...) support p” – despite it being the case that believing an akratic conjunction appears to be clearly irrational. In this paper, I diffuse the problem for evidentialism using the distinction between propositional and doxastic rationality. I argue that, although it can be propositionally rational to believe an akratic conjunction (according to evidentialism), one cannot inferentially base an akratic belief in one's evidence, and, thus, one cannot doxastically rationally possess an akratic belief. In addition, I address the worry that my solution to the puzzle commits evidentialists to the possibility of epistemic circumstances in which a proposition, p, is propositionally rational to believe (namely, an akratic conjunction), yet one cannot, in principle, (doxastically) rationally believe p. As I demonstrate, cases of misleading HOE are not the only types of cases that force evidentialists to accept that propositional rationality does not entail the possibility of doxastic rationality. There are no new problems raised by misleading HOE that weren't already present in cases involving purely first-order evidence. (shrink)

It is common among philosophers who take an interest in the phenomenon of vagueness in natural language not merely to acknowledge higher-order vagueness but to take its existence as a basic datum— so that views that lack the resources to account for it, or that put obstacles in the way, are regarded as deficient just on that score. My main purpose in what follows is to loosen the hold of this deeply misconceived idea. Higher-order vagueness is (...) no basic datum but an illusion, fostered by misunderstandings of the nature of (ordinary, if you will ‘first-order’) vagueness itself. To see through the illusion is to take a step that is prerequisite for a correct understanding of vagueness, and for any satisfying dissolution of its attendant paradoxes. (shrink)

The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since (...) it has to take the theory of αβη-equality into account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)

According to Rosenthal’s Higher-Order Thought (HOT) theory of consciousness, first-order mental states become conscious only when they are targeted by HOTs that necessarily represent the states as belonging to self. On this view a state represented as belonging to someone distinct from self could not be a conscious state. Rosenthal develops this view in terms of what he calls the ‘thin immunity principle’ (TIP). According to TIP, when I experience a conscious state, I cannot be wrong about (...) whether it is I who I think is in that state. We first suggest that TIP is a direct consequence of the HOT theory. Next we argue that somatoparaphrenia—a pathology in which sensations are sometimes represented as belonging to other people—shows that TIP can be violated. This violation of TIP in turn shows that the HOT theory’s claim that conscious states are necessarily represented as belonging to self is in error. Rosenthal’s attempt to account for pathological cases is found to be inadequate when applied to somatoparaphrenia, and other possible defenses are also shown to be incapable of preserving TIP. We further conclude by suggesting that the HOT theory’s failing in this regard is not a failing that is peculiar to this theory of consciousness. (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized (...) for over-intellectualizing consciousness. We show that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

David Rosenthal’s higher-order thought theory says that for a mental state to be conscious, it must be accompanied by a higher-order thought about that state. One objection to Rosenthal’s account is that HOTs do not secure what Sydney Shoemaker has called ‘immunity to error through misidentification’. I will argue that Rosenthal’s discussion of dissociative identity order fails to salvage his account from this objection and that his thin immunity principle is in tension with cases of (...) somatoparaphrenia. Rather than showing that self-awareness consists in identification, an examination of the delusions of disownership found in dissociative identity disorder and somatoparaphrenia lends support to IEM and highlights an important distinction between perspectival ownership and personal ownership. (shrink)

ABSTRACTAmbitious Higher-order theories of consciousness – Higher-order theories that purport to give an account of phenomenal consciousness – face a well-known objection from the possibility of ra...

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)

Somatoparaphrenia is a pathology of self characterized by the sense of alienaton from parts of one’s body. It is usually construed as a kind of delusional disorder caused by extensive right hemisphere lesions. Lesions in the temporoparietal junction are common in somatoparaphrenia but deep cortical regions (for example, the posterior insula) and subcortical regions (for example, the basal ganglia) are also sometimes implicated (Valler and Ronschi 2009). Patients are often described as feeling that a limb belongs to another person and (...) thus attribute ownership of the limb and bodily sensation to someone else. There is also some question as to whether or not the higher-order thought (HOT) theory of consciousness can plausibly account for the depersonalization psychopathology of somatoparaphrenia (Liang and Lane 2009, Rosenthal 2010, Lane and Liang 2010). Liang and Lane argue that it cannot. The HOT theory of consciousness says that what makes a mental state a conscious mental state is that it is the target of a HOT to the effect that “I am in mental state M” (Rosenthal 2005, Gennaro 2012). When the HOT is itself is unconscious, the conscious state is still outer-directed. When the HOT is conscious, we have introspection and so the conscious thought is directed at the mental state. In section I, I briefly review the previous exchange between Lane and Liang and David Rosenthal. In section II, I further explore somatoparaphrenia and the nature of delusion while offering a number of additional replies to Lane and Liang. In section III, I examine the central notions of “mental state ownership” and “self-concepts” in an effort to account especially for the depersonalization aspect of somatoparaphrenia against the background of HOT theory. In section IV, I argue that to the extent that somatoparaphrenia casts doubt on the notion that some thoughts are “immune to error through misidentification” (IEM), the most fundamental aspect of IEM is still consistent with HOT theory. Overall, I argue that HOT theory is left unscathed by the pheneomenon of somatoparaphrenia and can even help to explain what happens in these cases. (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)

Higher-order theories account for intransitive consciousness by using the transitive notion ‘awareness-of.’ I argue that this notion implies a form of ‘seeming’ that the higher-order approach requires, yet cannot account for. I show that, if the relevant kind of seeming is declared to be present in all representational states, the seeming in question is objectionably trivialized; while using the higher-order strategy to capture not only intransitive consciousness but also the relevant kind of seeming results (...) in an infinite regress. Finally, highlighting distinctive features of representations that explain why they display seeming amounts to abandoning the higher-order approach altogether. (shrink)

ABSTRACT: Paper currently being revised.

ABSTRACT: Stewart Shapiro recently argued that there is no higher-order vagueness. More specifically, his thesis is: (ST) ‘So-called second-order vagueness in ‘F’ is nothing but first-order vagueness in the phrase ‘competent speaker of English’ or ‘competent user of “F”’. Shapiro bases (ST) on a description of the phenomenon of higher-order vagueness and two accounts of ‘borderline case’ and provides several arguments in its support. We present the phenomenon (as Shapiro describes it) and the (...) accounts; then discuss Shapiro’s arguments, arguing that none is compelling. Lastly, we introduce the account of vagueness Shapiro would have obtained had he retained compositionality and show that it entails true higher-order vagueness. (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)

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)

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)

Since it is hard to see how subjective rationality could be normative, a humbler, purely evaluative account of rationality’s importance has been suggested: rationality is a non-moral virtue, and rational action is good so far as it reveals that an agent ‘functions well’. This paper argues, however, that even this fallback position is threatened by ‘eccentric billionaire’ scenarios: sometimes, flouting purported coherence standards of rationality is maximally virtuous. In defense of the virtue account, I argue that a novel view of (...) rational constraints is called for: rationality requires a certain form of higher-order coherence – as considerations about instrumental coherence can show. (shrink)

Rolls defends a higher-order thought theory of phenomenal consciousness, mapping the distinction between conscious and non-conscious states onto a distinction between two types of action and corresponding neural pathways. Only one type of action involves higher-order thought and consequently consciousness. This account of consciousness has implausible consequences for the nature of stimulus-reinforcement learning.

I argue against a standard conception of classification, according to which concepts classify by drawing boundaries. This conception cannot properly account for "higher-order vagueness." I discuss in detail claims by Crispin Wright about "definitely," and its connection with higher-order vagueness. Contrary to Wright, I argue that the line between definite cases of red and borderline ones is not sharp. I suggest a new conception of classification: many concepts classify without drawing boundaries; they are boundaryless. Within this (...) picture, there are no orders of vagueness, though the phenomena which suggest the description "higher-order vagueness" are real enough. (shrink)

In this paper, I contend that the core intuition that resides at the basis of Scheler’s metaethics is expressed through the formal axiological distinction between things, goods, and values. I pursue a twofold aim: 1) to show that Scheler implicitly operates within Husserl’s concept of ‘unitary foundation’ when describing how values inhere within goods; 2) to compare Scheler’s metaethical argument concerning the independence of a world of goods with Hare’s ‘indiscernibility argument’. Scheler’s reversal of Hare’s argument confronts us with the (...) formal-ontological difference between the analytic account of supervenience and the phenomenological account of unitary foundation. My argument is based on the formalization of the second type of unitary foundation that Husserl outlines in his Third Logical Investigation. The second type of unitary foundation is usually conflated with the first type of unitary foundation, as a result of the gross mistakes found in Findlay’s English. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)