In the Addenda to Naming and Necessity (1980), Kripke famously argues that it is false that there could have been unicorns, or more properly, that “no counterfactual situation is properly describable as one in which there would have been unicorns.” He adds that he holds similarly that ‘one cannot say of any possible person that he would have been Sherlock Holmes, had he existed.” He notes the “cryptic brevity” of these remarks and refers to a forthcoming work for elaborations—the work (...) being, of course, the John Locke Lectures (2013). Coming as it does at the end of Naming and Necessity, it is natural to read this discussion as drawing out consequences of Kripke’s non-descriptivist picture of proper names and names of natural kinds. In fact, so much is suggested there by Kripke himself. The question thus arises: can the contentious claims quoted from the Addenda be defended independently of Kripke’s rejection of descriptivism? I shall argue that, as appears from the John Locke Lectures, they can be. (shrink)

Blackburn argues against naturalistic moral realism. He argues that there is no conceptual entailment from satisfying a naturalistic predicate to satisfying a moral predicate. But the moral is conceptually supervenient on the natural. However, this conjunction of conceptual supervenience with lack of conceptual entailment is something the non-realist can explain, but the realist cannot. I argue first that Blackburn’s best formulation of his challenge is his first one. Subsequently he reformulates it as a demand for a ‘ban on mixed worlds’. (...) Critics have directed their arguments against this formulation but they are ineffective against Blackburn’s first formulation. My second thesis is, even so formulated the realist can meet the challenge. The bare conceptual supervenience of the moral on the natural can be given a realist explanation by understanding names of moral properties as descriptive names of natural properties. (shrink)

Modal Fictionalism, the theory that possible worlds do not literally exist but that our talk about them should be understood in the same way that we understand talk about fictional entities, is an increasingly popular approach to possible worlds. This paper will distinguish three versions of Modal Fictionalism, and will show that the third, a version endorsed by some of the most prominent Modal Fictionalists, faces at least three serious objections: that it makes modality too artificial, the modal fiction does (...) not have the representative resources it needs, and the approach has trouble accounting for propositions. (shrink)

A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically proper account of validity. We counter recent arguments to (...) the contrary presented in Hanson’s ‘Actuality, Necessity, and Logical Truth’ (Philos Stud 130:437–459, 2006 ). (shrink)

A popular line in philosophy championed by Jackson and his followers analyses concepts as networks of propositions. It takes even network-propositions characterizing ordinary empirically applicable concepts to be a priori, in contrast to statements of empirical science. This is meant to guarantee both the autonomy of conceptual analysis, and its substantial and informative character. It is argued here, to the contrary, that empirically applicable and entrenched concepts owe the acceptability of their own network precisely to its empirical pedigree. Promoting an (...) empirical proposition into a network proposition does not make it ultimately a priori: no matter how entrenched the network is, it owes its ultimate justification to its empirical pedigree. Autonomy from experience and informativeness clash with each other: the stipulative "knowledge" is a priori in a weak sense, but not informative and substantial, the factual knowledge is substantial but not a priori. (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.

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are determined. This is the question that (...) I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (shrink)

nated discussion of the semantics of such verbs. I will call this view.

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)

Sometimes a proposition is ‘opaque’ to an agent: he doesn't know it, but he does know something about how coming to know it should affect his or her credence function. It is tempting to assume that a rational agent's credence function coheres in a certain way with his or her knowledge of these opaque propositions, and I call this the ‘Opaque Proposition Principle’. The principle is compelling but demonstrably false. I explain this incongruity by showing that the principle is ambiguous: (...) the term ‘know’ as it appears in the principle can be interpreted in two different ways, as either basic-know or super-know. I use this distinction to construct a plausible version of the principle, and then to similarly construct plausible versions of the Reflection Principle and the Sure-Thing Principle. (shrink)

In this paper I propose a model of demonstrative thought. I distinguish token-demonstratives, that pick out individuals, from type-demonstratives, that pick out kinds, or properties, and provide a similar treatment for both. I argue that it follows from my model of demonstrative thought, as well as from independent considerations, that demonstration, as a mental act, operates directly on mental representations, not external objects. That is, though the relation between a demonstrative and the object or property demonstrated is semantically direct, the (...) mechanism by which a demonstrative acquires its referent involves mediation by a perceptual representation. Finally, I argue that so-called 'demonstrative concepts'—which I treat as type-demonstratives—cannot perform the various philosophical functions that have been assigned to them. (shrink)

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

The primary aim of this paper is to provide the exact diagnosis of the contingent a priori debate so far by untangling complicated issues surrounding it, such as singular thought, linguistic stipulation, and epistemic justification. I will first maintain that most philosophers' arguments for or against the contingent a priori are ultimately based on one of two conflicting intuitions about linguistic stipulation: sceptics of the contingent a priori have appealed to the intuition that extra-linguistic knowledge cannot be acquired through the (...) stroke of a pen, whereas proponents of it have appealed to the other intuition that one is in a position to understand a name that one introduces by oneself into one's own language. Then I will reconstruct the sceptics' and proponents' positions in their strongest form respectively and examine where they disagree, and finally I will argue that the contingent a priori debate cannot help but end in a stalemate without further scrutiny into singular thought. From this diagnosis, I conclude that in order to appropriately judge whether a contingent proposition is knowable a priori, we must first independently investigate what the conditions for singular thought are: the contingent a priori rides on the singular thought debate. (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate (...) over different notions of validity such as local, general, and diagonal, besides being general enough for several two-dimensional logics proposed in the literature. We also motivate the introduction of a new operator into two-dimensional languages and explore some of the philosophical questions raised by it concerning the relations there are between actuality, necessity, and the a priori, that seem to undermine traditional intuitive interpretations of two-dimensional operators. (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

According to indexical contextualism, the perspectival element of taste predicates and epistemic modals is part of the content expressed. According to nonindexicalism, the perspectival element must be conceived as a parameter in the circumstance of evaluation, which engenders “thin” or perspective-neutral semantic contents. Echoing Evans, thin contents have frequently been criticized. It is doubtful whether such coarse-grained quasi-propositions can do any meaningful work as objects of propositional attitudes. In this paper, I assess recent responses by Recanati, Kölbel, Lasersohn and MacFarlane (...) to the “incompleteness worry”. None of them manages to convince. Particular attention is devoted to an argument by John MacFarlane, which states that if perspectives must be part of the content, so must worlds, which would make intuitively contingent propositions necessary. I demonstrate that this attempt to defend thin content views such as nonindexical contextualism and relativism conflates two distinct notions of necessity, and that radical indexicalist accounts of semantics, such as Schaffer’s necessitarianism, are in fact quite plausible. (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)

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)

This article explores Gareth Evans’s idea that there are such things as descriptive names, i.e. referring expressions introduced by a definite description which have, unlike ordinary names, a descriptive content. Several ignored semantic and modal aspects of this idea are spelled out, including a hitherto little explored notion of rigidity, super-rigidity. The claim that descriptive names are (rigidified) descriptions, or abbreviations thereof, is rejected. It is then shown that Evans’s theory leads to certain puzzles concerning the referential status of descriptive (...) names and the evaluation of identity statements containing them. A tentative solution to these puzzles is suggested, which centres on the treatment of definite descriptions as referring expressions. (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)

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)

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)

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)

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.

In recent years two‐dimensional semantics has become one of the most serious alternatives to Millianism for the proper interpretation of modal discourse. It has origins in the works of a diverse group of philosophers, and it has proven popular as an interpretation of both language and thought. It has probably received most of its attention, however, because of its use by David Chalmers in his arguments against materialism. It is this more metaphysical application of two‐dimensionalism that is the concern in (...) this paper. For though there is probably something salvageable from two‐dimensionalism as a way to explain the content of thought, as a metaphysical tool it should be abandoned. In this paper I aim to establish this point by reductio: if ‘metaphysical’ two‐dimensionalism is assumed, it can be shown to be false. (shrink)

Discussing Keith Donnellan's distinction between attributive and referential uses of descriptions, Gareth Evans considered a speaker he found it natural to describe as having “given expression to” a singular thought, though he insisted she was not referring to the person she has in mind. On accounts otherwise similar to Evans's, to express a singular thought just is to refer. Thus, as he does not explain why this speaker might speak this way, it is tempting to ignore this as a slip. (...) On the contrary, I shall argue, Evans has good reason to deny that picture of reference. My interest, though, is in the case itself. It turns out it is a presentational use of descriptions: it provides its audience a cognitive ability they would otherwise lack. This characterization raises deep theoretical questions which I only begin to address here. My goal is to show that we ought to address those questions, for there is no better way of understanding examples like Evans's than to see them as presentational. (shrink)

Moral realists can, and should, allow that the truth-conditional content of moral judgments is in part attitudinal. I develop a two-dimensional semantics that embraces attitudinal content while preserving realist convictions about the independence of moral facts from our attitudes. Relative to worlds “considered as counterfactual,” moral terms rigidly track objective, response-independent properties. But relative to different ways the actual world turns out to be, they nonrigidly track whatever properties turn out to be the objects of our relevant attitudes. This theory (...) provides realists with a satisfactory account of Moral Twin Earth cases and an improved response to Blackburn’s supervenience argument. (shrink)

In a recent paper, Brian Rabern suggests a semantics for languages with two kinds of modality, standard Kripkean metaphysical modality as well as epistemic modality. This semantics presents an alternative to two-dimensionalism, which was developed in the last decades. Both Rabern’s semantics and two-dimensionalism are subject to a puzzle that Chalmers and Rabern, 210–224 2014) call the nesting problem. I will investigate how Rabern’s semantics answers this puzzle.

The main focus of my comments is the role played in Dickie's view by the idea that "the mind has a need to represent things outside itself". But there are also some remarks about her (very interesting) suggestion that descriptive names can sometimes fail to refer to the object that satisfies the associated description.

The actually-operator, understood as a rigidifier, has been employed for a range of purposes in natural language semantics. In this article I argue that the properties of the operator do not correspond to any feature of natural language or feature natural language users have access to. Nor is it needed to provide a formal representation of natural language sentences—the examples usually provided to illustrate the indispensability of the operator are much more plausibly interpreted using plural quantifiers. This lack of connection (...) to natural language is a serious worry for accounts that appeal to rigidifying operations to explain natural language phenomena, as well as a challenge to theories that appeal to the operator to capture the difference between different kinds of necessity expressed in natural language. (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)

Does general validity or real world validity better represent the intuitive notion of logical truth for sentential modal languages with an actuality connective? In (Philosophical Studies 130:436–459, 2006) I argued in favor of general validity, and I criticized the arguments of Zalta (Journal of Philosophy 85:57–74, 1988) for real world validity. But in Nelson and Zalta (Philosophical Studies 157:153–162, 2012) Michael Nelson and Edward Zalta criticize my arguments and claim to have established the superiority of real world validity. Section 1 (...) of the present paper introduces the problem and sets out the basic issues. In Sect. 2 I consider three of Nelson and Zalta’s arguments and find all of them deficient. In Sect. 3 I note that Nelson and Zalta direct much of their criticism at a phrase (‘true at a world from the point of view of some distinct world as actual’) I used only inessentially in Hanson (Philosophical Studies 130:436–459, 2006), and that their account of the philosophical foundations of modal semantics leaves them ill equipped to account for the plausibility of modal logics weaker than S5. Along the way I make several general suggestions for ways in which philosophical discussions of logical matters–especially, but not limited to, discussions of truth and logical truth for languages containing modal and indexical terms–might be facilitated and made more productive. (shrink)

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (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 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)

ABSTRACT: This paper develops an account of what it is for a proposition to be self- evident to someone, based on the idea that certain propositions are such that to fully understand them is to believe them. It argues that when a proposition p is self-evident to one, one has non-inferential a priori justification for believing that p and, a welcome feature, a justification that does not involve exercising any special sort of intuitive faculty; if, in addition, it is true (...) that p and there exists no reason to believe that the proposition that p is incoherent, then one knows a priori that p. The paper argues that certain deeply contingent truths, e.g., the truth that I would now express by saying “I exist”, can be self-evident to, and thus known a priori by, the person they are about at the time they are about; but, since they cannot be known a priori, or even expressed, by anyone else or at any other time, they should not count as a priori truths. (shrink)

We present two-dimensional tableau systems for the actuality, fixedly, and up-arrow operators. All systems are proved sound and complete with respect to a two-dimensional semantics. In addition, a decision procedure for the actuality logics is discussed.

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)

The word ‘God’ is typically thought to be a proper name, a name of a defined entity. From another position it appears to be a description that is fundamentally synonymous to ‘the first of all causes’, or ‘the font et origo of the structure of possibilities’, or ‘the provenience of being’, or ‘the generator of existence’. This lends credence to the view that ‘God’ is a truncated definite description. However, this article proposes that ‘God’ is a name given to whatever (...) is that which is the first of all causes, the font et origo of the structure of possibilities, the provenience of being, the generator of existence. If so, then it is a descriptive name. Yet even among descriptive names ‘God’ is unique, for it is neither convertible to a proper name, nor to a definite description. ‘God’ is an inveterate descriptive name. (shrink)

This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qualified rejection of certain (...) modal theses about identity which are valid in S5. (shrink)