Search results for 'Higher-order Theory' (try it on Scholar)

997 found
Order:
  1. David Rosenthal (2004). Varieties of Higher-Order Theory. In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins
    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-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  2.  42
    Sam Coleman (2015). Quotational Higher-Order Thought Theory. Philosophical Studies 172 (10):2705-2733.
    Due to their reliance on constitutive higher-order representing to generate the qualities of which the subject is consciously aware, I argue that the major existing higher-order representational theories of consciousness insulate us from our first-order sensory states. In fact on these views we are never properly conscious of our sensory states at all. In their place I offer a new higher-order theory of consciousness, with a view to making us suitably intimate with our sensory states in (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Richard Brown & Pete Mandik (2012). On Whether the Higher-Order Thought Theory of Consciousness Entails Cognitive Phenomenology, Or: What is It Like to Think That One Thinks That P? Philosophical Topics 40 (2):1-12.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Hakwan Lau (2008). A Higher Order Bayesian Decision Theory of Consciousness. In Rahul Banerjee & B. K. Chakrabarti (eds.), Models of Brain and Mind: Physical, Computational, and Psychological Approaches. Elsevier
    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. (...)
    Direct download  
     
    Export citation  
     
    My bibliography   10 citations  
  5.  25
    Scott Martin & Carl Pollard (2012). A Higher-Order Theory of Presupposition. Studia Logica 100 (4):727-751.
    So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order (...) of discourse semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6.  29
    George Seli (2012). The Utility of Conscious Thinking on Higher-Order Theory. Philosophical Explorations 15 (3):303 - 316.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  5
    Ciarán M. Lee & John H. Selby (forthcoming). Higher-Order Interference in Extensions of Quantum Theory. Foundations of Physics:1-24.
    Quantum interference, manifest in the two slit experiment, lies at the heart of several quantum computational speed-ups and provides a striking example of a quantum phenomenon with no classical counterpart. An intriguing feature of quantum interference arises in a variant of the standard two slit experiment, in which there are three, rather than two, slits. The interference pattern in this set-up can be written in terms of the two and one slit patterns obtained by blocking one, or more, of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  6
    Kevin Timpe (2015). Quotational Higher-Order Thought Theory. Philosophical Studies 172 (10):2705-2733.
    Due to their reliance on constitutive higher-order representing to generate the qualities of which the subject is consciously aware, I argue that the major existing higher-order representational theories of consciousness insulate us from our first-order sensory states. In fact on these views we are never properly conscious of our sensory states at all. In their place I offer a new higher-order theory of consciousness, with a view to making us suitably intimate with our sensory states in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  91
    Jennifer Matey (2006). Two HOTS to Handle: The Concept of State Consciousness in the Higher-Order Thought Theory of Consciousness. Philosophical Psychology 19 (2):151-175.
    David Rosenthal's higher-order thought 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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  35
    David M. Rosenthal (1993). Higher-Order Thoughts and the Appendage Theory of Consciousness. Philosophical Psychology 6 (2):155-66.
    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 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  20
    Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  23
    Gerard O'Brien & Jonathan Opie (1999). What's Really Doing the Work Here? Knowledge Representation or the Higher-Order Thought Theory of Consciousness? Behavioral and Brain Sciences 22 (5):778-779.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  13. Mark Pharoah, Enhancing Dispositional Higher-Order Thought Theory.
    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.
     
    Export citation  
     
    My bibliography  
  14. David Rosenthal (2012). Higher-Order Awareness, Misrepresentation, and Function. Higher-Order Awareness, Misrepresentation and Function 367 (1594):1424-1438.
    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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  15. Maria Lasonen‐Aarnio (2014). Higher‐Order Evidence and the Limits of Defeat. Philosophy and Phenomenological Research 88 (2):314-345.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  16.  30
    Edmund T. Rolls (2004). A Higher Order Syntactic Thought Theory of Consciousness. In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins
  17.  21
    John O'Dea (2007). A Higher-Order, Dispositional Theory of Qualia. Annals of the Japan Association for Philosophy of Science 15 (2):29-41.
    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 (...) 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)
    Direct download  
     
    Export citation  
     
    My bibliography  
  18.  96
    S. Shapiro (2012). Higher-Order Logic or Set Theory: A False Dilemma. Philosophia Mathematica 20 (3):305-323.
    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?
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  64
    Robert C. Koons (1998). Teleology as Higher-Order Causation: A Situation-Theoretic Account. Minds and Machines 8 (4):559-585.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  20.  11
    W. Degen & J. Johannsen (2000). Cumulative Higher-Order Logic as a Foundation for Set Theory. Mathematical Logic Quarterly 46 (2):147-170.
    The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable α.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21. William G. Lycan (2001). A Simple Argument for a Higher-Order Representation Theory of Consciousness. Analysis 61 (269):3-4.
  22.  1
    Sue Ann Toledo (1975). Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Springer-Verlag.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  14
    Thomas Forster (1989). A Consistent Higher-Order Theory Without a Model. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):385-386.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  2
    Thomas Forster (1989). A Consistent Higher‐Order Theory Without a (Higher‐Order) Model. Mathematical Logic Quarterly 35 (5):385-386.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25. Rocco J. Gennaro (1996). Consciousness and Self-Consciousness: A Defense of the Higher-Order Thought Theory of Consciousness. John Benjamins.
    This interdisciplinary work contains the most sustained attempt at developing and defending one of the few genuine theories of consciousness.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  26. Robert Van Gulick (2004). Higher-Order Global States : An Alternative Higher-Order Model of Consciousness. In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins
  27.  7
    W. G. Lycan (2001). A Simple Argument for a Higher-Order Representation Theory of Consciousness. Analysis 61 (1):3-4.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  44
    Rocco J. Gennaro (1993). Brute Experience and the Higher-Order Thought Theory of Consciousness. Philosophical Papers 22 (1):51-69.
  29.  3
    Richard Montague, J. N. Crossley & M. A. E. Dummett (1975). Set Theory and Higher-Order Logic. Journal of Symbolic Logic 40 (3):459-459.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  30.  2
    William J. Rapaport (1988). Megiddo Nimrod and Wigderson Avi. On Play by Means of Computing Machines . Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 259–274.Gaifman Haim. A Theory of Higher Order Probabilities. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 275–292.Micali Silvio. Knowledge and Efficient Computation. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, Pp. 353–362. [REVIEW] Journal of Symbolic Logic 53 (2):669-670.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  21
    Aaron Sloman, Spatial Prepositions as Higher Order Functions: And Implications of Grice's Theory for Evolution of Language.
  32.  1
    Susumu Hayashi (1980). Derived Rules Related to a Constructive Theory of Metric Spaces in Intuitionistic Higher Order Arithmetic Without Countable Choice. Annals of Mathematical Logic 19 (1-2):33-65.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  1
    William J. Rapaport, Nimrod Megiddo, Avi Wigderson, Haim Gaifman, Silvio Micali, John C. Mitchell & Michael J. O'Donnell (1988). On Play by Means of Computing Machines .A Theory of Higher Order Probabilities.Knowledge and Efficient Computation.Realizability Semantics for Error-Tolerant Logics. [REVIEW] Journal of Symbolic Logic 53 (2):669.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    John O'Dea (2007). A Higher-Order, Dispositional Theory of Qualia. Annals of the Japan Association for Philosophy of Science 15 (2):81-93.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  2
    K. Schutte (1974). Review: Dag Prawitz, Hauptsatz for Higher Order Logic; Dag Prawitz, Completeness and Hauptsatz for Second Order Logic; Moto-o Takahashi, A Proof of Cut-Elimination in Simple Type-Theory. [REVIEW] Journal of Symbolic Logic 39 (3):607-607.
  36.  2
    Richard Mansfield (1975). Review: Richard Montague, J. N. Crossley, M. A. E. Dummett, Set Theory and Higher-Order Logic. [REVIEW] Journal of Symbolic Logic 40 (3):459-459.
  37.  3
    Wilfred G. Malcolm (1974). Some Results and Algebraic Applications in the Theory of Higher-Order Ultraproducts. Notre Dame Journal of Formal Logic 15 (1):1-15.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38. Sato Kentaro (2014). Relative Predicativity and Dependent Recursion in Second-Order Set Theory and Higher-Order Theories. Journal of Symbolic Logic 79 (3):712-732.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Richard Mansfield (1975). Montague Richard. Set Theory and Higher-Order Logic. Formal Systems and Recursive Functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, Edited by Crossley J. N. And Dummett M. A. E., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 131–148. [REVIEW] Journal of Symbolic Logic 40 (3):459.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Drew Mcdermott (1998). Higher-Order Thought Rendered Defenseless: Review of Consciousness and Self-Consciousness: A Defense of the Higher-Order Thought Theory of Consciousness by Rocco Gennaro. [REVIEW] Psyche 4.
     
    Export citation  
     
    My bibliography  
  41. Kurt Schütte (1962). Orey Steven. Model Theory for the Higher Order Predicate Calculus. Transactions of the American Mathematical Society, Vol. 92 , Pp. 72–84. [REVIEW] Journal of Symbolic Logic 27 (1):96.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Kurt Schutte (1962). Review: Steven Orey, Model Theory for the Higher Order Predicate Calculus. [REVIEW] Journal of Symbolic Logic 27 (1):96-96.
  43. J. I. Zucker (1980). Review: Sue Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories. [REVIEW] Journal of Symbolic Logic 45 (3):636-638.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. J. I. Zucker (1980). Toledo Sue. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Lecture Notes in Mathematics, Vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Iii + 339 Pp. [REVIEW] Journal of Symbolic Logic 45 (3):636-638.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  55
    Beau Madison Mount (2015). Higher‐Order Abstraction Principles. Thought: A Journal of Philosophy 4 (4):228-236.
    I extend theorems due to Roy Cook on third- and higher-order versions of abstraction principles and discuss the philosophical importance of results of this type. Cook demonstrated that the satisfiability of certain higher-order analogues of Hume's Principle is independent of ZFC. I show that similar analogues of Boolos's new v and Cook's own ordinal abstraction principle soap are not satisfiable at all. I argue, however, that these results do not tell significantly against the second-order versions of these principles.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46. Rocco J. Gennaro (2012). The Consciousness Paradox: Consciousness, Concepts, and Higher-Order Thoughts. MIT Press.
    Consciousness is arguably the most important area within contemporary philosophy of mind and perhaps the most puzzling aspect of the world. Despite an explosion of research from philosophers, psychologists, and scientists, attempts to explain consciousness in neurophysiological, or even cognitive, terms are often met with great resistance. 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  47. Susanne Bobzien (2015). I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness. Aristotelian Society Supplementary Volume 89 (1):61-87.
    Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this. In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48. Peter Fritz & Jeremy Goodman (2016). Higher-Order Contingentism, Part 1: Closure and Generation. Journal of Philosophical Logic 45 (6):645-695.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Elia Zardini (2013). Higher-Order Sorites Paradox. Journal of Philosophical Logic 42 (1):25-48.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  50. Susanne Bobzien (2012). If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom. In B. Morison K. Ierodiakonou (ed.), Episteme, etc. OUP UK
    The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
1 — 50 / 997