I develop and argue for a novel theory of the mental state of identity confusion. I also argue that this mental state can corrupt the proper function of singular terms in linguistic communication. Finally, I propose a theory according to which identity confusion should be treated as a the source of a new sort of linguistic performance error, similar to malapropism, slips of the tongue, and so-called intentional obfuscation (inducing false belief by manipulating language in specific ways). -/- Going into (...) a bit more detail, I start by arguing that contemporary analytic philosophy, and philosophy of language in particular, has been dominated by a ‘puzzle-driven’ methodology. This tradition, I claim, seeks to provide a coherent system for describing semantic features of all conceivable cases where a speaker is confused about the identity or distinctness of an object. On my view, identity confusion is a mental state of an agent who either believes falsely that a is identical to b or believes falsely that a is not identical to b. I show how many influential arguments in philosophy – e.g., Kripke on semantic reference and speaker’s reference – are invalidated because of false assumptions about the state of identity confusion. -/- More positively, I assume an ‘explanation-driven’ approach, combining strands in Gricean intentionalism and Ruth Millikan’s teleosemantics. On this view, confused speakers are ‘sub-optimal’: their mental state disrupts the proper function of the relevant singular terms in their idiolects. Furthermore, I flesh out a theoretically fruitful notion of ‘edenic reference,’ which idealizes away from confusion in defining the optimal or stabilizing function of singular terms. I argue that speakers must satisfy certain broadly cognitive constraints if their utterances are to play a role in explaining the maintenance of a practice of using a singular term in a linguistic community. (shrink)

Pierre Saint-Germier | : Nous discutons la thèse, acceptée par de nombreux théoriciens des intuitions rationnelles, selon laquelle ces dernières s’accompagnent d’une apparence de nécessité. L’existence d’intuitions rationnelles ayant pour objet des propositions contingentes jette un doute sur l’adéquation de cette thèse. Le problème peut trouver une solution dans le cadre d’une théorie faillibiliste des intuitions rationnelles, pourvu que l’on admette des illusions modales inéliminables. En nous appuyant sur une explication bidimensionnelle de l’a priori contingent, nous défendons une solution différente (...) consistant à reconsidérer le contenu des apparences associées aux intuitions rationnelles : ce que l’on pourrait prendre pour des apparences de nécessité n’est autre qu’une manifestation de leur caractère a priori. | : We discuss the view, accepted by many rational intuition theorists, that rational intuitions involve appearances of necessity. The fact that we can have rational intuitions of contingent propositions casts a doubt on the adequacy of this view. This fact can be accommodated by a fallibilist theory of rational intuitions, provided one accepts that these intuitions generate ineliminable modal illusions. Drawing on two-dimensional explanations of the contingent a priori, we defend an alternative view according to which the appearances involved in rational intuitions are not appearances of necessity but rather an expression of their a priori status. (shrink)

Machery et al. claim that analytic philosophers of language are committed to a method of cases according to which theories of reference are assessed by consulting semantic intuitions about actual and possible cases. Since empirical evidence suggests that such intuitions vary both within and across cultures, these experimental semanticists conclude that the traditional attempt at pursuing such theories is misguided. Against the backdrop of Kripke’s anti-descriptivist arguments, this paper offers a novel response to the challenge posed by Machery et al., (...) arguing that they either misplace or exaggerate the role played by. The lesson is that while semantic intuitions carry evidential weight in evaluating certain subjunctive conditionals reflecting counterfactual possibilities, they neither play an epistemic role in determining the actual reference of proper names, nor in evaluating certain indicative conditionals reflecting so-called counteractual possibilities. Moreover, once an asymmetry is acknowledged in Machery et al’s vignette between the narrator and the subject’s suppositions about the actual world, a corresponding ambiguity can account for the alleged culturally determined variation in semantic intuitions. (shrink)

WITTGENSTEIN ON THE ARBITRARINESS OF GRAMMAR Michael N. Forster What is the nature of a conceptual scheme? Are there alternative conceptual schemes?

Complex demonstrative phrases, in English, are phrases such as ‘that woman in the department’ and ‘that car on the corner’. They are of particular interest to philosophers for two related reasons. The first involves the problem of intentionality. If there are phrases that are candidates for “latching directly onto the world,” they are such phrases, and their “simple” counterparts, as in the occurrences of ‘that’ in ‘that is nice’. As a result, philosophers interested in intentionality, from the sense-data theorists to (...) contemporary philosophers of mind, have devoted considerable attention to the question of how a demonstrative thought links to its object. The second reason involves issues in semantics and the philosophy of language. In the course of investigations into the model theory for modal logic in the 1950s and 1960s, philosophers recognized that the simplest way to treat terms was as modally rigid, namely as designating their actual designations relative to any possible world in which they existed, and nothing else in other worlds. It was soon recognized that this semantic property could be elegantly explained by the assumption that the semantics of singular terms reflects the role of singular terms in linking representations directly to the world. If the semantic contribution of a singular term to a thought is simply the object it denotes, and the thought is the object of modal evaluation, then the modal rigidity of the class of terms falls out as a consequence. Demonstrative phrases, both simple and complex, have always been taken to be among the paradigms for this picture of reference, which has come to be known as “the direct reference” model. (shrink)

Over the last two decades, William Lycan’s work on the semantics of conditionals has been distinguished by his careful attention to the connection between syntax and semantics, and more generally by his impeccable methodology. Lycan takes compositionality seriously, so he requires that the meaning of compound expressions like ‘even if’ be a combination of the constituent expressions, here ‘even’ and ‘if’. After reading his work, it’s hard to take seriously work that does not share this methodology.

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results. (shrink)

Famously, Saul Kripke proposes that there are contingent a priori truths, and has offered a number of examples to illustrate his claim. The most well-known example involves the standard meter bar in Paris. Purportedly, a certain agent knows a priori that the bar is one meter long. However, in response to a long-standing objection to such examples - the "existential complaint" - generally only modified examples having a conditional form are now considered candidates for the contingent a priori. Gareth Evans (...) argues that these conditionals must be understood free-logically, and on this basis argues against Keith Donnellan's analysis of the contingent a priori. I show Evans' argument mistaken. I also take issue with the existential complaint, and suggest a way of understanding Kripke's original examples that is not subject to it. My approach focuses the debate in its right place, and allows us to take Kripke's original examples seriously. (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

Donnellan famously argued that while one can fix the reference of a name with a definite description, one cannot thereby have a de re belief about the named object. All that is generated is meta-linguistic knowledge that the sentence “If there is a unique F, then N is F” is true. Donnellan’s argument and the sceptical position are extremely influential. This article aims to show that Donnellan’s argument is unsound, and that the Millian who embraces Donnellan’s scepticism that the reference-fixer (...) cannot secure the relevant de re belief faces a serious problem: Millianism about names plus scepticism about the reference-fixer’s de re belief conflicts with what seems to be an analytical thesis about the relationship between semantic content and understanding. The upshot is that the Millian has good reason to seek an alternative to scepticism. (shrink)

The notion of a rigid designator was originally introduced with respect to a modal semantics in which only one world, the world of evaluation, is shifted. Several philosophical applications employ a modal semantics which shifts not just the world of evaluation, but also the world considered as actual. How should the notion of a rigid designator be generalized in this setting? In this note, I show that there are two options and argue that, for the currently most popular application of (...) two-dimensional modal semantics, proper names ought to be treated as rigid relative to the world considered as actual. (shrink)

This paper argues that true singular existentials are rationally indubitable. After the claim is clarified and motivated (Section 1), it is defended against objections inspired by Cartesian skepticism and semantic externalism (Section 2), a Fregean fine‐grained conception of propositional content (Section 3), Kripke's causal theory of reference (Section 4), a Stalnakerian coarse‐grained conception of propositional content (Section 5), as well as Evans's account of descriptive reference fixing (Section 6). The discussion is brought to a close by concluding that either true (...) singular existentials are a priori or apriority is not necessary for rational indubitability (Section 7). (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

Linnaean-style, rank-based codes of taxonomic nomenclature provide stability to the relation between taxon names and their referents through the device of nomenclatural types. The practice of using types to tether names to taxa is uncontroversial and well-understood. But the nature of the relation between types, names, and taxa continues to be a topic of philosophical debate. A particularly contested issue is whether it is necessary for taxa that have a type specimen to contain their type specimen. Jerzy Brzozowski has recently (...) offered a novel account of taxon names that, he claims, shows that the relation between a type specimen and the (sub)species it belongs to is contingent (Brzozowski in Hist Philos Life Sci 42(3):1–25, 2020). I argue that this is mistaken. While Brzozowski’s contribution helps to advance the debate by bringing concepts from the philosophy of reference to bear on taxonomic naming practices, his new account of taxon names fails to support his central argument. Indeed, I show that the philosophical concepts he introduces into the debate cement the view that it is necessary for a (sub)species with a type specimen to contain it. (shrink)

According to a widespread picture due to Kaplan, there are two levels of semantic value: character and content. Character is determined by the grammar, and it determines content with respect to context. In this chapter Recanati criticizes that picture on several grounds. He shows that we need more than two levels, and rejects the determination thesis: that linguistic meaning as determined by grammar determines content. Grammatical meaning does not determine assertoric content, he argues, but merely constrains it — speaker’s meaning (...) necessarily comes into play. On the alternative picture he offers, there are four basic levels, only one of which is determined by the grammar. Pragmatics is what enables the transition from each level to the next. (shrink)

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...) on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

Moore's Open Question Arguments are among the most influential arguments in 20th Century metaethical thought. But, surprisingly, there is a fair amount of confusion concerning what the Open Question Arguments actually are, how the Moorean passages should be interpreted, and what they are intended to show. Thus, the early chapters are devoted to clarificatory matters, including the exposing of a variety of contemporary attacks upon Moore's arguments as misguided by indicating where they rest upon faulty interpretations of Moorean passages. Providing (...) what I take to be accurate formulations of Moore's famous arguments, responding to historically important preliminary objections, and, finally, presenting various shortcomings of these arguments constitute the remaining themes of the early chapters. ;Next, I pursue an explanation of what I call the 'Open Question phenomenon': the inclination that many have to endorse Moore's "open question" premises. I survey a variety of popular noncognitivist explanations, arguing that each of them is unsatisfactory. I then present a novel semantic explanation of the phenomenon and use it to construct an augmented Moorean Open Question Argument, one capable of overcoming the shortcomings of Moore's originals. ;The latter chapters are dedicated to an investigation of Moore's preferred normative theory---a version of objective consequentialism. I argue that the standard semantic account of subjunctive conditionals fails to capture the nature of certain subjunctive conditionals relevant to the normative evaluation of alternatives from an objective consequentialist perspective. I then present a modified version of the standard account in an effort to remedy the problem. ;Next, I present a novel objection against all extant versions of objective consequentialism. I then introduce and utilize the concept of an "objective" subjunctive probability in the transformation of a subjective version of consequentialism into an objective version, one capable of dealing with the difficulties posed by the objection. ;I conclude the dissertation with a final chapter in which I defend possibilist versions of consequentialism from a contemporary objection. In doing so, I elucidate a theoretical advantage that possibilist theories have over their subjunctive counterparts. (shrink)

Complex demonstrative phrases, in English, are phrases such as ‘that woman in the department’ and ‘that car on the corner’. They are of particular interest to philosophers for two related reasons. The first involves the problem of intentionality. If there are phrases that are candidates for “latching directly onto the world,” they are such phrases, and their “simple” counterparts, as in the occurrences of ‘that’ in ‘that is nice’. As a result, philosophers interested in intentionality, from the sense-data theorists to (...) contemporary philosophers of mind, have devoted considerable attention to the question of how a demonstrative thought links to its object. The second reason involves issues in semantics and the philosophy of language. In the course of investigations into the model theory for modal logic in the 1950s and 1960s, philosophers recognized that the simplest way to treat terms was as modally rigid, namely as designating their actual designations relative to any possible world in which they existed, and nothing else in other worlds. It was soon recognized that this semantic property could be elegantly explained by the assumption that the semantics of singular terms reflects the role of singular terms in linking representations directly to the world. If the semantic contribution of a singular term to a thought is simply the object it denotes, and the thought is the object of modal evaluation, then the modal rigidity of the class of terms falls out as a consequence. Demonstrative phrases, both simple and complex, have always been taken to be among the paradigms for this picture of reference, which has come to be known as “the direct reference” model. (shrink)

This paper argues for a conditional claim concerning a famous argument—developed by Church in elucidation of some remarks by Frege to the effect that the bedeutung of a sentence is the sentence’s truth-value—the Frege–Gödel–Church argument, or FGC for short. The point we make is this :if, and just to the extent that, Arthur Smullyan’s argument against Quine's use of FGC is sound, then essentially the same rejoinder disposes also of Davidson's use of FGC against ‘correspondence’ theories of truth. We thus (...) dispute a contention by Professor Davidson that it is coherent to accept that Smullyan’s rejoinder takes away the force of Quine’s version of FGC, while still consistently using FGC to establish that if true sentences (or utterances) correspond to anything, they all correspond to the same thing. We show that the differences between the cases discussed by Smullyan and Davidson’s version of FGC on which Davidson relies for his contention are irrelevant to the point under dispute. (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)

By introducing a name ‘one meter’ and stipulating that it refers to the length of stick S, the stipulator appears to be in a position to gain immediate (and arguably a priori) knowledge of a mind‐ and language‐independent fact—the fact that the length of stick S is one meter. It appears that other users of the name can gain this knowledge only through empirical enquiry. I argue that this presents a paradox. After clarifying the nature of the paradox, I offer (...) a solution by arguing that, contrary to appearances, other users of ‘one meter’ implicitly knew that the length of stick S is one meter before learning the name, as did the stipulator prior to introducing the name. There is some distinct knowledge that other users of the name can only gain empirically, but the stipulator cannot gain this knowledge without empirical enquiry either. (shrink)

Reliabilism about epistemic justification - the thesis that what makes a belief epistemically justified is that it was produced by a reliable process of belief-formation - must face two problems. First, what has been called "the new evil demon problem", which arises from the idea that the beliefs of victims of an evil demon are as justified as our own beliefs, although they are not - the objector claims - reliably produced. And second, the problem of diagnosing why skepticism is (...) so appealing despite being false. I present a special version of reliabilism, "indexical reliabilism", based on two-dimensional semantics, and show how it can solve both problems. (shrink)

Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed 'relational modality', simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

The two-dimensional framework in semantics has the most power and plausibility when combined with a kind of global semantic neo-descriptivism. If neo-descriptivism can be defended on the toughest terrain - the semantics of ordinary proper names - then the other skirmishes should be easier. This paper defends neo-descriptivism against two important objections: that the descriptions may be inaccessibly locked up in sub-personal modules, and thus not accessible a priori, and that in any case all such modules bottom out in purely (...) causal mechanisms, and that thus an externalist causal metasemantic theory will best account for them. I agree both that many descriptions are in some sense modularized, and that they bottom out in causal mechanisms. But I argue that these are not the relevant descriptions that two-dimensionalism trades in, and which make us, in an important sense, masters of our meanings. (shrink)

In his 2022 article ‘A puzzle about the fixity of the past’, Lampert argues that standard views concerning knowledge and the semantics of ‘actually’ conflict with a widely held principle concerning the fixity of the past. I show that his attempt to establish the conflict fails, as it rests on the implicit assumption that a past mental state or utterance involving a modal indexical must have the same content across worlds with a shared past, when in fact it must, given (...) its character, differ in content. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical truth (...) in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

ABSTRACTTwo-dimensional accounts of speech and thought make use of so-called ‘diagonal’ propositions. If diagonals are indeed propositions, they can be negated: an ‘anti-diagonal’ is the negation o...

Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is kept (...) constant. However, the received conception of an interpretation as a mapping from language to a model frame hinders keeping the interpretation constant while varying other components of the model. To make room for analyticity, the concept of an interpretation should therefore be revised. The latter should be made richer in content than it has usually been assumed. As a by-product, this revision also gives us a one-dimensional analogue of the influential two-dimensional account of a priori. We are thus able to map out the network of formal connections between the notions of analyticity, apriority, logical truth and necessity. (shrink)

Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls "theoretical identities": a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account are necessary.

Evans distinguishes between superficial necessity and deep necessity in his analysis of the contingent a priori. The distinction between these two notions of necessity is formalized by Davies and Humberstone through the addition of the operator Fixedly to Actuality Modal Logic (AML, S5A), where deep necessity is represented by the combination Fixedly Actually. Wehmeier’s Subjunctive Modal Logic (SML) provides an extension of the expressive capacity of ordinary modal predicate logic alternative to AML. I add Fixedly to SML and show that (...) in the system SML with Fixedly the distinction between deep and superficial necessity disappears. I conclude that the existence of the distinction between deep and superficial necessity, as well as the existence of the contingent a priori, cannot be asserted independently of the choice of background logic. (shrink)

There is a considerable sub-literature, stretching back over 35 years, addressed to the question: Precisely which general terms ought to be classified as rigid designators? More fundamentally: What should we take the criterion for rigidity to be, for general terms? The aim of this paper is to give new grounds for the old view that if a general term designates the same kind in all possible worlds, then it should be classified as a rigid designator. The new grounds in question (...) have to do with excavating the connection between rigid designation and semantic structure. Other original contributions of the present work consist in developing responses to some objections to this approach to rigid designation. (shrink)

Inspired by two-dimensional modal logic, some have sought to provide analyses of the notion of the contingent a priori which identify the a priori with truths which have a necessary diagonal. I argue that these analyses fail insofar as they miss the crucial epistemic aspect of the a priori. Augmenting these analyses with specifically epistemic accounts might be possible, but the interest would then reside in these epistemic accounts of the a priori and not in the formal models.

I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

Some philosophers, like Kripke, Williamson, Hawthorne, and Turri, have offered examples of claims that are allegedly contingent and a priori justifiable. If any of these examples is genuine, this would upend the traditional epistemological classification on which (a) all and only a priori justifiable claims are necessary and (b) all and only a posteriori ones are contingent. I argue here that these examples are not genuine. This conclusion is not new, but the strategy pursued here is to formalize these muchdiscussed (...) examples in symbolic logics. Once formalized, a perspicuous representation of their logical form will bring into sharp relief that these examples are not both contingent and a priori. Two takeaways are (1) that the traditional epistemological classification remains plausible and (2) that one’s proposed examples of contingent a priori claims should be supported by a formalization in one’s preferred background symbolic logic. (shrink)

On their alethic reading, formulas,, and codify three of the most basic principles of possibility and its dual. This paper discusses these formulas on a broadly epistemic reading, and in particular as candidate principles about conceivability and its dual. As will be shown, the question whether and its classical dual equivalent, as well as and hold on this reading is not only a logical one but involves a distinctively metaphysical controversy between realist and antirealist views on the relation between truth (...) on the one hand and various cognitive conditions such as knowability, conceivability, and thinkability on the other. It will be argued that the stance we take with regard to the metaphysical dispute has consequences for our assessment of the plausibility not only of and its classical equivalent, but also of and—when that stance is combined with a structural account of propositions—potentially of as well; with all four taken in the above epistemic sense. A second upshot will be that the same sensitivity to metaphysical background commitment also applies to our view as to whether or not inconceivability of the opposite coincides with, or even entails, apriority. (shrink)

Existentialism about propositions is the view that a proposition expressed in a sentence containing a nonempty name or indexical depends ontologically on the referent of the name or indexical: the proposition could not exist if the referent did not. The paper focuses on names. It discusses some arguments for existentialism and then presents a novel one. That argument does not presuppose that propositions have constituents, and it could be accepted by those who hold broadly Fregean views about names. It shows (...) that, for example, if Aristotle had not existed, no sentence could have meant that Aristotle is a philosopher. The paper also touches on the consequences of existentialism. (shrink)

Crispin Wright’s epistemic response to McKinsey’s paradox is to argue that introspective knowledge of the first premise fails to transmit across the semantic externalist entailment in the second premise to the conclusion that one has such untoward knowledge of the external world. This paper argues first that Stewart Cohen and Jonathan Vogel’s bootstrapping arguments suffer from a novel kind of epistemic circularity, which triggers failure of transmission but allows for the possibility of basic perceptual knowledge. It is then argued that (...) McKinsey’s paradox falls out as a special case of this template for transmission failure. The circularity in play is semantic: the paradox illicitly imports semantically relevant properties of knowledge-individuating sources into the contents of the knowledge states that those sources individuate by instantiating those properties. Importantly, this diagnosis permits the possibility of basic introspective knowledge as propounded by Tyler Burge and other semantic ex.. (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)

I think recent discussions of content and reference have not paid enough attention to the role of language as a convention-governed system of communication. With this as a background theme, I explain the role of A-intensions in elucidating one important notion of content and correlative notions of reference.

David Chalmers' conceivability argument against physicalism relies on the entailment from a priori conceivability to metaphysical possibility. The a posteriori physicalist rejects this premise, but is consequently committed to psychophysical strong necessities. These don't fit into the Kripkean model of the necessary a posteriori, and they are therefore, according to Chalmers, problematic. But given semantic assumptions that are essential to the conceivability argument, there is reason to believe in microphysical strong necessities. This means that some of Chalmers' criticism is unwarranted, (...) and the rest equally afflicts the dualist. Moreover, given that these assumptions are independently plausible, there's a general case to be made for the existence of strong necessities outside the psychophysical domain. (shrink)

Non-actualist theories promise straightforward accounts of meaning, truth and reference of fictional discourse but are ostensibly saddled with a Selection Problem, that multiple possible candidates satisfy the role-descriptions associated with names used in fictions and no principled way to distinguish between them; yet if names are referential, there can only be one referent. The problem is often taken to be a serious—even decisive—obstacle for non-actualism, and the aim of this article is to show that the challenge can be met. I (...) suggest that storytellers and authors fix the referents of referential terms they use by arbitrary selecting referents through simple acts of stipulation, and then determine which of the worlds containing the relevant individuals serve as truth-makers for the story by adding properties to the characters. The resulting view of reference is consistent with reasonable, foundational requirements on reference, such as a causal-historical theory, and can moreover be used to support plausible theories of truth in fiction and facilitate elegant models of fiction as a type of discourse. (shrink)