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)

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

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

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)

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)

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

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

Various psychopathologies of self-awareness, such as somatoparaphrenia and thought insertion in schizophrenia, might seem to threaten the viability of the higher-order thought (HOT) theory of consciousness since it requires a HOT about one’s own mental state to accompany every conscious state. The HOT theory of consciousness says that what makes a mental state a conscious mental state is that there is a HOT to the effect that “I am in mental state M” (Rosenthal 2005, Gennaro 2012). In a (...) previous publication (Gennaro 2015), I argued that a HOT theorist can adequately respond to this concern with respect to somatoparaphrenia. Somatoparaphrenia is a “depersonalization disorder” which is characterized by the sense of alienation from parts of one’s body. It is a bizarre type of body delusion where one denies ownership of a limb or an entire side of one’s body. My focus in the chapter, however, is on “inserted thoughts” which is a common symptom of schizophrenia, although it will also be useful to contrast it with somatoparaphrenia. Schizophrenia is a mental disorder which most commonly manifests itself through auditory hallucinations, paranoid or bizarre delusions, or disorganized speech and thinking. Thought insertion is the delusion that some thoughts are not “one’s own” in some sense or are somehow being inserted into one’s mind by someone else. Graham and Stephens (2000), for example, have suggested that thought insertion should be understood as alienated self-consciousness or meta-representation. I argue that HOT theory has nothing to fear from this phenomenon either and can consistently explain what happens in this admittedly unusual case. (shrink)

Some analogous higher-order versions of Skolem’s paradox will be introduced. The generalizability of two solutions for Skolem’s paradox will be assessed: the course-book approach and Bays’ one. Bays’ solution to Skolem’s paradox, unlike the course-book solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized.

The massive debate in philosophy and psychology and neuroscience about higher-order theories of consciousness has not adequately distinguished between the following two claims. (Necessary Awareness): For any conscious mental state M and subject S, if S is in M, then S is aware of M. (The Higher-Order Theory): For any conscious mental state M and subject S, if S is in M, then M is conscious because S is aware of M. -/- While I will (...) assume that the first claim is true, I will argue that we should reject higher-order theories of consciousness. We should turn them on their head to go with the following theory: (The Ascending Road): For any conscious mental state M and subject S, if S is in M, then S is aware of M because M is conscious. (shrink)

Among our conscious states are conscious thoughts. The question at the center of the recent growing literature on cognitive phenomenology is this: In consciously thinking P, is there thereby any phenomenology—is there something it’s like? One way of clarifying the question is to say that it concerns whether there is any proprietary phenomenology associated with conscious thought. Is there any phenomenology due to thinking, as opposed to phenomenology that is due to some co-occurring sensation or mental image? In this paper (...) we will present two arguments that a “yes” answer to this question of cognitive phenomenology can be obtained via appeal to the HOT theory of consciousness, especially the version articulated and defended by David Rosenthal. (shrink)

In this article, we will describe higher order thought theories of consciousness. Then we will describe some examples from synesthesia. Finally, we will explain why the latter may be relevant to the former.

Prior’s problem consists in the impossibility of replacing clausal complements of most attitude verbs by ‘ordinary’ NPs; only ‘special quantifiers’ that is, quantifiers like 'something' permit a replacement, preserving grammaticality or the same reading of the verb: (1) a. John claims that he won. b. ??? John claims a proposition / some thing. c. John claims something. In my 2013 book Abstract Objects and the Semantics of Natural Language, I have shown how this generalizes to nonreferential complements of various other (...) intensional predicates and argued for a Nominalization Theory of special quantifiers. In this paper, I will review and extend the range of linguistic generalizations that motivate the Nominalization Theory and show that they pose serious problems for higher-order and substitutional analyses of special quantifiers. (shrink)

The aim of this paper is to apply the accuracy based approach to epistemology to the case of higher order evidence: evidence that bears on the rationality of one's beliefs. I proceed in two stages. First, I show that the accuracy based framework that is standardly used to motivate rational requirements supports steadfastness—a position according to which higher order evidence should have no impact on one's doxastic attitudes towards first order propositions. The argument for this (...) will require a generalization of an important result by Greaves and Wallace for the claim that conditionalization maximizes expected accuracy. The generalization I provide will, among other things, allow us to apply the result to cases of self-locating evidence. In the second stage, I develop an alternative framework. Very roughly, what distinguishes the traditional approach from the alternative one is that, on the traditional picture, we're interested in evaluating the expected accuracy of conforming to an update procedure. On the alternative picture that I develop, instead of considering how good an update procedure is as a plan to conform to, we consider how good it is as a plan to make. I show how, given the use of strictly proper scoring rules, the alternative picture vindicates calibrationism: a view according to which higher order evidence should have a significant impact on our beliefs. I conclude with some thoughts about why higher order evidence poses a serious challenge for standard ways of thinking about rationality. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I (...) show that contingency about the width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

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

Philosophers disagree about whether vagueness requires us to admit truth-value gaps, about whether there is a gap between the objects of which a given vague predicate is true and those of which it is false on an appropriately constructed sorites series for the predicate---a series involving small increments of change in a relevant respect between adjacent elements, but a large increment of change in that respect between the endpoints. There appears, however, to be widespread agreement that there is some sense (...) in which vague predicates are gappy which may be expressed neutrally by saying that on any appropriately constructed sorites series for a given vague predicate there will be a gap between the objects of which the predicate is denitely true and those of which it is denitely false. Taking as primitive the operator ‘it is denitely the case that’, abbreviated as ‘D’, we may stipulate that a predicate F is denitely true (or denitely false) of an object just in case ‘DF (a)’, where a is a name for the object, is true (or false) simpliciter.1 This yields the following conditional formulation of a ‘gap principle’: (D Φ (x) ∧ D¬ Φ (y)) → ¬R(x, y). Here ‘ Φ ’ is to be replaced with a vague predicate, while ‘R’ is to stand for a sorites relation for that predicate: a relation that can be used to construct a sorites series for the predicate---such as the relation of being just one millimetre shorter than for the predicate ‘is tall’. Disagreements about the sense in which it is correct to say that vague predicates are gappy can then be recast as disagreements about how to understand the denitely operator. One might give it, for example, a pragmatic construal such as ‘it would not be misleading to assert that’; or an epistemic construal such as ‘it is known that’ or ‘it is knowable that’; or a semantic construal such as ‘it is true that’. (shrink)

Higher-Order Thought (HOT) theories of consciousness maintain that the kind of awareness necessary for phenomenal consciousness depends on the cognitive accessibility that underlies reporting. -/- There is empirical evidence strongly suggesting that the cognitive accessibility that underlies the ability to report visual experiences depends on the activity of the dorsolateral prefrontal cortex (dlPFC). This area, however, is highly deactivated during the conscious experiences we have during sleep: dreams. HOT theories are jeopardized, as I will argue. I (...) class='Hi'>will briefly present HOT theories in the first section. Section 2 offers empirical evidence to the effect that the cognitive accessibility that underlies the ability to report depends on the dorsolateral prefrontal cortex: dlPFC is the neural correlate of HOTs. Section 3 shows the evidence we have of the deactivation of this brain area during dreams and, in section 4, I present my argument. Finally, I consider and rejoin two possible replies that my opponent can offer: the possibility of an alternative neural correlate of HOTs during dreams and the denial that we have phenomenally conscious experiences during sleep. (shrink)

The passage of Mill’s Utilitarianism that sets out the condition in which one pleasure has a superior quality than another stokes interpretive controversy. According to the Lexical Interpretation, Mill takes one pleasure, P1, to be of a superior quality than another, P2, if, and only if, the smallest quantity of P1 is more valuable than any finite quantity of P2. This paper argues that, while the Lexical Interpretation may be supported with supplementary evidence, the passage itself does not rule out (...) qualitative superiority without lexical dominance, as it only requires P1 to be more valuable than any quantity of P2 that it is possible for someone to experience. Some will object that this concession to opponents of the Lexical Interpretation still renders Mill’s condition for qualitative superiority too demanding to be plausible. However, if Mill’s qualitative rankings apply to higher-order pleasures taken in modes of existence as such rather than to the pleasures of different activities chosen from within these modes, the objection loses much of its force. One upshot is that Mill may have more to contribute to debates in contemporary population axiology than is usually acknowledged. (shrink)

Some years ago I reached the point where I can usually tell from the title of a book, or at least from the chapter titles, what kinds of philosophical mistakes will be made and how frequently. In the case of nominally scientific works these may be largely restricted to certain chapters which wax philosophical or try to draw general conclusions about the meaning or long term significance of the work. Normally however the scientific matters of fact are generously interlarded (...) with philosophical gibberish as to what these facts mean. The clear distinctions which Wittgenstein described some 80 years ago between scientific matters and their descriptions by various language games are rarely taken into consideration, and so one is alternately wowed by the science and dismayed by its incoherent analysis. So it is with this volume. -/- If one is to create a mind more or less like ours, one needs to have a logical structure for rationality and an understanding of the two systems of thought (dual process theory). If one is to philosophize about this, one needs to understand the distinction between scientific issues of fact and the philosophical issue of how language works in the context at issue, and of how to avoid the pitfalls of reductionism and scientism, but Kurzweil, like nearly all students of behavior, is largely clueless. He, is enchanted by models, theories, and concepts, and the urge to explain, while Wittgenstein showed us that we only need to describe, and that theories, concepts etc., are just ways of using language (language games) which have value only insofar as they have a clear test (clear truthmakers, or as John Searle (AI’s most famous critic) likes to say, clear Conditions of Satisfaction (COS)). I have attempted to provide a start on this in my recent writings, such as The Logical Structure of Consciousness (behavior, personality, rationality, higher order thought, intentionality) (2016) and The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in the Writings of Ludwig Wittgenstein and John Searle (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016 662p (2016). I will give a very brief presentation of this framework since I have described it in great detail in many recent papers and several books, available on this site and others. -/- Also, as usual in ‘factual’ accounts of AI/robotics, he gives no time to the very real threats to our privacy, safety and even survival from the increasing ‘androidizing’ of society which is prominent in other authors (Bostrum, Hawking etc.) and frequent in scifi and films, so I make a few comments on the quite possibly suicidal utopian delusions of ‘nice’ androids, humanoids, democracy, diversity, and genetic engineering. -/- I take it for granted that technical advances in electronics, robotics and AI will occur, resulting in profound changes in society. However, I think the changes coming from genetic engineering are at least as great and potentially far greater, as they will enable us to utterly change who we are. And it will be feasible to make supersmart/super strong servants by modifying our genes or those of other monkeys. As with other technology, any country that resists will be left behind. But will it be socially and economically feasible to implement biobots or superhumans on a massive scale? And even if so, it does not seem remotely possible, economically or socially to prevent the collapse of industrial civilization. So, ignoring the philosophical mistakes in this volume as irrelevant, and directing our attention only to the science, what we have here is another suicidal utopian delusion rooted in a failure to grasp basic biology, psychology and human ecology, the same delusions that are destroying America and the world. I see a remote possibility the world can be saved, but not by AI/robotics,CRISPR, nor by democracy and equality. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

Higher-order thought theories (or HOT theories) state that a mental state is conscious only when it is accompanied by a higher-order thought (HOT). -/- The thought that makes a state conscious is not conscious in itself, but having that thought is what make the state of which it is about conscious. If there is no HOT about a mental state, then that state is not a conscious state. On this view, a state can only be a (...) conscious state if we are aware of that state, or, have a HOT about that state. -/- Fred Dretske, on the otherhand, believes that mental states can be conscious without the subject being aware of those states. For Dretske, what makes a mental state conscious is not the subject's awareness of the state, rather, it is the way in which the state makes the subject conscious of something in the world. When we look at an object, we are not conscious of our experience of looking at the object, we are conscious of the object itself. -/- In this paper, I will suggest that HOT theories lead to a cluttered picture of the mind. I will then offer Dretske's account of consciousness as an alternative to the HOT theories. My goal will be to show that Dretske's model of consciousness should be the preferred option. (shrink)

In his famous 1982 paper, Allen Newell [22, 23] introduced the notion of knowledge level to indicate a level of analysis, and prediction, of the rational behavior of a cognitive arti cial agent. This analysis concerns the investigation about the availability of the agent knowledge, in order to pursue its own goals, and is based on the so-called Rationality Principle (an assumption according to which "an agent will use the knowledge it has of its environment to achieve its (...) goals" [22, p. 17]. By using the Newell's own words: "To treat a system at the knowledge level is to treat it as having some knowledge, some goals, and believing it will do whatever is within its power to attain its goals, in so far as its knowledge indicates" [22, p. 13]. In the last decades, the importance of the knowledge level has been historically and system- atically downsized by the research area in cognitive architectures (CAs), whose interests have been mainly focused on the analysis and the development of mechanisms and the processes governing human and (arti cial) cognition. The knowledge level in CAs, however, represents a crucial level of analysis for the development of such arti cial general systems and therefore deserves greater research attention [17]. In the following, we will discuss areas of broad agree- ment and outline the main problematic aspects that should be faced within a Common Model of Cognition [12]. Such aspects, departing from an analysis at the knowledge level, also clearly impact both lower (e.g. representational) and higher (e.g. social) levels. (shrink)

Context: Many recent research areas such as human cognition and quantum physics call the observer-independence of traditional science into question. Also, there is a growing need for self-reflexivity in science, i.e., a science that reflects on its own outcomes and products. Problem: We introduce the concept of second-order science that is based on the operation of re-entry. Our goal is to provide an overview of this largely unexplored science domain and of potential approaches in second-order fields. Method: We (...) provide the necessary conceptual groundwork for explorations in second-order science, in which we discuss the differences between first- and second-order science and where we present a roadmap for second-order science. The article operates mainly with conceptual differentiations such as the separation between three seemingly identical concepts such as Science II, Science 2.0 and second-order science. Results: Compared with first-order science, the potential of second-order science lies in 1. higher levels of novelty and innovations, 2. higher levels of robustness and 3. wider integration as well as higher generality. As first-order science advances, second-order science, with re-entry as its basic operation, provides three vital functions for first-order science, namely a rich source of novelty and innovation, the necessary quality control and greater integration and generality. Implications: Second-order science should be viewed as a major expansion of traditional scientific fields and as a scientific breakthrough towards a new wave of innovative research. Constructivist content: Second-order science has strong ties with radical constructivism, which can be qualified as the most important root/origin of second-order science. Moreover, it will be argued that a new form of cybernetics is needed to cope with the new problems and challenges of second-order science. (shrink)

In sections 2.21.23-25 of An Essay concerning Human Understanding, John Locke considers and rejects two ways in which we might be “free to will”, which correspond to the Thomistic distinction between freedom of exercise and freedom of specification. In this paper, I examine Locke’s arguments in detail. In the first part, I argue for a non-developmental reading of Locke’s argument against freedom of exercise. Locke’s view throughout all five editions of the Essay is that we do not possess freedom (...) of exercise (at least in most cases). In the second part, I argue that, when Locke asks whether we possess freedom of specification, his question is intentionally ambiguous between two readings, a first-order reading and a higher-order reading. Locke’s view is that, on either reading, we do not possess freedom of specification (at least in any interesting sense). (shrink)

Ned Block has recently pressed a new criticism of the higher-order thought (HOT) theory of consciousness. HOT proponents have responded in turn. The exchange affords a chance to find some clarity concerning the essential commitments of HOT, as well as a chance to find clarity on the issues that divide Block and HOT proponents. In this paper I discuss the recent exchange, and I draw some lessons. First, I side with HOT proponents in arguing that new criticism presents (...) no new problem for HOT. Second, I argue that the issues separating Block and HOT proponents suggest that two separate debates are being conflated, and I suggest that keeping them distinct will yield progress for consciousness studies. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands (...) to sentences. The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis (...) has important consequences for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

In having an experience one is aware of having it. Having an experience requires some form of access to one's own state, which distinguishes phenomenally conscious mental states from other kinds of mental states. Until very recently, Higher-Order (HO) theories were the only game in town aiming at offering a full-fledged account of this form of awareness within the analytical tradition. Independently of any objections that HO theories face, First/Same-Order (F/SO) theorists need to offer an account of (...) such access to become a plausible alternative. My aim in this paper is twofold. In the first place, I wish to widen the logical space of the discussion among theories of consciousness by offering a distinction, orthogonal to that between F/SO and HO theories, between what I will call 'Self-Involving' (SI) and 'Mental-State-Involving' (MSI) theories and argue in favor of the former one. In the second place, I will present the basics of a characterization of such a Self-Involving theory in Same-Order terms. (shrink)

Today professionals have to deal with more uncertainties in their field than before. We live in complex and rapidly changing environments. The British philosopher Ronald Barnett adds the term ‘supercomplexity’ to highlight the fact that ‘we can no longer be sure how even to describe the world that faces us’ (Barnett, 2004). Uncertainty is, nevertheless, not a highly appreciated notion. An obvious response to uncertainty is to reduce it—or even better, to wipe it away. The assumption of this approach is (...) that uncertainty has no advantages. This assumption is, however, not correct as several contemporary authors have argued. Rather than problematising uncertainty, I will investigate the pros and cons of embedding uncertainty in educational practice of professional higher education. In order to thoroughly explore the probabilities and challenges that uncertainty poses in education, I will dwell on the radical ideas on uncertainty of the German philosopher Friedrich Nietzsche. In The Birth of Tragedy (1872) he recognises two forces: the Apollinian, that is the pursuit of order and coherence, and the Dionysian, that is the human tendency to nullify all systematisation and idealisation. Uncertainty is part of the Dionysian. I will argue that when educators take Nietzsche's plea to make room for the Dionysian to heart, they can better prepare students for an uncertain world. If, and only if, students are encouraged to deploy both tendencies—the Apollinian and the Dionysian—they can become professionals who are able to stand their ground in an uncertain and changing (professional) world. (shrink)

For Martin, the right to free higher education may be claimed only by those ready and willing pursue autonomy supporting higher education. The unready and unwilling, among whom may be counted carers, disabled, and devout, are excluded. This is unjust. I argue that this injustice follows from a tension between three elements of Martin’s argument: (1) a universal right to autonomy supporting higher education; (2) qualifications on entitlements to access this right in order to preserve the (...) value of higher educational goods; (3) luck egalitarian motivations in Martin’s distributive ethics. I consider options for avoiding such injustices and their implications for Martin’s argument. (shrink)

This thesis explores the possibility of theoretically conceiving consciousness as an activity of the brain. Objections, based on the concept of qualia, to the identification of consciousness with a brain activity are refuted. Phenomenal consciousness is identified with access-consciousness. Consciousness is conceived as a higher order processing of informational states of the brain. The state of consciousness represents an integration of prior nonconscious states. Libet’s research on the timing of conscious experience is reviewed and analyzed. His hypothesis of (...) backward referral is rejected. Since specific brain activity (the readiness potential) precedes the conscious intention, the implications of this fact on the concepts of volition and free will are discussed. Non-deliberate voluntary acts are performed without a prior consciousness of the intention to perform them. Conversely, the decision to perform a deliberate act is influenced by consciousness of the intention. Free will is viewed as compatible with the causal determination of mental processes. The theory is successfully applied to the different contents of consciousness: consciousness of perceptions, of bodily sensations, of actions, of memories, of ideas, of thoughts, of language, of affective states, of beliefs, of desires, of oneself and consciousness of being conscious. The relation between the theory of consciousness and psychoanalysis is also explored. Psychoanalysis is seen as compatible with the proposed theory, which is able to enlighten some aspects of the process of becoming conscious in psychoanalytic treatment. The general approach is interdisciplinary : the theory must take into account constraints derived from philosophy, neurophysiology, psychology, neuropsychology, etc. Consciousness is conceived, not as a property of some mental states, but as a specific higher-order activity, based on lower-order nonconscious activities. (shrink)

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

In this paper, I discuss a subset of preferences in which a person desires the fulfillment of a choice they have made, even if it involves the violation of their desires, as in rape fantasies. I argue that such cases provide us with a unique insight into personal autonomy from a proceduralist standpoint. In its first part, I analyze some examples in light of Frankfurt's endorsement theory and argue that even when we cannot endorse a practical decision that involves being (...) violated, we nonetheless regard those cases as instances of autonomy. Therefore, autonomy does not necessarily require endorsement. Instead, I propose that the nature of the relevant highest-order volition dictates the procedure that should be established in one’s desire structure for its fulfillment. In the second part, I discuss how an agent may effectively consent to the violation of their decision by another person. Ordinary consent typically refers to actions but fails to communicate one's higher-order desires or commitments. To address this limitation, I propose a practical tool that accomplishes this by signaling shifts in the normative context where the agents are interacting. (shrink)

Recent evidence points to widespread underconnectivity in autistic brains owing to deviant white matter, the fibers that make long connections between areas of the cortex. Subjects with autism show measurably fewer long-range connections between the parietal and prefrontal cortices. These findings may help shed light on the current debate in the consciousness literature about whether conscious states require both prefrontal and parietal/temporal components. If it can be shown that people with autism have conscious states despite such underconnectivity, this would constitute (...) an argument for the claim that conscious states can exist in posterior cortex without associated prefrontal activity. This in turn lends support to a class of theories according to which microconsciousness is possible—consciousness in small areas of cortex without active connections to the prefrontal cortex, as opposed to the higher-order thought (HOT) theory of consciousness, according to which conscious states can only occur when posterior cortical areas (in the parietal or temporal lobes) have active connections to the prefrontal cortex. In this chapter, after listing several candidate examples of consciousness without accompanying prefrontal connections, I will argue that autism provides yet another such example. I will also examine a recent version of the higher-order theory that acknowledges these cases of consciousness without prefrontal activity and, instead depicts consciousness as requiring higher-order thoughts located in posterior cortex. In the final section, I will examine the consequences of these views for our understanding of the metaphysical nature of consciousness itself—the classic mind-body problem. (shrink)

A major question in sensory science is how a sensation of magnitude F (such as loudness) depends upon a sensory stimulus of physical intensity I (such as a sound-pressure-wave of root-mean-square sound-pressure-level). An empirical just-noticeable sensation difference (∆F)_j at F_j specifies a just-noticeable intensity difference (∆I)_j at I_j. Classically, intensity differences accumulate from a stimulus-detection threshold I_th up to a desired intensity I. The corresponding sensation differences likewise accumulate up to F(I) from F(I_th ), the non-zero sensation (as suggested by (...) hearing studies) at I_th. Consequently, sensation growth F(I) can be obtained through classic Fechnerian integration, in which some empirically-based relation for the Weber Fraction, ∆I⁄I, is combined with either Fechner’s Law ∆F=B or Ekman’s Law (∆F⁄F)=g. The number of steps in I is equated to the number of steps in F; an infinite series ensues, whose higher-order terms are traditionally ignored (Fechnerian integration). But also, remarkably, so are the integration bounds I_th and F(I_th ). Here, we depart from orthodoxy by including those bounds. Bounded Fechnerian integration is first used to derive hypothetical sensation-growth equations for which the differential ∆F(I)=F(I+∆I)-F(I) does indeed return either Fechner’s Law or Ekman’s Law respectively. One relation emerges: linear growth of sensation F with intensity I. Subsequently, 24 sensation-growth equations F(I) that the author had derived using bounded Fechnerian integration (12 equations for the Weber Fraction (∆I⁄I), each combined with either Fechner’s Law or with Ekman’s Law) are scrutinized for whether their differentials F(I+∆I)-F(I) return the respective Fechner’s Law or Ekman’s Law, particularly in the previously-unexamined limits (∆I⁄I)≪1 and (∆I⁄I)→0. Classic claims made by Luce and Edwards (1958) are then examined, viz., that three popular forms of the Weber Fraction, when combined with Fechner’s Law, produce sensation-magnitude equations that subsequently return the selfsame Fechner’s Law. When sensation-growth equations are derived here using bounded Fechnerian integration, Luce and Edwards (1958) prove to be wrong. (shrink)

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

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

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

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

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)

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

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

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)

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

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, (...) according to the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

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

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)

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)

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)

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