There are passages in Kant’s writings according to which empirical intuitions have to be (a) singular, (b) object-dependent, and (c) immediate. It has also been argued that empirical intuitions (d) are not truth-apt, and (e) need to provide the subject with a proof of the possibility of the cognized object. Having relied on one or another of the a-e constraints, the naïve realist readers of Kant have argued that it is not possible for empirical intuitions to be representations. Instead they (...) have argued for a relationalist reading of empirical intuitions in terms of an acquaintance relation between the subject and the intuited object. -/- For the sake of argument, I will grant the naïve realist reader of Kant that empirical intuitions should satisfy all the a-e constraints. Nevertheless, by incorporating these constraints, one by one, into a representationalist theory of empirical intuitions, I will show that not only doesn’t a naïve realist reading of empirical intuitions follow, but also that the naïve realist has hastily overlooked a range of perfectly representationalist readings of intuitions available to Kant and his representationalist allies. On the positive side, I will argue that there is an extra constraint on intuitions—i.e., that givenness does not require presence to consciousness—that directly goes against any naïve realist account of intuitions. (shrink)

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

Siguiendo la definición de Osvaldo Pessoa Jr., un “escenario contrafáctico” sería “una situación posible que no se realizó, como una posibilidad futura en algún instante del pasado”. Este concepto no es nuevo. De hecho, tiene una presencia significativa en campos como la filosofía analítica, la economía, las ciencias experimentales o la psicología. La pretensión de este texto es presentar, mediante el rigor teórico, conceptual, y el método inductivo, una reflexión no derivada de investigación. Esta reflexión es la importancia de la (...) relación entre los escenarios contrafácticos y el mundo del arte desde una perspectiva institucional. La observación inicial en la que se sustenta este texto es que, en una época en la que cualquier cosa puede ser arte y, sin embargo, no todo lo es, las razones por las que algo pudo ser arte, pero no lo fue, cobran una gran importancia para comprender la base de su valor económico y cultural y ahondar en nuestras categorías lingüísticas del presente; en este caso, la de arte. (shrink)

Magical ersatzism is the view that possible worlds are primitive abstract entities. In On the Plurality of Worlds, David Lewis presented what appeared to many to be a devastating argument against magical ersatzism. In this paper, I show that Lewis’ central argument does not succeed. Magical ersatzism remains a viable theory of possible worlds.

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or p is true, for every p); both are consistent; both are (...) closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences. (shrink)

Modal Dimensionalism is a metaphysical theory about possible worlds that is naturally suggested by the often-noted parallelism between modal logic and tense logic. It says that the universe spreads out not only in spatiotemporal dimensions but also in a modal dimension. It regards worlds as nothing more or less than indices in the modal dimension in the way analogous to the way in which Temporal Dimensionalism regards temporal points and intervals as indices in the temporal dimension. Despite its naturalness and (...) intuitive appeal. Modal Dimensionalism has been largely ignored while the debates between David Lewis and his critics have dominated the discourse on the nature of possible worlds. It is high time that we took Modal Dimensionalism seriously as a viable alternative. (shrink)

Those who object to David Lewis' modal realism express qualms about philosophical respectability of the Lewisian notion of a possible world and its correlate notion of an inhabitant of a possible world. The resulting impression is that these two notions either stand together or fall together. I argue that the Lewisian notion of a possible world is otiose even for a good Lewisian modal realist, and that one can carry out a good Lewisian semantics for modal discourse without Lewisian possible (...) worls. I do so by generalizing Lewis' own idea that restrictions on quantification come and go with the pragmatic wind and relativizing possible worlds as shifting domains of discourse. I then suggest a way to soften the infamous incredulous stare. (shrink)

Possible worlds represent you as being certain ways, as having a different lives, different hopes, and different friends. A foundational question in the philosophy of modality thus emerges: in virtue of what does a world represent you in these ways? In this paper, we focus on David Lewis's answer to this metarepresentational question: Counterpart Theory.

The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet the (...) integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (shrink)

The title is an allusion to the fact that, traditionally, propositions have served at least two distinct functions in philosophy, even though these functions have not usually been distinguished. Propositions have been invoked as the ‘meanings’ or ‘intensions’ of sentences and as the objects of propositional attitudes. Thus the proposition that Socrates is wise is the meaning of the English sentence, ‘Socrates is wise,’ and is what Charles believes when he believes that Socrates is wise. ‘Means that’ and ‘believes that’ (...) take the same kind of object. I shall argue, first, that there are two quite different functions here and it takes two quite different kinds of proposition to serve these distinct functions. The second thing I want to do is examine the suggestion that we can treat propositions as sets of possible worlds. There is a serious difficulty here, and so I shall want to turn that idea on its side: I shall define possible worlds as sets of G-propositions and then define E-propositions as sets of possible worlds. (shrink)

In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization of the semantic index. (...) I present the main argument of those semanticists and describe several responses to the initialisation problem. I finally argue that under certain metaphysical and semantic assumptions, one can respond to the initialisation failure in the classical way, even in indeterministic contexts. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

Over the last half century, possible worlds have bled into almost every area of philosophy. In the metaphysics of modality, for example, philosophers have used possible worlds almost exclusively to illuminate discourse about metaphysical necessity and possibility. But recently, some have grown dissatisfied with possible worlds. Why are horses necessarily mammals? Because the property of being a horse bears a special relationship to the property of being a mammal, they say. Not because every horse is a mammal in every possible (...) world. Some have recently begun to use properties to develop rivals to possible worlds semantics which may someday compare in formal power and capture the different systems of modal logic. In this paper, I do two things. I first offer a quick primer on possible worlds semantics. Then I discuss three rivals and the work they have left to do. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

McCall (1984) offered a semantics of counterfactual conditionals based on “real possible worlds” that avoids using the vague notion of similarity between possible worlds. I will propose an interpretation of McCall’s counterfactuals in a formal framework based on Baltag-Moss-Solecki events and protocols. Moreover, I will argue that using this interpretation one can avoid an objection raised by Otte (1987).

We present a logic of evidence that reduces agents’ epistemic idealisations by combining classical propositional logic with substructural modal logic for formulas in the scope of epistemic modalities. To this aim, we provide a neighborhood semantics of evidence, which provides a modal extension of Fine’s semantics for relevant propositional logic. Possible worlds semantics for classical propositional logic is then obtained by defining the set of possible worlds as a special subset of information states in Fine’s semantics. Finally, we prove that (...) evidence is a hyperintensional and non-prime notion in our logic, and provide a sound and complete axiomatisation of our evidence logic. (shrink)

In this paper, I defend modal dimensionalism against the objection that it is ontologically and ideologically heavy. First, I briefly outline the theory and the objection against it. The objection relies on the widely accepted view that ontological and ideological parsimony are operational criteria when comparing metaphysical theories. Second, I outline the conventional distinction between ontology and ideology in the metaphysical tradition. Third, I challenge a particular kind of parsimony: reduction by identification. Fourth, even if reduction by identification is accepted, (...) I show that theories that pursue this often minimize differences, and that such minimization paves the way to epistemic underdetermination. Finally, I demonstrate that some theories in modal metaphysics also suffer from difference minimization and should thus not be measured on the ontology/ideology scale. (shrink)

Bertrand Russell offered an influential paradox of propositions in Appendix B of The Principles of Mathematics, but there is little agreement as to what to conclude from it. We suggest that Russell's paradox is best regarded as a limitative result on propositional granularity. Some propositions are, on pain of contradiction, unable to discriminate between classes with different members: whatever they predicate of one, they predicate of the other. When accepted, this remarkable fact should cast some doubt upon some of the (...) uses to which modern descendente of Russell's paradox of propositions have been put in recent literature. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

A difficulty is exposed in Allan Gibbard's solution to the embedding/Frege-Geach problem, namely that the difference between refusing to accept a normative judgement and accepting its negation is ignored. This is shown to undermine the whole solution.

Speakers are confused about identity if they mistake one thing for two or two things for one. I present two plausible models of confusion, the Frege model and the Millikan model. I show how a prominent objection to Fregean models fails and argue that confusion consists in having false implicit beliefs involving the identity relation. Further, I argue that confused identity has characteristic corruptive effects on singular cognition and on the proper function of singular terms in linguistic communication.

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

In the 1680s, Gottfried Leibniz and Antoine Arnauld engaged in a philosophically rich correspondence. One issue they discuss is modal metaphysics – questions concerning necessity, possibility, and essence. While Arnauld's contributions to the correspondence are considered generally astute, his contributions on this issue have not always received a warm treatment. I argue that Arnauld's criticisms of Leibniz are sophisticated and that Arnauld offers his own Cartesian account in its place. In particular, I argue that Arnauld offers an account of possibility (...) that is actualist, modal actualist and essence-based. (shrink)

Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow double negation elimination (...) for atomic formulas and proves the extensional alignment of quasi-proof-theoretic validity and inquisitive logic. (shrink)

Open futurism is the indeterministic position according to which the future is ‘open’, i.e., there is now no fact of the matter as to what future contingent events will actually obtain. Many open futurists hold a branching conception of time, in which a variety of possible futures exist. This paper introduces two challenges to branching-time open futurism, which are similar in spirit to a challenge posed by Fine to tense realism. The paper argues that, to address the new challenges, open (...) futurists must adopt an objective, non-perspectival notion of actuality and subscribe to an A-theoretic, dynamic conception of reality. Moreover, given a natural understanding of “actual future”, it is perfectly sensible for open futurists to hold that a unique, objectively actual future exists, contrary to a common assumption in the current debate. The paper also contends that recognising the existence of a unique actual future helps open futurists to avoid potential misconceptions. (shrink)

Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (shrink)

The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet the (...) integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (shrink)

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Contessa, Merricks, and Schaffer, and replies by me.

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Dorr, Fine, and Hirsch, and replies by me.

This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.

The possibility of Junk is the possibility that something exists and everything is a proper part. Just as we might imagine that there are no simples—that everything has a proper part, all the way down—we might imagine that there are no caps—that everything is a proper part, all the way up. It is not obvious that this apparent possibility can be accommodated within a Lewisian modal framework. For Lewis, every possibility involves the existence of a possible world, and a possible (...) world is just is a maximal sum, and so a cap. But the Lewisian can accommodate Junk, if she wishes, by allowing parts of possible worlds to represent complete possibilities. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

According to Quine, in any disagreement over basic logical laws the contesting parties must mean different things by the connectives or quantifiers implicated in those laws; when a deviant logician ‘tries to deny the doctrine he only changes the subject’. The standard semantics for intuitionism offers some confirmation for this thesis, for it represents an intuitionist as attaching quite different senses to the connectives than does a classical logician. All the same, I think Quine was wrong, even about the dispute (...) between classicists and intuitionists. I argue for this by presenting an account of consequence, and a cognate semantic theory for the language of the propositional calculus, which respects the meanings of the connectives as embodied in the familiar classical truth-tables, does not presuppose Bivalence, and with respect to which the rules of the intuitionist propositional calculus are sound and complete. Thus the disagreement between classicists and intuitionists, at least, need not stem from their attaching different senses to the connectives; one may deny the doctrine without changing the subject. The basic notion of my semantic theory is truth at a possibility, where a possibility is a way that things might be, but which differs from a possible world in that the way in question need not be fully specific or determinate. I compare my approach with a previous theory of truth at a possibility due to Lloyd Humberstone, and with a previous attempt to refute Quine’s thesis due to John McDowell. (shrink)

In a recent article Mark Ian Thomas Robson argues that there is a clear contradiction between the view that possible worlds are a part of God's nature and the theologically pivotal, but philosophically neglected, claim that God is perfectly beautiful. In this article I show that Robson's argument depends on several key assumptions that he fails to justify and as such that there is reason to doubt the soundness of his argument. I also demonstrate that if Robson's argument were sound (...) then this would be a problem for all classical theists and not just those who hold the possible worlds view. (shrink)