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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. 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. 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 relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic 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, by contrast to availing of modal axiom 4 (i.e. the KK principle). 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 chapter \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 intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between topic-sensitive epistemic two-dimensional truthmaker semantics, 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. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{10} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{11} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}.}. (shrink)

In a two-system theory for mind-reading, a flexible system (FS) enables full-blown mind-reading, and an efficient system (ES) enables early mind-reading. Efficient processing differs from flexible processing in terms of restrictions on the kind of input it can take and the kinds of mental states it can ascribe (output). Thus, systems are not continuous and each relies on different representations: the FS on beliefs and other propositional attitudes, and the ES on belief-like states or registrations. There is a conceptual problem (...) in distinguishing the representations each system operates with. They contend that they can solve this problem by appealing to a characterization of registrations based on signature limits, but this does not work. I suggest a solution to this problem. The difference between registration and belief becomes clearer if each vehicle turns out to be different. I offer some reasons in support of this proposal related to the performance of spontaneous-response false belief tasks. (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)

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)

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)

It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.

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.

This paper surveys and evaluates the answers that philosophers and animal researchers have given to two questions. Do animals have thoughts? If so, are their thoughts conceptual? Along the way, special attention is paid to distinguish debates of substance from mere battles over terminology, and to isolate fruitful areas for future research.

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)

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.

Since Tolman’s paper in 1948, psychologists and neuroscientists have argued that cartographic representations play an important role in cognition. These empirical findings align with some theoretical works developed by philosophers who promote a pluralist view of representational vehicles, stating that cognitive processes involve representations with different formats. However, the inferential relations between maps and representations with different formats have not been sufficiently explored. Thus, this paper is focused on the inferential relations between cartographic and linguistic representations. To that effect, we (...) appeal to heterogeneous inference with ordinary maps and sentences. In doing so, we aim to build a model to bridge the gap between cartographic and linguistic thought. (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)

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.

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)

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)

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)

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)

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.

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

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)

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)

Je soutiens qu’accepter les explications réalistes intentionnelles du comportement cognitif conduit inévitablement à endosser l’hypothèse du langage de la pensée, et que cette position théorique est, par conséquent, largement répandue chez les philosophes de l’esprit. Au cours de la discussion, je propose un exposé succinct et précis de cette hypothèse et j’analyse une série d’exemples représentatifs de l’argumentation pro-LOT. Après avoir examiné deux cas de résistance à ce type de raisonnement, je conclus en montrant que le soutien accordé à la (...) LOT est empiriquement substantiel, en dépit de la flexibilité et du caractère incomplet de cette hypothèse. (shrink)

Do animals require rich internal representations, such as cognitive maps, to navigate complex environments? Some researchers believe so, as they argue that sensory information is “too poor” to account for animals’ wayfinding abilities. However, this assumption is debatable, as James J. Gibson showed. Gibson proposed that wayfinding involves detecting information about environmental structure over time and used the concepts of “vistas” and “transitions” to explain terrestrial navigation. While these concepts may not apply universally to animal navigation, they highlight the importance (...) of exploiting stable environmental structures for wayfinding. By searching for species-relative environmental structures, we may gain insight into the navigational abilities of different nonhuman animals, while recognizing the unique evolutionary histories and ecological contexts that have shaped these abilities. (shrink)

The main goal of this paper is to defend the thesis that the content of know-how states is an accuracy assessable type of nonconceptual content. My argument proceeds in two stages. I argue, first, that the intellectualist distinction between types of ways of grasping the same kind of content is uninformative unless it is tied in with a distinction between kinds of contents. Second, I consider and reject the objection that, if the content of know-how states is non-conceptual, it will (...) be mysterious why attributions of knowing how create opaque contexts. I show that the objection conflates two distinct issues: the nature of the content of know-how states and the semantic evaluability of know-how ascriptions. (shrink)

ABSTRACTThe acquisition of a skill, or knowledge-how, on the one hand, and the acquisition of a piece of propositional knowledge on the other, appear to be different sorts of epistemic achievements. Does this difference lie in the nature of the knowledge involved, marking a joint between knowledge-how and propositional knowledge? Intellectualists say no: All knowledge is propositional knowledge. Anti-intellectualists say yes: Knowledge-how and propositional knowledge are different in kind. What resources or methods may we legitimately and fruitfully employ to adjudicate (...) this debate? What is the right way to show the nature of the knowledge knowers know? Here too there is disagreement. I defend the legitimacy of the anti-intellectualist appeal to cognitive neuroscientific findings against a recent claim that anti-intellectualists conflate the scientific categories of procedural and declarative knowledge with the mental kinds of skill and propositional knowledge, respectively. I... (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)

Do we think in a language-like format? Taking the marker of language-like formats to be the property of unconstrained systematicity, this paper considers the following master argument for the claim that we do: language is unconstrainedly systematic, if language is unconstrainedly systematic then so is thought, so thought is unconstrainedly systematic. It is easy to feel that there is something right about this argument, that there will be some way of filling in its details that will vindicate the idea that (...) our thought must be unconstrainedly systematic given that the language in which we express it is. Clearly, however, the second premise needs support—we need a principled reason for moving from the unconstrained systematicity of language to the unconstrained systematicity of thought. This paper gives three passes at formulating such a principle. This turns out to be much harder than it might seem. We should, I conclude, resist falling too easily for the lure of this master argument for the language-like format of thought. (shrink)

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)

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)

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)

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)

Inspired by Bermúdez’s notion of proto-logic, I would like to fathom what the true proto-logic could be like. But this will be approached only in a negative way of figuring out what it could not be. I shall argue that it could not be purely deductive by exploiting the recent researches in logic of maps. This will allow us to reorient the search for proto-logic, starting with animal abduction. I will also suggest that proto-logic won’t get off the ground without (...) proto-geometry. These negative results will shed some lights on some further conceptual and historical issues around the language of thought hypothesis to arrive at the true proto-logic. (shrink)

Recently, a cottage industry has formed with the goal of analyzing reasoning. The relevant notion of reasoning in which philosophers are expressly interested is fixed through an epistemic functional description: reasoning—whatever it is—is our personal-level, rationally evaluable means of meeting our rational requirements through managing and updating our attitudes. Roughly, the dominant view in the extant literature as developed by Paul Boghossian, John Broome, and others is that reasoning is a rule-governed operation over propositional attitudes that results in a change (...) in attitude. In this paper, I argue that our personal-level operations over mental models and visuospatial imagery, which are representations in a non-propositional/analogue format, can be rationally evaluable processes of managing our attitudes and, thus, should be considered reasoning in the relevant sense. Furthermore, I show that if reasoning can occur through operations over mental models and imagery, then the dominant rule-following account mischaracterizes the cognitive operations and representational states assumed to be constitutive of reasoning and what grounds the rational status of a line of reasoning. (shrink)

In this paper, I sketch a new model for the format of the content of understanding states, Compressible Graph Maximalism (CGM). In this model, the format of the content of understanding is graphical, and compressible. It thus combines ideas from approaches that stress the link between understanding and holistic structure (like as reported by Grimm (in: Ammon SGCBS (ed) Explaining Understanding: New Essays in Epistemollogy and the Philosophy of Science, Routledge, New York, 2016)), and approaches that emphasize the connection between (...) understanding and compression (like Wilkenfeld (Synthese 190(6):997–1016, 2018)). I argue that the combination of these ideas has several attractive features, and I defend the idea against some challenges. (shrink)

In a series of papers, Schwitzgebel has attempted to revive the dispositionalist account of belief by tweaking it a little and claiming a previously unconsidered advantage over representationalism. The tweaks are to include phenomenal and cognitive responses, in addition to overt behaviour, in the manifestations of a given belief; and to soften the account of dispositions by allowing for dispositional stereotypes. The alleged advantage is that dispositionalism can deal with what Schwitzgebel calls cases of in‐between belief, whereas representationalism cannot. In (...) this paper we argue that Schwitzgebel's attempted improvements do not succeed and that, as an account of belief, dispositionalism is seen to be unsatisfactory. The case for this verdict also enables the representationalist position to be enhanced by drawing attention to the diversity of formats in which beliefs are stored. (shrink)

Midwest Studies In Philosophy, Volume 44, Issue 1, Page 38-47, December 2019.

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)

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)

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)

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)

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)

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)

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)

Functional neuroimaging (NI) technologies like Positron Emission Tomography and functional Magnetic Resonance Imaging (fMRI) have revolutionized neuroscience, and provide crucial tools to link cognitive psychology and traditional neuroscientific models. A growing discipline of 'neurophilosophy' brings fMRI evidence to bear on traditional philosophical issues such as weakness of will, moral psychology, rational choice, social interaction, free will, and consciousness. NI has also attracted critical attention from psychologists and from philosophers of science. I review debates over the evidential status of fMRI, including (...) the differences between brain scans and ordinary images, the legitimacy of forward inference and reverse inference, and deductive versus probabilistic accounts of NI evidence. I conclude with a discussion of fMRI as exploratory rather than confirmatory evidence, linking this debate to the growing literature on cognitive ontology. (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)