This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

This chapter investigates the conflict between thought and speech that is inherent in lying. This is the conflict of saying what you think is false. The chapter shows how stubbornly saying what you think is false resists analysis. In traditional analyses of lying, saying what you think is false is analyzed in terms of saying something and believing that it is false. But standard cases of unconscious or divided belief challenge these analyses. Classic puzzles about belief from Gottlob Frege and (...) Saul Kripke show that suggested amendments involving assent instead of belief do not fare better. I argue that attempts to save these analyses by appeal to guises or Fregean modes of presentation will also run into trouble. I then consider alternative approaches to untruthfulness that focus on (a) expectations for one’s act of saying/asserting and (b) the intentions involved in one’s act of saying/asserting. Here I introduce two new kinds of case, which I call “truth serum” and “liar serum” cases. Consideration of these cases reveals structural problems with intention- and expectation-based approaches as well. Taken together, the string of cases presented suggests that saying what you think is false, or being untruthful, is no less difficult and interesting a subject for analysis than lying itself. Tackling the question of what it is to say what you think is false illuminates ways in which the study of lying is intertwined with fundamental issues in the nature of intentional action. (shrink)

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

The phenomenon of quantification into attitude ascriptions has haunted broadly Fregean views, according to which co-referential proper names are not always substitutable salva veritate in attitude ascriptions. Opponents of Fregeanism argue that a belief ascription containing a proper name such as ‘Michael believes that Lindsay is charitable’ is equivalent to a quantified sentence such as ‘there is someone such that Michael believes that she is charitable, and that person is Lindsay’. They conclude that the semantic contribution of a name such (...) as ‘Lindsay’ is the same as the semantic contribution of a variable under an assignment, which these opponents suggest is merely the object assigned to that variable. However, renewed interest in variables suggests that they make a more complicated contribution to the semantic processing of sentences that contain them. In particular, a variable contributes both an assignment-unsaturated and an assignment-saturated semantic value. I use this dual role of the semantics of variables to develop a response to the argument from quantifying in. I take as my point of departure Cumming's () view that an attitude ascription relates the subject of an attitude to the assignment-unsaturated semantic value of an open sentence. I argue that this approach fails. I propose an alternative, according to which the truth of a belief ascription depends on both the assignment-saturated and the assignment-unsaturated semantic value of the open sentence in its that-clause. This approach reverses standard assumptions concerning the relation between quantification and substitution. (shrink)

Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show that the two-dimensional (...) semantics for attitude ascriptions developed in Chalmers (2011a) has no trouble accommodating certain forms of the nesting problem that involve factive verbs such as “know” or “establish”. A certain form of the nesting problem involving apriority and necessity operators does raise an interesting puzzle, but we show how a generalized version of the nesting problem arises independently of two-dimensional semantics—it arises, in fact, for anyone who accepts the contingent a priori. We, then, provide a two-dimensional treatment of the apriority operator that fits the two-dimensional treatment of attitude verbs and apply it to the generalized nesting problem. We conclude that two-dimensionalism is not seriously threatened by cases involving the nesting of epistemic and modal operators. (shrink)

In this paper I apply a well known tension between cognitive and semantic aspects in Frege’s notion of sense to his treatment of indexicals. I first discusses Burge’s attack against the identification of sense and meaning, and Kripke’s answer supporting such identification. After showing different problems for both interpreters, the author claims that the tension in Frege’s conception of sense (semantic and cognitive) accounts for some shortcomings of both views, and that considering the tension helps in understanding apparently contradictory Fregean (...) claims about sameness of sense of sentences with indexicals. I conclude that the Fregean notion of sense, also in its cognitive aspect, cannot be reduced to linguistic meaning, and that the Fregean tension between two notions of sense may also explain the discussion Frege gives on the indexical “I”, proposing to develop a picture of indexicals as hidden complex demonstratives, as originally suggested by Burge. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” I argue (...) that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

This paper criticizes Soames’s main argument against a variant of two-dimensionalism that he calls strong two-dimensionalism. The idea of Soames’s argument is to show that the strong two-dimensionalist’s semantics for belief ascriptions delivers wrong semantic verdicts about certain complex modal sentences that contain both such ascriptions and claims about the truth of the ascribed beliefs. A closer look at the formal semantics underlying strong two-dimensionalism reveals that there are two feasible ways of specifying the truth conditions for claims of the (...) latter sort. Only one of the two yields the problematic semantic verdicts, so strong two-dimensionalists can avoid Soames’s argument by settling for the other way. (shrink)

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)

It is widely believed that for all p, or at least for all entertainable p, it is knowable a priori that (p iff actually p). It is even more widely believed that for all such p, it is knowable that (p iff actually p). There is a simple argument against these claims from four antecedently plausible premises.

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

The higher order approach to consciousness attempts to build a theory of consciousness from the insight that a conscious state is one that the subject is conscious of. There is a well-known objection1 to the higher order approach, a version of which is fatal. Proponents of the higher order approach have realized that the objection is significant. They have dealt with it via what David Rosenthal calls a “retreat” (2005b, p. 179) but that retreat fails to solve the problem.

This paper discusses two distinct strategies that have been adopted to provide fine-grained propositions; that is, propositions individuated more finely than sets of possible worlds. One strategy takes propositions to have internal structure, while the other looks beyond possible worlds, and takes propositions to be sets of circumstances, where possible worlds do not exhaust the circumstances. The usual arguments for these positions turn on fineness-of-grain issues: just how finely should propositions be individuated? Here, I compare the two strategies with an (...) eye to the fineness-of-grain question, arguing that when a wide enough range of data is considered, we can see that a circumstance-based approach, properly spelled out, outperforms a structure-based approach in answering the question. (Part of this argument involves spelling out what I take to be a reasonable circumstance-based approach.) An argument to the contrary, due to Soames, is also considered. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

This paper argues for a possible worlds theory of the content of pictures, with three complications: depictive content is centred, two-dimensional and structured. The paper argues that this theory supports a strong analogy between depictive and other kinds of representation and the platitude that depiction is mediated by resemblance.

A natural way to think about epistemic possibility is as follows. When it is epistemically possible (for a subject) that p, there is an epistemically possible scenario (for that subject) in which p. The epistemic scenarios together constitute epistemic space. It is surprisingly difficult to make the intuitive picture precise. What sort of possibilities are we dealing with here? In particular, what is a scenario? And what is the relationship between scenarios and items of knowledge and belief? This chapter tries (...) to make sense of epistemic space. It explores different ways of making sense of scenarios and of their relationship to thought and language. It discusses some issues that arise and outlines some applications to the analysis of the content of thought and the meaning of language. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

So-called Neo-Russellians, such as Salmon, Braun, Crimmins, and Perry, hold that the semantic content of ‘ n is F ’ in a context c is the singular proposition ⟨ o, P ⟩, where o is the referent of the name n in c, and P is the property expressed by the predicate F in c. This is also known as the Neo-Russellian theory. Using truth ascriptions with names designating propositions, such as ‘Goldbach's conjecture’, in this paper, I will argue that, (...) together with highly plausible principles regarding a priori knowledge, the Neo-Russellian theory leads to unacceptable consequences. I will call this ‘the Goldbach puzzle’. Since the solution to the Goldbach puzzle cannot be to reject the discussed principles regarding a priori knowledge, the puzzle will undermine the Neo-Russellian theory. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

Moral metasemantic theories explain how our moral thought and talk are about certain properties. Given the connection between what our moral terms are about and which moral claims are true, it might be thought that metasemantic theorising can justify first-order ethical conclusions, thus providing a novel way of doing moral epistemology. In this paper, we spell out one kind of argument from metasemantic theories to normative ethical conclusions, and argue that it fails to transmit justification from premises to conclusion. We (...) give three reasons for this transmission failure, which together pose a serious challenge to such metasemantic arguments. (shrink)

In their monograph Narrow Content, Yli-Vakkuri and Hawthorne argue that all versions of internalism about mental content are either false or "pointless" (roughly, of no interest). We overview Yli-Vakkuri and Hawthorne's main line of argument and suggest that, while largely correct, it does not touch the core internalist claim that mental states have internally determined contents. Instead of engaging with this claim, Yli-Vakkuri and Hawthorne attack a variety of stronger or weaker claims. The stronger claims fall prey to the Mirror (...) Man argument and other considerations. The weaker claims fall prey to the charge of pointlessness. But the core internalist view is left untouched. (shrink)

It seems plausible that successfully communicating with our peers requires entertaining the same thoughts as they do. We argue that this view is incompatible with other, independently plausible principles of thought individuation. Our argument is based on a puzzle inspired by the Kripkean story of Peter and Paderewski: having developed several variations of the original story, we conclude that understanding and communication cannot be modeled as a process of thought transfer between speaker and hearer. While we are not the first (...) to reach this conclusion, the significance of our argument lies in the fact that it only relies on widely accepted premises, without depending on any especially controversial theory of mental and linguistic content. We conclude by drawing out the implications of that conclusion: if communication and understanding do not require thought identity, then one important motivation for the postulation of inter-personally shared thoughts is undercut. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

Near the end of 'Naming the Colours', Lewis (1997) makes an interesting claim about the relationship between linguistic and mental content; we are typically unable to read the content of a belief off the content of a sentence used to express that belief or vice versa. I call this view autonomism. I motivate and defend autonomism and discuss its importance in the philosophy of mind and language. In a nutshell, I argue that the different theoretical roles that mental and linguistic (...) content play suggest these kinds of content should be understood as sensitive to different things. (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

We draw attention to a series of implicit assumptions that have structured the debate about Frege’s Puzzle. Once these assumptions are made explicit, we rely on them to show that if one focuses exclusively on the issues raised by Frege cases, then one obtains a powerful consideration against a fine-grained conception of propositional-attitude content. In light of this consideration, a form of Russellianism about content becomes viable.

Chalmers, responding to Braun, continues arguments from Chalmers for the conclusion that Bayesian considerations favor the Fregean in the debate over the objects of belief in Frege’s puzzle. This short paper gets to the heart of the disagreement over whether Bayesian considerations can tell us anything about Frege’s puzzle and answers, no, they cannot.

In this paper, I argue that, contrary to Robert Stalnaker’s highly influential account of linguistic communication, successful communication does not depend on a common ground between speaker and hearer. The problem for Stalnaker’s account manifests itself in communicative situations that represent both Lingens cases, i.e., cases involving egocentric beliefs, and Frege cases, i.e., cases involving identity confusions. I describe two hypothetical cases that involve successful communication, but in which no common ground of the kind required by Stalnaker’s account is available. (...) I therefore propose an alternative account of communication that is based on epistemic two-dimensionalism. This account maintains that communication requires the transfer of a thought content from speaker to hearer. By holding that this shared content often constitutes common ground, it preserves much of the appeal of Stalnaker’s account. However, my account allows for cases in which the shared thought content does not figure in common ground. (shrink)

Singular terms used in fictions for fictional characters raise well-known philosophical issues, explored in depth in the literature. But philosophers typically assume that names already in use to refer to “moderatesized specimens of dry goods” cause no special problem when occurring in fictions, behaving there as they ordinarily do in straightforward assertions. In this paper I continue a debate with Stacie Friend, arguing against this for the exceptionalist view that names of real entities in fictional discourse don’t work there as (...) they do in simple-sentence assertions, but rather as fictional names do. (shrink)

MILLIANISM and DESCRIPTIVISM are without question the two most prominent views with respect to the semantics of proper names. However, debates between MILLIANS and DESCRIPTIVISTS have tended to focus on a fairly narrow set of linguistic data and an equally narrow set of problems, mainly how to solve with Frege's puzzle and how to guarantee rigidity. In this article, the author focuses on a set of data that has been given less attention in these debates—namely, so-called predicative uses, bound uses, (...) and shifted uses of names. The author first shows that these data points seem to favor a DESCRIPTIVIST view over a MILLIAN view, but the author then introduces an alternative view of names that not only provides a simple and elegant way of dealing with the data, but also retains rigidity without becoming subject to the problems raised by Frege's puzzle. This is the view that names are variables, also called VARIABILISM. (shrink)

I suggest a solution to a conflict between semantic internalism – according to which the concepts one expresses are determined by one's use of representations – and publicity – according to which, if two subjects successfully communicate or are in genuine agreement, then they entertain thoughts constituted by the same concepts. My solution rests on the thesis that there can be successful communication and genuine agreement between thinkers employing distinct concepts as long as there is a certain relation (of conceptually (...) guaranteed sameness of extension) between them. In section 2, I motivate semantic internalism and show how it conflicts with publicity. In section 3, I carve the logical space of possible solutions to the conflict into liberal and conservative solutions. Section 4 assesses Wikforss's conservative solution to Burge's arthritis thought‐experiment and concludes that it fails for more than one reason. Section 5 introduces a new case study involving a deferential concept. This case serves as the backdrop for my positive account offered in section 6. The conclusion of the article is preceded by a comparison of my view with another recently proposed by Recanati (section 7) and some replies to possible objections (section 8). (shrink)

The paper proposes a way for adherents of Fregean, structured propositions to designate propositions and other complex senses/concepts using a special kind of functor. I consider some formulations from Peacocke's works and highlight certain problems that arise as we try to quantify over propositional constituents while referring to propositions using "that"-clauses. With the functor notation, by contrast, we can quantify over senses/concepts with objectual, first-order quantifiers and speak without further ado about their involvement in propositions. The functor notation also turns (...) out to come with an important kind of expressive strengthening, and is shown to be neutral on several controversial issues. (shrink)

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

It is widely supposed that if there is to be a plausible connection between the truth of a de re attitude report about a subject and that subject’s possession of a singular thought, then ‘acquaintance’-style requirements on singular thought must be rejected. I show that this belief rests on poorly motivated claims about how we talk about the attitudes. I offer a framework for propositional attitude reports which provides both attractive solutions to recalcitrant puzzle cases and the key to preserving (...) acquaintance constraints. The upshot is that there is an independently motivated response to the principal argument against acquaintance. (shrink)

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

Although much has been written about the truth-conditions of de re attitude reports, little attention has been paid to certain ‘ultra-liberal’ uses of those reports. We believe that if these uses are legitimate, then a number of interesting consequences for various theses in philosophical semantics follow. The majority of the paper involves describing these consequences. In short, we argue that, if true, ultra-liberal reports: bring counterexamples to a popular approach to de re attitude ascriptions, which we will call ‘descriptivism’; and (...) combine with independently plausible principles about the logic of belief to imply that subjects can achieve omniscience about what exists from the armchair. Although we are not committed to the view that ultra-liberal reports are false, in the final part of the paper we discuss the prospects of pursuing a line according to which the acceptability of such reports ought not be taken at face value. We conclude by arguing that those who are sympathetic with this move might have reason to doubt the truth of an even broader class of acceptable de re attitude reports, namely those that have been taken to undermine orthodox accounts of de re attitude ascriptions. (shrink)

We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.

In response to Kripke's modal argument contemporary descriptivists suggest that referring terms, e.g., ‘water’, are synonymous with actually-rigidified definite descriptions, e.g., ‘the actual watery stuff’. Following Scott Soames, this strategy has the counterintuitive consequence that possible speakers on Perfect Earth cannot be ascribed water-beliefs without beliefs about the actual world. Co-indexing the actuality and possibility operators has the equally untoward result that possible speakers on Twin Earth are ascribed water-beliefs. So, Soames's dilemma is that the descriptivist can account for either (...) Twin Earth or Perfect Earth but not both. In response, this paper argues that since ‘actual’ is an indexical, the content of water-beliefs is egocentric, and so if the descriptivist avails herself of relativized propositions as the content of such beliefs, she is able to account for both Twin Earth and Perfect Earth. The lesson is that we have to tread carefully when making inferences about the contents of beliefs from the semantics of belief-reporting sentences that contain actually-rigidified expressions. (shrink)

The aim of this paper is to discuss theories that attempt to single out the class of intentional states by appealing to factors that are supposedly criterial for intentional sentences. The papers starts with distinguishing two issues that arise when one thinks about intentional expressions: the Taxonomy Problem and the Fundamental Demarcation Problem. The former concerns the relation between the classes of distinct intentional verbs and distinct intentional states. The latter concerns the question about how to distinguish intentional states and (...) acts from the non-intentional ones. Next, the general desiderata for theories providing criteria for singling out the class of intentional sentences are introduced. Finally, distinct proposals for providing such criteria are analyzed. Author argues that neither is satisfactory. (shrink)

This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.

Co-hyperintensionality, or hyperintensional equivalence, is a relation holding between two or more contents that can be substituted in a hyperintensional context salva veritate. I argue that two strategies used to provide criteria for co-hyperintensionality fail. I argue that there is no generalized notion of co-hyperintensionality that meets plausible desiderata, by showing that the opposite thesis leads to falsity. As a conclusion, I suggest to take co-hyperintensionality as a primitive and I provide a general criterion of co-hyperintensionality whose content depends on (...) each hyperintensional notion we aim to formalize. (shrink)

According to the modal account of propositional apriority, a proposition is a priori if it is possible to know it with a priori justification. Assuming that modal truths are necessarily true and that there are contingent a priori truths, this account has the undesirable consequence that a proposition can be a priori in a world in which it is false. Epistemic two-dimensionalism faces the same problem, since on its standard interpretation, it also entails that a priori propositions are necessarily a (...) priori. In response to this problem, Chalmers and Rabern propose an alternative conception of propositional apriority as well as two-dimensional truth-conditions for apriority statements. Their proposal is also supposed to avoid another problem for the modal account, namely that it entails the existence of false instances of ‘φ iff actually φ’. I discuss Chalmers and Rabern’s account and point out a number of problems with it. I then develop my own account of propositional apriority that solves the problems in question, that can be accepted by friends and foes of two-dimensionalism alike, and that is also neutral with respect to the question of how one construes the objects of propositional apriority. (shrink)

We examine how Frege’s contrast between identity judgments of the forms “a=a” vs. “a=b” would fare in the special case where ‘a’ and ‘b’ are complex mental representations, and ‘a’ stands for an introspected ‘I’-thought. We first argue that the Fregean treatment of I-thoughts entails that they are what we call “one-shot thoughts”: they can only be thought once. This has the surprising consequence that no instance of the “a=a” form of judgment in this specific case comes out true, let (...) alone a priori true. This further reinforces Glezakos’s objections against the set-up of Frege’s puzzle, while also raising what we think is an acute problem for Fregeans, insofar as I-thought (and indexical thinking more generally), understood in their way, turns out to be incompatible with some basic features of rationality. (shrink)