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)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

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)

Mindreaders can ascribe representational states to others. Some can ascribe representational states – states with semantic properties like accuracy-aptness. I argue that within this group of mindreaders, there is substantial room for variation – since mindreaders might differ with respect to the representational format they take representational states to have. Given that formats differ in their formal features and expressive power, the format one takes mental states to have will significantly affect the range of mental state attributions one can make, (...) and the ease or difficulty with which one can make them. I illustrate this by considering what it would be to take mental states to be map-like in format, showing that this would result in a distinctively limited form of mindreading. I close by articulating the significance of this for the emerging picture of great ape mindreading. (shrink)

In amodal completion the mind in some sense completes the visual perceptual representation of a scene by representing parts of the scene hidden behind other objects. Cognitive science has had a lot to say about how amodal completion occurs but has had little to say about the format of the representations involved and the way in which they represent. Some philosophers hold that amodal completions take the form of sensory imaginings of the occluded portions. This theory poses a puzzle for (...) both philosophy and neuroscience about how the occluded parts are imagined to be located relative to the unoccluded parts. A better theory begins with the observation that for many purposes it is useful to suppose that the mind contains mental models of three-dimensional structure. Visual perceptions and mental images may be conceived as mental models that represent external scenes by virtue of homomorphism and which possess both a deep aspect, representing both visible and occluded three-dimensional structure, and a perspectival aspect, representing only an arrangement of visible surfaces. In these terms we can explain various problem-solving abilities, such as the ability to imagine what a scene will look like from another point of view. Amodal completions can be treated as deep perceptual representations of three-dimensional structure. Thus amodal completions do not consist of mental imagery, but they can be used to generate mental imagery representing how a scene would look from alternative points of view. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

The feature-matching approach pioneered by Amos Tversky remains a groundwork for psychological models of similarity and categorization but is rarely explicitly justified considering recent advances in thinking about cognition. While psychologists often view similarity as an unproblematic foundational concept that explains generalization and conceptual thought, long-standing philosophical problems challenging this assumption suggest that similarity derives from processes of higher-level cognition, including inference and conceptual thought. This paper addresses three specific challenges to Tversky’s approach: (i) the feature-selection problem, (ii) the problem (...) of cognitive implausibility, and (iii) the problem of unprincipled tweaking. It subsequently supports key insights from Tversky’s account based on recent developments in Bayesian modeling of cognition. A novel computational view of similarity as inference is proposed that addresses each challenge by considering the contrast class as constitutive of similarity and selecting for highly informative features. In so doing, this view illustrates the ongoing promise of the feature-matching approach in explaining perception, generalization and conceptual thought by grounding them in principles of probabilistic inference. (shrink)

Mental capacities for perceiving, remembering, thinking, and planning involve the processing of structured mental representations. A compositional semantics of such representations would explain how the content of any given representation is determined by the contents of its constituents and their mode of combination. While many have argued that semantic theories of mental representations would have broad value for understanding the mind, there have been few attempts to develop such theories in a systematic and empirically constrained way. This paper contributes to (...) that end by developing a semantics for a ‘fragment’ of our mental representational system: the visual system’s representations of the bounding contours of objects. At least three distinct kinds of composition are involved in such representations: ‘concatenation’, ‘feature composition’, and ‘contour composition’. I sketch the constraints on and semantics of each of these. This account has three principal payoffs. First, it models a working framework for compositionally ascribing structure and content to perceptual representations, while highlighting core kinds of evidence that bear on such ascriptions. Second, it shows how a compositional semantics of perception can be compatible with holistic, or Gestalt, phenomena, which are often taken to show that the whole percept is ‘other than the sum of its parts’. Finally, the account illuminates the format of a key type of perceptual representation, bringing out the ways in which contour representations exhibit domain-specific form of the sort that is typical of structured icons such as diagrams and maps, in contrast to typical discursive representations of logic and language. (shrink)

Mental representations remain the central posits of psychology after many decades of scrutiny. However, there is no consensus about the representational format(s) of biological cognition. This paper provides a survey of evidence from computational cognitive psychology, perceptual psychology, developmental psychology, comparative psychology, and social psychology, and concludes that one type of format that routinely crops up is the language-of-thought (LoT). We outline six core properties of LoTs: (i) discrete constituents; (ii) role-filler independence; (iii) predicate–argument structure; (iv) logical operators; (v) inferential (...) promiscuity; and (vi) abstract content. These properties cluster together throughout cognitive science. Bayesian computational modeling, compositional features of object perception, complex infant and animal reasoning, and automatic, intuitive cognition in adults all implicate LoT-like structures. Instead of regarding LoT as a relic of the previous century, researchers in cognitive science and philosophy-of-mind must take seriously the explanatory breadth of LoT-based architectures. We grant that the mind may harbor many formats and architectures, including iconic and associative structures as well as deep-neural-network-like architectures. However, as computational/representational approaches to the mind continue to advance, classical compositional symbolic structures – that is, LoTs – only prove more flexible and well-supported over time. (shrink)

This paper proposes a model for implementation of intrinsic natural language sentence meaning in a physical language understanding system, where 'intrinsic' is understood as 'independent of meaning ascription by system-external observers'. The proposal is that intrinsic meaning can be implemented as a point attractor in the state space of a nonlinear dynamical system with feedback which is generated by temporally sequenced inputs. It is motivated by John Searle's well known (Behavioral and Brain Sciences, 3: 417–57, 1980) critique of the then-standard (...) and currently still influential computational theory of mind (CTM), the essence of which was that CTM representations lack intrinsic meaning because that meaning is dependent on ascription by an observer_._ The proposed dynamical model comprises a collection of interacting artificial neural networks, and constitutes a radical simplification of the principle of compositional phrase structure which is at the heart of the current standard view of sentence semantics because it is computationally interpretable as a finite state machine. (shrink)

A compositional theory of perceptual representations would explain how the accuracy conditions of a given type of perceptual state depend on the contents of constituent perceptual representations and the way those constituents are structurally related. Such a theory would offer a basic framework for understanding the nature, grounds, and epistemic significance of perception. But an adequate semantics of perceptual representations must accommodate the holistic nature of perception. In particular, perception is replete with context effects, in which the way one perceptually (...) represents one aspect of a scene (including the position, size, orientation, shape, color, motion, or even unity of an object) normally depends on how one represents many other aspects of the scene. The ability of existing accounts of the semantics of perception to analyze context effects is at best unclear. Context effects have even been thought to call into question the very feasibility of a systematic semantics of perception. After outlining a compositional semantics for a rudimentary set of percepts, I draw on empirical models from perceptual psychology to show how such a theory must be modified to analyze context effects. Context effects arise from substantive constraints on how perceptual representations can combine and from the different semantic roles that perceptual representations can have. I suggest that context effects are closely tied to the objectivity of perception. They arise from a perceptual grammar that functions to facilitate the composition of reliably accurate representations in an uncertain but structured world. (shrink)

Little has been said about whether pictures can depict properties of properties. This article argues that they do. As a result, resemblance theories of depiction must be changed to accommodate this phenomenon. In addition, diagrams and maps are standardly understood to represent properties of properties, so this article brings accounts of depiction closer to accounts of diagrams than they had been before. Finally, the article suggests that recent work on perceptual content gives us reason to believe we can perceive properties (...) of properties. (shrink)

Philosophical Issues, Volume 30, Issue 1, Page 273-292, October 2020.

Many virtue-based approaches to propositional knowledge begin with the ability and achievement intuitions. In this paper, I rely on this pair of intuitions to explore the relationship between knowing how and knowing that. On the view that emerges, propositional knowledge is a kind of success through cognitive know how. Rather than simply equating know how with ability, I reveal deeper connections between both kinds of knowledge by focusing on the role of self-regulation.

Je défends ici la nécessité, et ébauche une première version, d’une théorie iconique des propositions. Selon celle-ci, les propositions sont comme les objets de représentation, ou similaires à eux. Les propositions, suivant cette approche, sont des propriétés que l’esprit instancie lorsqu’il modélise le monde. Je connecte cette théorie aux récents développements de la littérature académique sur les propositions, ainsi qu’à une branche de recherches en sciences cognitives, qui explique certains types de représentations mentales en termes d’iconicité. I motivate the need (...) for, and then sketch, an iconic theory of propositions according to which propositions are like or similar to their objects of representation. Propositions on this theory are properties that the mind instantiates when it models the world. I connect the theory to recent developments in the propositions literature as well as to a strain of cognitive science that explains some kinds of mental representation in terms of iconicity. (shrink)

A great number of investigations suggest that cognition involves both linguistic and cartographic representations. These researches have motivated a pluralist conception of cognition; also, they have been used to clarify how maps differ from linguistic representations. However, the computational processes underlying the interphase between both kinds of representations deserve further attention. In this paper, I argue that, despite their differences, cartographic representations coexist and interact with linguistic representations in interesting ways.

One big challenge faced by cognitive science is the development of a unified theory that integrates disparate scales of analysis of cognitive phenomena. In this paper, I offer a unified framework that provides a way to integrate neural and behavioral scales of analysis of cognitive phenomena—typically addressed by neuroscience and experimental psychology, respectively. The framework is based on the concept of resonance originated in ecological psychology and aims to be the foundation for a unified theory for radical embodiment; that is, (...) a unified theory for that dissident part of cognitive science that shares a methodological commitment to dynamic systems theory and remains skeptical about the adequacy of mechanism and representationalism as the guiding ideas in the field. In the course of my presentation, I analyze different issues regarding the requirements and constraints unification poses to radical embodiment. (shrink)

I intended to write four papers whose topics faintly concerned separate issues in meaning and modality. As it turned out, chapters 1-3 all roughly concern the same topic: propositions. While I argue for two different theses in chapters 1 and 2, I try to understand the changing propositions literature in both. In addition to arguing for the respective theses in chapters 1 and 2, accounting for this change is a parallel goal for the chapters taken together. Chapter 3 examines particular (...) propositional roles---the objects of the attitudes and the objects of credence. Finally, chapter 4 changes the subject to the second conjunct in the title---modality, specifically of the epistemic kind. (shrink)

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and saddle (...) of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision‐making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing the (...) Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity‐based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (shrink)

Proponents of the problem of animal suffering claim that the millions of years of apparent nonhuman animal pain and suffering provides evidence against the existence of God. Neo-Cartesianism attempts to avoid this problem mainly by denying the existence of phenomenal consciousness in nonhuman animals. However, neo-Cartesian options regarding animal minds have failed to compel many. In this essay, I explore an answer to the problem of animal suffering inspired by the medieval theologian Thomas Aquinas. Instead of focusing on phenomenal consciousness, (...) the neo-Thomistic view of animal minds focuses on self-awareness. After proposing and providing evidence for this view, I conclude that nonhuman animal suffering is not morally significant. (shrink)

A promising strategy for defending the role that representation plays in explanations of cognition frames the concept in terms of internal models or map‐like mechanisms. “Structural representation” offers an account of representation that is grounded in well‐specified, empirical criteria. However, anti‐representationalists continue to press the issue of how to account for the paradigmatic semantic properties of representation at the subpersonal level. In this paper, I offer an account of how the proponent of structural representation should think about content. There are (...) really two problems of content any account of representation must overcome: the “hard problem of content” and the “content determination problem.” I argue that the structural representation account has the resources to provide a naturalistically respectable notion of content that overcomes both problems. (shrink)

How can we think about things in the outside world? There is still no widely accepted theory of how mental representations get their meaning. In light of pioneering research, Nicholas Shea develops a naturalistic account of the nature of mental representation with a firm focus on the subpersonal representations that pervade the cognitive sciences.

Perceptual systems respond to proximal stimuli by forming mental representations of distal stimuli. A central goal for the philosophy of perception is to characterize the representations delivered by perceptual systems. It may be that all perceptual representations are in some way proprietarily perceptual and differ from the representational format of thought (Dretske 1981; Carey 2009; Burge 2010; Block ms.). Or it may instead be that perception and cognition always trade in the same code (Prinz 2002; Pylyshyn 2003). This paper rejects (...) both approaches in favor of perceptual pluralism, the thesis that perception delivers a multiplicity of representational formats, some proprietary and some shared with cognition. The argument for perceptual pluralism marshals a wide array of empirical evidence in favor of iconic (i.e., image-like, analog) representations in perception as well as discursive (i.e., language-like, digital) perceptual object representations. (shrink)

My topic is the intelligent guidance of action. In this paper I offer an empirically grounded case for four ideas: that [a] cognitive processes of practical reasoning play a key role in the intelligent guidance of action, [b] these processes could not do so without significant enabling work done by both perception and the motor system, [c] the work done by perceptual and motor systems can be characterized as the generation of information specialized for action guidance, which in turn suggests (...) that [d] the cognitive processes of practical reasoning that play a key role in the guidance of intelligent action are not the abstract, syllogistic ones philosophers often treat as the paradigm of practical reasoning. Rather, these cognitive processes are constrained by, and work well with, the specialized concepts outputted by perception and the feedback outputted by sensorimotor processes. (shrink)

In this paper, I show how semantic factors constrain the understanding of the computational phenomena to be explained so that they help build better mechanistic models. In particular, understanding what cognitive systems may refer to is important in building better models of cognitive processes. For that purpose, a recent study of some phenomena in rats that are capable of ‘entertaining’ future paths (Pfeiffer and Foster 2013) is analyzed. The case shows that the mechanistic account of physical computation may be complemented (...) with semantic considerations, and in many cases, it actually should. (shrink)

A surge of empirical research demonstrating flexible cognition in animals and young infants has raised interest in the possibility of rational decision-making in the absence of language. A venerable position, which I here call “Classical Inferentialism”, holds that nonlinguistic agents are incapable of rational inferences. Against this position, I defend a model of nonlinguistic inferences that shows how they could be practically rational. This model vindicates the Lockean idea that we can intuitively grasp rational connections between thoughts by developing the (...) Davidsonian idea that practical inferences are at bottom categorization judgments. From this perspective, we can see how similarity-based categorization processes widely studied in human and animal psychology might count as practically rational. The solution involves a novel hybrid of internalism and externalism: intuitive inferences are psychologically rational (in the explanatory sense) given the intensional sensitivity of the similarity assessment to the internal structure of the agent's reasons for acting, but epistemically rational (in the justificatory sense) given an ecological fit between the features matched by that assessment and the structure of the agent's environment. The essay concludes by exploring empirical results that show how nonlinguistic agents can be sensitive to these similarity assessments in a way that grants them control over their opaque judgments. (shrink)

It is commonly supposed that perceptual representations in some way embed concepts and that this embedding accounts for the phenomenon of seeing-as. But there are good reasons, which will be reviewed here, to doubt that perceptions embed concepts. The alternative is to suppose that perceptions are marks in a perceptual similarity space that map into locations in an objective quality space. From this point of view, there are at least three sorts of seeing-as. First, in cases of ambiguity resolution, the (...) schematicity of the figure leaves us with a choice as to where in perceptual similarity space to place a mark. Second, in cases where expertise affects perception, the accumulation of perceptual landmarks permits a more precise placement of a mark in perceptual similarity space. Third, extensive experience with an object allows similarity to that object to serve as an acquired dimension in perceptual similarity space, which in turn affects the relative similarities of other objects. This is an open access publication. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 my 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. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 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. I invent 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. I provide 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. I examine 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. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 my 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. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 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. I invent 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. I provide 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 paper centers around the notion that internal, mental representations are grounded in structural similarity, i.e., that they are so-called S-representations. We show how S-representations may be causally relevant and argue that they are distinct from mere detectors. First, using the neomechanist theory of explanation and the interventionist account of causal relevance, we provide a precise interpretation of the claim that in S-representations, structural similarity serves as a “fuel of success”, i.e., a relation that is exploitable for the representation using (...) system. Then, we discuss crucial differences between S-representations and indicators or detectors, showing that—contrary to claims made in the literature—there is an important theoretical distinction to be drawn between the two. (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)

It is often assumed that the capability to make inferences requires language. Against this assumption, I claim that inferential abilities do not necessarily require a language. On the contrary, certain cartographic systems could be used to explain some forms of inferences, and they are capable of warranting rational relations between contents they represent. By arguing that certain maps, as well as sentences, are adequate for inferential processes, I do not mean to neglect that there are important differences between maps and (...) sentences. Instead, the purpose of this paper is to highlight interesting distinctions that might affect the way that cartographic thinking works. (shrink)

In the target article Hutto and Satne propose a new approach to studying mental content. Although I believe there is much to commend in their proposal, I argue that it makes no space for a kind of content that is of central importance to cognitive science, and which need not be involved in beliefs and desires: I will use the expression ‘representational content’ to refer to it. Neglecting representational content leads to an undue limitation of the contribution that the neo-Cartesian (...) approach can offer to the naturalising content project. I claim that neo-Cartesians can, on the one hand, help account for the nature of representational content and clarify what makes representational states contentful. On the other, besides explaining the natural origins of Ur-intentionality, neo-Cartesians should also take the role of accounting for the natural origins of contentful states that fall short of beliefs and desires. Finally, I argue that the only alternative for the authors is to embrace some form of non-representationalism, as Hutto elsewhere does. The success of the proposal thereby turns on the fate of the radical non-representationalist position that it accompanies. (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)

Realists about animal cognition confront a puzzle. If animals have real, contentful cognitive states, why can’t anyone say precisely what the contents of those states are? I consider several possible resolutions to this puzzle that are open to realists, and argue that the best of these is likely to appeal to differences in the format of animal cognition and human language.

An important part of the explanatory role of concepts is that they enable us to combine a wide variety of objects, properties and relations in thought, with contents spanning diverse domains. I discuss an argument that appears to show that paradigmatic non-linguistic representational formats are unsuited to play this role, and thus conceptual representation could not occur in these formats. I show that this argument fails, because it overlooks the possibility of individual concepts being shared between a number of special (...) purpose representational systems. Demonstrating this requires defending the possibility of cross-format redeployment of concepts. (shrink)

Following Gilbert Ryle’s arguments, many philosophers took it for granted that someone knows how to do something just in case they have the ability to do it. Within the last couple decades, new intellectualists have challenged this longstanding anti-intellectualist assumption. Their central contention is that mere abilities aren’t on the same rational, epistemic level as know how. My goal is to intellectualize know how without over-intellectualizing it. Intelligent behavior is characteristically flexible or responsive to novelty, and the distinctive feature of (...) creatures who exhibit flexible behavior is their capacity to learn. As it turns out, Ryle already identified a core characteristic of learning shared widely across the animal kingdom from the lowly rat to the top athlete. Taking my cues from Ryle, I argue that know how is successful performance resulting from self-regulated abilities. To regulate an ability is to be disposed to adjust to error and respond to feedback. While regulating sophisticated human abilities often requires propositional knowledge, in many simpler cases it does not. I focus on the navigational know how of rats and honeybees. Although they possess know how, whether they possess propositional knowledge is at best an open question. (shrink)

ABSTRACT I begin by developing a challenge for the Higher-Order Thought variant of Higher-Order representational theories of consciousness. The challenge is to account for the distinctive phenomenal character of visual experience—its presentational character. After setting out the challenge, I articulate a novel form of Higher-Order theory that can account for presentational character—the Map Theory of consciousness. The theory’s distinctive claim is that the relevant higher-order representations have a cartographic format.

A common way to understand memory structures in the cognitive sciences is as a cognitive map​. Cognitive maps are representational systems organized by dimensions shared with physical space. The appeal to these maps begins literally: as an account of how spatial information is represented and used to inform spatial navigation. Invocations of cognitive maps, however, are often more ambitious; cognitive maps are meant to scale up and provide the basis for our more sophisticated memory capacities. The extension is not meant (...) to be metaphorical, but the way in which these richer mental structures are supposed to remain map-like is rarely made explicit. Here we investigate this missing link, asking: how do cognitive maps represent non-spatial information?​ We begin with a survey of foundational work on spatial cognitive maps and then provide a comparative review of alternative, non-spatial representational structures. We then turn to several cutting-edge projects that are engaged in the task of scaling up cognitive maps so as to accommodate non-spatial information: first, on the spatial-isometric approach​ , encoding content that is non-spatial but in some sense isomorphic to spatial content; second, on the ​ abstraction approach​ , encoding content that is an abstraction over first-order spatial information; and third, on the ​ embedding approach​ , embedding non-spatial information within a spatial context, a prominent example being the Method-of-Loci. Putting these cases alongside one another reveals the variety of options available for building cognitive maps, and the distinctive limitations of each. We conclude by reflecting on where these results take us in terms of understanding the place of cognitive maps in memory. (shrink)

Following Gilbert Ryle’s arguments, many philosophers took it for granted that someone knows how to do something just in case they have the ability to do it. Within the last couple decades, new intellectualists have challenged this longstanding anti-intellectualist assumption. Their central contention is that mere abilities aren’t on the same rational, epistemic level as know how. My goal is to intellectualize know how without over-intellectualizing it. Intelligent behavior is characteristically flexible or responsive to novelty, and the distinctive feature of (...) creatures who exhibit flexible behavior is their capacity to learn. As it turns out, Ryle already identified a core characteristic of learning shared widely across the animal kingdom from the lowly rat to the top athlete. Taking my cues from Ryle, I argue that know how is successful performance resulting from self-regulated abilities. To regulate an ability is to be disposed to adjust to error and respond to feedback. While regulating sophisticated human abilities often requires propositional knowledge, in many simpler cases it does not. I focus on the navigational know how of rats and honeybees. Although they possess know how, whether they possess propositional knowledge is at best an open question. (shrink)

The distinction between perception and cognition has always had a firm footing in both cognitive science and folk psychology. However, there is little agreement as to how the distinction should be drawn. In fact, a number of theorists have recently argued that, given the ubiquity of top-down influences, we should jettison the distinction altogether. I reject this approach, and defend a pluralist account of the distinction. At the heart of my account is the claim that each legitimate way of marking (...) a border between perception and cognition deploys a notion I call ‘stimulus-control.’ Thus, rather than being a grab bag of unrelated kinds, the various categories of the perceptual are unified into a superordinate natural kind. (shrink)

The purpose of this paper is to present a general mechanistic framework for analyzing causal representational claims, and offer a way to distinguish genuinely representational explanations from those that invoke representations for honorific purposes. It is usually agreed that rats are capable of navigation because they maintain a cognitive map of their environment. Exactly how and why their neural states give rise to mental representations is a matter of an ongoing debate. I will show that anticipatory mechanisms involved in rats’ (...) evaluation of possible routes give rise to satisfaction conditions of contents, and this is why they are representationally relevant for explaining and predicting rats’ behavior. I argue that a naturalistic account of satisfaction conditions of contents answers the most important objections of antirepresentationalists. (shrink)