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

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model (...) extremely non-ideal agents that are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in (...) the imagined non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian (...) class='Hi'>worlds, and impossibilities are represented as set-theoretic constructions out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space (...) of worlds, most of the propositions which can be constructed from possible and impossible worlds are in an important sense inexpressible; leaving the probabilistic model committed to saying that agents in general have at least as many attitudes towards inexpressible propositions as they do towards expressible propositions. If it is reasonable to think that our attitudes are generally expressible, then a model with such commitments looks problematic. (shrink)

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. (...) At a logically impossible world, the laws of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an (...) impossible world, given Lewis’ reductive theoretical framework? Since the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which (...) we also consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

The aim of the present article is to investigate the tenability of the principle of compositionality within an impossible worlds framework. To understand how this question is raised, the first section will be devoted to explaining what the principle of compositionality is and how it is compatile with a possible worlds semantics. In the following section, some arguments from hyperintentionality will be provided against such semantics. The third section will introduce the notion of impossible worlds (...) as adequate tools to accommodate such arguments, with particular attention to Berto and Jago’s account (2019). In the fourth section a solution to the compositionality objection towards an impossible worlds semantics will be presented. Finally, the paper will conclude with a possile objection towards such solution. (shrink)

The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals (...) which avoids several of the implausible results of David Lewis's account, and it paves the way for the analogues of Kripkean semantics for epistemic and relevant logics. On the theories of possible worlds as abstract objects, worlds bear a strong resemblance to propositions. I contend that if there are distinct necessarily false propositions, then there are likewise distinct impossible worlds. However, one who regards possible worlds as concrete objects must not recognize impossible worlds, in part because concrete worlds cannot misrepresent certain features of reality, as some impossible worlds must. Accordingly, I defend and develop a theory of impossible worlds as maximal impossible states of affairs. Impossible worlds perform admirably in the analysis of counterfactuals with impossible antecedents. I argue that, contrary to standard accounts, not all counterpossibles are trivially true, and I develop a Lewis-style semantics which allows this result. The point is crucial, since many views presuppose that some counterpossibles are substantive philosophical truths. Finally, I show that impossible worlds hold great promise for doxastic and relevant logics. Epistemic logic needs a domain of propositions which is not closed under strict implication to avoid the problem of logical omniscience, and relevant logic needs such a domain to avoid the famous paradoxes of implication. In sum, impossible world theory promises natural, elegant solutions to philosophical problems in numerous areas where possible worlds alone flounder. These solutions come to most possible world theorists at no cost, since the existence of impossible worlds is entailed by theses they already hold. (shrink)

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it (...) is sometimes claimed that their use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one. (shrink)

The common view has it that there are two families of approaches towards the logical structure of impossible worlds – Australasian and North American. According to the first, impossible worlds are closed under the relation of logical consequence of one of the non-classical logics. The North American approach is more liberal, allowing for impossible worlds where no logic holds. After pointing out the questionable consequences of each view, I propose a third one. While this (...) new perspective allows for worlds where no logical consequence holds, it also imposes some constraints on what worlds are built upon. This renders the proposed view not as restrictive as the Australasian approach and not as liberal as the North American approach. Due to its intermediary nature, I have named this perspective ‘the Pacific’ approach. (shrink)

Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that (...) no such ‘knock-down arguments’ do emanate on those grounds. This is not to rule out that there cannot be any other good reasons for assuming impossible world semantics. However, the discussion of a further argument for impossible worlds will suggest that different attempts to argue for them likely present intertwined problems. (shrink)

Several theorists have been attracted to the idea that in order to account for counterpossibles, i.e. counterfactuals with impossible antecedents, we must appeal to impossible worlds. However, few have attempted to provide a detailed impossible worlds account of counterpossibles. Berit Brogaard and Joe Salerno’s ‘Remarks on Counterpossibles’ is one of the few attempts to fill in this theoretical gap. In this article, I critically examine their account. I prove a number of unanticipated implications of their (...) account that end up implying a counterintuitive result. I then examine a suggested revision and point out a surprising implication of the revision. (shrink)

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In (...) many applications, possible worlds face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

A standing challenge in the theory of counterfactuals is to solve the “deviation problem”. Consider ordinary counterfactuals involving an antecedent concerning a difference from the actual course of events at a particular time, and a consequent concerning, at least in part, what happens at a later time. In the possible worlds framework, the problem is often put in terms of which are the relevant antecedent worlds. Desiderata for the solution include that the relevant antecedent worlds be governed (...) by the actual laws of nature with no miracles; that the past in those worlds before the antecedent time matches the actual past; that the account is compatible with determinism, and that many of our ordinary counterfactual judgments are correct, and would be correct even given determinism. Many theorists have compromised on one or more of these desiderata, but this paper presents an account employing impossible worlds that satisfies them all. (shrink)

Book Review of Impossible Worlds, by Francesco Berto and Mark Jago. Oxford: Oxford University Press, 2019.

At first glance, impossible world semantics appear to be useful adaptations of normal modal logic. Proponents of impossible worlds argue, e.g., that in the context of metaphysical disagreement, impossible worlds would provide a key to modelling the respective dispute situation. The same philosophers also argue that we need impossible worlds to model what they consider to be the conceivability of logical impossibilities. With the help of Wittgenstein’s early philosophy, or, better said, with what (...) I believe to be a visualisation of his ideas on nesting models for possibility, I develop some thoughts on the likely shared weaknesses of such arguments for nonnormal world approaches. Said goes hand in hand with the supplementary proposal of rethinking our conventional nesting models for possibility. (shrink)

One well-known objection to the traditional Lewis-Stalnaker semantics of counterfactuals is that it delivers counterintuitive semantic verdicts for many counterpossibles (counterfactuals with necessarily false antecedents). To remedy this problem, several authors have proposed extending the set of possible worlds by impossible worlds at which necessary falsehoods may be true. Linguistic ersatz theorists often construe impossible worlds as maximal, inconsistent sets of sentences in some sufficiently expressive language. However, in a recent paper, Bjerring (2014) argues that (...) the “extended” Lewis-Stalnaker semantics delivers the wrong truth-values for many counterpossibles if impossible worlds are required to be maximal. To make room for non-maximal or partial impossible worlds, Bjerring considers two alternative world-ontologies: either (i) we construe impossible worlds as arbitrary (maximal or partial) inconsistent sets of sentences, or (ii) we construe them as (maximal or partial) inconsistent sets of sentences that are closed and consistent with respect to some non-classical logic. Bjerring raises an objection against (i), and suggests that we opt for (ii). In this paper, I argue, first, that Bjerring’s objection against (i) conflates two different conceptions of what it means for a logic to be true at a world. Second, I argue that (ii) imposes too strong constraints on what counts as an impossible world. I conclude that linguistic ersatzists should construe impossible worlds as arbitrary (maximal or partial) inconsistent sets of sentences. (shrink)

Standard accounts of counterfactuals with metaphysically impossible antecedents take them to by trivially true. But recent work shows that nontrivial countermetaphysicals are frequently appealed to in scientific modeling and are indispensable for a number of metaphysical projects. I focus on three recent discussions of counterpossible counterfactuals, which apply counterpossibles in both scientific and metaphysical modeling. I show that a sufficiently developed modal counterpart theory can provide a semantics for a wide range of counterpossibles without any inconsistent possibilities or other (...) forms of impossible worlds. But such a view faces problems: in order for the metaphysical views I discuss to bear weight, there must be a significant difference between the metaphysical possibilities and impossibilities. I will show how the counterpart-theoretic view delineates the possible from impossible, while still making room for the impossible. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).

Modal phenomena in general, and modal claims in particular, present a problem for contemporary philosophers. The truth conditions of modal claims differ from those of nonemodal claims. I discuss a widely accepted strategy that posits possible and impossible worlds in order to analyze modal claims and thus systematize our intuitions about modal reality.

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in (...) the actual world, (ii) causal counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We (...) develop a novel way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

You and I can differ in what we say, or believe, even though the things we say, or believe, are logically equivalent. Discussing what is said, or believed, requires notions of content which are finer-grained than sets of (metaphysically or logically) possible worlds. In this paper, I develop the approach to fine-grained content in terms of a space of possible and impossible worlds. I give a method for constructing ersatz worlds based on theory of substantial facts. (...) I show how this theory overcomes an objection to actualist constructions of ersatz worlds and argue that it naturally gives rise to useful notions of fine-grained content. (shrink)

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, (...) on the syntactic side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” in- ferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability. (shrink)

What are contents? The answer provided by the possible worlds approach is that contents are sets of possible worlds. This approach incurs serious problems and to solve them Jago suggests, in The Impossible, to get rid of the ‘possible’ bit and allowing some impossible worlds to be part of the game. In this note, I briefly consider the metaphysics behind Jago’s account and then focus on whether Jago is right in thinking that his worlds (...) and his worlds only can do the explanatory work he posits them for. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective (...) but contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

“There is no use in trying,” said Alice; “one can’t believe impossible things.” “I dare say you haven’t had much practice,” said the Queen. “When I was your age, I always did it for half an hour a day. Why, sometimes I’ve believed as many as six impossible things before breakfast”. Lewis Carroll, Through the Looking Glass. -/- It is a rather common view among philosophers that one cannot, properly speaking, be said to believe, conceive, imagine, hope for, (...) or seek what is impossible. -/- Some philosophers, for instance George Berkeley and the early Wittgenstein, thought that logically contradictory propositions lack cognitive meaning (informational content) and cannot, therefore, be thought or believed. Philosophers who do not go as far as Berkeley and Wittgenstein in denying that impossible propositions or states of affairs are thinkable, may still claim that it is impossible to rationally believe an impossible proposition. On a classical “Cartesian” view of belief, belief is a purely mental state of the agent holding true a proposition p that she “grasps” and is directly acquainted with. But if the agent is directly acquainted with an impossible proposition, then, presumably, she must know that it is impossible. But surely no rational agent can hold true a proposition that she knows is impossible. Hence, no rational agent can believe an impossible proposition. Thus it seems that on the Cartesian view of propositional attitudes as inner mental states in which proposition are immediately apprehended by the mind, it is impossible for a rational agent to believe, imagine or conceive an impossible proposition. -/- Ruth Barcan Marcus (1983) has suggested that a belief attribution is defeated once it is discovered that the proposition, or state of affairs that is believed is impossible. According to her intuition, just as knowledge implies truth, belief implies possibility. -/- It is commonplace that people claim to believe propositions that later turn out to be impossible. According to Barcan Marcus, the correct thing to say in such a situation is not: I once believed that A but I don’t believe it any longer since I have come to realize that it is impossible that A. What one should say is instead: It once appeared to me that I believed that A, but I did not, since it is impossible that A. Thus, Barcan Marcus defends what we might call Alice’s thesis: Necessarily, for any proposition p and any subject x, if x believes p, then p is possible. -/- Alice’s thesis that it is impossible to hold impossible beliefs, seems to come into conflict with our ordinary practices of attributing beliefs. Consider a mathematical example. Some mathematicians believe that CH (the continuum hypothesis) is true and others believe that it is false. But if CH is true, then it is necessarily true; and if it is false, then it is necessarily false. Regardless of whether CH is true or false, the conclusion seems to be that there are mathematicians who believe impossible propositions. -/- Examples of apparent beliefs in impossible propositions outside of mathematics are also easy to come by. Consider, for example, Kripke’s (1999) story of the Frenchman Pierre who without realizing it has two different names ‘London’ and ‘Londres’ for the same city, London. After having arrived in London, Pierre may assent to ‘Londres is beautiful and London is not beautiful’ without being in any way irrational. It seems reasonably to infer from this that Pierre believes that Londres is beautiful and London is not beautiful. But since ‘Londres’ and ‘London’ are rigid designators for the same city, it seems to follow from this that Pierre believes the inconsistent proposition that we may express as ‘London is both beautiful and not beautiful’. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of (...) theories than those in current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

This book argues for the importance and commonness of reasonings concerning impossibilities. Its aim is twofold – descriptive and constructive. Since hypothetical reasoning about impossibilities calls for explanation, the book provides a comprehensive guide through popular semantic theories of conditionals. Each is examined from the perspective of the question of impossibilities and the logic and metaphysics surrounding them. This provides the ground for a further aim. In the final chapter, I endeavor to combine the best features of the existing theories (...) and explore the possibility of a novel hybrid account. (shrink)

The subject of this paper is the notion of similarity between the actual and impossible worlds. Many believe that this notion is governed by two rules. Ac-cording to the first rule, every non-trivial world is more similar to the actual world than the trivial world is. The second rule states that every possible world is more similar to the actual world than any impossible world is. The aim of this paper is to challenge both of these rules. (...) We argue that acceptance of the first rule leads to the claim that the rule ex contradictione sequitur quodlibet is invalid in classical logic. The second rule does not recognize the fact that objects might be similar to one an-other due to various features. (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.

In this treatise, I analyse the concepts of truth and impossibility, and then use a proof by cases method to show that truth is impossible. Since logic is the determination of how true ideas are, and truth is impossible, I proceed to establish a more optimal and comprehensive system called "anti-logic" that replaces logic. Anti-logic is everything logic is not (for instance, if logic is a finite system, then anti-logic is infinite). Developing this notion of anti-logic further, I (...) apply it to ethics, sociology, theology and much more, which allows for an effective guide to the world and to life. (shrink)

Recently, the United Kingdom Supreme Court decided that only natural persons can be considered inventors. A year before, the United States Court of Appeals for the Federal Circuit issued a similar decision. In fact, so have many the courts all over the world. This Article analyses these decisions, argues that the courts got it right, and finds that artificial inventorship is at odds with patent law doctrine, theory, and philosophy. The Article challenges the intellectual property (IP) post-humanists, exposing the analytical (...) and normative perils of their argumentation, and recommends against getting rid of the nominally central place of humans in the law. This response to IP post-humanism rests in equal measure on patent doctrine, legal causation, and the mythology which creates and justifies the law. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a (...) space of FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

Many things can be other than they are. Many other things cannot. But what are statements like these about? One answer to this question is that we are speaking of possible worlds: if something can be other than it is, then it actually is that way in some possible world. If something cannot be otherwise, it is not otherwise in any world. This answer is presently dominant in analytical philosophy of language and logic. What are these worlds? David (...) Lewis famously claimed that every world exists, just like ours does: there is no difference between the other worlds and ours. In contrast, the medieval thinker John Buridan understands modal logic in terms of objects and causal powers in this world: if something can be other than it is, then there is a causal power that can make it that way. If it cannot, then no causal power—not even God—can alter it, at least without destroying its nature. As we’ll see, the Lewisian plurality is not possible on Buridan’s account; accordingly, a basic tenet of classical theism is untenable on Lewis’s metaphysics. In short, either the Lewisian plurality is incoherent, or a core monotheistic tenet is impossible. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Within contemporary philosophical theology the doctrine of divine simplicity has regained attention. There are several new defenses of simplicity in the literature. One of the more surprising, and troubling, aspects of the contemporary defenses amongst Christian philosophers and theologians is a seeming lack of understanding about how radical the doctrine of divine simplicity truly is. As such, I wish to do a few things in this paper. First, systematically articulate the doctrine of divine simplicity. Second, argue that divine simplicity is (...) not a possible perfection. Third, offer some concluding remarks and remaining issues that will need to be sorted out for the debate over simplicity to continue. (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)

Assuming divine command theory is true, there are no moral limits on the commands God can issue. Nevertheless there are no possible worlds in which divine command theory is true and God commands cruelty for its own sake or the sacrifice of ten-year-olds in a gruesome ritual, or anything of the kind. The main conclusion of the argument is that God cannot command the morally horrible not because of God's moral perfection or God's lack of power, of God's kindness, (...) etc., but because commanding the morally horrible entails a contradiction. I show that the argument is an instance of a valid and uncontroversial counterfactual sequent. Divine command theory entails that there are commands that even an omnipotent and morally unconstrained being cannot issue. (shrink)

Abstract A fundamental error has dominated philosophy and science since ancient times, the assumption of the existence of the "unicom-world"—that is, the existence of one unique world. It is one of the oldest and most dominant paradigms in human thinking that has generated many pseudo-problems in philosophy and science. We can identify this thinking paradigm, the unicom-world, in the majority of myths, theological doctrines, philosophical approaches and scientific theories. In order to avoid this error, in Part I of this thesis, (...) I show that it is necessary to replace the unicom-world (in which all entities, such as Gods, minds, bodies, planets, tables and micro-particles have been placed all together) with "epistemologically different worlds" (which presuppose that each class of entities forms an epistemological different world). More than three centuries ago, Descartes was aware of the impossibility of solving an "anomaly" (the mind-body problem) but did not realize that the cause of this "mystery" is the unicom-world. The role of Kantian a priori constitutive elements (categories and pure intuitions) is extended to the epistemologically constitutive interactions among classes of epistemologically different entities that belong to epistemologically different worlds. The consequence of the existence of epistemologically different worlds is that the famous mind-body problem is a false problem or a pseudo-problem. In Part II, from the "epistemologically different worlds" perspective, I analyze notions from: (1) The philosophy of mind and cognitive science (the mind-body problem, emergence and reduction, mental causation and supervenience, levels, etc.) (2) The philosophy of science (Camap's linguistic frameworks, Quine's and Goodman's relativity, Friedman's relative constitutive a priori principles) and the science of the twentieth century (the relationship between Einstein's theory of relativity and quantum mechanics, complementarity and superposition, entanglement, nonlocality and nonseparability from quantum mechanics). -/- . (shrink)

Propositional contingentism is the thesis that there might have been propositions which might have not have been something. Serious actualism is the thesis that it is impossible for a property to be exemplified without there being something which exemplifies it. Both are popular. Likewise, the dominant view in the metaphysics of modality is that metaphysical possibility and necessity can be understood – in some sense – in terms of possible worlds, i.e. total ways the world could have been. (...) Here, I argue that, given some minimal assumptions, the conjunction of propositional contingentism and serious actualism entails that worlds are modally fragile – every world is ontologically dependent on every proposition. I then show that such a consequence is inconsistent with the claim that propositions true at all possible worlds are necessary. (shrink)

I will present and criticise the two theories of truthmaking David Armstrong offers us in Truth and Truthmakers (Armstrong 2004), show to what extent they are incompatible and identify troublemakers for both of them, a notorious – Factualism, the view that the world is a world of states of affairs – and a more recent one – the view that every predication is necessary. Factualism, combined with truthmaker necessitarianism – ‘truthmaking is necessitation’ – leads Armstrong to an all-embracing totality state (...) of affairs that necessitates not only everything that is the case but also everything else – that which is not the case, that which is merely possible or even impossible. All the things so dear to realists – rocks, natural properties, real persons – become mere abstractions from this ontological monster. The view that every predication is necessary does in some sense the opposite: it does away with totality states of affairs and, arguably, also with states of affairs. We have particulars and universals, partially identical and necessarily connected to everything else. Just by the existence of anything, everything is necessitated – the whole world mirrored in every monad. Faced with the choice between these two equally unappealing alternatives, I suggest returning to Armstrong’s more empiricist past: the world is not an all-inclusive One, nor necessitated by every single particular and every single universal, but a plurality of particulars and universals, interconnected by a contingent and internal relation of exemplification. While a close variant, truthmaker essentialism, can perhaps be saved, this means giving up on truthmaker necessitarianism. This, I think, what it takes to steer a clear empiricist course between the Scylla of Spinozist general factness and the Charybdis of a Leibnizian overdose of brute necessities. (shrink)

In the philosophy of artificial intelligence (AI) we are often warned of machines built with the best possible intentions, killing everyone on the planet and in some cases, everything in our light cone. At the same time, however, we are also told of the utopian worlds that could be created with just a single superintelligent mind. If we’re ever to live in that utopia (or just avoid dystopia) it’s necessary we solve the control problem. The control problem asks how (...) humans would be able to control an AI arbitrarily. Nick Bostrom and other AI researchers have proposed different theoretical solutions to the control problem. In this paper, I will not look at the empirical question of how to solve the control problem. Instead, I will ask if we can solve it at all, a critical assumption most AI researchers have made is that we can. I propose, in fact, that we have a priori grounds for believing it is logically impossible to solve the control problem, since all superintelligent minds are, by definition, uncontrollable. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or (...) another, violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

It is a reasonable worry that God would not truly love us and want our salvation if He fixed a definite point after which He will no longer offer us the graces to repent of our sins. I propose that Thomas Aquinas succeeds in showing us that God would not be cruel or arbitrary in setting up a world where embodied agents end up after death in a state where they will inevitably fail to repent of their sins. Aquinas proposes (...) that being disembodied is to be in a state where a person cannot be mistaken about what they want, given that they know themselves perfectly. If the disembodied state were like this, it would not be surprising that being in that state makes repentance impossible, since a soul would become fully integrated around whatever one desired, without any conflicting desires that could prompt repentance. Thus, humans would persist in whatever desires they had at the moment of death and disembodiment. I conclude by arguing that, while this scenario stands in need of fuller theodicy, Aquinas’ scenario is helpful in defending a view that God is not cruel or arbitrary for creating a world in which post-mortem repentance is impossible. (shrink)