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

Magnetism in meta-semantics is the view that the meaning of our words is determined in part by their use and in part by the objective naturalness of candidate meanings. This hypothesis is commonly attributed to David Lewis, and has been put to philosophical work by Brian Weatherson, Ted Sider and others. I argue that there is no evidence that Lewis ever endorsed the view, and that his actual account of language reveals good reasons against it.

Are the distinctions between past, present and future, and the apparent ‘passage’ of time, features of the world in itself, or manifestations of the human perspective? Questions of this kind have been at the heart of metaphysics of time since antiquity. The latter view has much in common with pragmatism, though few in these debates are aware of that connection, and few of the view’s proponents think of themselves as pragmatists. For their part, pragmatists are often unaware of this congenial (...) application of their methodology; some associate pragmatism with the other side of the old debate in the metaphysics of time. In my view, this link between time and pragmatism only scratches the surface of the deep two-way dependencies between these two topics. The human temporal perspective turns out to be deeply implicated not merely in our temporal notions themselves, but in many other conceptual categories – arguably, in fact, in all of them, and in the nature of language and thought. In this way, reflection on our own temporal character vindicates James’ famous slogan for global pragmatism: ‘The trail of the human serpent is thus over everything.’. (shrink)

Principles of chance deference face two kinds of problems. In the first place, they face difficulties with a priori knowable contingencies. In the second place, they face difficulties in cases where you've lost track of the time. I provide a principle of chance deference which handles these problem cases. This principle has a surprising consequence for Adam Elga's Sleeping Beauty Puzzle.

One can intentionally do something only if one knows what one is doing while they are doing it. For example, one can intentionally kill one’s neighbor by opening their gas stove overnight only if one knows that the gas is likely to kill the neighbor in their sleep. One can intentionally sabotage the victory of one’s rival by putting sleeping drugs in their drink only if one knows that sleeping drugs will harm the rival’s performance. And so on. In a (...) slogan: Intentional action is action guided by knowledge. This essay reviews some motivations for a ‘knowledge-centered psychology’ — a psychology where knowledge enters center stage in an explanation of intentional action (§2). Then it outlines a novel argument for the claim that knowledge is required for intentional action (§3) and discusses some of its consequences (§§4-5). (shrink)

David Lewis rejected consequentialism in ethics. However, two aspects of his meta-ethical views make it a challenge to see how consequentialism could be resisted. Lewis endorses a maximising conception of rationality, where to be rational is to maximise value of a certain sort; he appears to think it is possible to be both rational and moral; and yet he rejects conceptions of moral action as acting to maximise moral value. The second tension in Lewis's views arises from his meta-ethics. Lewis's (...) naturalisation of morality is in terms of a naturalised account of value, including moral value. Insofar as he offers a motivational story for moral judgements, it is one that goes via a motivational connection to value. Yet his anti-consequentialism seems to commit him to rejecting a story of moral action entirely in terms of pursuit of moral value. In both cases there are things to be said about how to weave these strands of Lewis's thought together. After setting out these two apparent tensions in Lewis's thought about ethics, the paper discusses what a Lewisian could best say about these puzzles. Lewisians do have a number of plausible options for dealing with the first challenge. While there are things a Lewisian could attempt to extend Lewis's moral naturalism in a way that could deal with the second challenge, it is harder to see how to do this in a satisfying way. Attention then turns to what Lewis said in his letters on these topics: on that basis, perhaps Lewis was close to being an agent-relative consequentialist after all. (shrink)

The traditional approach in cognitive sciences holds that cognition is a matter of manipulating abstract symbols followingcertain rules. According to this view, the body is merely an input/output device, which allows the computationalsystem—the brain—to acquire new input data by means of the senses and to act in the environment following its com-mands. In opposition to this classical view, defenders of embodied cognition (EC) stress the relevance of the body inwhich the cognitive agent is embedded in their explanation of cognitive processes. (...) From a representationalist frameworkregarding our conscious experience, in this article, I will offer a novel argument in favor of EC and show that cognitionconstitutively—and no merely causally—depends upon body activity beyond that in the brain. In particular, I will arguethat in order to solve the problem derived from the empirical evidence in favor of the possibility of shifted spectrum,representationalist should endorse the view that experiences concern its subject: the content of experience isde se.Ishow that this claim perfectly matches the phenomenological observation and helps explaining the subjective characterof the experience. Furthermore, I argue that entertaining this kind of representation constitutively depends on bodilyactivity. Consequently, insofar as cognition depends on consciousness, it is embodied. (shrink)

I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called ''capture'' direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed's approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting (...) logic (called ''Swynish Logic'') are non-classical, but are consistent and compatible with many elements of the classical picture including modus ponens, modus tollens, and double-negation elimination and introduction. It is also compatible with bivalence and contravalence. My approach to these paradoxes is also immune to an important kind of revenge challenge that plagues some of its rivals. (shrink)

Abstract Impossible fictions have lessons to teach us about linguistic representation, about mental content and concepts, and about uses of conceivability in epistemology. An adequate theory of impossible fictions may require theories of meaning that can distinguish between different impossibilities; a theory of conceptual truth that allows us to make useful sense of a variety of conceptual falsehoods; and a theory of our understanding of necessity and possibility that permits impossibilities to be conceived. After discussing these questions, strategies for resisting (...) the picture of impossible fictions presented here and in Part I are discussed. Perhaps apparently impossible fictions describe possibilities after all; or perhaps impossible fictions are all trivial; or perhaps some apparently intelligible impossible fictions are unintelligible after all. (shrink)

Whether some condition is equivalent to a conjunction of some conditions has been a major issue in analytic philosophy. Examples include: knowledge, acting freely, causation, and justice. Philosophers have striven to offer analyses of these, and other concepts, by showing them equivalent to such a conjunction. Timothy Williamson offers a number of arguments for the idea that knowledge is ‘prime’, hence not equivalent to or composed by some such conjunction. I focus on one of his arguments: the requirement that such (...) conjuncts must be freely recombinable. Although there has been a great deal of discussion of Williamson's arguments, the flaw I describe has gone unnoticed. Williamson's argument is expressed in terms of conditions, and cases of the condition. Does the condition include specific information, or is the specific information only part of the case? His argument equivocates between more and less general specifications of the conditions. Once this distinction is clarified, his argument can be seen to be vitiated by this conflation. Neither option yields a sound argument for Williamson's desired conclusion. (shrink)

There are different ways in which imaginings can involve the first-person. I can imagine skiing down a mountain, looking down the slope, the wind whipping me in the face. I can also imagine myself skiing down a mountain from the outside, adopting the point of view of a spectator watching myself fly down the mountain. I can also imagine that I am someone else entirely, say Angela Merkel, skiing down a mountain. In this paper I develop and defend a new (...) account of the content of first-person imaginings. I first look at two existing accounts, one proposed by Francois Recanati (2007a, 2007b) and the other proposed by Dilip Ninan (2008), and I argue that they lack the resources to model the rich and distinct types of first-person imaginings that we can have. I then present and defend a new account that reconstrues the imagining from the inside vs. imagining from the outside distinction and can accommodate the various ways in which imaginings involve the first-person. (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)

This paper gives a perspectival overview of the semantics of potential property-referring terms and presents new and surprising generalizations about explicit property-referring terms like 'the property of being wise', which raise fundamental issues regarding ontology and learnability and a core-periphery distinction in natural language ontology.

I examine what the mathematical theory of random structures can teach us about the probability of Plenitude, a thesis closely related to David Lewis's modal realism. Given some natural assumptions, Plenitude is reasonably probable a priori, but in principle it can be (and plausibly it has been) empirically disconfirmed—not by any general qualitative evidence, but rather by our de re evidence.

H.-J. Glock has made important contributions to discussions of rationality, reasons, and rules. This chapter addresses four conceptions of rationality that Glock identifies. One of these conceptions of rationality is that rationality consists in responsiveness to reasons. This chapter goes on to consider the idea that reasons became prominent in normative ethics because of their usefulness in articulating moral pluralism. The final section of the chapter connects reasons and rules and contends that both are ineliminable.

It is easy to imagine being someone else from the first-person point of view. Such imaginings give rise to a puzzle. In this paper I explain what the puzzle is and then consider several existing attempts of solving the puzzle. I argue that these attempts are unsuccessful. I propose a Lewisian account of first-person imagination and make the case that this account has the potential to solve the puzzle.

I distinguish two notions of agreement in belief: believing the same content versus having beliefs that necessarily coincide/diverge in normative status. The second notion of agreement,, is clearly significant for the communication of beliefs amongst thinkers. Thus there would seem to be some prima facie advantage to choosing the conception of content operative in in such a way that the normative status of beliefs supervenes on their content, and this seems to be the prevailing assumption of many semanticists. I shall (...) argue that de se beliefs and assertions provide a motivation to depart from this assumption, and so do beliefs and assertions concerning what is epistemically possible. I conclude by offering two models of assertoric communication that are compatible with the abandonment of the assumption, and suggesting schematically that each model applies to different cases. (shrink)

Counterfactual attitudes like imagining, dreaming, and wishing create a problem for the standard formal semantic theory of de re attitude ascriptions. I show how the problem can be avoided if we represent an agent's attitudinal possibilities using "multi-centered worlds", possible worlds with multiple distinguished individuals, each of which represents an individual with whom the agent is acquainted. I then present a compositional semantics for de re ascriptions according to which singular terms are "assignment-sensitive" expressions and attitude verbs are "assignment shifters".

This essay offers a proposal for how to understand the idea that there is a special connection between de se attitudes and the explanation of action.

According to one tradition in the philosophy of language and mind, the content of a psychological attitude can be characterized by a set of possibilities. On the classic version of this account, advocated by Hintikka (1962) and Stalnaker (1984) among others, the possibilities in question are possible worlds, ways the universe might be. Lewis (1979, 1983a) proposed an alternative to this account, according to which the possibilities in question are possible individuals or centered worlds, ways an individual might be. The (...) motivation for the centered worlds theory has primarily to do with self-locating – or de se – attitudes. The focus of this paper is on the less-discussed question of how other-locating – or de re – attitudes ought to be treated within this framework. Most advocates of what we might call the modal approach to attitudes, Stalnaker and Lewis included, offer some kind of descriptivist solution to the well-known problems that other-locating attitudes raise. There are intramural differences between Stalnaker, Lewis, and other modal theorists (e.g. two-dimensionalists) on a number of issues: on the precise nature of the descriptivism involved, how attitude content relates to the asserted content of the sentences we utter, and on the proper semantic treatment of attitude reports. I pass over these differences to focus on a problem common to these various approaches: all face a problem when it comes to characterizing the contents of counterfactual attitudes like imagining, dreaming, and wishing. (shrink)

This paper is about the relationship between two questions: the question of what the objects of assertion are and the question of how best to theorise about ‘shifty’ phenomena like modality and tense. I argue that the relationship between these two questions is less direct than is often supposed. I then explore the consequences of this for a number of debates in the philosophy of language.

First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

The crucial problem of self-consciousness is how to account for knowing self-reference without launching into a regress or without presupposing self-consciousness rather than accounting for it (circle). In the literature we find two bottom-up proposals for solving the traditional problem: the postulation of nonconceptual forms of self-consciousness and the postulation of a pre-reflexive form of self-consciousness. However, none of them seems satisfactory for several reasons. In contrast, I believe that the only way of solving this traditional puzzle is to assume (...) another bottom-up approach, namely the one that accepts Baker’s challenge to naturalism and provides a naturalist framework for self-consciousness; in Baker’s terms, to account for self-consciousness in non-intentional, non-semantic, and non-mental terms. That is the aim of this paper. My thesis rests on two claims. The first is the metaphysical claim that every creature enjoys a fundamental relation to itself, namely identity. The second is Dretske’s epistemological claim that representations do not require a Self, traditionally understood as the principle that spontaneously organizes mental activity and lies behind all intentional acts. Briefly, I argue for a naturalization of self-consciousness that postulates non-linguistic, naturalized, and selfless form of representation of the cognitive system based on the metaphysical, fundamental relation everyone has to himself, namely identity. Self-consciousness emerges when brain states are selflessly recruited through learning to represent the cognitive system itself as a subject. (shrink)

Maimonides famously holds that, while it is perfectly possible to know (and say) that God exists, it is impossible to know (and say) what God is like because any positive attri- bution contradicts God’s essential oneness. Consequently, pure equivocity obtains between descriptions of the divine and descriptions of any other being. But this raises a puzzle: Knowledge of God seems vacuous if we lack all comprehension of God’s nature - so how can we have any comprehension of the divine without (...) being able to say what it is that we know? In this essay, I defend the substantiality of the concept of knowledge of God on Maimonides’ apophatic picture. Drawing on the concept of non-propositional knowledge, I argue that knowledge and comprehension can come apart, which lends support to Maimonides’ thesis that knowledge of God, though substantial and objective, cannot be expressed. (shrink)

This paper develops and motivates an Expressivist theory of "experiential" talk and thought, focusing on speech acts and thoughts that contain taste predicates. According to this theory, one way for S to think that o tastes a way w is simply for o to taste w to S. When o tastes w to S (and, therefore, S thinks that o tastes w), S can express this thought, by saying that o tastes w. The speech act wherein S expresses the thought (...) that o tastes w, so understood, must be distinguished from the speech act wherein S says or asserts that S tastes w to them. This paper develops a formal model of these informal claims, and it argues that the resulting theory fits well with the linguistic data -- no worse than the best propositional theories when it comes to representing quantificational readings of attitude ascriptions, and strictly better than the best propositional theories when it comes to representing non-quantificational ("experiential") readings. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (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.

In this paper we apply the popular Best System Account of laws to typical eternal worlds – both classical eternal worlds and eternal worlds of the kind posited by popular contemporary cosmological theories. We show that, according to the Best System Account, such worlds will have no laws that meaningfully constrain boundary conditions. It’s generally thought that lawful constraints on boundary conditions are required to avoid skeptical arguments. Thus the lack of such laws given the Best System Account may seem (...) like a severe problem for the view. We show, however, that at eternal worlds, lawful constraints on boundary conditions do little to help fend off skeptical worries. So with respect to handling these skeptical worries, the proponent of the Best System Account is no worse off than their competitors. (shrink)

Propositionalism is the view that all intentional states are propositional states, which are states with a propositional content, while objectualism is the view that at least some intentional states are objectual states, which are states with objectual contents, such as objects, properties, and kinds. This paper argues that there are two distinct ways of understanding propositionalism and objectualism: (1) as views about the deep nature of the contents of intentional states, and (2) as views about the superficial character of the (...) contents of intentional states. I argue that we should understand the views in the second way. I also argue that the propositionalism debate is fairly independent from debates over the deep nature of intentionality, and that this has implications for arguments for propositionalism and objectualism from claims about the nature of intentional content. I close with a short discussion of how related points apply to the debate over singular content. (shrink)

I consider whether the self-ascription theory can succeed in providing a tenseless (B-theoretic) account of tensed belief and timely action. I evaluate an argument given by William Lane Craig for the conclusion that the self-ascription account of tensed belief entails a tensed theory (A-theory) of time. I claim that how one formulates the selfascription account of tensed belief depends upon whether one takes the subject of selfascription to be a momentary person-stage or an enduring person. I provide two different formulations (...) of the self-ascription account of tensed belief, one that is compatible with a perdurantist account of persons and the other that is compatible with an endurantist account of persons. I argue that a self-ascription account of tensed beliefs for enduring subjects most plausibly involves the self-ascription of relations rather than properties. I argue that whether one takes the subject of self-ascription to be a momentary personstage or an enduring person, the self-ascription theory provides a plausible B-theoretic account of how tensed belief and timely action are possible. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...) for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

In this paper I examine an argument that has been made by Patrick Grim for the claim that de se knowledge is incompatible with the existence of an omniscient being. I claim that the success of the argument depends upon whether it is possible for someone else to know what I know in knowing (F), where (F) is a claim involving de se knowledge. I discuss one reply to this argument, proposed by Edward Wierenga, that appeals to first-person propositions and (...) argue that this response is unsuccessful. I then consider David Lewis’s theory of de se attitudes involving the self-ascription of properties. I claim that, according to this theory, there are two senses in which someone else can know what I know in knowing (F). I then argue that the second sense allows for the compatibility of de se knowledge with the existence of an omniscient being. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

This paper concerns two points of intersection between de se attitudes and the study of natural language: attitude ascription and communication. I first survey some recent work on the semantics of de se attitude ascriptions, with particular attention to ascriptions that are true only if the subject of the ascription has the appropriate de se attitude. I then examine – and attempt to solve – some problems concerning the role of de se attitudes in linguistic communication.

'Post this letter!' does not entail 'Post this letter or drink up my wine!' (the Ross Paradox) because one can be in a state with the content of the former without being in a state with the content of the latter; in turn, because the latter can rationalize drinking up my wine but the former cannot; in turn, because practical rationalization flows toward one's present situation, in contrast with the flow of theoretical rationalization from one's present situation. Formally, this is (...) implemented with a semantics for imperatives involving a partition to set up an issue of significance and a proposition to establish how to settle it. I characterize a series of languages and language-games to implement all this, and appeal to an 'endorsement-theoretic' conception of modals as quantifiers over mental states to explain why 'You must post this letter' does not entail 'You must either post this letter or drink up my wine'. (shrink)

semantic minimalism and moderte contextualism.

We propose a framework that makes space for both non-indexical contextualism and assessment-sensitivity. Such pluralism is motivated by considering possible variance in judgments about retraction. We conclude that the proposed pluralism, instead of problematizing, vindicates defining truth of a proposition w.r.t. a context of utterance and a context of assessment. To implement this formally, we formalize initialization of parameters by contexts. Then, a given parameter, depending on a speaker's judgment, can get initialized by either the context of utterance or the (...) context of assessment. An upshot of the proposal is that one need not exclusively espouse one of non-indexical contextualism or assessment-sensitivity about a particular class of expressions, for instance predicates of personal taste, in language; one can be pluralist in this sense. (This manuscript is part of an ongoing research project). (shrink)

(revisions posted 12/5/2006) to appear in Internalism and Externalism in Semantics and Epistemology, ed. by Sanford Goldberg (to be published by Oxford in 2006 or 2007) Michael McKinsey formulated an argument that raises a puzzle about the relation between externalism about content and our introspective awareness of content. The puzzle goes like this: it seems like I can know the contents of my thoughts by introspection alone; but philosophical reflection tells me that the contents of those thoughts are externalist, and (...) so I couldn. (shrink)

Various theories try to give accounts of how measures of this confidence do or ought to behave, both as far as the internal mental consistency of the agent as ...

What is it to know someone? Epistemologists rarely take up this question, though recent developments make such inquiry possible and desirable. This paper advances an account of how such interpersonal knowledge goes beyond mere propositional and qualitative knowledge about someone, giving a central place to second-personal treatment. It examines what such knowledge requires, and what makes it distinctive within epistemology as well as socially. It assesses its theoretic value for several issues in moral psychology, epistemic injustice, and philosophy of mind. (...) And it offers an account of the complex content in play if interpersonal knowledge is to be understood in terms of its mental states and their functions. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even made its way into linguistics and decision theory. What are those possible worlds, the entities to which theorists in these disciplines all appeal? This paper sets out and evaluates a leading contemporary theory of possible worlds, David Lewis's Modal Realism. I note two (...) competing ambitions for a theory of possible worlds: that it be reductive and user-friendly. I then outline Modal Realism and consider objections to the effect that it cannot satisfy these ambitions. I conclude that there is some reason to believe that Modal Realism is not reductive and overwhelming reason to believe that it is not user-friendly. (shrink)