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)

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)

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)

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)

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)

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

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)

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)

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)

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

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

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

Experts are sharply divided concerning the prevalence and influence of misinformation. Some have emphasized the severe epistemic and political threats posed by misinformation and have argued that some such threats have been realized in the real world. Others have argued that such concerns overstate the prevalence of misinformation and the gullibility of ordinary persons. Rather than taking a stand on this issue, I consider what would follow from the supposition that this latter perspective is correct. I argue that, if the (...) prevalence and influence of misinformation are indeed overstated, then many reports as to the prevalence and influence of misinformation constitute a kind of higher-order misinformation. I argue that higher-order misinformation presents its own challenges. In particular, higher-order misinformation, ironically, would lend credibility to the very misinformation whose influence it exaggerates. Additionally, higher-order misinformation would lead to underestimations of the reasons favoring opposing views. In short, higher-order misinformation constitutes misleading higher-order evidence concerning the quality of the evidence on which individuals form their beliefs. (shrink)

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

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)

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)

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 proposes a novel answer to the question of what attitude agents should adopt when they receive misleading higher-order evidence that avoids the drawbacks of existing views. The answer builds on the independently motivated observation that there is a difference between attitudes that agents form as conclusions of their reasoning, called terminal attitudes, and attitudes that are formed in a transitional manner in the process of reasoning, called transitional attitudes. Terminal and transitional attitudes differ both (...) in their descriptive and in their normative properties. When an agent receives higher-order evidence that they might have reasoned incorrectly to a belief or credence towards p, then their attitude towards p is no longer justified as a terminal attitude towards p, but it can still be justified as a transitional attitude. This view, which I call the unmooring view, allows us to capture the rational impact of misleading higher-order evidence in a way that integrates smoothly with a natural picture of epistemic justification and the dynamics of deliberation. (shrink)

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

Recently, Jardas _et al_ have convincingly defended the patient preference predictor (PPP) against a range of autonomy-based objections. In this response, I propose a new autonomy-based objection to the PPP that is not explicitly discussed by Jardas _et al_. I call it the ‘objection from higher-order preferences’. Even if this objection is not sufficient reason to reject the PPP, the objection constitutes a pro tanto reason that is at least as powerful as the ones discussed by Jardas _et (...) al._. (shrink)

ABSTRACT It is plausible to think that we're rationally required to follow our total evidence. It is also plausible to think that there are coherence requirements on rationality. It is also plausible to think that higher order evidence can be misleading. Several epistemologists have recognized the puzzle these claims generate, and the puzzle seems to have only startling and unattractive solutions that involve the rejection of intuitive principles. Yet Alex Worsnip has recently argued that this puzzle has a (...) tidy, attractive and independently motivated solution that involves rejecting the claim that we're rationally required to follow our total evidence. In what follows I argue that this solution fails to solve the fundamental problem for rationality. (shrink)

According to the Desire-Based Reasons Model reasons for action are provided by desires. Many, however, are critical about the Model holding an alternative view of practical reason, which is often called valued-based. In this paper I consider one particular attempt to refute the Model, which advocates of the valued-based view often appeal to: the idea of reason-based desires. The argument is built up from two premises. The first claims that desires are states that we have reason to have. The second (...) argues that desires do not add to the stock of reasons the agent has for having them. Together the two theses entail that desires are based on reasons, which they transmit but to which they cannot add. In the paper I deal with a counterexample to the second premise: tie-breaking desires. I first distinguish two interesting cases and argue that only the second challenges the premise. Then I move onto analyze this challenge by focusing on Ruth Chang’s recent employment of it. I show that contrary to its counterintuitive appearance, the challenge can be sustained. However, I also argue that Chang overlooks the full potential of one particular response to the challenge: the introduction of higher-order reasons determining the normative significance of these desires. At the same time, I show that this response has a problem that Chang does not consider. As a result, the response can only partially disarm the challenge of tie-breaking desires; or not at all, depending on what significance we attribute to the counterexamples. (shrink)

It seems that epistemically rational agents should avoid incoherent combinations of beliefs and should respond correctly to their epistemic reasons. However, some situations seem to indicate that such requirements cannot be simultaneously satisfied. In such contexts, assuming that there is no unsolvable dilemma of epistemic rationality, either (i) it could be rational that one’s higher-order attitudes do not align with one’s first-order attitudes or (ii) requirements such as responding correctly to epistemic reasons that agents have are not (...) genuine rationality requirements. This result doesn’t square well with plausible theoretical assumptions concerning epistemic rationality. So, how do we solve this puzzle? In this paper, I will suggest that an agent can always reason from infallible higher-order reasons. This provides a partial solution to the above puzzle. (shrink)

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

The rationalist lover accepts that whom she ought to love is whom she has most reason to love. She also accepts that the qualities of a person are reasons to love them. This seems to suggest that if the rationalist lover encounters someone with better qualities than her beloved, then she is rationally required to trade up. In this paper, I argue that this need not be the case and the rationalist lover can have just about as normal if not (...) a better romantic life than anyone could hope for. This is because we often do possess most reason to love our beloveds. To see why this is so, we have to think more carefully about (i) how we come to possess reasons for love and (ii) the higher-order reasons that govern whether we should seek or refrain from possessing said reasons. Reflection on these issues leads to what I call the Possession-Commitment Account of Love’s Reasons. I use this account to address additional worries for love rationalism and highlight how being rational about love can potentially get us out of romantic messes. I conclude that if being a rationalist about love is plausible after all, then we have reason to hope that being rational about other areas of our practical lives is plausible as well. (shrink)

One challenge for moderate invariantists is to explain why we tend to deny knowledge to subjects in high stakes when the target propositions seem to be inappropriate premises for practical reasoning. According to an account suggested by Williamson, our intuitive judgments are erroneous due to an alleged failure to acknowledge the distinction between first-order and higher-order knowledge: the high-stakes subject lacks the latter but possesses the former. In this paper, I provide three objections to Williamson’s account: (...) i) his account delivers counterintuitive verdicts about what it is appropriate for a high-stakes subject to do; ii) the high-stakes subject doesn’t need iterated knowledge in order to be regarded as appropriately relying on the relevant proposition in practical reasoning; iii) Williamson’s account doesn’t provide a good explanation of why the high-stakes subject would be blameworthy if she were relying on the relevant proposition in her practical reasoning. (shrink)

Higher-order theories of consciousness typically account for introspection in terms of one's higher-order thoughts being conscious, which would require a third-order thought — i.e.a thought about a thought about a mental state. In this work, we offer an alternative account of introspection that builds on the recent HigherOrder Representation of a Representation (HOROR) theory of phenomenal consciousness. According to HOROR theory, phenomenal consciousness consists in having the right kind of higher-order representation. We claim (...) that this theory can be extended to introspection by recognizing that there is a distinctive kind of consciousness — i.e. introspective consciousness — which can be accounted for as the theory does for phenomenal consciousness generally. We call this novel view: Higher-Order Representation Intentionally For Introspective Consciousness (HORIFIC). We argue that there are independent reasons for thinking that introspective consciousness can be either 'stimuli-induced' or 'self-triggered' and that one of the benefits of the view we develop is that it can embrace a pluralist approach. Our view also accounts for what specific mental state is represented by a particular higher-order representation, and for the way in which we are aware of changes, transitions, and boundaries between mental states in specific cases of introspective consciousness. (shrink)

Salience reasoning, many have argued, can help solve coordination problems, but only if such reasoning is supplemented by higher-order predictions, e.g. beliefs about what others believe yet others will choose. In this paper, I will argue that this line of reasoning is self-undermining. Higher-order behavioral predictions defeat salience-based behavioral predictions. To anchor my argument in the philosophical literature, I will develop it in response and opposition to the popular Lewisian model of salience (...) class='Hi'>reasoning in coordination games. This model imports the problematic higher-order beliefs by way of a ‘symmetric reasoning’ constraint. In the second part of this paper, I will argue that a player may employ salience reasoning only if she suspends judgment about what others believe yet others will do. (shrink)

We often get evidence that bears on the reliability of some of our own first-order reasoning. The rational response to such “higher-order” evidence would seem to depend on a rational assessment of how reliable we can expect that reasoning to be, in light of the higher-order evidence. “Independence” principles are intended to constrain this reliability-assessment, so as to prevent question-begging reliance on the very reasoning being assessed. However, extant formulations of Independence principles (...) tend to be vague or ambiguous, and coming up with a tolerably precise formulation turns out to be tricky. This paper aims to make some progress toward developing a more precise Independence principle, and also to highlight some of the difficulties the project entails. The hope is to take a step toward understanding how rational belief is informed by evidence bearing on agents’ cognitive reliability. (shrink)

Ockham holds what nowadays would be characterized as a “higher-order perception” theory of consciousness. Among the most common objections to such a theory is the charge that it gives rise to an infinite regress in higher-order states. In this paper, I examine Ockham’s various responses to the regress problem, focusing in particular on his attempts to restrict the scope of consciousness so as to avoid it. In his earlier writings, Ockham holds that we are conscious only (...) of those states to which we explicitly attend. This view, I go on to argue, is inadequate on both phenomenological and philosophical grounds. Interestingly, and perhaps for this very reason, in later works, Ockham goes on to develop an alternative explanation for his account of the limited scope of consciousness. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on (...) which it aims at engineering higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

Hybrid contingentism combines first-order contingentism, the view that it is contingent what individuals there are, with higher-order necessitism, the view that it is non-contingent what properties and propositions there are (where these are conceived as entities in the range of appropriate higher-order quantifiers). This combination of views avoids the most delicate problems afflicting alternative contingentist positions while preserving the central contingentist claim that ordinary, concrete entities exist contingently. Despite these attractive features, hybrid contingentism is usually (...) faced with rejection. The main reason for this is an objection that crucially involves haecceitistic properties, properties such as being identical to Plato or being identical to Aristotle. The objection alleges that by accepting the necessary existence of such haecceities, hybrid contingentists incur an explanatory commitment that they are unable to discharge, namely that of explaining how it is that certain haecceities ‘lock onto’ their target individuals even when those individuals are absent. To defend hybrid contingentism against this charge, I first clarify the haecceities objection in several respects and consider, in particular, what notion of explanation the objection is operating with. After arguing that it can be fruitfully understood as a challenge to provide metaphysical grounds for certain haecceity facts, I develop a contingentist response to the objection that draws on recent work on the connection between ground and essence. (shrink)

A central debate in philosophy and neuroscience pertains to whether PFC activity plays an essential role in the neural basis of consciousness. Neuroimaging and electrophysiology studies have revealed that the contents of conscious perceptual experience can be successfully decoded from PFC activity, but these findings might be confounded by post- perceptual cognitive processes, such as thinking, reasoning, and decision-making, that are not necessary for con- sciousness. To clarify the involvement of the PFC in consciousness, we present a synthesis of (...) research that has used intracranial electrical stimulation (iES) for the causal modulation of neural activity in the human PFC. This research provides compelling evidence that iES of only certain prefrontal regions (i.e., orbitofrontal cortex and anterior cingu- late cortex) reliably perturbs conscious experience. Conversely, stimulation of anterolateral prefrontal sites, often con- sidered crucial in higher-order and global workspace theories of consciousness, seldom elicits any reportable alterations in consciousness. Furthermore, the wide variety of iES-elicited effects in the PFC (e.g., emotions, thoughts, and olfactory and visual hallucinations) exhibits no clear relation to the immediate environment. Therefore, there is no evidence for the kinds of alterations in ongoing perceptual experience that would be predicted by higher-order or global workspace theories. Nevertheless, effects in the orbitofrontal and anterior cingulate cortices suggest a specific role for these PFC subregions in supporting emotional aspects of conscious experience. Overall, this evidence presents a challenge for higher-order and global workspace theories, which commonly point to the PFC as the basis for con- scious perception based on correlative and possibly confounded information. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is (...) not possible to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Abstract: Theories of epistemic rationality that take disagreement (or other higher-order evidence) seriously tend to be “modest” in a certain sense: they say that there are circumstances in which it is rational to doubt their correctness. Modest views have been criticized on the grounds that they undermine themselves—they’re self-defeating. The standard Self-Defeat Objections depend on principles forbidding epistemically akratic beliefs; but there are good reasons to doubt these principles—even New Rational Reflection, which was designed to allow for certain (...) special cases that are intuitively akratic. On the other hand, if we construct a Self-Defeat Objection without relying on anti-akratic principles, modest principles turn out not to undermine themselves. In the end, modesty should not be seen as a defect in a theory of rational belief. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having (...) some probability of being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first (...) part of the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

[In French] This paper outlines Merleau-Ponty’s interpretation of higher-order cognition as a fundamentally embodied process that is enacted by motor subject situated in natural and cultural environment. More specifically, I exemplify Merleau-Ponty’s interdisciplinary approach to cognition on his interpretations of motor intentionality, operative speech, and mathematical reasoning, which are based on neuropathology, linguistics, and gestalt psychology, respectively. In this analysis, I aim to show that the body is involved in cognition as an operator of the phenomenal structuration (...) of the environment even at the level of linguistic, rational, and abstract experience. (shrink)

The vividness of mental imagery is epistemically relevant. Intuitively, vivid and intense memories are epistemically better than weak and hazy memories, and using a clear and precise mental image in the service of spatial reasoning is epistemically better than using a blurry and imprecise mental image. But how is vividness epistemically relevant? I argue that vividness is higher-order evidence about one’s epistemic state, rather than first-order evidence about the world. More specifically, the vividness of a mental (...) image is higher-order evidence about the amount of first-order information one has about its subject matter. When vividness is sufficiently low, it can give one reason to doubt the epistemic basis of the mental image and thereby act as a defeater. This account has important implications for theorizing about the epistemic roles of memory, imagination, mental imagery, and phenomenal consciousness. (shrink)

This dissertation examines the dynamical dark matter problem in twentieth century astrophysics from the point of view of History and Philosophy of Science. The dynamical dark matter problem describes the situation astronomers find themselves in with regard to the dynamics of large scale astrophysical systems such as galaxies and galaxy clusters: The observed motions are incompatible with the visible distribution matter given the accepted law of gravitation. This discrepancy has two classes of possible solutions: either there exists copious amounts of (...) some kind of matter that neither emits nor absorbs radiation , or the law of gravitation must be revised. ;Chapter 2 describes the physical and philosophical foundations of dynamical inferences---inferences from discrepancies between well-founded theoretical expectations and reliable observations to the characteristics of candidate solutions. Chapter 3 discusses the history of dark matter . Chapter 4 reviews the present evidence bearing on the dark matter problem. Chapter 5 evaluates the important candidate matter solutions in light of the available evidence. Chapter 6 evaluates two candidate gravitational solutions on evidential and methodological grounds, and addresses the problem of theory choice. I do not try to solve the dark matter problem, but to uncover and evaluate patterns of inference involved in evidential arguments for and against candidate solutions. ;I show that Newton's "Reasoning from Phenomena" is a good framework from which to understand what is going on in this field. I argue that "higher order" and especially non-dynamical evidence is the best hope for solving this problem in dynamics. This is so in part because of "the dark matter double bind": the very existence of the dark matter problem means that we cannot be sure of the overall matter distribution in astrophysical systems, and this in turn means that the observed motions by themselves cannot provide relative confirmation of any theory of gravitational interactions taking place at these scales. I use Newton's Rules of Reasoning to argue that we should retain General Relativity as our theory of gravity at galactic and greater scales, despite the lack of positive evidence to confirm it over its rivals at these scales. (shrink)

Critique of Sarcastic Reason is a philosophical dissertation that combines several different fields in order to pave the way for those studying sarcasm at the neurobiological, communicative and socio-political levels of analysis where sarcasm appears, respectively, through associated brain activity, between two or more individuals with higher level metabeliefs, and as a method by which political, religious and other social ideologies are attacked (i.e., one form of "biting sarcasm"). The academic disciplines involved in Critique of Sarcastic Reason include (...) social cognitive and developmental psychology, neuroscience, critical theory, modern and contemporary philosophy of mind, evolutionary biology, logic, metaphysics and epistemology. Sarcasm is argued to only function at the highest levels of metacognition, and sarcasm occurs within social situations during which there are tendencies for two or more people to form desires and disgusts directly related to beliefs about beliefs. Sarcasm is compared to deception and is argued to be best analyzed as either spontaneous or rehearsed. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, (...) supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

This paper concerns the double standard debate in the ethics of AI literature. This debate essentially revolves around the question of whether we should subject AI systems to different normative standards than humans. So far, the debate has centered around the desideratum of transparency. That is, the debate has focused on whether AI systems must be more transparent than humans in their decision-making processes in order for it to be morally permissible to use such systems. Some have argued that (...) the same standards of transparency should be applied across the board, for AI systems and humans alike. Others have argued that we should hold AI systems to higher standards than humans in terms of transparency. In this paper, we first point out that there are structurally similar double standard debates to be had about other desiderata besides transparency, such as predictive accuracy. Second, we argue that when we focus on predictive accuracy, there are at least two reasons for holding AI systems to a lower standard than humans. (shrink)

A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on (...) the matter. We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (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)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show (...) that Russell did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

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