Some recently popular accounts of perception account for the phenomenal character of perceptual experience in terms of the qualities of objects. My concern in this paper is with naturalistic versions of such a phenomenal externalist view. Focusing on visual spatial perception, I argue that naturalistic phenomenal externalism conflicts with a number of scientific facts about the geometrical characteristics of visual spatial experience.

Experiences of art involve exercise of ordinary cognitive and perceptual capacities but in unique ways. These two features of experiences of art imply the mutual importance of aesthetics and cognitive science. Cognitive science provides empirical and theoretical analysis of the relevant cognitive capacities. Aesthetics thus does well to incorporate cognitive scientific research. Aesthetics also offers philosophical analysis of the uniqueness of the experience of art. Thus, cognitive science does well to incorporate the explanations of aesthetics. This paper explores this general (...) framework of expansionism : a research strategy that suggests that the explanatory goals and resources of both aesthetics and cognitive science should expand to include those of the other. Two relations are considered. First, what is the relation between aesthetics and more traditional cognitive science? Second, what is the relation between aesthetics and new developments in cognitive science that de-emphasize mental representation and emphasize body and action? (shrink)

Fodor advocates a view of cognitive processes as computations defined over the language of thought (or Mentalese). Even among those who endorse Mentalese, considerable controversy surrounds its representational format. What semantically relevant structure should scientific psychology attribute to Mentalese symbols? Researchers commonly emphasize logical structure, akin to that displayed by predicate calculus sentences. To counteract this tendency, I discuss computational models of navigation drawn from probabilistic robotics. These models involve computations defined over cognitive maps, which have geometric rather than logical (...) structure. They thereby demonstrate the possibility of rational cognitive processes in an exclusively non-logical representational medium. Furthermore, they offer much promise for the empirical study of animal navigation. (shrink)

The aim of this paper is to reconsider certain assumptions about conceptual structure which have become influential in recent Cognitive Science and which are associated in particular with the Cognitive Linguistics research agenda. I will outline three areas within the Cognitive Linguistics theory of concepts which seem to create some difficulties in their present formulation: the 'embodied cognition' idea, the function of imagery and the role of metaphor in the structure of concepts.

[This is an earlier (1997), much longer and more detailed version of my entry on LOTH in the _Stanford Encyclopedia of Philosophy_] The Language of Thought Hypothesis (LOTH) is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that (...) has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

Over the past thirty years, it is been common to hear the mind likened to a digital computer. This essay is concerned with a particular philosophical view that holds that the mind literally is a digital computer (in a specific sense of “computer” to be developed), and that thought literally is a kind of computation. This view—which will be called the “Computational Theory of Mind” (CTM)—is thus to be distinguished from other and broader attempts to connect the mind with computation, (...) including (a) various enterprises at modeling features of the mind using computational modeling techniques, and (b) employing some feature or features of production-model computers (such as the stored program concept, or the distinction between hardware and software) merely as a guiding metaphor for understanding some feature of the mind. This entry is therefore concerned solely with the Computational Theory of Mind (CTM) proposed by Hilary Putnam [1961] and developed most notably for philosophers by Jerry Fodor [1975, 1980, 1987, 1993]. The senses of ‘computer’ and ‘computation’ employed here are technical; the main tasks of this entry will therefore be to elucidate: (a) the technical sense of ‘computation’ that is at issue, (b) the ways in which it is claimed to be applicable to the mind, (c) the philosophical problems this understanding of the mind is claimed to solve, and (d) the major criticisms that have accrued to this view. (shrink)

Mental imagery (varieties of which are sometimes colloquially refered to as “visualizing,” “seeing in the mind's eye,” “hearing in the head,” “imagining the feel of,” etc.) is quasi-perceptual experience; it resembles perceptual experience, but occurs in the absence of the appropriate external stimuli. It is also generally understood to bear intentionality (i.e., mental images are always images of something or other), and thereby to function as a form of mental representation. Traditionally, visual mental imagery, the most discussed variety, was thought (...) to be caused by the presence of picturelike representations (mental images) in the mind, soul, or brain, but this is no longer universally accepted. (shrink)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

endorsed one kind of inverted spectrum hypothesis and rejected another. This paper argues that the kind of inverted spectrum hypothesis that Wittgenstein endorsed is the thin end of the wedge that precludes a Wittgensteinian critique of the kind of inverted spectrum hypothesis he rejected. The danger of the dangerous kind is that it provides an argument for qualia, where qualia are contents of experiential states which cannot be fully captured in natural language. I will pinpoint the difference between the innocuous (...) and dangerous scenarios that matters for the argument for qualia, give arguments in favor of the coherence and possibility of the dangerous scenario, and try to show that some standard arguments against inverted spectra are ineffective against the version of the dangerous scenario I will be advocating. The leading idea of the paper is that an argument for qualia based on spectrum inversion does not require that the inversion be behaviorally indistinguishable. At one crucial point, I will rely on a less controversial version of an argument I gave in Block. Wittgenstein's views provide a convenient starting point for a paper that is much more about qualia than about Wittgenstein. (shrink)

It is commonly assumed that images, whether in the world or in the head, do not have a privileged analysis into constituent parts. They are thought to lack the sort of syntactic structure necessary for representing complex contents and entering into sophisticated patterns of inference. I reject this assumption. “Image grammars” are models in computer vision that articulate systematic principles governing the form and content of images. These models are empirically credible and can be construed as literal grammars for images. (...) Images can have rich syntactic structure, though of a markedly different form than sentences in language. (shrink)

I argue that contrary to their own intentions Casser and Schiller should think that their pain-in-mouth argument is invalid. I cast doubt on whether a hole must be in a host of it but show that the crux of Casser and Schiller’s proposal does not depend on this.

The aim of this paper is to argue that there is no unproblematic way of delineating perceptual beliefs from non-perceptual beliefs. The concept of perceptual belief is one of the central concepts not only of philosophy of perception but also of epistemology in a broad foundationalist tradition. Philosophers of perception talk about perceptual belief as the interface between perception and cognition and foundationalist epistemologists understand perceptual justification as a relation between perceptual states and perceptual beliefs. We consider three ways of (...) cashing out the difference between perceptual and non-perceptual beliefs (semantic, justificatory, and etiological) and argue that none of them works. Finally, we explore the possibility of understanding perceptual justification without relying on the concept of perceptual beliefs. (shrink)

Sometimes when we describe our own sensory experiences we seem to attribute to experience itself the same sorts of familiar properties – such as shape or colour – as we attribute to everyday physical objects. But how literally should we understand such descriptions? Can there really be phenomenal elements or aspects to an experience which are, for example, quite literally square? This paper examines how these questions connect to a wide range of different commitments and theories about the metaphysics of (...) mind. In particular, I consider whether there may be phenomenological reasons to accept or reject the idea that there are elements or aspects of conscious experience itself which instantiate familiar spatial properties. I also explore how some general theses about the nature of empirical properties can motivate different answers to these questions. (shrink)

Are emotions bodily feelings or evaluative cognitions? What is happiness, pain, or “being moved”? Are there basic emotions? In this chapter, I review extant empirical work concerning these and related questions in the philosophy of emotion. This will include both (1) studies investigating people’s emotional experiences and (2) studies investigating people’s use of emotion concepts in hypothetical cases. Overall, this review will show the potential of using empirical research methods to inform philosophical questions regarding emotion.

Understanding, for Kant, does not intuit, and intuition—which involves empirical information, i.e., sense-data—does not entail thinking. What is crucial to Kant’s famous claim that intuitions without concepts are blind and concepts without intuitions are empty is the idea that we have no knowledge unless we combine concepts with intuition. Although concepts and intuition are radically separated mental powers, without a way of bringing them together (i.e., synthesis) there is no knowledge for Kant. Thus Kant’s metaphysical-scientific dualism: (scientific) knowledge is limited (...) to the world of phenomena—the world of appearance—while the thing-in-itself is unknowable because there is no intuition that can correspond to the it. This paper sets to cull Béatrice Longuenesse’s recent work on the first-person ‘I’ and put forth a novel Kantian approach to the first-person reference of mental states, working in the tradition of P.F. Strawson, Rudolf Carnap, and Wilfrid Sellars, while offering an empirical study of deafferentation to ground the thesis that the binding of representations is separate from phenomenal consciousness. Accordingly, we stake a kind of self-consciousness vis-à-vis the Fundamental Reference-Rule qua apperception that, while intimately connected to consciousness of one’s own body, apperception is nevertheless distinct from it and is, moreover, the condition for any use of ‘I’. We compliment neuroscientist Oliver Sacks’ research with Ned Block’s recent work on “no-post‐perceptual cognition” and attentional variation to couch Kant’s schema in perceptual psychology. We navigate Kant’s work on intuitions (viz. sensation, perception, and the empirical side of the cognitive faculties) and indirect realism/weak representationism first via Sellars’ naturalization of Kant’s inaccessible thing-in-itself, before challenging Sellars’ functionalist and inferentialist conception of perception and discursive intentionality. We ultimately endeavor to conceptualize the limit-conditions regarding our having reportable knowledge about our access to percepts and concepts. (shrink)

It is often claimed that pre-attentive vision has an ‘iconic’ format. This is seen to explain pre-attentive vision's characteristically high processing capacity and to make sense of an overlap in the mechanisms of early vision and mental imagery. But what does the iconicity of pre-attentive vision amount to? This paper considers two prominent ways of characterising pre-attentive visual icons and argues that neither is adequate: one approach renders the claim ‘pre-attentive vision is iconic’ empirically false while the other obscures its (...) ability to do the explanatory work, which motivates positing pre-attentive visual icons in the first place. With this noted, I introduce the notion of an ‘Analogue Map’ and argue that it provides a superior characterisation of pre-attentive vision's iconicity. I then argue that this forces a reassessment of debates which have traditionally presupposed the iconicity of pre-attentive vision, emphasising ramifications for the viability of a format-based perception-thought border. (shrink)

According to a bodily view of pain, pains are objects which are located in body parts. This bodily view is supported by the locative locutions for pain in English, such as that “I have a pain in my back.” Recently, Liu and Klein (Analysis, 80(2), 262–272, 2020) carry out a cross-linguistic analysis, and they claim that (1) Mandarin has no locative locutions for pain and (2) the absence of locative locutions for pain puts the bodily view at risk. This paper (...) rejects both claims. Regarding the philosophical claim, I argue that a language without locative locutions for pain only poses a limited challenge to the bodily view. Regarding the empirical claim, I identify the possible factors which might have misled Liu and Klein about the locative locutions for pain in Mandarin, and argue that Mandarin has a wide range of locative locutions for pain by conducting a corpus analysis. I conclude that compared to English, Mandarin lends no less, if not more, support to the bodily view of pain. (shrink)

The following argument is widely assumed to be invalid: there is a pain in my finger; my finger is in my mouth; therefore, there is a pain in my mouth. The apparent invalidity of this argument has recently been used to motivate the conclusion that pains are not spatial entities. We argue that this is a mistake. We do so by drawing attention to the metaphysics of pains and holes and provide a framework for their location which both vindicates the (...) argument's validity and explains why it appears invalid. To this end, we show that previously proposed explanations for the apparent invalidity of the argument fail. Moreover, we show that our account accommodates and explains seemingly opposing linguistic data. We conclude that the ‘pain-in-mouth argument’ does not undermine the view that pains are spatial entities. (shrink)

There is tension between commonly held views concerning phenomenal imagery on the one hand and our first-person epistemic access to it on the other. This tension is evident in many individual issues and experiments in philosophy and psychology (e.g. inattentional and change blindness, the speckled hen, dream coloration, visual periphery). To dissolve it, we can give up either (i) that we lack full introspective access to the phenomenal properties of our imagistic experiences, or (ii) that phenomenal imagery is fully determined, (...) or (iii) that phenomenal imagery does not exist. Which option is preferable? I explore the feasibility of option (ii) in more details by distinguishing between di erent kinds of indeterminacy. One of the most often proclaimed versions of indeterminacy is tied to Representationalism. However, I argue that in this context, Representationalism appears to be the least satisfying option, for which I give ten reasons. By abduction, we should reject Representationalism in favour of (i) or (iii)—the most parsimonious option being eliminativism, and the most conservative being the rejection of privileged access. The decision between these two, however, should be made on a case-by-case basis, depending on which is most adequate given the data. I illustrate this with the comparison between visual agnosia and Charles-Bonnet-Syndrome. (shrink)

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly pressing when (...) justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

In a recent paper, Reuter, Seinhold and Sytsma put forward an implicature account to explain the intuitive failure of the pain-in-mouth argument. They argue that utterances such as ‘There is tissue damage / a pain / an inflammation in my mouth’ carry the conversational implicature that there is something wrong with the speaker’s mouth. Appealing to new empirical data, this paper argues against the implicature account and for the entailment account, according to which pain reports using locative locutions, such as (...) ‘There is a pain in my mouth’, are intuitively understood as entailing corresponding predicative locutions, such as ‘My mouth hurts.’ On this latter account, the pain-in-mouth argument seems invalid because the conclusion is naturally understood as entailing something which cannot be inferred from the premisses. Implications for the philosophical debate about pain are also drawn. (shrink)

In non‐literal uses of language, the content an utterance communicates differs from its literal truth conditions. Loose talk is one example of non‐literal language use (amongst many others). For example, what a loose utterance of (1) communicates differs from what it literally expresses: (1) Lena arrived at 9 o'clock. Loose talk is interesting (or so I will argue). It has certain distinctive features which raise important questions about the connection between literal and non‐literal language use. This paper aims to (i.) (...) introduce a range of novel data demonstrating certain overlooked features of loose talk, and (ii.) develop a new theory of the phenomenon which accounts for these data. In particular, this theory is motivated by the need to explain minimal pairs such as (2)-(3): (2) Lena arrived at 9 o'clock, but she did not arrive at 9 o'clock exactly. (3) ?? Lena did not arrive at 9 o'clock exactly, but she arrived at 9 o'clock. (2) and (3) agree in their truth conditions. Yet they differ in felicity. As such, they constitute a problem for any account which hopes to predict the acceptability of the loose use of a sentence from its truth conditions and the context of utterance alone. Instead, it will be argued, to explain loose talk phenomena we must posit an additional layer of meaning outstripping truth conditions. This layer of meaning is shown to exhibit a range of properties, all of which point to its being semantically encoded. Thus, if correct, the theory provides a new example of how semantic meaning must extend beyond literal, truth‐conditional content. (shrink)

The question of whether conscious experience is restricted by cognitive access and exhausted by report, or whether it overflows it—comprising more information than can be reported—is hotly debated. Recently, we provided evidence in favor of Overflow, showing that observers discriminated the color‐diversity (CD) of letters in an array, while their working‐memory and attention were dedicated to encoding and reporting a set of cued letters. An alternative interpretation is that CD‐discriminations do not entail conscious experience of the underlying colors. Here we (...) argue, based on conceptual considerations and consistency with neuroscience and phenomenology, in favor of the Overflow interpretation. (shrink)

In a series of articles in this journal, Michael Tye (2002) and Paul Noordhof (2001, 2002) have sparred over the correct explanation of the putative invalidity of the following argument: the pain is in my fingertip; the fingertip is in my mouth; therefore, the pain is in my mouth. Whereas Tye explains the failure of the argument by stating that “pain “creates an intensional context, Noordhof maintains that the “in” in ‘the pain is in my fingertip’ is not spatial, but (...) has state-attributing character. In this paper, we offer a third account, explaining the failure of the argument through state-attributing pragmatic implicatures. Empirical evidence is provided in support of this account. (shrink)

You can perceive things, in many respects, as they really are. For example, you can correctly see a coin as circular from most angles. Nonetheless, your perception of the world is perspectival. The coin looks different when slanted than when head-on, and there is some respect in which the slanted coin looks similar to a head-on ellipse. Many hold that perception is perspectival because you perceive certain properties that correspond to the “looks” of things. I argue that this view is (...) misguided. I consider the two standard versions of this view. What I call the PLURALIST APPROACH fails to give a unified account of the perspectival character of perception, while what I call the PERSPECTIVAL PROPERTIES APPROACH violates central commitments of contemporary psychology. I propose instead that perception is perspectival because of the way perceptual states are structured from their parts. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Empirical discussions of mental representation appeal to a wide variety of representational kinds. Some of these kinds, such as the sentential representations underlying language use and the pictorial representations of visual imagery, are thoroughly familiar to philosophers. Others have received almost no philosophical attention at all. Included in this latter category are analogue magnitude representations, which enable a wide range of organisms to primitively represent spatial, temporal, numerical, and related magnitudes. This article aims to introduce analogue magnitude representations to a (...) philosophical audience by rehearsing empirical evidence for their existence and analysing their format, their content, and the computations they support. 1 Background1.1 Evidence of analogue magnitude representations1.2 Weber’s law1.3 Scepticism about analogue magnitude representations2 Format2.1 Carey’s analogy2.2 Neural realization2.3 Analogue representation2.4 Analogue magnitude representation components3 Content3.1 Do analogue magnitude representations have representational content?3.2 What do analogue magnitude representations represent?3.3 What content types do analogue magnitude representations have?4 Computations4.1 Arithmetic computation4.2 Practical deliberation5 Conclusion. (shrink)

In this book Martin Bunzl considers the prospects for a general and comprehensive account of explanation, given the variety of interests that prompt explanations in science. Bunzl argues that any successful account of explanation must deal with two very different contexts - one static and one dynamic. Traditionally, theories of explanation have been built for the former of these two contexts. That is to say, they are designed to show how it is that a 'finished' body of scientific knowledge can (...) be put to explanatory use. But finished sciences are few and far between. Real 'explanation' also occurs in a dynamical context in which questions are asked and answers are given as theories are in the process of being constructed. Here, Bunzl argues that attending to explanation produced under these dynamic circumstances undermines prominent features of the theory of explanation produced in the traditional static context. (shrink)

Summary. The viability of the proposal that human cognition involves the utilization of nonsentential models is seriously undercut by the fact that no one has yet given a satisfactory account of how neurophysiological circuitry might realize representations of the right sort. Such an account is offered up here, the general idea behind which is that high-level models can be realized by lower—level computations and, in turn, by neural machinations. It is shown that this account can be usefully applied to deal (...) with problems in fields ranging from artificial intelligence to the philosophy of science. (shrink)

This paper (1) sketches a phenomenological analysis of visual mental imagery; (2) applies this analysis to the mental imagery debate in cognitive science; (3) briefly sketches a neurophenomenological approach to mental imagery; and (4) compares the results of this discussion with Dennett’s heterophenomenology.

The notion of a "mental representation" is, arguably, in the first instance a theoretical construct of cognitive science. As such, it is a basic concept of the Computational Theory of Mind, according to which cognitive states and processes are constituted by the occurrence, transformation and storage (in the mind/brain) of information-bearing structures (representations) of one kind or another.

Qualia inversion thought experiments are ubiquitous in contemporary philosophy of mind. The most popular kind is one or another variant of Locke's hypothetical case of.

The surface grammar of reports such as ‘I have a pain in my leg’ suggests that pains are objects which are spatially located in parts of the body. We show that the parallel construction is not available in Mandarin. Further, four philosophically important grammatical features of such reports cannot be reproduced. This suggests that arguments and puzzles surrounding such reports may be tracking artefacts of English, rather than philosophically significant features of the world.

David Rosenthal couples his higher-order thought theory of consciousness with a theory of “mental qualities”, properties of mental states. The first thesis of this paper is that there are no mental qualities as Rosenthal conceives of them. The second thesis is that Rosenthal’s residual insights are significant. They naturally lead to a simple first-order theory of consciousness.

Traditionally it is taken for granted that mental imagery (MI) is a mental representation (MR) of some kind or format. This yields that theory of MR can give an adequate and exhaustive explanation of MI. Such co-relation between the two is usually seen as unproblematic. But is it really so? This article aims at challenging the theoretical claim that the dominant ‘two-world’ account of MR can adequately explain MI. Contrary to the standard theory of MR, there are reasons to believe (...) that: (a) MI has different cognitive architecture, (b) the relations between elements of MI are dynamic, (c) relations between elements of MI are context-dependent. Consequently, it follows that dominant account of MR neglects important characteristics of MI and, thus, fails to give a comprehensive explanation of the latter. Alternatively, I will argue that a sign-theoretic approach, proposed by C. S. Peirce, can suggest a promising explanation of MI and fully account for the divergent empirical data on the matter. (shrink)

This paper defends a novel view of ‘what it is like’-sentences, according to which they attribute certain sorts of relations—I call them ‘affective relations’—that hold between events and individuals. The paper argues in detail for the superiority of this proposal over other views that are prevalent in the literature. The paper further argues that the proposal makes better sense than the alternatives of the widespread use of Nagel’s definition of conscious states and that it also shows the mistakes in two (...) prominent suggestions about the definition when properly understood: first, that it is empty and uninformative, and second, that it leads directly to a substantial claim in the theory of consciousness, namely that an individual is in a conscious state only if the individual is aware of their being in that state. (shrink)

This book contains a representationalist theory of self-consciousness and of the phenomenal first-person perspective. It draws on empirical data from the cognitive and neurosciences.

This paper shows that so-called ‘threshold concepts’ have been defined in a way that makes it impossible, even in principle, to empirically isolate them. It continues by proposing an alternative theoretical framework, and argues: (1) that concepts are not reducible to abilities; (2) that acquisition of a given concept can be necessary, but not sufficient, for the possession of an ability; and (3) that being ‘threshold’ is an extrinsic property, such that what is threshold for one person is not for (...) another. It closes by outlining two resultant problems for related empirical research. First, how is it possible to test for concepts, rather than abilities? Second, how can we tell if there is more than one possible conceptual route to the same ability? (shrink)