A touchstone of much modern theorizing about the mind is the idea, still tac- itly accepted by many, that a state's being mental implies that it's conscious. This view is epitomized in the dictum, put forth by theorists as otherwise di-.
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)
Situation theory, as developed by Barwise and his collaborators, is used to demonstrate the possibility of defining teleology (and related notions, like that of proper or biological function) in terms of higher order causation, along the lines suggested by Taylor and Wright. This definition avoids the excessive narrowness that results from trying to define teleology in terms of evolutionary history or the effects of natural selection. By legitimating the concept of teleology, this definition also provides promising new avenues for (...) solving long standing problems in the philosophy of mind, such as the problems of intentionality and mental causation. (shrink)
According to higher-order theories of consciousness, a mental state is conscious only when represented by another mental state. Higher-order theories must predict there to be some brain areas (or networks of areas) such that, because they produce (the right kind of) higher-order states, the disabling of them brings about deficits in consciousness. It is commonly thought that the prefrontal cortex produces these kinds of higher-order states. In this paper, I first argue that this is likely correct, (...) meaning that, if some higher-ordertheory is true, prefrontal lesions should produce dramatic deficits in visual consciousness. I then survey prefrontal lesion data, looking for evidence of such deficits. I argue that no such deficits are to be found, and that this presents a compelling case against higher-order theories. (shrink)
Higher-order theories of consciousness posit that a mental state is conscious by virtue of being represented by another mental state, which is therefore a higher-order representation (HOR). Whether HORs are construed as thoughts or experiences, higher-order theorists have generally contested whether such metarepresentations have any significant cognitive function. In this paper, I argue that they do, focusing on the value of conscious thinking, as distinguished from conscious perceiving, conscious feeling, and other forms of conscious mentality. A thinking (...) process is constituted by propositional-attitude states, and during conscious thinking some or all of these states would be targeted by HORs. Since cases of nonconscious thinking are widely accepted, the question arises as to the use of representing one's thoughts during thinking. Contra the views of Armstrong and Rolls, I argue that HORs do not facilitate first-order thinking. Rather, I propose that such representations enable reasoning about one's act of thinking, and I give various examples of this sort of metacognition in support of the theory. I further argue that the general correlation between complex thinking and its being conscious is merely due to the fact that assessing one's mental act is particularly useful during such thinking, not because consciousness somehow facilitates first-order inference-making, as folk psychology implies. My view is thus consistent with recent empirical evidence that complex thinking sometimes yields better results when nonconscious. (shrink)
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)
Following a short introduction, this chapter begins by contrasting two different forms of higher-order perception (HOP) theory of phenomenal consciousness - inner sense theory versus a dispositionalist kind of higher-order thought (HOT) theory - and by giving a brief statement of the superiority of the latter. Thereafter the chapter considers arguments in support of HOP theories in general. It develops two parallel objections against both first-order representationalist (FOR) theories and actualist forms of HOT theory. (...) First, neither can give an adequate account of the distinctive features of our recognitional concepts of experience. And second, neither can explain why there are some states of the relevant kinds that are phenomenal and some that aren. (shrink)
It is usually taken as given that consciousness involves superior or more elaborate forms of information processing. Contemporary models equate consciousness with global processing, system complexity, or depth or stability of computation. This is in stark contrast with the powerful philosophical intuition that being conscious is more than just having the ability to compute. I argue that it is also incompatible with current empirical findings. I present a model that is free from the strong assumption that consciousness predicts superior performance. (...) The model is based on Bayesian decision theory, of which signal detection theory is a special case. It reflects the fact that the capacity for perceptual decisions is fundamentally limited by the presence and amount of noise in the system. To optimize performance, one therefore needs to set decision criteria that are based on the behaviour, i.e. the probability distributions, of the internal signals. One important realization is that the knowledge of how our internal signals behave statistically has to be learned over time. Essentially, we are doing statistics on our own brain. This ‘higherorder’ learning, however, may err, and this impairs our ability to set and maintain optimal criteria for perceptual decisions, which I argue is central to perception consciousness. I outline three possibilities of how conscious perception might be affected by failures of ‘higher-order’ representation. These all imply that one can have a dissociation between consciousness and performance. This model readily explains blindsight and hallucinations in formal terms, and is beginning to receive direct empirical support. I end by discussing some philosophical implications of the model. (shrink)
David Rosenthal's higher-order thought (HOT) theory is one of the most widely argued for of the higher-order accounts of consciousness. I argue that Rosenthal vacillates between two models of the HOT theory. First, I argue that these models employ different concepts of 'state consciousness'; the two concepts each refer to mental state tokens, but in virtue of different properties. In one model, the concept of 'state consciousness' is more consistent with how the term is typically used, (...) both by philosophers and scientists, and in commonsense usage. This model, however, also has its problems. In the second part of the paper, I develop a modified version of Rosenthal's transitivity principle, thereby avoiding some complications that stem from the original transitivity principle. I suggest that Rosenthal occasionally employs this modified model himself, and that the inconsistency identified in the first section of this paper might really reflect Rosenthal's vacillation between these two versions of the transitivity principle. I offer one explanation for how this equivocation may have occurred. These two versions would result if articulations of the transitivity principle employed the term 'mental state' inconsistently, to refer on some occasions merely to mental state types, and on others, to tokened mental states. I conclude by arguing, contrary to Rosenthal and others, that the theory is not incompatible with view that conscious states are uniquely casual efficacious. (shrink)
Theories of what it is for a mental state to be conscious must answer two questions. We must say how we're conscious of our conscious mental states. And we must explain why we seem to be conscious of them in a way that's immediate. Thomas Natsoulas (1993) distinguishes three strategies for explaining what it is for mental states to be conscious. I show that the differences among those strategies are due to the divergent answers they give to the foregoing questions. (...) Natsoulas finds most promising the strategy that amounts to the higher-order-thought hypothesis that I've defended elsewhere. But he raises a difficulty for it, which he thinks probably can be met only by modifying that strategy. I argue that this is unnecessary. The difficulty is a special case of a general question, the answer to which is independent of any issues about consciousness. So it's no part of a theory of consciousness to address the problem, much less solve it. Moreover, the difficulty seems to have intuitive force only given the picture that underlies the other two explanatory strategies, which both Natsoulas and I reject. (shrink)
Through the utilization of a descriptive illustration and detailed referencing of Carruthers (2000), a comparison of Hierarchical Systems theory (Pharoah, 2007) with Dispositional Higher-Order Thought theory identifies and reinforces their complementary status. However, this also determines some key distinctions, particularly with regard to the conclusions each make regarding the mentality of animals and the autistic, and regarding the moral consequences of these conclusions.
Martin-Löf's constructive type theory forms the basis of this paper. His central notions of category and set, and their relations with Russell's type theories, are discussed. It is shown that addition of an axiom — treating the category of propositions as a set and thereby enabling higher order quantification — leads to inconsistency. This theorem is a variant of Girard's paradox, which is a translation into type theory of Mirimanoff's paradox (concerning the set of all well-founded sets). The (...) occurrence of the contradiction is explained in set theoretical terms. Crucial here is the way a proof-object of an existential proposition is understood. It is shown that also Russell's paradox can be translated into type theory. The type theory extended with the axiom mentioned above contains constructive higher order logic, but even if one only adds constructive second order logic to type theory the contradictions arise. (shrink)
Dienes & Perner offer us a theory of explicit and implicit knowledge that promises to systematise a large and diverse body of research in cognitive psychology. Their advertised strategy is to unpack this distinction in terms of explicit and implicit representation. But when one digs deeper one finds the “Higher-Order Thought” theory of consciousness doing much of the work. This reduces both the plausibility and usefulness of their account. We think their strategy is broadly correct, but that (...) consensus on the explicit/implicit knowledge distinction is still a fair way off. (shrink)
Higher-order theories of consciousness, such as those of Armstrong, Rosenthal and Lycan, typically distinguish sharply between consciousness and phenomenal character, or qualia. The higher-order states posited by these theories are intended only as explanations of consciousness, and not of qualia. In this paper I argue that the positing of higher-order perceptions may help to explain qualia. If we are realists about qualia, conceived as those intrinsic properties of our experience of which we are introspectibly aware, then (...) class='Hi'>higher-order perception might have an explanatory role as the means by which we are aware of these properties. This would also allow us to treat qualia as the inner appearances resulting from inner perceptions, and therefore to treat them as intentional objects. (shrink)
In general, the idea is that what makes a mental state conscious is that it is the object of some kind of higher-order representation (HOR). A mental state M becomes conscious when there is a HOR of M. A HOR is a “meta-psychological” state, i.e. a mental state directed at another mental state. So, for example, my desire to do a good powerpoint presentation becomes conscious when I am (non-inferentially) “aware” of the desire. Intuitively, it seems that conscious states, (...) as opposed to unconscious ones, are mental states that I am “aware of” in some sense. (shrink)
The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom S4 in a theory of vagueness. In the context of vagueness, S4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over S4 two different notions of clarity are in play (Williamson-style (...) "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys S4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone S4, and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject S4. Third, we rebut a number of arguments that have been produced by opponents of S4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)
In The Consciousness Paradox, Rocco Gennaro aims to solve an underlying paradox, namely, how it is possible to hold a number of seemingly inconsistent views, including higher-order thought (HOT) theory, conceptualism, infant and animal ...
The paper presents a new theory of higher-order vagueness. This theory is an improvement on current theories of vagueness in that it (i) describes the kind of borderline cases relevant to the Sorites paradox, (ii) retains the ‘robustness’ of vague predicates, (iii) introduces a notion of higher-order vagueness that is compositional, but (iv) avoids the paradoxes of higher-order vagueness. The theory’s central building-blocks: Borderlinehood is defined as radical unclarity. Unclarity is defined by means of (...) competent, rational, informed speakers (‘CRISPs’) whose competence, etc., is indexed to the scope of the unclarity operator. The unclarity is radical since it eliminates clear cases of unclarity and, that is, clear borderline cases. This radical unclarity leads to a (bivalence-compatible, non-intuitionist) absolute agnosticism about the semantic status of all borderline cases. The corresponding modal system would be a non-normal variation on S4M. (shrink)
The naive theory of vagueness holds that the vagueness of an expression consists in its failure to draw a sharp boundary between positive and negative cases. The naive theory is contrasted with the nowadays dominant approach to vagueness, holding that the vagueness of an expression consists in its presenting borderline cases of application. The two approaches are briefly compared in their respective explanations of a paramount phenomenon of vagueness: our ignorance of any sharp boundary between positive and negative (...) cases. These explanations clearly do not provide any ground for choosing the dominant approach against the naive theory. The decisive advantage of the former over the latter is rather supposed to consist in its immunity to any form of sorites paradox. But another paramount phenomenon of vagueness is higher-order vagueness: the expressions (such as ‘borderline’ and ‘definitely’) introduced in order to express in the object language the vagueness of the object language are themselves vague. Two highly plausible claims about higher-order vagueness are articulated and defended: the existence of “definitely ω ” positive and negative cases and the “radical” character of higher-order vagueness itself. Using very weak logical principles concerning vague expressions and the ‘definitely’-operator, it is then shown that, in the presence of higher-order vagueness as just described, the dominant approach is subject to higher-order sorites paradoxes analogous to the original ones besetting the naive theory, and therefore that, against the communis opinio , it does not fare substantially better with respect to immunity to any form of sorites paradox. (shrink)
The purpose of this article is show that second-order logic, as understood through standard semantics, is intimately bound up with set theory, or some other general theory of interpretations, structures, or whatever. Contra Quine, this does not disqualify second-order logic from its role in foundational studies. To wax Quinean, why should there be a sharp border separating mathematics from logic, especially the logic of mathematics?
In this commentary I criticize David Rosenthal’s higher order thought theory of consciousness (HOT). This is one of the best articulated philosophical accounts of consciousness available. The theory is, roughly, that a mental state is conscious in virtue of there being another mental state, namely, a thought to the effect that one is in the first state. I argue that this account is open to the objection that it makes “HOT-zombies” possible, i.e., creatures that token higher order mental (...) states, but not the states that the higher order states are about. I discuss why none of the ways to accommodate this problem within HOT leads to viable positions. (shrink)
Higher Order theories of consciousness have their fair share of sympathisers, but the arguments mustered in their support are—to my mind—unduly persuasive. My aim in this paper is to show that Higher Order theories cannot accommodate the possibility of misrepresentation without either falling into contradiction, or collapsing into a First-Order theory. If this diagnosis is on the right track, then Higher Order theories—at least in the specific versions here considered—fail to give an account of what they set out to (...) explain: what is distinctive of ‘conscious’ phenomena. (shrink)
What evolved first: Languages for communicating, or languages for thinking (Generalised Languages: GLs)? (PDF) http://www.cs.bham.ac.uk/research/projects/cogaff/talks/#glang Presented to Language and Cognition Seminar, School of Psychology, University of Birmingham. 19th Oct 2007..
The fact that we can engage in first-person discourse about our own mental states seems, intuitively, to be bound up with consciousness. David Rosenthal draws upon this intuition in arguing for his higher-order thought theory of consciousness. Rosenthal's argument relies upon the assumption that the truth-conditions for "p" and "I think that p" differ. It is argued here that the truth-conditional schema debars "I think" from playing one of its (expressive) roles and thus is not a good (...) test for what is asserted when "I think" is employed in making an assertoric utterance. The critique of Rosenthal's argument allows us to make explicit the intuitions which shape higher-order representation theories of consciousness in general. Consciousness and first-person mental discourse seem to be connected primarily because consciousness is (and was) an epistemic term, used to denote first-person knowledge of minds. Higher-order thought theories of consciousness draw upon this epistemic notion of consciousness, and because self-knowledge seems to involve higher-order representation, the higher-order theorist can deploy what is in effect an "error theory" about conscious experience disguised as a kind of conceptual analysis of our ordinary concept of a conscious mental state. The conclusion reached is that there is unlikely to be a simple or direct path from considerations about mental discourse to conclusions about the nature of consciousness. (shrink)
It is common among philosophers who take an interest in the phenomenon of vagueness in natural language not merely to acknowledge higher-order vagueness but to take its existence as a basic datum— so that views that lack the resources to account for it, or that put obstacles in the way, are regarded as deficient just on that score. My main purpose in what follows is to loosen the hold of this deeply misconceived idea. Higher-order vagueness is no basic (...) datum but an illusion, fostered by misunderstandings of the nature of (ordinary, if you will ‘first-order’) vagueness itself. To see through the illusion is to take a step that is prerequisite for a correct understanding of vagueness, and for any satisfying dissolution of its attendant paradoxes. (shrink)
ABSTRACT: Stewart Shapiro recently argued that there is no higher-order vagueness. More specifically, his thesis is: (ST) ‘So-called second-order vagueness in ‘F’ is nothing but first-order vagueness in the phrase ‘competent speaker of English’ or ‘competent user of “F”’. Shapiro bases (ST) on a description of the phenomenon of higher-order vagueness and two accounts of ‘borderline case’ and provides several arguments in its support. We present the phenomenon (as Shapiro describes it) and the accounts; then discuss Shapiro’s arguments, (...) arguing that none is compelling. Lastly, we introduce the account of vagueness Shapiro would have obtained had he retained compositionality and show that it entails true higher-order vagueness. (shrink)
This paper discusses Fara's so-called 'Paradox of Higher-Order Vagueness' concerning supervaluationism. In the paper I argue that supervaluationism is not committed to global validity, as it is largely assumed in the literature, but to a weaker notion of logical consequence I call 'regional validity'. Then I show that the supervaluationist might solve Fara's paradox making use of this weaker notion of logical consequence. The paper is discussed by Delia Fara in the same volume.
In his 2009 article “Self-Representationalism and Phenomenology,” Uriah Kriegel argues for self-representationalism about phenomenal consciousness primarily on phenomenological grounds. Kriegel’s argument can naturally be cast more broadly as an argument for higher-order representationalism. I examine this broadened version of Kriegel’s argument in detail and show that it is unsuccessful for two reasons. First, Kriegel’s argument (in its strongest form) relies on an inference to the best explanation from the claim that all experiences of normal adult human beings are accompanied (...) by peripheral awareness of those very experiences to the claim that all experiences are accompanied by peripheral awareness of those very experiences. This inference is inadequately defended, for the explanandum may also be given a straightforward evolutionary explanation. Second, contra Kriegel, I argue that phenomenological investigation does not support the thesis that we are always peripherally aware of our experiences. Instead, it delivers no verdict on this thesis. Kriegel’s phenomenological mistake may be explained via a highly diluted version of the famous transparency thesis about experience. (shrink)
We discuss the one?many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one?many relationships between universals themselves: instantiation, subkind and part, and (...) thereby construct three new ?problems of the one and the many? (an Eidetic Dispersal Problem, a Genus?Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)
ABSTRACT: This paper shows that authors who have recently argued that higher-order vagueness is incoherent, paradoxical, illusory or non-existent confound elements of higher-order vagueness with elements of a different paradigm of borderline borderline cases; and that, once the elements of that other paradigm are removed from the description of higher-order vagueness, the basis for the claims of paradoxicality, etc., disappears. The paper sets out the two paradigms (higher-order vagueness vs borderline nestings) and their logics (iterated modalities (...) vs. mixed-order non-empty predicates), illustrates how the notion of hierarchical higher-order vagueness gains its persuasiveness from a conflation of these paradigms, and shows how the alternative notion of columnar higher-order vagueness preserves coherence and relevance to the Sorites. .................................................................................................... .................................................................................................... ................................ -/- Section 1 presents the notion of hierarchical vagueness. Section 2 compares two ordinary language uses of “borderline case”: epistemic and classificatory use. Section 3 lays out the basic logical requirements for higher-order vagueness and shows that it can be columnar rather than hierarchical. Section 4 presents the paradigm of borderline nestings and its logic. Section 5 lists sources for the conflation of classificatory use plus borderline nestings with epistemic use plus higher-order vagueness. Section 6 shows how such conflation undermines the arguments against higher-order vagueness by Sainsbury, Shapiro, Raffman, Wright, Williamson. Section 7 concludes with a note on columnar higher-order vagueness and the Sorites. (shrink)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t , and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type (...) $a$ that rigidly returns the value that $\alpha_a$ receives at the i -world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s , or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)
For purposes of this paper, a conscious state is a mental state whose subject is directly or at least nonevidentially aware of being in it. (The state does not count as conscious if the subject has only been told about it by a cognitive scientist or psychologist; introspectively would be better, but no one should say that a state is conscious only if its subject actively introspects it.). N.b., this usage is only one among several quite different though of course (...) not competing ones; the phrase has been used in at least two other senses, as by, respectively, Dretske (1993, 1995) and Block (1995).1 My definition is stipulative, but not brutely so; it settles on one thing that is often meant by conscious state cf. a conscious memory, a conscious desire, a conscious intention, a conscious decision. According to higher-order (HO) theories of consciousness in this sense of consciousness, what makes a mental state a conscious one is that it is represented by another of the subject’s mental states, that in virtue of which s/he is aware of it. Some practitioners follow Locke in taking the higher-order state to be quasi-perceptual (Armstrong, 1968, 1980, Lycan 1991, 1996); others say it may be merely a thought about the original state (Rosenthal, 1986, 1990).2 There is an alleged objection to such theories, that originated with Goldman (1993)Error: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMap3 and has since been voiced and discussed by others (Dretske 1995, Stubenberg 1998, Van Gulick 2000, 2005, Gennaro 2005, Kriegel 2009). I say alleged, because. (shrink)
An interesting link between two very different physical aspects of quantum mechanics is revealed; these are the absence of third-order interference and Tsirelson’s bound for the nonlocal correlations. Considering multiple-slit experiments—not only the traditional configuration with two slits, but also configurations with three and more slits—Sorkin detected that third-order (and higher-order) interference is not possible in quantum mechanics. The EPR experiments show that quantum mechanics involves nonlocal correlations which are demonstrated in a violation of the Bell or CHSH inequality, (...) but are still limited by a bound discovered by Tsirelson. It now turns out that Tsirelson’s bound holds in a broad class of probabilistic theories provided that they rule out third-order interference. A major characteristic of this class is the existence of a reasonable calculus of conditional probability or, phrased more physically, of a reasonable model for the quantum measurement process. (shrink)
Higher-order representation (HOR) theories posit that the contents of lower-order brain states enter consciousness when tracked by a higher-order brain state. The nature of higher-order monitoring was examined in light of current scientific knowledge, primarily in experimental perceptual psychology. The most plausible candidate for higher-order state was found to be conceptual short-term memory (CSTM), a buffer memory intimately connected with a semantic engine operating in the medium of the language of thought (LOT). This combination meets many (...) of the requirements of HOR theories, although falling short in some significant respects, most notably the inability of higher- order states to represent more than a small fraction of the information contained in primary states, especially in vision. A possible way round this obstacle is suggested, involving the representation of visual detail by means of ensemble concepts. (shrink)
William Lycan has articulated “a simple argument” for higher-order representation (HOR) theories of a variety of consciousness sometimes labeled ‘awareness consciousness’ (Lycan, Analysis 61.1, January 3–4, 2001). The purpose of this article is to critically assess the influential argument-strategy of the simple argument. I argue that, as stated, the simple argument fails since it is invalid. Moreover, I argue that an obvious “quick fix” would beg the question against competing same-order representation (SOR) theories of awareness consciousness. I then provide (...) a reconstruction of the argument and argue that although the reconstructed argument deserves consideration, it is also too simple as stated. In particular, it raises several controversial questions about the nature of mental representation. These questions must be addressed before a verdict as to the cogency of the HOR argument-strategy can be reached. But since the questions are controversial, a cogent argument for HOR theories of awareness consciousness is unlikely to be simple. (shrink)
Meehan finds fault with a number of my arguments, and proposes that better solutions to the problems I was addressing are available if we adopt a higher-ordertheory of consciousness. I start with some general remarks on theories of this sort. I connect what I had to say about the A-thesis with different forms of higher-order sense theories, and explain why I ignored higher-order thought theories altogether: there are compelling grounds for thinking they cannot provide a (...) viable account of phenomenal unity in phenomenal terms. Meehan. (shrink)
Currently, one of the most influential theories of consciousness is Rosenthal’s version of higher-order-thought (HOT). We argue that the HOT theory allows for two distinct interpretations: a one-componentand a two-component view. We further argue that the two-component view is more consistent with his effort to promote HOT as an explanatory theory suitable for application to the empirical sciences.Unfortunately, the two-component view seems incapable of handling a group of counterexamples that we refer to as cases of radical confabulation. (...) We begin by introducing the HOT theory and by indicating why we believe it is open to distinct interpretations. We then proceed to show that it is incapable of handling cases of radical confabulation. Finally, in the course of considering various possible responses to our position, we show that adoption of a disjunctive strategy, one that would countenance both one-component and two-component versions, would fail to provide any empirical or explanatory advantage. (shrink)
We previously argued that somatoparaphrenia poses a challenge for David Rosenthal’s Thin Immunity Principle (TIP) and his Higher-Order Thought theory of consciousness. Rosenthal responded that this counterexample can be accommodated, without violating TIP, if it is reinterpreted as a concern about subjective bodily location. But Rosenthal’s interpretation fails, because it treats mental ownership as merely derivative from subjective bodily location. Mental ownership—matters pertaining to who experiences a mental state—can be misrepresented. Acknowledging that who experiences a mental state can (...) be misrepresented has profound empirical implications: a research program for the investigation of this neglected phenomenon is needed. (shrink)
The higher order approach to consciousness attempts to build a theory of consciousness from the insight that a conscious state is one that the subject is conscious of. There is a well-known objection1 to the higher order approach, a version of which is fatal. Proponents of the higher order approach have realized that the objection is significant. They have dealt with it via what David Rosenthal calls a “retreat” (2005b, p. 179) but that retreat fails to solve the problem.
According to Rosenthal’s Higher-Order Thought (HOT) theory of consciousness, first-order mental states become conscious only when they are targeted by HOTs that necessarily represent the states as belonging to self. On this view a state represented as belonging to someone distinct from self could not be a conscious state. Rosenthal develops this view in terms of what he calls the ‘thin immunity principle’ (TIP). According to TIP, when I experience a conscious state, I cannot be wrong about whether (...) it is I who I think is in that state. We first suggest that TIP is a direct consequence of the HOT theory. Next we argue that somatoparaphrenia—a pathology in which sensations are sometimes represented as belonging to other people—shows that TIP can be violated. This violation of TIP in turn shows that the HOT theory’s claim that conscious states are necessarily represented as belonging to self is in error. Rosenthal’s attempt to account for pathological cases is found to be inadequate when applied to somatoparaphrenia, and other possible defenses are also shown to be incapable of preserving TIP. We further conclude by suggesting that the HOT theory’s failing in this regard is not a failing that is peculiar to this theory of consciousness. (shrink)
Relying on a range of now-familiar thought-experiments, it has seemed to many philosophers that phenomenal consciousness is beyond the scope of reductive explanation. (Phenomenal consciousness is a form of state-consciousness, which contrasts with creature-consciousness, or perceptual-consciousness. The different forms of state-consciousness include various kinds of access-consciousness, both first-order and higher-order--see Rosenthal, 1986; Block, 1995; Lycan, 1996; Carruthers, 2000. Phenomenal consciousness is the property that mental states have when it is like something to possess them, or when they have subjectively-accessible (...) feels; or as some would say, when they have qualia (see fn.1 below).) Others have thought that we can undermine the credibility of those thought-experiments by allowing that we possess purely recognitional concepts for the properties of our conscious mental states. This paper is concerned to explain, and then to meet, the challenge of showing how purely recognitional concepts are possible if there are no such things as qualia--in the strong sense of intrinsic (non-relational, non-intentional) properties of experience. It argues that an appeal to higher-order experiences is necessary to meet this challenge, and then deploys a novel form of higher-order thought theory to explain how such experiences are generated. (shrink)
I argue against such "Relation Intentionalist" theories of consciousness as the higher-order thought and inner sense views on the grounds that they understand a subject's awareness of his or her phenomenal characters to be intentional, like seeming-seeing, rather than "direct", like seeing. The trouble with such views is that they reverse the order of explanation between phenomenal character and intentional awareness. A superior theory of consciousness, based on views expressed by Russell and Price, takes the relation of awareness (...) to be a nonintentional "acquaintance". (shrink)
Higher-order vagueness is widely thought to be a feature of vague predicates that any adequate theory of vagueness must accommodate. It takes a variety of forms. Perhaps the most familiar is the supposed existence, or at least possibility, of higher-order borderline cases—borderline borderline cases, borderline borderline borderline cases, and so forth. A second form of higherorder vagueness, what I will call ‘prescriptive’ higher-order vagueness, is thought to characterize complex predicates constructed from vague predicates by attaching operators (...) having to do with the predicates’ proper application. For example, the predicates ‘mandates application of “old”’ and ‘can competently be called “old”’ are prescriptively higher-order vague. Higher-order vagueness appears in other guises as well,1 but these two have been of particular interest to philosophers and will be my target here. I want to expose some misconceptions about them. If I am right, higher-order vagueness is less prevalent, and less important theoretically, than is usually supposed.2 In what follows I am going to assume that vagueness is a semantic feature of natural language. For the most part I won’t discuss epistemic or pragmatic views, and I will say nothing about so-called metaphysical vagueness. (shrink)
Rolls defends a higher-order thought theory of phenomenal consciousness, mapping the distinction between conscious and non-conscious states onto a distinction between two types of action and corresponding neural pathways. Only one type of action involves higher-order thought and consequently consciousness. This account of consciousness has implausible consequences for the nature of stimulus-reinforcement learning.
One of the distinctive properties of conscious states is the peculiar self- awareness implicit in them. Two rival accounts of this self-awareness are discussed. According to a Neo-Brentanian account, a mental state M is conscious iff M represents its very own occurrence. According to the Higher-Order Monitoring account, M is merely accompanied by a numerically distinct representation of its occurrence. According to both, then, M is conscious in virtue of figuring in a higher-order content. The disagreement is over (...) the question whether the higher-order content is carried by M itself or by a differ- ent state. While the Neo-Brentanian theory is phenomenologically more attractive, it is often felt to be somewhat mysterious. It is argued (i) that the difference between the Neo- Brentanian and Higher-Order Monitoring theories is smaller and more empirical than may initially seem, and (ii) that the Neo-Brentanian theory can be readily demystified. These considerations make it prima facie preferable to the Higher-Order Monitoring theory. (shrink)
We have a familiar idea of levels of description or levels of theory in science: microphysics, atomic physics, chemistry, biology, psychology, and the various social sciences. It is clear that philosophers - such as Terry Horgan - who want to be nonreductive materialists with regard to the mental must hold that this is not mere description; there must be genuine higher-level causes, and hence, genuine higher-level properties, in particular mental properties and causes. But there appears to be a deep (...) problem concerning mental causes. The (micro-) physical world is causally closed. Mental states are - or depend on or are realized by - physical states. It seems, then, that the physical state on which a mental state depends will be responsible for any alleged effects of the mental state. There will be no room for mental causation. And if properties exist insofar at they have a causal role, there will be no room for mental properties either. Many philosophers - Horgan included - have seen this problem of the "causalexclusion" ofthe mental as a specialcase of a general problem:the exclusion of higher-level causes by the causal closure of microphysics. Suppose one higher-level state, H1 leads to another higher-level state, H2. H1 is realized by some base level state, B1, which leads to a base-level state, B2, which in turn realizes H2. All of the casual work, so to speak, takes place at the base level. There is no room for any genuine causal connection between H1, as such, and H2, as such. I argue that there is no problem about higher-order causation in general. There are genuine, unsurprising higher-level causes and properties. A ball roles, for example, or breaks a window. If there is a problem of exclusion regarding putative mental causes, it is not an instance of a general exclusion problem, but is sui generis, and mental causation remains mysterious. (shrink)
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote (...) as singular terms. We argue against Quine's view that predicate quantifiers can be given a referential interpretation only if the entities predicates stand for on such an interpretation are the same as the classes (assuming extensionality) that nominalized predicates denote as singular terms. Quine's alternative of giving predicate quantifiers only a substitutional interpretation is compared with a constructive version of conceptual realism, which with a logic of nominalized predicates is compared with Quine's description of conceptualism as a ramified theory of classes. We argue against Quine's implicit assumption that conceptualism cannot account for impredicative concept-formation and compare holistic conceptual realism with Quine's class Platonism. (shrink)
For nearly a decade, David Rosenthal has proposed that a mental state M of a creature C is conscious just in case C has a suitable higher-order thought directed toward M. While this theory has had its share of criticism in recent years, I believe that the real difficulties have been ignored. In this essay, I show that the presence of a higher order is insufficient for conscious experience, even if we suppose that the thought satisfies the constraints (...) that Rosenthal lists (i.e. that it is assertoric in nature, that it is had occurently, and that it is non-inferentially formed). The only way Rosenthal's view could possibly yield sufficient conditions is by requiring that the higher-order thought be suitably causally related to its object. Yet, as I also show, the only causal constraint strong enough to do the job is not only ill-motivated but probably false. (shrink)
A logic is called higher order if it allows for quantification (and possibly abstraction) over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic (often also called type theory or the Theory of Types) 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)
O'Brien & Opie's position is consistent with the existence of implicit learning and subliminal perception below a subjective threshold but it is inconsistent with various other findings in the literature. The main problem with the theory is that it attributes consciousness to too many things. Incorporating the higher order thought theory renders their position more plausible.
Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] and substantially using (...) a third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. (shrink)
Here we investigate the classes RCA $^\uparrow_\alpha$ of representable directed cylindric algebras of dimension α introduced by Nemeti[12]. RCA $^\uparrow_\alpha$ can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, "purely cylindric algebraic" proof for the following theorems of Nemeti: (i) RCA $^\uparrow_\alpha$ is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain (...) a strong representation theorem for RCA $^\uparrow_\alpha$ if one chooses an appropriate (non-well-founded) set theory as foundation of mathematics. These results provide a purely cylindric algebraic solution for the Finitization Problem (in the sense of [11]) in some non-well-founded set theories. (shrink)
In a recent article in this journal, Lee B. Brown criticizes one central kind of project in higher-order musical ontology—the project of offering an ontological theory of a particular musical tradition. I defend this kind of project by replying to Brown’s critique, arguing that musical practices are not untheorizably messy, and that a suitably subtle descriptivist ontology of a given practice can be valuable both theoretically and practically.
The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take the (...)theory of αβη-equality into account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)
A theory of higher-order vagueness for partially-defined, context-sensitive predicates like is blue is offered. According to the theory, the predicate is determinately blue means roughly is an object o such that the claim that o is blue is a necessary consequence of the rules of the language plus the underlying non-linguistic facts in the world. Because the question of which rules count as rules of the language is itself vague, the predicate is determinately blue is both vague (...) and partial in a sense analogous (though not completely identical) to the sense in which is blue is vague and partial. However, higher-order vagueness stops there. Although the anti-extension of is determinately blue differs from that of is blue, further iterations of determinately have no semantic effect. -/- The paper closes with a discussion of the need to posit sharp and precise lines dividing the range of potential application of a vague predicate into semantically distinct categories. It is argued that this is less of a problem for the present theory than for many others, because the categories into which the range is divided by the present theory -- like the category of counting as blue because the rules of the language offer speakers no discretion, as opposed to the category of counting as blue because speakers have invoked an absolute minimum of discretion in adjusting the contextually sensitive boundaries of the predicate -- are not those that the linguistic competence of ordinary speakers equips them to make highly accurate and reliable judgments about. (shrink)
In a critical discussion, interlocutors can strategically maneuver by shading their expressed degree of standpoint commitment for rhetorical effect. When is such strategic shading reasonable, and when does it cross the line and risk fallacious derailment of the discussion? Analysis of President George W. Bush’s 2002–2003 prewar commentary on Iraq provides an occasion to explore this question and revisit Douglas Ehninger’s distinction between argumentation as coercive correction and argumentation as a person-risking enterprise. Points of overlap between Ehninger’s account and (...) pragma-dialectical argumentation theory suggest avenues for harmonization of rhetorical and dialectical perspectives on argumentation. Out of this conceptual convergence comes theoretical resources for understanding strategic maneuvering, by accounting for ways that discussants exploit gaps between their externalized and actual discussion attitude. As such higher-order strategic maneuvering played a major role in the 2003 Iraq prewar discourse failure, perspicacious understanding of this particular argumentative maneuver carries practical, as well as theoretical import. (shrink)
Suppose you hold the following opinions in the philosophy of logic. First-order predicate logic is expressively inadequate to regiment concepts of mathematic and natural language; logicism is plausible and attractive; set theory as an adjunct to logic is unnatural and ontologically extravagant; humanly usable languages are finite in lexicon and syntax; it is worth striving for a Tarskian semantics for mathematics; there are no Platonic abstract objects. Then you are probably already in cognitive distress. One way to decease your (...) unhappiness, short for embracing Platonism, is to accept higher-order logic and look, as did Arthur Prior, for a plausible way to neutralize the ontological commitment to abstract entities that this acceptance appears to entail. (shrink)
In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.
Currently, one of the most influential theories of consciousness is Rosenthal’s version of higher-order-thought (HOT). We argue that the HOT theory allows for two distinct interpretations: a one-componentand a two-component view. We further argue that the two-component view is more consistent with his effort to promote HOT as an explanatory theory suitable for application to the empirical sciences.Unfortunately, the two-component view seems incapable of handling a group of counterexamples that we refer to as cases of radical confabulation. (...) We begin by introducing the HOT theory and by indicating why we believe it is open to distinct interpretations. We then proceed to show that it is incapable of handling cases of radical confabulation. Finally, in the course of considering various possible responses to our position, we show that adoption of a disjunctive strategy, one that would countenance both one-component and two-component versions, would fail to provide any empirical or explanatory advantage. (shrink)
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 definitely true and those of which it is definitely false. Taking as primitive the operator ‘it is definitely the case that’, abbreviated as ‘D’, we may stipulate that a predicate F is definitely true (or definitely 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 definitely 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)
Sometimes we get evidence of our own epistemic malfunction. This can come from finding out we’re fatigued, or have been drugged, or that other competent and well-informed thinkers disagree with our beliefs. This sort of evidence seems to seems to behave differently from ordinary evidence about the world. In particular, getting such evidence can put agents in a position where the most rational response involves violating some epistemic ideal.
Between Summits I and II, media ethics established its legitimacy, summarized into recommendations for the field's future fluorescence. This history points to the challenges through which media ethics moves to another order of magnitude. A historical map of media ethics scholarship since 1980 divides into 5 domains, and each is introduced: theory, social philosophy, religious ethics, technology, and truth. From this content analysis of the literature, an agenda emerges for research and academic study that can raise media ethics to (...) a higher level. (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)
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)
The so-called 'higher-order thought' (HOT) theory of consciousness says that what makes a mental state conscious is the presence of a suitable higher-order thought directed at it (Rosenthal, 1986; 1990; 1993; 2002; 2004; Gennaro, 1996; 2004). The HOT theory has been or could be attacked from two apparently opposite directions. On the one hand, there is what Stubenberg (1998) has called 'the problem of the rock' which, if successful, would show that the HOT theory proves (...) too much. On the other hand, it might also be alleged that the HOT theory does not or cannot address the so-called 'hard problem' of phenomenal consciousness. If so, then the HOT theory would prove too little. We might say, then, that the HOT theory is arguably between a rock and a hard place. In this paper, I critically examine these objections and defend the HOT theory against them. In doing so, I hope to show that the HOT theory, or at least some version of it, neither proves too little nor too much, but is just right. I also show that these two objections are really just two sides of the same coin, and that the HOT theory is immune from David Chalmers' (1995; 1996) criticisms of other attempted reductionist accounts of consciousness. (shrink)
According to Uriah Kriegel’s self-representational theory of consciousness, mental state M is conscious just in case it is a complex with suitably integrated proper parts, M1 and M2, such that M1 is a higher-order representation of lower-order representation M2. Kriegel claims that M thereby “indirectly” represents itself, and he attempts to motivate this claim by appealing to what he regards as intuitive cases of indirect perceptual and pictorial representation. For example, Kriegel claims that it’s natural to say that (...) in directly perceiving the front surface of an apple one thereby perceives the apple itself. Cases such as this are supposed to provide intuitive support for the principle that if X represents Y, and Y is highly integrated into complex object Z, then X indirectly represents Z. In this paper I provide counterexamples to Kriegel’s principle of indirect representation, before going on to argue that we can explain what is going on in those cases in which the subject seems to represent a complex whole by representing one its parts without positing indirect representations anyway. I then argue that my alternative approach is superior to Kriegel’s in a number of ways, thereby rendering his theory of consciousness implausible. (shrink)
The same-order representation theory of consciousness holds that conscious mental states represent both the world and themselves. This complex representational structure is posited in part to avoid a powerful objection to the more traditional higher-order representation theory of consciousness. The objection contends that the higher-ordertheory fails to account for the intimate relationship that holds between conscious states and our awareness of them--the theory 'divides the phenomenal labor' in an illicit fashion. This 'failure of (...) intimacy' is exposed by the possibility of misrepresentation by higher-order states. In this paper, I argue that despite appearances, the same-order theory fails to avoid the objection, and thus also has troubles with intimacy. (shrink)
In Thinking About Consciousness , David Papineau [2002] presents a criticism of so-called 'actualist HOT theories of consciousness'. The HOT theory, held most notably by David Rosenthal, claims that the best explanation for what makes a mental state conscious is that it is the object of an actual higher-order thought directed at the mental state. Papineau contends that actualist HOT theory faces an awkward problem in relation to higher-order memory judgements; for example, that the theory (...) cannot explain how one could later recall an earlier experience that was not introspected. He argues that, on the HOT theory, we are even left with the absurd conclusion that the consciousness of, say, an earlier visual experience might even depend on the later act of memory. I show that Papineau's criticism of actualist HOT theory not only fails, but also that it seriously mischaracterizes and underestimates the theory. In particular, Papineau badly conflates the crucial difference between an introspective state (i.e., where a conscious HOT is directed at a mental state) and an outer-directed first-order conscious state (i.e., a case where one has a nonconscious HOT). (shrink)
One of the promising approaches to the problem of consciousness has been the Higher-Order Monitoring Theory of Consciousness. According to the Higher-Order Monitoring Theory, a mental state M of a subject S is conscious iff S has another mental state, M*, such that M* is an appropriate representation of M. Recently, several philosophers have developed a Higher-Order Monitoring theory with a twist. The twist is that M and M* are construed as entertaining some kind (...) of constitutive relation, rather than being logically independent of each other. We may call this the Same-Order Monitoring Theory of Consciousness. In this paper, I discuss the nature of the Same-Order Monitoring Theory and argue for its superiority over the more traditional Higher-Order Monitoring Theory. (shrink)
Büchi, J. R. The monadic second order theory of [omega symbol]₁.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.
This text is a short introduction to logic that was primarily used for accompanying an introductory course in Logic for Linguists held at the New University of Lisbon (UNL) in fall 2010. The main idea of this course was to give students the formal background and skills in order to later assess literature in logic, semantics, and related fields and perhaps even use logic on their own for the purpose of doing truth-conditional semantics. This course in logic does not replace (...) a proper introduction to semantics and is not intended as such, although parts of Chapter 1 and 4 could be used to supplement an introductory course in semantics. In contrast to other introductions it has a certain focus on ‘writing things down correctly.’ Proofs of metatheorems are omitted, though. -/- This is work in progress. Please send suggestions and corrigenda to erich@snafu.de. Have fun! (shrink)
We show that the variety of n -dimensional weakly higher order cylindric algebras, introduced in Németi [9], [8], is finitely axiomatizable when n > 2. Our result implies that in certain non-well-founded set theories the finitization problem of algebraic logic admits a positive solution; and it shows that this variety is a good candidate for being the cylindric algebra theoretic counterpart of Tarski’s quasi-projective relation algebras.
Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...) various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)
A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)
Paraconsistent approaches have received little attention in the literature on vagueness (at least compared to other proposals). The reason seems to be that many philosophers have found the idea that a contradiction might be true (or that a sentence and its negation might both be true) hard to swallow. Even advocates of paraconsistency on vagueness do not look very convinced when they consider this fact; since they seem to have spent more time arguing that paraconsistent theories are at least as (...) good as their paracomplete counterparts, than giving positive reasons to believe on a particular paraconsistent proposal. But it sometimes happens that the weakness of a theory turns out to be its mayor ally, and this is what (I claim) happens in a particular paraconsistent proposal known as subvaluationism. In order to make room for truth-value gluts subvaluationism needs to endorse a notion of logical consequence that is, in some sense, weaker than standard notions of consequence. But this weakness allows the subvaluationist theory to accommodate higher-order vagueness in a way that it is not available to other theories of vagueness (such as, for example, its paracomplete counterpart, supervaluationism). (shrink)
There has been much discussion about the nature and even existence of so-called “pure conscious events” (PCEs). PCEs are often described as mental events which are non-conceptual and lacking all experiential content (Forman 1990). For a variety of reasons, a number of authors have questioned both the accuracy of such a characterization and even the very existence of PCEs (Katz 1978, Bagger 1999). In this chapter, I take a somewhat different, but also critical, approach to the nature and possibility of (...) PCEs. I focus on several overlapping views found in recent analytic philosophy of mind and examine PCEs in light of them. After introducing terminology and some preliminary matters, I examine whether or not the “higher-order thought (HOT) theory of consciousness” rules out the possibility of PCEs, and conversely, whether or not PCEs show that the HOT theory cannot apply to all conscious states. The HOT theory says that what makes a mental state conscious is that it is accompanied by a higher-order thought to the effect that “I am in mental state M now.” A related theme will be to assess PCEs in light of the recent debate between so-called “conceptualists” and those who believe that there are “non-conceptual contents of experience.” Conceptualism, to which I am very sympathetic, is basically the view that all conscious experience is structured by concepts possessed by the subject. I argue that PCEs are indeed conceptual and so no threat to conceptualism. For example, standard criticisms of conceptualism do not apply to PCEs. Finally, I examine the possibility that PCEs are not conscious at all. In the end, my overall conclusion is that we should hold that PCEs are indeed compatible with both HOT theory and conceptualism or seriously question the idea that PCEs are conscious at all. (shrink)
David Rosenthal and Josh Weisberg have recently provided a counter argument to Ned Block’s argument that a Higher Order Thought (HOT) theory of consciousness cannot accommodate the existence of hallucinatory conscious states (i.e. a conscious episode consisting of a HOT without the presence of a relevant lower order thought). Their counter argument invokes the idea of mental appearances: a non-existent intentional object which is to aid in an account of subjective conscious awareness. I argue that if mental appearances are (...) to do the work they are supposed to, we cannot draw a mental appearance/reality distinction. I provide an alternative story that a HOT theorist can invoke to account for cases of conscious misrepresentation. Such a story will require denying the existence of HCS while still accounting for conscious misrepresentation. This is a cost I believe the HOT theorist should be willing to pay. (shrink)
Evidentialism is the thesis that a person is justified in believing a proposition iff the person's evidence on balance supports that proposition. In discussing epistemological issues associated with disagreements among epistemic peers, some philosophers have endorsed principles that seem to run contrary to evidentialism, specifying how one should revise one's beliefs in light of disagreement. In this paper, I examine the connection between evidentialism and these principles. I argue that the puzzles about disagreement provide no reason to abandon evidentialism and (...) that there are no true general principles about justified responses to disagreement other than the general evidentialist principle. I then argue that the puzzles about disagreement are primarily puzzles about the evidential impact of higher-order evidence – evidence about the significance or existence of ordinary, or first-order, evidence. I conclude by arguing that such higher-order evidence can often have a profound effect on the justification of first-order beliefs. (shrink)
