Standard motivational internalism is the claim that by a priori or conceptual necessity, a psychological state is a moral opinion only if it is suitably related to moral motivation. Many philosophers, the authors of this paper included, have assumed that this claim is supported by intuitions to the effect that amoralists—people not suitably related to such motivation—lack moral opinions proper. In this paper we argue that this assumption is mistaken, seeming plausible only because defenders of standard internalism have failed to (...) consider the possibility that our own actual moral practice as a whole is one where moral opinions fail to motivate in the relevant way. To show this, we present a cynical hypothesis according to which the tendency for people to act in accordance with their moral opinions ultimately stems from a desire to appear moral. This hypothesis is most likely false, but we argue, on both intuitive and methodological grounds, that it is conceptually possible that it correctly describes our actual moral opinions. If correct, this refutes standard motivational internalism. Further, we propose an explanation of why many have seemingly internalist intuitions. Such intuitions, we argue, stem from the fact that standard amoralist cases allow (or even suggest) that we apprehend the putative moral opinions of amoralists as radically different from how we understand actual paradigmatic moral opinions. Given this, it is reasonable to understand them as not being moral opinions proper. However, since these intuitions rest on substantial a posteriori assumptions about actual moral opinions, they provide no substantial a priori constraints on theories of moral judgment. (shrink)

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)

What characterizes indexical thinking is the fact that the modes of presentation through which one thinks of objects are context-bound and perspectival. Such modes of presentation, I claim, are mental files presupposing that we stand in certain relations to the reference : the role of the file is to store information one can gain in virtue of standing in that relation to the object. This raises the communication problem, first raised by Frege : if indexical thoughts are context-bound and relation-based, (...) how is it possible to communicate them to those who are not in the same context and do not stand in the right relations to the object? Following Frege, I argue that the solution comes from an important distinction between linguistic and psychological modes of presentation. Psychological modes of presentation are mental files. They are perspectival and context-bound. But linguistic modes of presentation are fixed by the conventions of the language and they are shared by the language users. They are public and serve to coordinate mental files in communication by constraining them to contain the piece of information they encode. In this way communication takes place even though the indexical thoughts entertained by the speaker are, in some sense, private and cannot be shared by the audience. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

I explore a Davidsonian proposal for the reconciliation of two theses. One is the supervenience of the mental on the physical, the other is the anomalism of the mental. The gist of the proposal is that supervenience and anomalism are theses about interpretation. Starting with supervenience, the claim is that it should not be understood in terms of deeper metaphysical relations, but as a constraint on the relations between the applications of physical and mental predicates. Regarding anomalism, the claim is (...) that psychophysical laws have to satisfy certain counterfactual cases, in which an interpreter evaluates her past attributions in the light of new pieces of evidence. The proposed reconciliation is that supervenience entails that an interpreter will always attribute the same mental predicates to two individuals with the same physical states. However, supervenience does not imply that an interpreter cannot revise her past attributions to the two individuals. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (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)

Philosophy and Literature is an internationally renowned refereed journal founded by Denis Dutton at the University of Canterbury, Christchurch. It is now published by the Johns Hopkins University Press. Since its inception in 1976, Philosophy and Literature has been concerned with the relation between literary and philosophical studies, publishing articles on the philosophical interpretation of literature as well as the literary treatment of philosophy. Philosophy and Literature has sometimes been regarded as iconoclastic, in the sense that it repudiates academic pretensions, (...) insidious jargon and institutional vogue. Dutton, who remains the editor, still writes a regular column. A distinctive feature of Philosophy and Literature was the annual Bad Writing Contest, held from 1995–98, which sought to identify (and publish) the ‘most stylistically lamentable passages’ of academic prose, often to great amusement. (shrink)

This chapter provides a general overview of the issues surrounding so-called semantic monsters. In section 1, I outline the basics of Kaplan’s framework and spell out how and why the topic of “monsters” arises within that framework. In Section 2, I distinguish four notions of a monster that are discussed in the literature, and show why, although they can pull apart in different frameworks or with different assumptions, they all coincide within Kaplan’s framework. In Section 3, I discuss one notion (...) that has spun off into the linguistics literature, namely “indexical shift”. In Section 4, I emphasize the connection between monsters and the compositionality of asserted content in Kaplan’s original discussion. Section 5 discusses monsters and the more general idea of re-interpretation or meaning-shift. Section 6 closes with a brief survey of where monsters may dwell, and pointers to avenues for future research. (shrink)

Do conceivability arguments work against physicalism if properties are causal powers? By considering three different ways of understanding causal powers and the modality associated with them, I will argue that most, if not all, physicalist powers theorists should not be concerned about the conceivability argument because its conclusion that physicalism is false does not hold in their favoured ontology. I also defend specific powers theories against some recent objections to this strategy, arguing that the conception of properties as powerful blocks (...) conceivability arguments unless a rather implausible form of emergence is true. (shrink)

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

Let us distinguish two kinds of contingentism: entity contingentism and metaphysical contingentism. Here, I use ‘entity’ very broadly to include anything over which we can quantify—objects (abstract and concrete), properties, and relations. Then entity contingentism about some entity, E, is the view that E exists contingently: that is, that E exists in some possible worlds and not in others. By contrast, entity necessitarianism about E is the view that E exists of necessity: that is, that E exists in all possible (...) worlds. We can distinguish two views: global entity contingentism and global entity necessitarianism. Global entity contingentism is the view that for any possible E, E exists contingently. Global entity necessitarianism is the view that for any possible E, E exists necessarily. While entity contingentism and entity necessitarianism are views about the modal status of entities, metaphysical contingentism and necessitarianism are views about the modal status of metaphysical principles. Metaphysical contingentism about some metaphysical principle, P, is the view that P is contingent: it is true in some worlds, and false in others. Metaphysical necessitarianism about P is the view that P is necessary: either P is true in every world, or false in every world. We can then distinguish two views: global metaphysical contingentism and global metaphysical necessitarianism. Global metaphysical contingentism is the view that for any internally coherent metaphysical principle P, P is contingent: P is true in some worlds and false in others. Global metaphysical necessitarianism is the view that for any internally coherent metaphysical principle, P, P is necessary: it is either true in every world, or false in every world. This chapter principally focuses on metaphysical rather than entity contingentism, though §2 briefly discusses the latter. As we will see, (§2), both global entity contingentism and global entity necessitarianism are controversial views, and most philosophers fall somewhere between these two extremes, holding that some, but not all, entities exist necessarily—a view we can call entity moderatism. By contrast, global metaphysical necessitarianism has, until recently, largely been the default view. It is only recently that some philosophers have argued that we should be metaphysical contingentists about at least some metaphysical principles—a view we can call metaphysical moderatism. §3 considers why global metaphysical necessitarianism has hitherto been so persuasive, then evaluates (§3.1) some arguments for the view before considering more recent arguments in favour of the contingency of (at least some) metaphysical principles (§3.2). (shrink)

In this paper, we offer a novel defense of descriptivism about reference. Our argument is based on principles about the relevance of speaker intentions to reference that are shared by many opponents of descriptivism, including Saul Kripke. We first show that two such principles that are plausibly endorsed by Kripke and other prominent externalists in fact entail descriptivism. The first principle states that when certain kinds of speaker intentions are present, they suffice to determine and explain reference. According to the (...) second principle, certain speaker intentions must be present whenever something determines or explains reference. We then go on to make these principles more precise and argue that it would be costly to deny either of them. Since on the more precise understanding we suggest, the conjunction of these principles still entails descriptivism, we conclude that opponents of descriptivism have to give up some highly plausible assumption about the relation between speaker intentions and reference. (shrink)

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain a posteriori propositions expressed by sentences involving names as a priori. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

I examine in detail the argument vaguely suggested by Davidson to the effect that holism entails the irreducibility of the mental. I defend this argument against two objections often made against arguments that attempt to derive metaphysical theses from premises that concern our ordinary criteria for applying terms. I appeal to two-dimensional semantics to explain the links between these criteria and issues about reference and reduction. I show how the irreducibility of the mental follows from the holistic and flexible character (...) of our criteria for attributing beliefs and intentional states. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.

The truth conditions of sentences with indexicals like ‘I’ and ‘here’ cannot be given directly, but only relative to a context of utterance. Something similar applies to questions: depending on the semantic framework, they are given truth conditions relative to an actual world, or support conditions instead of truth conditions. Two-dimensional semantics can capture the meaning of indexicals and shed light on notions like apriority, necessity and context-sensitivity. However, its scope is limited to statements, while indexicals also occur in questions. (...) Moreover, notions like apriority, necessity and context-sensitivity can also apply to questions. To capture these facts, the frameworks that have been proposed to account for questions need refinement. Two-dimensionality can be incorporated in question semantics in several ways. This paper argues that the correct way is to introduce support conditions at the level of characters, and develops a two-dimensional variant of both proposition-set approaches and relational approaches to question semantics. (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)

Recent years have brought relativistic accounts of knowledge, first-person belief, and future contingents to prominence. I discuss these views, distinguish non-trivial from trivial forms of relativism, and then argue against relativism in all of its substantive varieties.

Two‐dimensional semantics is probably the most significant development in contemporary philosophy of language. Among its various versions, it is Chalmers's epistemic two‐dimensionalism that received most widely discussions and most severe criticisms. Here I consider one such criticism, namely, “the nesting problem,” which concerns the interaction between modality and apriority. I propose a solution to the problem and defend it through comparison with other approaches in the literature, as well as rebut with some potential objections. It turns out that my solution (...) not only handles the interaction between modality and apriority naturally but also avoids many difficulties of other approaches. (shrink)

§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.

Non-naturalist normative realists face an epistemological objection: They must explain how their preferred route of justification ensures a non-accidental connection between justified moral beliefs and the normative truths. One strategy for meeting this challenge begins by pointing out that we are semantically or conceptually competent in our use of the normative terms, and then argues that this competence guarantees the non-accidental truth of some of our first-order normative beliefs. In this paper, I argue against this strategy by illustrating that this (...) competence based strategy undermines the non-naturalist’s ability to capture the robustly normative content of our moral beliefs. (shrink)

ABSTRACT This paper defends a controversial view about personal identity. It argues that it is possible to endorse both Phenomenalism and Materialism about persons. Phenomenalism is the view that personal identity is grounded in phenomenal consciousness. Materialism is the view that we are material objects. Many believe that the two views are incompatible. In this paper, I show that it is possible to accept both. I consider two objections against their combination—the argument from disembodiment and an important objection by Tim (...) Bayne. My responses are based on Kripke’s analysis of necessary a posteriori and contingent a priori statements. I make the case that both objections rest on different kinds of modal illusions. This strategy can be applied to other arguments, and the paper is intended to advocate a general approach to personal identity. (shrink)

According to an attractive account of belief, our beliefs have centered content. According to an attractive account of communication, we utter sentences to express our beliefs and share them with each other. However, the two accounts are in conflict. In this paper I explore the consequences of holding on to the claim that beliefs have centered content. If we do in fact express the centered content of our beliefs, the content of the belief the hearer acquires cannot in general be (...) identical to the content the speaker expresses. I sketch an alternative account of communication, the Recentering model, that accepts this consequence and explains how expressed and acquired content are related. (shrink)

Frege’s puzzling remarks on the beginning of On Sense and Reference challenge us to explain how true identity sentences of the form a = a can differ in cognitive value from sentences of the form a = b when they are made true by the same object’s self-identity. Some philosophers (e.g. Almog, Glezakos and Paganini) suggest that the puzzle cannot be set up in the context of natural languages since natural sentences, unlike those of regimented formal ones, do not wear (...) their logical properties on their sleeves. In this paper we argue that, on the contrary, there exists a notion of coordination between names which is apt to track the relevant logical properties of natural sentences and therefore to set up the puzzle in natural languages. Frege’s puzzle is here to stay. (shrink)

Modal rationalism includes the thesis that ideal primary positive conceivability entails primary possibility. Modal monism is the thesis that the space of logically possible worlds is coextensive with the space of metaphysically possible worlds. In this paper I explore the relation between the two theses. My aim is to show that the former thesis implies the latter thesis, and that problems with the latter make the former implausible as a complete picture of the epistemology of modality. My argument explores the (...) relation between logical modality and metaphysical modality. (shrink)

What is the relationship between Frege’s puzzle and the puzzle of the de se? An increasingly influential view claims that the de se puzzle is merely an instance of Frege’s puzzle and that the idea that de se attitudes pose a distinctive theoretical challenge rests on a myth. Here we argue that this view is misguided. There are important differences between the two puzzles. First, unlike Frege puzzle cases, de se puzzle cases involve unshareable Fregean senses. Second, unlike Frege puzzle (...) cases, de se puzzle cases cannot be resolved by objective information alone. Further, there seem to be pure cases of each puzzle: instances of the de se puzzle which do not have a Fregean structure, and instances of Frege’s puzzle, which do not involve de se attitudes. We conclude that the two puzzles are fundamentally different and that the traditional theory of attitudes needs to be amended. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

In this paper certain aspects of rigidity are studied through Hintikka’s work in modal semantics. The paper surveys Hintikka’s extraordinary struggles with rigidity from the late 50’s to this millennium. I argue that Hintikka’s many ambivalent remarks concerning rigidity become more comprehensible if, first, three different variants of rigidity are distinguished and, second, Hintikka’s largely implicit doctrine of semantic neo-Kantianism is made explicit.

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, we (...) moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

Critics of attempts to explain meaning in terms of truth-conditions have tended to charge their opponents with misconceptions regarding truth. I shall argue that the 'naïve' version of the truth-conditional theory which best accounts for its resilience fails for a different and more basic reason, namely, circularity arising from the contingency of meaning. One reason why this problem has been overlooked is a tendency (noted by Dummett in a different connection) to assimilate the naïve truth-conditional theory to an idealized verificationism.

The article discusses Saul Kripke’s influential theories of a posteriori necessary truths and natural kinds. With respect to the statements of identity involving proper names, it is argued that although their truth is a posteriori and necessary in the specific sense of counterfactual invariance, this is of no significance for substantial philosophical issues beyond the philosophy of language, because this counterfactual invariance is a trivial consequence of the use of proper names as rigid designators. The case is made that the (...) expansion of the realm of necessary a posteriori truths to the statements of theoretical identity that involve “natural kind terms”, as well as the Kripkean essentialist theory of natural kinds, have no weighty argumentative support and fit badly both with science and language practice. This sets the stage for the development of an appropriately sophisticated “descriptivist” account of meaning and reference that would be better suited for a widened range of Kripke-Putnam style thought experiments. The general outlines of such a descriptivist account are provided. (shrink)

What are the objects of knowledge, belief, probability, apriority or analyticity? For at least some of these properties, it seems plausible that the objects are sentences, or sentence-like entities. However, results from mathematical logic indicate that sentential properties are subject to severe formal limitations. After surveying these results, I argue that they are more problematic than often assumed, that they can be avoided by taking the objects of the relevant property to be coarse-grained (“sets of worlds”) propositions, and that all (...) this has little to do with the choice between operators and predicates. (shrink)

In recent years, two-dimensional (2D) semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics allows us to specify (...) a reference-fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (shrink)

The Generalized Integration Challenge is the task of providing, for a given domain of discourse, a simultaneously acceptable metaphysics, epistemology and metasemantics and showing them to be so. In this paper, we focus on a metaethical position for which seems particularly acute: the brand of normative realism which takes normative properties to be mind-independent and causally inert. The problem is that these metaphysical commitments seem to make normative knowledge impossible. We suggest that bringing metasemantics into play can help to resolve (...) this puzzle. We propose an independently plausible metasemantic constraint on reference determination and show how it can provide a plausible response to for this brand of normative realism. (shrink)

In Constructing the World, Chalmers seeks to articulate and defend an important epistemic accessibility thesis, the Scrutability of Truth, which is crucial to Chalmers’ rationalist approach to meaning and modality. Chapters 3 and 4 of the book are devoted to persuading us that the move from weaker to stronger forms of Scrutability is intuitively plausible. In these comments, I want to question this move. The plausibility of strong forms of Scrutability hinges on controversial views about epistemic norms for answering ‘what (...) is x?’ questions that semantic externalists have good reason to reject. (shrink)

Can mere conceptual competence explain the apriori? Many contemporary theorists believe that conceptual competence grounds apriori conceptual truths – and that this fact helps explain how thinkers can have apriori justification for accepting these truths and reasoning in accord with them. In this chapter, I'll examine several contemporary defenses of the conceptual approach to apriority in order to clarify their core commitments about the nature of concepts. The common thread, I'll argue, is a picture of concepts that combines a conceptual (...) role model of conceptual competence with a rationalizing approach to the determination of semantic contents. My first aim is to show how this model of concepts has the potential to ground apriori truth and justification. My second aim is to show how the model involves problematic commitments about concepts, which can be avoided on an alternative relational model of concepts. (shrink)

This note argues that Laura Schroeter's [2005] critique of David Chalmers's epistemic two-dimensional semantics is not touched by a reply by Edward Elliott, Kelvin McQueen, and Clas Weber [2013].

This paper argues that David Chalmer's new epistemic interpretation of 2-D semantics faces the very same type of objection he takes to defeat earlier contextualist interpretation of the 2-D framework.

According to David Chalmers and Frank Jackson, conceptual competence puts one in a position to have a priori knowledge of conditional claims of the form ‘If my environment is thus and so, then water = H2O’. The rationale for this position, I argue, rests on controversial semantic assumptions about the individuation of meanings or concepts. I sketch a new model of conceptual competence, which undermines the apriority of such conditionals.