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)

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)

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)

An interesting feature of some sets of representations is that their structure mirrors the structure of the items they represent. Founding an account of representational content on isomorphism, homomorphism or structural resemblance has proven elusive, however, largely because these relations are too liberal when the candidate structure over representational vehicles is unconstrained. Furthermore, in many cases where there is a clear isomorphism, it is not relied on in the way the representations are used. That points to a potential resolution: that (...) an isomorphism must be used, hence usable, if it is to be an ingredient in a theory of content. This paper argues that the class of exploitable isomorphisms can indeed play a content-constituting role. (shrink)

Although adverbialism is not given much attention in current discussions of phenomenal states, it remains of interest to philosophers who reject the representationalist view of such states, in suggesting an alternative to a problematic ‘act-property’ conception. We discuss adverbialism and the formalization Tye once offered for it, and criticize the semantics he proposed for this formalization. Our central claim is that Tye’s ontological purposes could have been met by a more minimal view, which we dub “attributeism”. We then show that (...) there is no incompatibility between the ontology of attributeism and the postulation of pictorial representations in the brain. (shrink)

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.

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)

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)

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

One central debate in cognitive science is over imagery. Do images constitute, or constitute evidence for, a distinctive, depictive form of mental representation? The most sophisticated advocacy of this view has been developed by Kosslyn and his coworkers. This paper focuses on his position and argues (i) that though Kosslyn has not developed a satisfactory account of depiction, there is nothing in principle unintelligible about the idea of depictive neural representation, but (ii) Kosslyn's model of imagery rescues the intelligibility of (...) pictorialism at the cost of its explanatory power. (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.

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)

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.

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

How far can one ascribe a spatial meaning to pain? When I have a pain, for instance, in my leg, how should one understand the “in” in the “pain in my leg”? I argue (contrary to Noordhof) that pain does have a spatial meaning, but (contrary to Tye) that the spatiality of pain is not to be understood in the standard sense of spatial enclosure. Instead, spatiality has a special meaning with regard to pain. By defining pain in phenomenological terms (...) as a disturbed form of bodily perception, I contend that the “in” in “pain in my body” has a dual spatial meaning: firstly, it signifies my internal perceptual relation to a disturbing part of my body; secondly, it denotes the external perceptual relation to my environment that the disturbance forces me to take. Once the spatiality of pain is understood in terms of such a perceptual relation, it is not restricted to localisable hurts, but pertains to all forms of pain, such as affliction and agony. (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)

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)

Philosophy and Phenomenological Research, EarlyView.

Since Aristotle, touch has been found especially hard to define. One of the few unchallenged intuition about touch, however, is that tactile awareness entertains some especially close relationship with bodily awareness. This article considers the relation between touch and bodily awareness from two different perspectives: the body template theory and the body map theory. According to the former, touch is defined by the fact that tactile content matches proprioceptive content. We raise some objections against such a bodily definition of touch (...) and suggest, as an alternative, to revive the proposal according to which touch is essentially a sense of pressure. According to the body map theory, tactile sensations are localized within the frame of reference provided by the mental representation of the space of the body. We argue that this approach of the location of bodily sensations fares better that the Local Sign theory that denies intrinsic spatiality to touch. (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.

The body is made up of parts. This basic assumption is central in most neuroscientific studies of bodily sensation, body representation and motor action. Yet, the assumption has rarely been considered explicitly. We may indeed ask how the body is internally segmented and how body parts can be defined. That is, how can we sketch the mereology of the body? Here we distinguish between a somatosensory mereology and a motor mereology.

Simulation Theory says we need not rely exclusively on prepositional knowledge of other minds in order to explain the actions of others. Seeking to know what you will do, I imagine myself in your situation, and see what decision I come up with. I argue that this conception of simulation naturally generalizes: various bits of our mental machine can be run‘off‐line’, fulfilling functions other than those they were made for. In particular, I suggest that visual imagery results when the visual (...) system is run off‐line. I briefly review the empirical evidence and consider the philosophical implications, particularly concerning the mode of mental representation in imagery. (shrink)