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)

This essay raises a challenge for the perceptual theory of emotion. According to the perceptual theory, emotions are perceptual states that represent values. But if emotions represent values, something should explain why. In virtue of what do emotions represent the values they do? A psychosemantics would answer this, and that’s what the perceptual theorist owes us. To date, however, the only perceptual theorist to attempt a psychosemantics for emotion is Jesse Prinz. And Prinz’s theory, I argue, faces an important difficulty: (...) It makes the pairing of any given emotion with its respective value entirely arbitrary. But that’s a problem. It seems—and this is a major contention of this essay—that an emotion, in virtue of how it feels, bears a natural or non-arbitrary link to the value it represents. And this datum makes it all the more difficult to provide a viable psychosemantics for the evaluative content of emotion. (shrink)

The notion of intelligence is relevant to several fields of research, including cognitive and comparative psychology, neuroscience, artificial intelligence, and philosophy, among others. However, there is little agreement within and across these fields on how to characterise and explain intelligence. I put forward a behavioural, operational characterisation of intelligence that can play an integrative role in the sciences of intelligence, as well as preserve the distinctive explanatory value of the notion, setting it apart from the related concepts of cognition and (...) rationality. Finally, I examine a popular hypothesis about the underpinnings of intelligence: the capacity to manipulate internal representations of the environment. I argue that the hypothesis needs refinement, and that so refined, it applies only to some forms of intelligence. (shrink)

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

Quilty-Dunn et al. claim that all complex infant and animal reasoning implicate language-of-thought hypothesis (LOTH)-like structures. We agree with the authors that the mental life of animals can be explained in representationalist terms, but we disagree with their idea that the complexity of mental representations is best explained by appealing to abstract concepts, and instead, we explain that it doesn't need to.

This is an initial survey of some philosophical questions about divine language. Could God be a language producer and language user? Could there be a divine private language? Could there be a divine language of thought? The answer to these questions that I shall tentatively defend are, respectively: Yes, No and No. (Because I use some technical terms from recent philosophy of language, there is an appendix to this chapter in which I explain my use of those terms.).

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)

Philosophers have debated at length the epistemological status of scientific thought experiments. I contend that the literature on this topic still lacks a common conceptual framework, a lacuna that produces radical disagreement among the participants in this debate. To remedy this problem, I suggest focusing on the distinction between the internal and the external validity of an experiment, which is also crucial for thought experiments. I then develop an account of both kinds of validity in the context of thought experiments. (...) I show that we can naturally conceptualise internal validity in terms of games of make-believe. Then, I argue that external validity is best defined as accurate representation of a target system. Finally, I turn back to the current debate on thought experiments and show that my diarchic account provides a general framework that can be shared by the competing philosophical views, as well as a fruitful guide for their reconciliation. (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)

Perceptual experiences are not immediately responsive to reasons. You see a stick submerged in a glass of water as bent no matter how much you know about light refraction. Due to this isolation from reasons, perception is traditionally considered outside the scope of epistemic evaluability as justified or unjustified. Is perception really as independent from reasons as visual illusions make it out to be? I argue no, drawing on psychological evidence from perceptual learning. The flexibility of perceptual learning is a (...) way of responding to new epistemic reasons. The resulting perceptual experiences are epistemically evaluable as justified or unjustified. (shrink)

Aesthetic concepts and conceptions are structured mental representations partly composed of phenomenal concepts. I defend this claim by appealing to contemporary accounts of concepts and to the current literature on phenomenal concepts. In addition, I discuss the relationship between aesthetic concepts and aesthetic understanding — an epistemic state at the centre of much work in contemporary epistemology.

When we experience the world – see, hear, feel, taste, or smell things – we gain all sorts of knowledge about the things around us. And this knowledge figures heavily in our reasoning about the world – about what to think and do in response to it. But what is the nature of this knowledge? On one commonly held view, all knowledge is constituted by beliefs in propositions. But in this paper I argue against this view. I argue that some (...) knowledge is constituted, not by beliefs in propositions, but by awareness of properties and objects. To make my case, I focus on the role of visual perception in reasoning. I start by introducing a principle about the relationship between knowledge and reasoning, which says that to learn something new by reasoning, one must know the bases of one’s reasoning. Then I argue that in some cases of genuine, knowledge-conferring reasoning, the bases of our reasoning are not propositions that we believe; rather, they’re properties or objects that we see. Thus, I conclude that some such knowledge is non-propositional and is rather what some call “knowledge of things”. (shrink)

Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I show that (...) diagrams form genuine notational systems, and I argue that this explains why they can play a role in the inferential structure of proofs without undermining their reliability. I then consider whether diagrams can be essential to the proofs in which they appear. (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)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

The nature of the cognition-motor interface has been brought to prominence by Butterfill & Sinigaglia, who argue that the representations employed by the cognitive and motor systems should not be able to interact with each other. Here I argue that recent empirical evidence concerning the interface contradicts several of the assumptions incorporated in Butterfill & Sinigaglia’s account, and I seek to develop a theoretical picture that will allow us to explain the structure of the interface presented by this evidence. The (...) central idea is that neural plasticity incorporates metarepresentational rules for constructing representational systems and linking them. The structure of the cognition-motor interface is constructed flexibly during development and skill learning based on information processing demands. (shrink)

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

It is widely agreed that more is true in a work of fiction than explicitly said. In addition to directly stipulated fictional content (explicit truth), inference and background assumptions give us implicit truths. However, this taxonomy of fictional truths overlooks an important class of fictional truth: those generated by literary formal features. Fictional works generate fictional content by both semantic and formal means, and content arising from formal features such as italics or font size are neither explicit nor implicit: not (...) explicit since formal features don’t say anything; and not implicit since content generated from formal features doesn’t rely on other truths or background assumptions. In addition to showing that our current classification is incomplete, the new class of fictional truths provides four further upshots for definitions of fictional truth, story and work identity conditions, and the relationship between literary interpretation and fictional truth. (shrink)

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)

The Shape of Agency offers interlinked explanations of the basic building blocks of agency, as well as its exemplary instances. The first part offers accounts of a collection of related phenomena that have long troubled philosophers of action: control over behaviour, non-deviant causation, and intentional action. These accounts build on earlier work in the causalist tradition, and undermine the claims made by many that causalism cannot offer a satisfying account of non-deviant causation, and therefore fails as an account of intentional (...) action. The second part turns to modes of agentive excellence—ways that agents display quality of form—providing a novel account of skill, including an account of the ways that agents display more or less skill. Shepherd discusses the role of knowledge in skill, and concludes that while knowledge is often important, it is inessential. This leads to a discussion of the way that knowledge of action and knowledge of how to act informs action execution. Knowledgeable action includes a unique epistemic underpinning: in knowledgeable action, the agent has authoritative knowledge of what she is doing and how she is doing it when and because she is poised to control her action by way of practical reasoning. (shrink)

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

Possible worlds models of belief have difficulties accounting for unawareness, the inability to entertain (and hence believe) certain propositions. Accommodating unawareness is important for adequately modelling epistemic states, and representing the informational content to which agents have in principle access given their explicit beliefs. In this paper, I develop a model of explicit belief, awareness, and informational content, along with an sound and complete axiomatisation. I furthermore defend the model against the seminal impossibility result of Dekel, Lipman and Rustichini, according (...) to which three intuitive conditions preclude non-trivial unawareness on any possible worlds model of belief. (shrink)

In this article, we analyze and reject two versions of the content‐argument against animal beliefs, namely, the ontological argument from Davidson and the epistemological argument from Stich. One of the main defects of the strongest version of the argument is that it over‐intellectualizes belief ascriptions in humans and thus sets the comparative bar for belief ascriptions in animals too high. In the second part of the article, we develop a gradualist notion of belief which captures basic beliefs as well as (...) Davidsonian linguistic beliefs, and we specify the conditions under which belief ascriptions to nonlinguistic animals are justified. (shrink)

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.

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)

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)

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)

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 Unbelievable Errors, Bart Streumer argues via elimination for a global error theory, according to which all normative judgments ascribe properties that do not exist. Streumer also argues that it is not possible to believe his view, which is a claim he uses in defending his view against several objections. I argue that reductivists and nonreductivists have compelling responses to Streumer's elimination argument – responses constituting strong reason to reject Streumer’s diagnosis of any alleged incredulity about his error theory.

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.

As I walk into a restaurant to meet up with a friend, I look around and see all sorts of things in my immediate environment—tables, chairs, people, colors, shapes, etc. As a result, I know of these things. But what is the nature of this knowledge? Nowadays, the standard practice among philosophers is to treat all knowledge, aside maybe from “know-how”, as propositional. But in this paper I will argue that this is a mistake. I’ll argue that some knowledge is (...) constituted, not by beliefs toward propositions, but by awareness of properties and objects. Seeing isn’t believing, but it is knowing. After further characterizing this type of knowledge, I will make the case for it. Then I will consider a variety of objections. Finally, I will indicate how our recognition of this knowledge may answer other questions, and solve other problems, in philosophy. (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)

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 review the main criteria offered for distinguishing the modal and amodal approaches to conceptual format: the type of input to which the representations respond, the relation they bear to perceptual states, and the specific neural systems to which they belong. I evaluate different interpretations of them and argue that they all face difficulties. I further show that they lead to cross-classifications of certain types of representations, using approximate number representations as an example.

The notion of an object file figures prominently in recent work in philosophy and cognitive science. Object files play a role in theories of singular reference, object individuation, perceptual memory, and the development of cognitive capacities. However, the philosophical literature lacks a detailed, empirically informed theory of object files. In this paper, we articulate and defend the multiple-slots view, which specifies both the format and architecture of object files. We argue that object files represent in a non-iconic, propositional format that (...) incorporates discrete symbols for separate features. Moreover, we argue that features of separate categories are stored in separate memory slots within an object file. We supplement this view with a computational framework that characterizes how information about objects is stored and retrieved. (shrink)

We might think that thought experiments are at their most powerful or most interesting when they produce new knowledge. This would be a mistake; thought experiments that seek understanding are just as powerful and interesting, and perhaps even more so. A growing number of epistemologists are emphasizing the importance of understanding for epistemology, arguing that it should supplant knowledge as the central notion. In this chapter, I bring the literature on understanding in epistemology to bear on explicating the different ways (...) that thought experiments increase three important kinds of understanding: explanatory, objectual and practical. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for 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} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for 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} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Some philosophers claim that propositions are simple—i.e., lack parts. In this paper, I argue that this claim is mistaken. I start with the widely accepted claim that propositions are the objects of beliefs. Then I argue that the objects of beliefs have parts. Thus, I conclude that propositions are not simple. My argument for the claim that the objects of beliefs have parts derives from the fact that beliefs are productive and systematic. This fact lurks in the background of debates (...) about the metaphysics of propositions. But its import for these debates has yet to be fully appreciated. So here I bring the point to the fore, and thus make manifest a powerful argument against simple propositions. (shrink)

Philosophers are often beholden to a picture of language as a largely static, well-defined structure which is handed over from generation to generation by an arduous process of learning: language, on this view, is something that we are given, and that we can make use of, but which we play no significant role in creating ourselves. This picture is often maintained in conjunction with the idea that several distinctively human cognitive capacities could only develop via the language acquisition process, as (...) thus understood. This paper argues that the phenomenon of homesign, i.e., spontaneous gesture systems devised by deaf children for the purpose of communicating with their non-signing peers, can shed valuable empirical light on these convictions. Contrary to grounding assumptions of Wittgensteinian, Gricean, and Peircean approaches to language, homesign shows how core properties of language—including semantic properties—can be built from the ground up in idiosyncratic ways to serve the communicative needs of individuals. (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)

Many epistemologists have recently defended views on which all evidence is true or perceptual reasons are facts. On such views a common account of basic perceptual reasons is that the fact that one sees that p is one’s reason for believing that p. I argue that that account is wrong; rather, in the basic case the fact that p itself is one’s reason for believing that p. I show that my proposal is better motivated, solves a fundamental objection that the (...) received view faces, and illuminates the nature of reasons for belief. (shrink)

I argue that psychology and epistemology should posit distinct cognitive attitudes of religious credence and factual belief, which have different etiologies and different cognitive and behavioral effects. I support this claim by presenting a range of empirical evidence that religious cognitive attitudes tend to lack properties characteristic of factual belief, just as attitudes like hypothesis, fictional imagining, and assumption for the sake of argument generally lack such properties. Furthermore, religious credences have distinctive properties of their own. To summarize: factual beliefs (...) are practical setting independent, cognitively govern other attitudes, and are evidentially vulnerable. By way of contrast, religious credences have perceived normative orientation, are susceptible to free elaboration, and are vulnerable to special authority. This theory provides a framework for future research in the epistemology and psychology of religious credence. (shrink)

Andrews argues for a pluralistic folk psychology that employs different kinds of practices and different kinds of cognitive tools (including personality trait attribution, stereotype activation, inductive reasoning about past behavior, and ...

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.

According to the mental continuity claim (MCC), human mental faculties are physical and beneficial to human survival, so they must have evolved gradually from ancestral forms and we should expect to see their precursors across species. Materialism of mind coupled with Darwin’s evolutionary theory leads directly to such claims and even today arguments for animal mental properties are often presented with the MCC as a premise. However, the MCC has been often challenged among contemporary scholars. It is usually argued that (...) only humans use language and that language as such has no precursors in the animal kingdom. Moreover, language is quite often understood as a necessary tool for having representations and forming beliefs. As a consequence, by lacking language animals could not have developed representational systems or beliefs. In response to these worries, we aim to mount a limited defense of the MCC as an empirical hypothesis. First, we will provide a short historical overview of the origins of the MCC and examine some of the motives behind traditional arguments for and against it. Second, we will focus on one particular question, namely whether language as such is necessary for having beliefs. Our goal is to show that there is little reason to think language is necessary for belief. In doing so, we will challenge a view of belief that is widely accepted by those working in animal cognition, namely representational belief, and we will argue that if belief is non-representational, then different research questions and methods are required. We will conclude with an argument that to study the evolution of belief across species, it is essential to begin the study of subjects in their social and ecological environment rather than in contexts that are not ecologically valid along the social and ecological dimensions. Thus, rather than serving as a premise in an argument 3 in favor of animal minds, the MCC can only be defended by empirical investigation, but importantly, empirical investigation of the right sort.. (shrink)