Narrow mental content is a kind of mental content that does not depend on an individual's environment. Narrow content contrasts with “broad” or “wide” content, which depends on features of the individual's environment as well as on features of the individual. It is controversial whether there is any such thing as narrow content. Assuming that there is, it is also controversial what sort of content it is, what its relation to ordinary or “broad” content is, and how it is determined (...) by the individual's intrinsic properties. (shrink)

This article defends the Doomsday Argument, the Halfer Position in Sleeping Beauty, the Fine-Tuning Argument, and the applicability of Bayesian confirmation theory to the Everett interpretation of quantum mechanics. It will argue that all four problems have the same structure, and it gives a unified treatment that uses simple models of the cases and no controversial assumptions about confirmation or self-locating evidence. The article will argue that the troublesome feature of all these cases is not self-location but selection effects.

"Self-knowledge" is commonly used in philosophy to refer to knowledge of one's particular mental states, including one's beliefs, desires, and sensations. It is also sometimes used to refer to knowledge about a persisting self -- its ontological nature, identity conditions, or character traits. At least since Descartes, most philosophers have believed that self-knowledge is importantly different from knowledge of the world external to oneself, including others' thoughts. But there is little agreement about what precisely distinguishes self-knowledge from knowledge in other (...) realms. Partially because of this disagreement, philosophers have endorsed competing accounts of how we acquire self-knowledge. These accounts have important consequences for the scope of mental content, for mental ontology, and for personal identity. (shrink)

This thesis provides an account of acquaintance with abstract objects. The notion of acquaintance is integral to theorising on reference and singular thought, since it is generally taken to be the relation that must exist between a subject and an object, in order for the subject to refer to, and entertain singular thoughts about the object. The most common way of understanding acquaintance is as a form of causal connection. However, this implies a problem. We seem to be able to (...) refer and have singular thoughts about abstract objects. But given that abstract objects are causally inert, this would mean that we are unable to become acquainted with them. This problem shall be the focus of this thesis. I first argue that these traditional causal interpretations of acquaintance are lacking. Instead, I show that acquaintance is dependent to some degree on factors internal to the subject, namely the skills that they possess. From doctors to sommeliers to mathematicians (and possibly even philosophers!) – these subjects seem to succeed in becoming acquainted with certain objects precisely in virtue of their respective skills. Thus, building off from Evans’ The Varieties of Reference, I present a novel account of acquaintance, which I term as Skill-based Acquaintance (SBA). On SBA, a subject is said to be acquainted with an object when they possess discriminating knowledge of that object, gained through the use of their capacities and skills. The SBA account is applied to virtual (Ch.3), fictional (Ch.4), and mathematical objects (Ch.5), as well as God (Ch.6). SBA is successful in explaining how subjects can indeed become acquainted with these problematic categories of objects - some of which are abstract – thus being able to refer and entertain singular thoughts about them. Overall, then, SBA is shown to have greater explanatory power than competing accounts and should thus be preferred. (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

Many philosophers have been attracted to a restricted version of the principle of indifference in the case of self‐locating belief. Roughly speaking, this principle states that, within any given possible world, one should be indifferent between different hypotheses concerning who one is within that possible world, so long as those hypotheses are compatible with one's evidence. My first goal is to defend a more precise version of this principle. After responding to several existing criticisms of such a principle, I argue (...) that existing formulations of the principle are crucially ambiguous, and I go on to defend a particular disambiguation of the principle. According to the disambiguation I defend, how we should apply this restricted principle of indifference sensitively depends on our background metaphysical beliefs. My second goal is to apply this disambiguated principle to classical skeptical problems in epistemology. In particular, I argue that Eternalism threatens to lead us to external world skepticism, and Modal Realism threatens to lead us to inductive skepticism. (shrink)

Suppose that Paul, while looking at a tree, sees that that thing over there is a red bird. Paul is having what we may call a ‘singular’ perceptual experience. How should we characterise the representational content of his perceptual experience? I will sketch an original answer to this question, building on the internalist accounts propounded by Searle (1983. Intentionality. Cambridge University Press. Ch. 2) and Recanati (2007. Perspectival Thought. Oxford University Press. Ch. 17). Pace Searle, the content of Paul's experience (...) is not a (general) proposition. Pace Recanati, whose account draws on Lewis’s (1979. “Attitudes De Dicto and De Se.” Philosophical Review 88 (4): 513–543) internalist view of de se attitudes, it is not a property of the perceiving subject. Instead, I submit, it is a property of the perceived object. The content is the property of being a red bird, which determines a set of centred worlds whose centre (an object taken at a time) is a red bird; the object (here, the bird) is part of the relevant situation of evaluation for the experience; and the experience is veridical only if the actual world centred on the object belongs to the set of centred worlds determined by that property. I will argue that this view retains the benefits of Searle's and Recanati's accounts while improving on them. (shrink)

This thesis investigates the nature of the relation between mental representations in successful verbal communication, thought attribution, agreement, and disagreement — a relation which I call “samethinking”. The nature of samethinking raises several foundational questions about the nature of (non-natural) meaning, and the cognitive underpinnings of the emergence of culture. It bears on long-lasting puzzles in the philosophy of mind and language (such as Frege’s puzzle and Kripke’s puzzle about belief). Samethinking does not amount to sharing a reference (with “sharing" (...) I refer to two or more thinkers having something in common): it is more demanding. How can we explain and characterize this relation, more stringent than coreference, that is instantiated by a pair of thoughts when samethinking takes place? It is often assumed that this relation involves sharing a thought content more fine-grained than reference. In this thesis, I argue that the issue is more complex than what has been commonly assumed, and I suggest an alternative model in which sharing thought content is not necessary. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

Decision theory and folk psychology both purport to represent the same phenomena: our belief-like and desire- and preference-like states. They also purport to do the same work with these representations: explain and predict our actions. But they do so with different sets of concepts. There's much at stake in whether one of these two sets of concepts can be accounted for with the other. Without such an account, we'd have two competing representations and systems of prediction and explanation, a dubious (...) dualism. Folk psychology structures our daily lives and has proven fruitful in the study of mind and ethics, while decision theory is pervasive in various disciplines, including the quantitative social sciences, especially economics, and philosophy. My interest is in accounting for folk psychology with decision theory -- in particular, for believe and wanting, which decision theory omits. Many have attempted this task for belief. (The Lockean Thesis says that there is such an account.) I take up the parallel task for wanting, which has received far less attention. I propose necessary and sufficient conditions, stated in terms of decision theory, for when you're truly said to want; I give an analogue of the Lockean Thesis for wanting. My account is an alternative to orthodox accounts that link wanting to preference (e.g. Stalnaker (1984), Lewis (1986)), which I argue are false. I argue further that want ascriptions are context-sensitive. My account explains this context-sensitivity, makes sense of conflicting desires, and accommodates phenomena that motivate traditional theses on which 'want' has multiple senses (e.g. all-things-considered vs. pro tanto). (shrink)

Przekonania samolokalizujące stanowią problem dla popularnej koncepcji przekonań, wedle której przekonania są dwuargumentową relacją między podmiotem a sądem. Koncepcja ta nie potrafi wyjaśnić doniosłości poznawczej tych przekonań dla podmiotu, a co za tym idzie ich związku z zachowaniem. Wydaje się, że przekonania samolokalizujące nie są redukowalne do przekonań jednostkowych, ponieważ podmiot może mieć przekonanie jednostkowe na swój temat, nie mając odpowiedniego przekonania samolokalizującego. David Lewis, John Perry oraz Robert Stalanker zaproponowali różne rozwiązania tego problemu. Stalnaker – w przeciwieństwie do Lewisa (...) i Perry’ego – broni tradycyjnej koncepcji przekonań. Propozycja Stalnakera opiera się na założeniu, że każdy rodzaj niewiedzy dotyczącej własnego usytuowania w świecie można przedstawić jako niewiedzę dotyczącą tego, który świat jest światem rzeczywistym. Zdaniem Clasa Webera, którego argumentację omawiam, strategia ta zawodzi. (shrink)

Two-dimensional semantics, which can represent the distinction between a priority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the dagger operator of Stalnaker’s “Assertion” in the formal context of two-dimensional modal logic. The language contains modalities of actuality, necessity, and a priority, but is also able to represent diagonalization, a conceptually important operation in a variety of contexts, including models of the relative a priori and a posteriori often appealed to Bayesian and (...) Gricean contexts. Finally, I sketch the prospects for extending this two-dimensional upgrade to other kinds of modal logics for natural language. (shrink)

The Sleeping Beauty problem has attracted considerable attention in the literature as a paradigmatic example of how self-locating uncertainty creates problems for the Bayesian principles of Conditionalization and Reflection. Furthermore, it is also thought to raise serious issues for diachronic Dutch Book arguments. I show that, contrary to what is commonly accepted, it is possible to represent the Sleeping Beauty problem within a standard Bayesian framework. Once the problem is correctly represented, the ‘thirder’ solution satisfies standard rationality principles, vindicating why (...) it is not vulnerable to diachronic Dutch Book arguments. Moreover, the diachronic Dutch Books against the ‘halfer’ solutions fail to undermine the standard arguments for Conditionalization. The main upshot that emerges from my discussion is that the disagreement between different solutions does not challenge the applicability of Bayesian reasoning to centered settings, nor the commitment to Conditionalization, but is instead an instance of the familiar problem of choosing the priors. (shrink)

De se attitudes seem to play a special role in action and cognition. This raises a challenge to the traditional way in which mental attitudes have been understood. In this chapter, we review the case for thinking that de se attitudes require special theoretical treatment and discuss various ways in which the traditional theory can be modified to accommodate de se attitudes.

The epistemology of self-locating belief concerns itself with how rational agents ought to respond to certain kinds of indexical information. I argue that those who endorse the thesis of Time-Slice Rationality ought to endorse a particular view about the epistemology of self-locating belief, according to which ‘essentially indexical’ information is never evidentially relevant to non-indexical matters. I close by offering some independent motivations for endorsing Time-Slice Rationality in the context of the epistemology of self-locating belief.

ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...

What role, if any, should centered possible worlds play in characterizing the attitudes? Lewis :513–543, 1979) argued that, in order to account for the phenomena of self-location :474–497, 1977, Noûs 13:3–21, 1979), the contents of the attitudes should be taken to be centered propositions. Stalnaker Assertion: New philosophical essays, Oxford University Press, Oxford, 2011, Context, Oxford University Press, Oxford, 2014), however, has argued that while centered worlds are needed to characterize e.g. belief states, the contents of such states should be (...) understood as ordinary, uncentered propositions. But Stalnaker does not, as is common, provide a semantics of attitude ascriptions based on the models he develops of the attitudinal states themselves. This paper begins to explore the prospects for doing so. It argues that a simple but well-motivated approach does not yield the principles of knowledge and belief Stalnaker endorses; and that a modification which does brings with it worries of its own surrounding communication and learnability. A technical appendix contains novel and pertinent results in doxastic/epistemic logic. (shrink)

The dissertation is in the format of a collection of several academic texts, composed of a two-part presentation and three papers on the topic of conceivability and the epistemology of modality. The presentation is composed of, first, a general introduction to conceivability theses and objections and, second, a discussion of two cases. Following the presentation, Asger provides three papers. The first paper, Pretense and Conceivability: A reply to Roca-Royes, presents a problem and a dilemma for Roca-Royes’ Non-Standard Dilemma for conceivability-based (...) epistemologies of de re modality in which she concludes that conceivability cannot be the whole story of our de re modal knowledge. The second paper, Conceivability Externalized, proposes an externalist conceivability-based epistemology of possibility inspired by Stalnaker. The third paper, Inconceivability as a Guide to Impossibility, considers inconceivability as an epistemic guide to impossibility, aiming to explore and add support to the underexplored thesis that one can justify beliefs about the impossibility of P on the basis of the inconceivability of P. (shrink)

ABSTRACTThe paper distinguishes between two different ways of cashing out the general insight that often goes by the name of ‘liberal naturalism’. The objective is to show how these two different argumentative strategies undergird two fundamentally different approaches to the project of elucidating the specificity of mental phenomena. On one approach, the central concern of such a project is the ontological status of subjective conscious phenomena; on the other, the central concern is the irreducibility of parochial capacities in the adoption (...) of intentional stances. I begin by tracing out some of the origins of this important divergence and then focus on the motivations of the latter approach. I show that there is a tension between its motivations and the way that it has been used to rehabilitate idealist themes from the post-Kantian tradition. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

Several contemporary philosophical theories of introspection have been offered, yet each faces a number of difficulties in providing an explanation of the exact nature of introspection. I contrast the inner-sense view that argues for a causal awareness with the acquaintance view that argues for a non-causal or direct awareness. After critically examining the inner-sense and the acquaintance views, I claim that these two views are complementary and not mutually exclusive, and that both perspectives, conceived of as modes of introspective access, (...) actually broaden the notion of introspection. I then propose a useful distinction between stimuli-induced introspection—i.e., a receptive process whereby some specific mental states induce introspection—and self-triggered introspection—i.e., a selective process whereby the individual’s own interest and volition initiates introspection. I argue that that distinction may eliminate the false dichotomy which claims that only one of those types of awareness, either the causal one or the direct one, is conducive to introspection or is defined as introspection. (shrink)

Anti-individualists hold that having a thought with a certain intentional content is a relational rather than an intrinsic property of the subject. Some anti-individualists also hold that thought-content serves to explain the subject’s cognitive perspective. Since there seems to be a tension between these two views, much discussed in the philosophical literature, attempts have been made to resolve it. In an attempt to reconcile these views, and in relation to perception-based demonstrative thoughts, Stalnaker (Our knowledge of the internal world, Oxford (...) University Press, Oxford, 2008) argues that an anti-individualist account of the facts that determine thought-content can be reconciled with a suitably qualified version of a principle of epistemic transparency. Acknowledging this, and in agreement with the view that thought-content should serve to explain the subject’s cognitive perspective, I argue that, his intentions notwithstanding, this view of transparency of thought-contents does not serve to explain the subject’s cognitive perspective on Stalnaker’s own terms and that the intricacies involved in his argumentation for saving his anti-individualist project are indirectly supportive of an individualist account of the subject’s cognitive perspective. In so doing, I leave intact some of his key claims that are plausible in their own right. (shrink)

It's widely accepted that social facts about an individual's linguistic community can affect both the reference of her words and the concepts those words express. Theorists sympathetic to the internalist tradition have sought to accommodate these social dependence phenomena without altering their core theoretical commitments by positing deferential reference-fixing criteria. In this paper, we sketch a different explanation of social dependence phenomena, according to which all concepts are individuated in part by causal-historical relations linking token elements of thought.

In my article I reconstruct the main threads of Robert Stalnaker’s book Our Knowledge of the Internal World, which focuses on the problem of our epistemic relation to our experience and the relation between experience and knowledge. First, the book proposes an interesting view of externalism, which combines classical externalist claims with a contextualist approach to content ascriptions. The approach accommodates some important internalist intuitions by showing how content ascriptions can be sensitive to the perspective from which a subject perceives (...) the world. Second, Stalnaker proposes a theory of selflocating and phenomenal knowledge, which should be understood in terms of differentiating between real possibilities. The puzzling upshot of this elegant solution is that it commits one to the existence of possibilities accessible only from the first-person perspective. Finally, Stalnaker presents an argument which shows that our knowledge about our phenomenal experience is no more direct than the knowledge about external objects. Stalnaker’s claim that by merely having an experience we don’t learn any new information seems, however, too strict in light of his contextualist approach to content ascriptions. (shrink)

The paper concentrates on the most pressing question of Indian philosophy: what is the exact connotation of a word or what sort of entity helps us to identify the meaning of a word? The paper focuses on the clash between Realism (Nyāya) and Apoha vāda (Buddhist) regarding the debate whether the meaning of a word is particular/universal or both. The paper asserts that though Naiyāyikas and Mīmāṁsakas challenged against Buddhist Apoha vāda, yet they realized that to establish an opinion in (...) support of a word that conceptually denotes a negative meaning first would be a very difficult task. (shrink)

Orthodoxy has it that knowledge is absolute—that is, it cannot come in degrees. On the other hand, there seems to be strong evidence for the gradability of know-how. Ascriptions of know-how are gradable, as when we say that one knows in part how to do something, or that one knows how to do something better than somebody else. When coupled with absolutism, the gradability of ascriptions of know-how can be used to mount a powerful argument against intellectualism about know-how—the view (...) that know-how is a species of propositional knowledge. This essay defends intellectualism from the argument of gradability. It is argued that the gradability of ascriptions of know-how should be discounted as a rather superficial linguistic phenomenon, one that can be explained in a way compatible with the absoluteness of the state reported. (shrink)

-/- Human beings are conscious not only of the world around them but also of themselves: their activities, their bodies, and their mental lives. They are, that is, self-conscious (or, equivalently, self-aware). Self-consciousness can be understood as an awareness of oneself. But a self-conscious subject is not just aware of something that merely happens to be themselves, as one is if one sees an old photograph without realising that it is of oneself. Rather a self-conscious subject is aware of themselves (...) as themselves; it is manifest to them that they themselves are the object of awareness. Self-consciousness is a form of consciousness that is paradigmatically expressed in English by the words “I”, “me”, and “my”, terms that each of us uses to refer to ourselves as such. -/- A central topic throughout the history of philosophy—and increasingly so since the seventeenth century—the phenomena surrounding self-consciousness prompt a variety of fundamental philosophical and scientific questions, including its relation to consciousness; its semantic and epistemic features; its realisation in both conceptual and non-conceptual representation; and its connection to our conception of an objective world populated with others like ourselves. (shrink)

I argue that while practical reasoning is essentially first personal it does not require having essentially first personal thoughts. I start with an example of good practical reasoning. Because there is debate about what practical reasoning is, I discuss how different sides in those debates can accommodate my example. I then consider whether my example involves essentially first personal thoughts. It is not always clear what philosophers who would claim that it must have in mind. I identify two features of (...) essentially personal thoughts that they share with their impersonal counterparts: they have the same truth conditions and can have the same evidential bases. I next argue that my example of good practical reasoning does not involve any thoughts other than the impersonal ones of the kind I identified. I defend this conclusion against several objections. One pair of objections starts from claims to the effect that there can be no difference in two people’s actions, or in the reasons they have, without a difference in their beliefs or desires. I argue that these claims are false. I then consider an alleged skeptical possibility that often motivates the idea that practical reasoning requires special first personal beliefs. I conclude the paper by suggesting that what Anscombe called an ‘overly contemplative’ conception of knowledge and belief encourages this skeptical possibility. If we think of having a belief as like having a map of the world, then we will easily think that we need self-locating beliefs the way we need ‘I am here’ stickers on maps. The best response, I suggest, is to reject the image that beliefs are like maps. (shrink)

The paper analyses theoretical presuppositions of the predominant form of semantic naturalism in contemporary analytic philosophy. The aim is to show that irrespective of the fact that the doctrine of semantic naturalism is grounded in ontological and epistemological naturalism, and is developed on the basis of semantic externalism, this conception of foundational semantics rests on internalist premises, and therefore should be construed as Cartesian. Theories and their interrelations that are assumed by semantic naturalism are explicated by relying on the tripartite (...) interpretation of “the problem of intentionality”. The Cartesian aspects of the assumed theories – and thus of the form of semantic naturalism that is analysed – are then specified in the context of Hilary Putnam’s version of semantic externalism. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

There is currently disagreement about whether the phenomenon of first-person, or de se, thought motivates a move towards special kinds of contents. Some take the conclusion that traditional propositions are unable to serve as the content of de se belief to be old news, successfully argued for in a number of influential works several decades ago.1 Recently, some philosophers have challenged the view that there exist uniquely de se contents, claiming that most of the philosophical community has been under the (...) grip of an attractive but unmotivated myth.2 At the very least, this latter group has brought into question the arguments in favor of positing special kinds of content for de se belief; I think they have successfully shown that these arguments are not as conclusive, or fully articulated, as many have taken them to be. In this paper I will address these challenges directly and I will present and defend an argument for the conclusion that the phenomenon of de se thought does indeed motivate the move to a special kind of content, content that is uniquely de se. First, I characterize a notion of de se belief that is neutral with respect to friends and foes of uniquely de se content. I then argue for a determination thesis relating de se belief to belief content: that there is no difference in de se belief without a difference in belief content. I argue that various proposals for rejecting this determination thesis are unsuccessful. In the last part of the paper, I employ this determination thesis to argue for the existence of a type of belief content that is uniquely de se. (shrink)

My responses to seven critical reviews of my book *Mental Files* published in a special issue of the journal Disputatio, edited by F. Salis. The reviewers are: Keith Hall, David Papineau, Annalisa Coliva and Delia Belleri, Peter Pagin, Thea Goodsell, Krista Lawlor and Manuel Garcia-Carpintero.

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

According to haecceitism, some maximal possibilities differ even while they are qualitatively indiscernible. Since haecceitism is a modal thesis, it is typically defended by appeal to conceivability arguments. These arguments require us to conceive of qualitatively indiscernible possibilities that differ only with respect to the identity of the individuals involved. This paper examines a series of conceivability arguments for haecceitism and a variety of anti-haecceitist responses. It concludes that there is no irresistible conceivability argument for haecceitism even while anti-haecceitist responses (...) do come with certain notable commitments. (shrink)

Frank Jackson’s famous Knowledge Argument moves from the premise that complete physical knowledge about experiences is not complete knowledge about experiences to the falsity of physicalism. Some physicalists (e.g., John Perry) have countered by arguing that what Jackson’s Mary, the perfect scientist who acquires all physical knowledge about experiencing red while being locked in a monochromatic room, lacks before experiencing red is merely a piece of recognitional knowledge of an identity, and that since lacking a piece of recognitional knowledge of (...) an identity does not entail lacking any pieces of knowledge of worldly facts, physicalism is safe. I will argue that what Mary lacks in her room is not merely a piece of recognitional knowledge of an identity and that some physicalists have failed to see this because of a failure to appreciate that Mary’s epistemic progress when she first experiences red has two different stages. While the second epistemic stage can perhaps be plausibly considered as acquiring merely a piece of recognitional knowledge of an identity, there is good reason to think that the first epistemic stage cannot be thus considered. (shrink)

A reponse to _Relativism and Monadic Truth_. I argue that while the Cappelen and Hawthorne have good responses to the deductive arguments for relativism, there are various good inductive arguments for relativism that their view can’t adequately respond to.

Currently, the most popular views about how to update de se or self-locating beliefs entail the one-third solution to the Sleeping Beauty problem.2 Another widely held view is that an agent‘s credences should be countably additive.3 In what follows, I will argue that there is a deep tension between these two positions. For the assumptions that underlie the one-third solution to the Sleeping Beauty problem entail a more general principle, which I call the Generalized Thirder Principle, and there are situations (...) in which the latter principle and the principle of Countable Additivity cannot be jointly satisfied. The most plausible response to this tension, I argue, is to accept both of these principles, and to maintain that when an agent cannot satisfy them both, she is faced with a rational dilemma. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

The Phenomenal Concept Strategy offers the physicalist perhaps the most promising means of explaining why the connection between mental facts and physical facts appears to be contingent even though it is not. In this article, we show that the large body of evidence suggesting that our concepts are often embodied and grounded in sensorimotor systems speaks against standard forms of the PCS. We argue, nevertheless, that it is possible to formulate a novel version of the PCS that is thoroughly in (...) keeping with embodied cognition, focuses on features of physical concepts, and succeeds in explaining the appearance of contingency. (shrink)

While recent discussions of contextualism have mostly focused on other issues, some influential early statements of the view emphasized the possibility of its providing an alternative to both coherentism and traditional versions of foundationalism. In this essay, I will pick up on this strand of contextualist thought, and argue that contextualist versions of foundationalism promise to solve some problems that their non-contextualist cousins cannot. In particular, I will argue that adopting contextualist versions of foundationalism can let us reconcile Bayesian accounts (...) of belief updating with a version of the holist claim that all beliefs are defeasible. (shrink)

Self-locating attitudes and assertions provide a challenge to the received view of mental and linguistic intentionality. In this paper I try to show that the best way to meet this challenge is to adopt relativistic, centred possible worlds accounts for both belief and communication. First, I argue that self-locating beliefs support a centred account of belief. Second, I argue that self-locating utterances support a complementary centred account of communication. Together, these two claims motivate a unified centred conception of belief and (...) communication. (shrink)

Against a view currently popular in the literature, it is argued that Kant was not a niıve realist about perceptual experience. Naive realism entails that perceptual experience is object-dependent in a very strong sense. In the first half of the paper, I explain what this claim amounts to and I undermine the evidence that has been marshalled in support of attributing it to Kant. In the second half of the paper, I explore in some detail Kant’s account of hallucination and (...) argue that no such account is available to someone who thinks that veridical perceptual experience is object-dependent in the naive realist sense. Kant’s theory provides for a remarkably sophisticated, bottom-up explanation of the phenomenal character of hallucinatory episodes and is crucial for gaining a proper understanding of his model of the mind and its place in nature. (shrink)

Recanati’s (2007, 2009) argues for a Lewisian subjectless view of the content of “implicit” de se thought, on the basis that we can thus better explain the phenomenon of immunity to error through misidentification. The paper argues that this is not the case, and suggests that such a view is in tension with Recanati’s mental files approach to de re thought in general and the SELF concept in particular.

In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...) should be thought of as varying with some (more or less surprising) factor. In this, first, article, I shall discuss the general issue of relativism about representational content. I shall claim that there are legitimate ways of attributing contents that are absolute truth-bearers, and there are also equally legitimate ways of attributing relativistic representational contents. In the companion piece “Relativism 2: Semantic Content”, I look in more detail at the more specific question whether semantic contents (i.e. the contents assigned to linguistic utterances in the semantics of natural language) should be construed in an absolutist or a relativist way. (shrink)

When an agent undergoes fission, how should the beliefs of the fission results relate to the pre-fission beliefs? This question is important for the Everett interpretation of quantum mechanics, but it is of independent philosophical interest. Among other things, fission scenarios demonstrate that ‘self-locating’ information can affect the probability of uncentred propositions even if an agent has no essentially self-locating uncertainty. I present a general update rule for centred beliefs that gives sensible verdicts in cases of fission, without relying on (...) controversial metaphysical or linguistic assumptions. The rule is supported by the same considerations that support standard conditioning in the traditional framework of uncentred propositions. (shrink)