How is knowledge of the external world possible? How is knowledge of other minds possible? How is a priori knowledge possible? These are all examples of how-possible questions in epistemology. In this highly original book Quassim Cassam explains how such questions arise and how they should be answered.

Possibility offers a new analysis of the metaphysical concepts of possibility and necessity, one that does not rely on any sort of "possible worlds." The analysis proceeds from an account of the notion of a physical object and from the positing of properties and relations. It is motivated by considerations about how we actually speak of and think of objects. Michael Jubien discusses several closely related topics, including different purported varieties of possible worlds, the doctrine of "essentialism," natural (...) kind terms and alleged examples of necessity a posteriori. The book also offers a new theory of the functioning of proper names, both actual and fictional, and the discussion of natural kind terms and necessity a posteriori depends in part on this theory. (shrink)

Preface In these days, an anthology on the topic of possible worlds hardly needs justification. No issue has given rise to as much literature in the past ...

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

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)

Already before endorsing transcendental idealism, Husserl pairs truths and possibilities of evidence. This ‘correlationism’ is central for phenomenological metaphysics, but it remains disputed how it determines truth and evidence, including whether it gives a form of priority to either notion. I approach these questions by focusing on the employed notion of possibility and its changes between Husserl’s early and later work. While originally formulating correlationism in terms of ideal possibilities, Husserl realizes that this cannot be extended to account for (...) contingent truths. He then discusses the correlation principle in terms of those ideal possibilities that are motivated. But this faces simple objections: 1.) possibilities can be motivated by false beliefs, and 2.) we can be contingently ignorant about possibilities of evidence. The problem is that the shift from ideal to motivated possibility replaces an alethic with an epistemic notion of possibility. One may in response try to characterize real possibilities in terms of the contingent truths of the actual world, but then the characterization of truth in terms of real possibilities becomes circular. A more promising alternative is to replace the noetic factor ‘motivation’ with a noematic factor ‘potentiality’. On this reading, the correlationist thesis asserts that any obtaining state of affairs has a potentiality for recognition in evident judgement. (shrink)

In the history of modern philosophy systematic connections were assumed to hold between the modal concepts of logical possibility and necessity and the concept of conceivability. However, in the eyes of many contemporary philosophers, insuperable objections face any attempt to analyze the modal concepts in terms of conceivability. It is important to keep in mind that a philosophical explanation of modality does not have to take the form of a reductive analysis. In this paper I attempt to provide a (...) response-dependent account of the modal concepts in terms of conceivability along the lines of a nonreductive model of explanation. (shrink)

Clarifying the nature of possibility is crucial for an evaluation of the phenomenological approach to ontology. From a phenomenological perspective, it is ontological possibility, and not spatiotemporal existence, that has pre-eminent ontological status. Since the sphere of phenomenological being and the sphere of experienceability turn out to be overlapping, this makes room for two perspectives. We can confer foundational priority to the acts of consciousness over possibilities, or to pre-set possibilities over the activity of consciousness. Husserl’s position on (...) this issue seems to change over time. Ultimately, the establishment of a phenomenological perspective must involve a rejection of any hypostatization of pre-set possibilities, but not all implications of this theoretical step seem to be drawn in Husserl’s texts. This paper is devoted to an illustration of how the phenomenological notion of possibility should change when we reject the hypostatization of possibility, that is, when we reject the idea that all acts of consciousness are to be conceived as realizations of pre-set “ideal forms”. We examine this question, first, by trying to clarify the conceptual constellation of “possibility” in Husserl’s texts. This leads to an overall classification of the features of constituted possibilities. Then we distinguish such constituted possibilities from their constituting conditions, which outlines a different sense of “possibility”. In the last instance two “possibilizing” dimensions are shown to lie at the root of all ontic possibilities. This leads to a final suggestion on the nature of the relation between experience and possibility. Actual experiences create the room for possibility: they are possibilizations. In this sense, experience is to be taken as a generative sphere which goes beyond the customary boundary between epistemic and ontological. From this point of view all experience is to be conceived as emergence. (shrink)

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether (...) something is possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

This paper was chosen by The Philosopher’s Annual as one of the ten best articles appearing in print in 2000. Reprinted in Volume XXIII of The Philosopher’s Annual. In his very influential book David Chalmers argues that if physicalism is true then every positive truth is a priori entailed by the full physical description – this is called “the a priori entailment thesis – but ascriptions of phenomenal consciousness are not so entailed and he concludes that Physicalism is false. As (...) he puts it, “zombies” are metaphysically possible. I attempt to show that this argument is refuted by considering an analogous argument in the mouth of a zombie. The conclusion of this argument is false so one of the premises is false. I argue at length that this shows that the original conceivability argument also has a false premise and so is invalid. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

Soames attributes to Kripke the theory of epistemic possibility that uses metaphysical impossibilities in explaining necessary a posteriori truths. I attribute to Kripke a theory from epistemic counterparthood. I develop an epistemic accessibility based on Kripke’s appeal to Lewis’ counterpart theory that is reflexive, non-transitive, and non-symmetric. I also propose an epistemic counterpart function and a description function.

Physics not only describes past, present, and future events but also accounts for unrealized possibilities. These possibilities are represented through the solution spaces given by theories. These spaces are typically classified into two categories: kinematical and dynamical. The distinction raises important questions about the nature of physical possibility. How should we interpret the difference between kinematical and dynamical models? Do dynamical solutions represent genuine possibilities in the physical world? Should kinematical possibilities be viewed as mere logical or linguistic constructs, (...) devoid of a deeper connection to the structure of physical reality? This chapter addresses these questions by analyzing some of the most significant theories in physics: classical mechanics, general relativity and quantum mechanics, with a final mention to quantum gravity. We argue that only dynamical models correspond to genuine physical possibilities. (shrink)

The Possibility of Practical Reason explores the foundational questions of moral psychology: How can any of our behaviour qualify as acting for a reason? How can any considerations qualify as reasons for us to act? David Velleman argues that both possibilities depend on there being aconstitutive aim of action - something that makes for success in action as such, in the same way that truth makes for success in belief. Considerations qualify as reasons for acting by virtue of their (...) relevance to the constitutive aim; and our behavior qualifies as acting for a reason when itresponds to such considerations in pursuit of the aim. The eleven papers that make up this book (two of them previously unpublished) discuss such topics as the relation between value and practical reasoning, the foundations of decision theory, freedom of the will, shared intention, and themotivational role of the imagination. (shrink)

The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.

We ordinarily think that we human beings have agency: we have control over our choices and make a difference to our environments. Yet it is not obvious how agency can fit into a physical world that is governed by exceptionless laws of nature. In particular, it is unclear how agency is possible if those laws are deterministic and the universe functions like a mechanical clockwork. In this short paper, I first explain the apparent conflict between agency and physical determinism (referring (...) to recent work by Helen Steward on "agency incompatibilism"), then review some salient responses one might give to this conflict, and finally sketch a response that rests on a distinction between “physical” and “agential possibilities.” Agency, I suggest, is a higher-level phenomenon, which comes with its own level-specific notion of possibility, and it cannot be adequately analyzed in physical terms alone or just through the lens of physical possibility. (The paper was written as an informal position paper for a symposium on "Possibilities".). (shrink)

The article investigates the sceptical challenge from an informationtheoretic perspective. Its main goal is to articulate and defend the view that either informational scepticism is radical, but then it is epistemologically innocuous because redundant; or it is moderate, but then epistemologically beneficial because useful. In order to pursue this cooptation strategy, the article is divided into seven sections. Section 1 sets up the problem. Section 2 introduces Borei numbers as a convenient way to refer uniformly to (the data that individuate) (...) different possible worlds. Section 3 adopts the Hamming distance between Borei numbers as a metric to calculate the distance between possible worlds. In Sects. 4 and 5, radical and moderate informational scepticism are analysed using Borei numbers and Hamming distances, and shown to be either harmless (extreme form) or actually fruitful (moderate form). Section 6 further clarifies the approach by replying to some potential objections. In the conclusion, the Peircean nature of the overall approach is briefly discussed. (shrink)

Many epistemologists call themselves ‘fallibilists’. But many philosophers of language hold that the meaning of epistemic usages of ‘possible’ ensures a close knowledge- possibility link : a subject’s utterance of ‘it’s possible that not-p’ is true only if the subject does not know that p. This seems to suggest that whatever the core insight behind fallibilism is, it can’t be that a subject could have knowledge which is, for them, possibly false. I argue that, on the contrary, subjects can (...) have such possibly false knowledge. My ultimate aim, then, is to vindicate a very robust form of fallibilism. Uniquely, however, the account I offer does this while also allowing that concessive knowledge attributions – sentences of the form “I know that p, but it’s possible that not-p” – are not only infelicitous but actually false whenever uttered. The account predicts this result without conceding KPL. I argue that my account has the resources to explain some related cases for which the KPL account yields the wrong predictions. Taken as a whole, the linguistic data not only do not support the proposal that subjects cannot have possibly false knowledge, but indeed positively favor the proposal that they can. (shrink)

Drawing on the so-called “doctrinal paradox”, List and Pettit (2002) have shown that, given an unrestricted domain condition, there exists no procedure for aggregating individual sets of judgments over multiple interconnected propositions into corresponding collective ones, where the procedure satisfies some minimal conditions similar to the conditions of Arrow’s theorem. I prove that we can avoid the paradox and the associated impossibility result by introducing an appropriate domain restriction: a structure condition, called unidimensional alignment, is shown to open up a (...) possibility result, similar in spirit to Black’s median voter theorem. Specifically, I prove that, given unidimensional alignment, propositionwise majority voting is the unique procedure for aggregating individual sets of judgments into collective ones in accordance with the above mentioned minimal conditions. (shrink)

The new field of judgment aggregation aims to find collective judgments on logically interconnected propositions. Recent impossibility results establish limitations on the possibility to vote independently on the propositions. I show that, fortunately, the impossibility results do not apply to a wide class of realistic agendas once propositions like “if a then b” are adequately modelled, namely as subjunctive implications rather than material implications. For these agendas, consistent and complete collective judgments can be reached through appropriate quota rules (which (...) decide propositions using acceptance thresholds). I characterise the class of these quota rules. I also prove an abstract result that characterises consistent aggregation for arbitrary agendas in a general logic. (shrink)

A primary goal of quantum computer science is to find an explanation for the fact that quantum computers are more powerful than classical computers. In this paper I argue that to answer this question is to compare algorithmic processes of various kinds and to describe the possibility spaces associated with these processes. By doing this, we explain how it is possible for one process to outperform its rival. Further, in this and similar examples little is gained in subsequently asking (...) a how-actually question. Once one has explained how-possibly, there is little left to do. (shrink)

The most commonly heard proposals for reducing possible worlds to language succumb to a simple cardinality argument: it can be shown that there are more possible worlds than there are linguistic entities provided by the proposal. In this paper, I show how the standard proposals can be generalized in a natural way so as to make better use of the resources available to them, and thereby circumvent the cardinality argument. Once it is seen just what the limitations are on these (...) more general proposals, it can be clearly seen where the real difficulty lies with any attempt to reduce possible worlds to language. Roughly, the difficulty is this: no actual language could have the descriptive resources needed to represent all the ways things might have been. I conclude by arguing that this same difficulty spells doom for any nominalist or conceptualist proposal for reducing possible worlds. (shrink)

We provide a new perspective on the relation between the space of description of an object and the appearance of novelties. One of the aims of this perspective is to facilitate the interaction between mathematics and historical sciences. The definition of novelties is paradoxical: if one can define in advance the possibles, then they are not genuinely new. By analyzing the situation in set theory, we show that defining generic (i.e., shared) and specific (i.e., individual) properties of elements of a (...) set are radically different notions. As a result, generic and specific definitions of possibilities cannot be conflated. We argue that genuinely stating possibilities requires that their meaning has to be made explicit. For example, in physics, properties playing theoretical roles are generic; then, generic reasoning is sufficient to define possibilities. By contrast, in music, we argue that specific properties matter, and generic definitions become insufficient. Then, the notion of new possibilities becomes relevant and irreducible. In biology, among other examples, the generic definition of the space of DNA sequences is insufficient to state phenotypic possibilities even if we assume complete genetic determinism. The generic properties of this space are relevant for sequencing or DNA duplication, but they are inadequate to understand phenotypes. We develop a strong concept of biological novelties which justifies the notion of new possibilities and is more robust than the notion of changing description spaces. These biological novelties are not generic outcomes from an initial situation. They are specific and this specificity is associated with biological functions, that is to say, with a specific causal structure. Thus, we think that in contrast with physics, the concept of new possibilities is necessary for biology. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy (...) operator a well-known logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with preliminary investigations of how to integrate the system with a temporalist conception of propositions and how to compare to more established frameworks. (shrink)

Necessity, but not possibility, is typically thought to be rare and suspicion-worthy. This manifests in an asymmetry in the burden of proof incurred by modal claims. In general, claims to the effect that some proposition is impossible/necessary require significant argumentative support and, in general, claims to the effect that some proposition is possible/contingent are thought to be justified freely or by default. Call this the possibility bias. In this article, I argue that the possibility bias is not (...) epistemically justified. We should regard possibility with at least as much suspicion, that is to say as incurring at least as much of an explanatory demand, as necessity. In fact, I suggest that we might even be justified in reversing the burden of proof asymmetry and adopting a necessity bias. This has quite radical implications for philosophical methodology and hence for many first-order philosophical concerns. (shrink)

This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

A common view of how-possibly explanations in biology treats them as explanatorily incomplete. In addition to this interpretation of how-possibly explanation, I argue that there is another interpretation, one which features what I term “explanatory strategies.” This strategy-centered interpretation of how-possibly explanation centers on there being a different explanatory context within which how-possibly explanations are offered. I contend that, in conditions where this strategy context is recognized, how-possibly explanations can be understood as complete explanations. I defend this alternative interpretation by (...) analyzing the explanatory value of simple physical models the nineteenth century developmental biologist Wilhelm His constructed for animal development. (shrink)

I focus on two questions: what is knowledge, and how is knowledge possible? The latter is an example of a how-possible question. I argue that how-possible questions are obstacle-dependent and that they need to be dealt with at three different levels, the level of means, of obstacle-removal, and of enabling conditions. At the first of these levels the possibility of knowledge is accounted for by identifying means of knowing, and I argue that the identification of such means also contributes (...) to a proper understanding of what knowledge is. (shrink)

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)

Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "necessary". Here, we develop possible world semantics (PWS) which can be expressed in basic set theory and first-order logic, thus offering a reductionist account of modality. Specifically, worlds are understood as complete sets of statements and possible worlds are sets whose statements are consistent with a set of conceptual laws. We introduce the construction calculus (CC), a set of axioms and rules for truth, possibility, (...) worldness and consistency. We show that CC allows to prove fundamental theorems about necessity, possibility, impossibility and contigency, thus demonstrating prima-facie plausibility of PWS. Finally, we discuss the explanatory power of our approach and draw connections between our account and established philosophical conceptions of possible worlds. (shrink)

In many real-life applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all other sentences to be equally interpreted as true. Paraconsistent logics are exactly those logics that escape this explosive effect of the presence of inconsistencies and allow for sensible reasoning still to take effect. To provide reasonably intuitive semantics for paraconsistent logics has traditionally proven to be a challenge. Possible-translations (...) semantics can meet that challenge by allowing for each interpretation to be composed of multiple scenarios. Using that idea, a logic with a complex semantic behavior can be understood as an appropriate combination of ingredient logics with simpler semantic behaviors into which the original logic is given a collection of translations preserving its soundness. Completeness is then achieved through the judicious choice of the admissible translating mappings. The present note provides interpretation by way of possible-translations semantics for a group of fundamental paraconsistent logics extending the positive fragment of classical propositional logic. The logics PI, Cmin, mbC, bC, mCi and Ci, among others, are all initially presented through their non-truth-functional bivaluation semantics and sequent versions and then split by way of possible-translations semantics based on 3-valued ingredients. (shrink)

“There are no gaps in logical space,” writes Lewis (1986), giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a _pattern_ idea: “Any pattern of instantiation is metaphysically possible.” Another is a _cut and paste_ idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” Jumping off from discussions from (...) Forrest and Armstrong (1984) and Nolan (1996), the authors use resources from model theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

This chapter argues that some propositions exist only contingently. Among the contingently existing propositions are ‘possible worlds’, which are understood as maximal consistent propositions. The chapter sketches a picture of propositions and possible worlds that tries to make sense of this thesis, and defends it against two closely related arguments (by Alvin Plantinga and Timothy Williamson) that aim to refute it. The thesis and the response to the arguments require a distinction between the claim that a proposition has the monadic (...) property of truth and the claim that it is true of a given possible world; this distinction is explained and defended. (shrink)

Scientists regularly make possibility claims. While philosophers of science are well aware of the distinction between epistemic and objective notions of possibility, we believe that they often fail to apply this distinction in their analyses of scientific practices that employ modal concepts. We argue that heeding this distinction will help further progress in current debates in the philosophy of science, as it shows that the debaters talk about different things, rather than disagree on the same issue. We first (...) discuss how the two notions differ with respect to their epistemology and show that these differences are sometimes ignored in the philosophy of science. We then revisit four current philosophy of science debates about modelling, that are framed in modal terms, to showcase how the distinction significantly clarifies these debates and thereby helps advance them. (shrink)