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 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 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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 dissertation 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

Entre los filósofos que consideran que pensamos utilizando representaciones simbólicas, P. Carruthers ha defendido, versus la hipótesis del ‘lenguaje del pensamiento’ (LDP), una versión débil de la hipótesis del ‘pensamiento en lenguaje natural’ (PLN). En este trabajo, me ocuparé, en primer lugar, de mostrar las razones por las cuales Carruthers, en su defensa de la hipótesis débil del PLN, siembra cierta confusión en la polémica entre el LDP y PLN. En segundo lugar, intentaré esbozar una salida de esta confusión, ofreciendo (...) y evaluando dos opciones posibles, i.e. la estrategia trascendental y la de la inferencia a la mejor explicación revisada, para quien desee sostener una versión débil del PLN que no desvirtúe la polémica.Among the philosophers who believe that we think with symbolic representations, P. Carruthers has defended -against the ‘language of thought’ hypothesis (LOT)- a weak version of the ‘thinking in natural language’ hypothesis (TNL). In this paper, I will firstly state the reasons why I think that Carruthers throws the LOT-TNL debate into some confusion. Secondly, I will try to outline a way out of this confusion, offering and evaluating two possible options -i.e., the transcendental and the revised inference to the best explanation strategies- for those who wish to hold a weak version of TNL that does not distort the debate. (shrink)

Unsymbolized thinking—the experience of an explicit, differentiated thought that does not include the experience of words, images, or any other symbols—is a frequently occurring yet little known phenomenon. Unsymbolized thinking is a distinct phenomenon, not merely, for example, an incompletely formed inner speech or a vague image, and is one of the five most common features of inner experience . Despite its high frequency, many people, including many professional students of consciousness, believe that such an experience is impossible. However, because (...) the existence of unsymbolized thinking indicates that much experienced thinking takes place without any experience of words or other symbols, acknowledging the existence of unsymbolized thinking may have substantial theoretical import. (shrink)

Predictive processing framework has found wide applications in cognitive science and philosophy. It is an attractive candidate for a unified account of the mind in which perception, action, and cognition fit together in a single model. However, PP cannot claim this role if it fails to accommodate an essential part of cognition—conceptual thought. Recently, Williams argued that PP struggles to address at least two of thought’s core properties—generality and rich compositionality. In this paper, I show that neither necessarily presents a (...) problem for PP. In particular, I argue that because we do not have access to cognitive processes but only to their conscious manifestations, compositionality may be a manifest property of thought, rather than a feature of the thinking process, and result from the interplay of thinking and language. Pace Williams, both of these capacities, constituting parts of a complex and multifarious cognitive system, may be fully based on the architectural principles of PP. Under the assumption that language presents a subsystem separate from conceptual thought, I sketch out one possible way for PP to accommodate both generality and rich compositionality. (shrink)

The attribution of beliefs and other propositional attitudes is best understood as a form of measurement, however counter-intuitive this may seem. Measurement theory does not require that the thing measured should be a magnitude, or that the calibration of the measuring instrument should be numerical. It only requires a homomorphism between the represented domain and the representing domain. On this basis, maps measure parts of the world, usually geographical locations, and 'belief' statements measure other parts of the world, namely people's (...) aptitudes. Having outlined an argument for this view, I deal with an obvious objection to it: that self-attribution of belief cannot be an exercise in measurement, because we are all aware, from introspection, that our beliefs have an intrinsically semantic form. Subsequently, I turn to the philosophical and methodological ramifications of the measurement theoretic view. I argue, first, that it undermines at least one version of constructivism and, second, that it provides an effective alternative to the residually Cartesian philosophy that underpins much qualitative research. Like other anti-Cartesian strategies, belief-attribution-as-measurement implies that the objective world is far more knowable than the subjective one, and that reality is ontologically prior to meaning. I regard this result as both plausible and welcome. (shrink)

Modes of presentation (MOPs) are often said to have to be transparent, usually in the sense that thinkers can know solely via introspection whether or not they are deploying the same one. While there has been much discussion of threats to transparency stemming from externalism, another threat to transparency has gar- nered less attention. This novel threat arises if MOPs are robust, as I argue they should be according to internalist views of MOPs which identify them with represen- tational vehicles, (...) such as mental files. I explain how identifying MOPs with vehicles/files threatens trans- parency, provide empirical illustrations, and critically examine some attempts to dispel the threat. Rather than abandoning transparency, I outline a way of reconciling it with a robust view of mental files which takes seriously the idea that they are targets for investigation in cogni- tive science. Transparency does not require introspective access, and rather than as an incontrovertible principle for individuating MOPs, we can view it more modestly, as an open empirical hypothesis. (shrink)

People frequently report that, at times, their thought has a vocal character. Thinking commonly appears to be accompanied or constituted by silently ‘talking’ to oneself in inner speech. In this paper, we explore the specifically epistemic role of inner speech in conscious reasoning. A plausible position—but one I argue is ultimately wrong—is that inner speech plays asolelyfacilitative role that is exhausted by (i) serving as the vehicle of representation for conscious reasoning, and/or (ii) allowing one to focus on certain types (...) of objects or relations, e.g., causal relations, abstracta, counterfactuals, etc., or to consciously entertain structured propositional contents that it would be hard (or impossible) to focus on or entertain with representations in other (e.g., imagistic) formats. According to this position, inner speech doesn't figure as a justificatory element in our reasoning or as the partial epistemic basis of our conclusions—it merely facilitates reasoning through (i) and/or (ii). In contrast to the view that inner speech is amerefacilitator, I establish that (outside of potentially playing roles (i) and/or (ii)) the language we use itself serves as a crucial source of information in reasoning. In other words, we reason from propositions about the language we use in inner speech as opposed to exclusively reasoning from the semantic contents of the speech. My conclusion follows from how we use language as a cognitive tool to keep track of information, e.g., the contents of premises, lemmas, previous reasoning results, etc., in reasoning. (shrink)

People frequently report that their thought has, at times, a vocal character. Thinking commonly appears to be accompanied or constituted by silently ‘talking’ to oneself in inner speech. In this paper, I argue that inner speech ‘utterances’ can constitute occurrent propositional attitudes, e.g., occurrent judgments, suppositions, etc., and, thereby, we can consciously reason through tokening a series of inner speech utterances in working memory. As I demonstrate, the functional role a mental state plays in working memory is determined in a (...) flexible and context sensitive manner by metacognitive monitoring and control procedures. An inner speech utterance functions as an occurrent judgment (and, thus, as a premise, lemma, or conclusion in a line of conscious reasoning) when it is experienced with a level of certainty that exceeds one’s threshold of confidence for acceptance. In virtue of an agent experiencing an inner speech utterance with a sufficient level of certainty, the utterance plays the functional role of an occurrent judgment through, e.g., terminating inquiry and causing overt actions (like overtly asserting the words rehearsed in inner speech). (shrink)

This article explores “Inner Speech Account of Introspection”, according to which inner speech is the source of our introspective self-knowledge. The view hypothesizes that we come to know that we are thinking that p by being aware of the sentence of inner speech “p” accompanying the thought. I argue for Inner Speech Account by showing that it explains six explananda imposed for the philosophical theories of introspection; peculiar access, privileged access, detection condition, the lack of phenomenology, occurent/dispositional distinction, and content/attitude (...) distinction. (shrink)

The contemporary view of the relationship between conscious and unconscious intentionality consists in two claims: unconscious propositional attitudes represent the world the same way conscious ones do, and both sets of attitudes represent by having determinate propositional content. Crane has challenged both claims, proposing instead that unconscious propositional attitudes differ from conscious ones in being less determinate in nature. This paper aims to evaluate Crane's proposal. In particular, I make explicit and critique certain assumptions Crane makes in support of his (...) asymmetry, and argue for a conditional claim: if Crane is right that unconscious intentional states are indeterminate, this suggests that conscious intentional states are indeterminate in a similar fashion as well. (shrink)

In The Architecture of the Mind, Carruthers proposes a new and detailed explanation for how human cognition could be both flexible and massively modular. The combinatorial nature of our linguistic faculty and our capacity to engage in inner speech are the cornerstones of this new explanation. Despite the ingenuity of this proposal, I argue that Carruthers has failed to explain how a massively modular mind could display the flexibility that is characteristic of human thought.

Many theorists claim that inner speech is importantly linked to human metacognition (thinking about one's own thinking). However, their proposals all rely upon unworkable conceptions of the content and structure of inner speech episodes. The core problem is that they require inner speech episodes to have both auditory-phonological contents and propositional/semantic content. Difficulties for the views emerge when we look closely at how such contents might be integrated into one or more states or processes. The result is that, if inner (...) speech is especially valuable to metacognition, we do not currently understand why it is. The article concludes with two positive proposals for understanding the content and structure of inner speech episodes, which should serve as constraints on future accounts of the metacognitive value of inner speech. (shrink)

According to a common view, conscious thoughts necessarily involve quasi-perceptual experiences, or mental images. This is alleged to be the case not only when one entertains conscious thoughts about perceptible things, but also when one thinks about more abstract things. In the case of conscious abstract propositional thoughts, the idea is that they occur in inner speech, which is taken to involve imagery (typically auditory) of words in a natural language. I argue that unsymbolized thinking and total aphantasia cast doubt (...) on this common view. Unsymbolized thinking is the experience of thoughts that does not involve imagery. Total aphantasia is the inability to produce mental images of all sensory modalities. I consider and reject the objection that these individuals are mistaken either because their thoughts do involve images, or because those thoughts are not conscious. Thus, unsymbolized thinking and aphantasia provide evidence that conscious thoughts can occur without imagery. (shrink)

Recent scholarship emphasizes the scaffolding role of language for cognition. Language, it is claimed, is a cognition-enhancing niche (Clark, 2006), a programming tool for cognition (Lupyan and Bergen, 2016), even a neuroenhancement (Dove, 2019), and augments cognitive functions such as memory, categorization, cognitive control as well as meta-cognitive abilities (‘thinking about thinking’). Yet the notion that language enhances or augments cognition does not fit in with embodied approaches to language processing, or so we will argue. Accounts aiming to explain how (...) language enhances various cognitive functions often employ a notion of abstract representation. Yet embodied approaches to language processing have it that language processing crucially, according to some accounts even exclusively, involves embodied, modality-specific, i.e. non-abstract representations. In coming to understand a particular phrase or sentence, a prior experience has to be simulated or reenacted. The representation thus activated is embodied (modality-specific) as sensorimotor regions of the brain are thereby recruited. In the paper, we will first discuss the notion of representation, clarify what it takes for a representation to be embodied or abstract respectively, and distinguish between conceptual and (other) linguistic representations. We will then put forward a characterization of cognitive control and examine its representational infrastructure. The remainder of the paper will be devoted to arguing that language augments cognitive control. To that end, we will draw on two lines of research, which investigate how language augments cognitive control: i. research on the availability of linguistic labels, and ii. research on the active usage of a linguistic code, specifically in inner speech. Eventually, we will argue that the cognition-enhancing capacity of language can be explained once we assume that it provides us with a. abstract, non-embodied representations, and with b. abstract, sparse linguistic representations that may serve as easy-to-manipulate placeholders for fully embodied or otherwise more detailed representations. (shrink)

While the idea that thinking is a form of silent self-talk goes back at least to Plato, it is not immediately clear how to state this thesis precisely. The aim of the paper is to spell out the notion that we think in language by recourse to recent work on inner speech. To that end, inner speech and overt speech are briefly compared. I then propose that inner speaking be defined as a mental episode that substantially engages the speech production (...) system; the underlying model of speech production is sketched. Next, the cognitive role of inner speaking is explored, especially its role in thinking and reasoning. The question of whether it is a way of making thoughts accessible (to whomever) or whether it is a means of thinking itself is raised. I argue that there are two reasons for assuming that, occasionally, we think in language. More specifically, I will claim that some instances of thinking are instances of inner speaking as they exploit certain properties of natural language, and that some instances of inner speaking are instances of thinking as they play a decisive role in paradigmatic cases of thinking that result from internalizing and re-using certain social-linguistic practices. Finally, the Language-of-Thought hypothesis as an alternative account is critically discussed. (shrink)

There is a growing literature in philosophy dealing with the phenomenon of inner speech, that is, the activity of speaking to oneself in one’s mind. This paper highlights a feature of inner speech which has not yet been noticed in this literature: that there is something distinctive that it is like to make a sincere assertion in inner speech. The paper then traces out two implications of this observation. The first relates to the question of how we should characterise inner (...) speech; the second relates to the question of how inner speech may play a role in self-attributions of belief. (shrink)

I argue that we can reason not only to new beliefs but to basically any change in attitude we can think of, including the abandonment of belief (contra John Broome), the acquisition of non-belief attitudes like relief and admiration, and the elimination of the same. To argue for this position, which I call generalism, I defend a sufficient condition on reasoning, roughly that we can reason to any change in attitude that is expressed by the conclusion of an argument we (...) can be convinced by. I then produce examples of such arguments, and argue that they are indeed arguments. To produce such examples of the elimination of non-doxastic attitudes, I develop the idea of a state of attitudinal constraint acceptance, and show how it is useful for solving this problem, and useful in other parts of philosophy as well. (shrink)