In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to (...) deal with large bodies of information and a strong, but well motivated, assumption about the cognitive accessibility of meanings of sentences ersatzers seem to be implicitly committed to. It follows that linguistic ersatzism, possible world semantics, or both must be rejected. (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)

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)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

Dualism about possible worlds says that merely possible worlds aren’t concrete objects, but the actual world is concrete. This view seems to be the natural one for ersatzers about merely possible worlds to take; yet one is hard-pressed to find any defenders of it in contemporary modal metaphysics. The main reason is that Dualism struggles with the issue of how merely possible worlds could have been actual. I explain that there are two different Dualist strategies that (...) can be taken to address the problem. Furthermore, one or other of these strategies should be plausible to anyone who accepts both Existentialism—which tells us that the existence of singular propositions depends on what they directly refer to—and Serious Actualism—which tells us that things must exist in order to instantiate properties. Though it has long been ignored, Dualism is a live option. (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)

In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever comes out true. (...) This is so even if Yagisawa accepts a paraconsistent notion of logical consequence, on which contradictions do not entail arbitrary conclusions. The second argument is independent of Yagisawa’s acceptance of impossibilia. It shows that Yagisawa’s metaphysics of possible worlds is incoherent. Using ordinary modal reasoning, I derive a contradiction from Yagisawa’s account of possible worlds. (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future (...) contingents. They point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

Opponents of presentism have often argued that the presentist has difficulty in accounting for what makes true past-tensed propositions true in a way that is compatible with her metaphysical view of time and reality. The problem is quite general and concerns not only strong truth-maker principles, but also the requirement that truth be grounded in reality. In order to meet the challenge, presentists have proposed many peculiar present aspects of the world as grounds for truths concerning the past, such as (...) uninstantiated haecceities, Meinongian non-existents, ersatz times, and dispositional and distributional properties. The main problem with all such solutions is that any explanation of what grounds a TptP that involves the past is eo ipso a better explanation than any that involves only the present. Thus, the quest for an account of grounding for TptP that is compatible with the presentist ontology and ideology is doomed to be explanatorily deficient with respect to eternalism. In a recent article, Ben Caplan and David Sanson have claimed that presentists should change their strategy and, rather than seeking for exotic grounds for TptP, should adopt a more liberal view of explanation. That is, they should allow themselves to resort to “past directed” explanations, even if they do not accept the past in their ontology and ideology. I argue that such a proposal is not compatible with the tenet that there is a substantial distinction between the ideology of such a version of presentism and that of eternalism. Therefore, the presentist cannot endorse such “deflationist” explanations as an easy way out to the problem of the grounding of TptP. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his (...) methodology reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

This essay examines the case for relativism about future contingents in light of a distinction between two ways of interpreting the ‘branching time’ framework. Focussing on MacFarlane (2014), we break the argument for relativism down into two steps. The first step is an argument for something MacFarlane calls the "Non-Determination Thesis", which is essentially the view that there is no unique actual future. The second step is an argument from the Non-Determination Thesis to relativism. I first argue that first step (...) of this argument fails. But despite that result, the second step is still of interest, since many philosophers have maintained something like the Non-Determination Thesis on alternative grounds. I then argue that whether the second step of the argument suc- ceeds depends on how the Non-Determination Thesis is motivated, and how the ‘branching time’ framework is interpreted in light of that moti- vation. If the branches in an intended branching time model are ersatz possible worlds, then the argument for relativism might go through; but if, instead, the branches are concrete parts of a ‘branching multiverse’, then the argument for relativism turns out to make implausible assumptions about the nature of personal identity over time. That argument can thus be rejected by rejecting those assumptions. One upshot of this is that the case for relativism about future contingents is much weaker than has been appreciated; a broader lesson is that philosophers who invoke the branching time framework need to pay close attention to different ways of interpreting it. (shrink)

Presentists argue that only present entities exist absolutely and unrestrictedly. Presentism, which itself is a temporal analog of the modal doctrine of actualism, is an ontological idea about time and existence against theories such as eternalism, possibilism, and growing block theory. Thus, presentists deny the existence of atemporal or timeless entities and describe presentism as a version of the (A-theory), which makes a difference between present, past, and future. Also, presentists are not able to ontologically, justify the existence of some (...) entities such as Socrates and the year 3000 in the past and the future and the relations involving non-present objects like ‘Abraham Lincoln was taller than Napoleon Bonaparte’. However, presentism is altered via the addition of an abstract four-dimensional manifold of ersatz time, which is a type of (B-theory) series, to identify all ontological entities and justify the dynamic world. This inquiry is an attempt to put a completely different perspective on presentism and, the result obtained that despite the new conceptualization of time, there is an inconsistency between time and being in presentism. Therefore, presentists have failed to determine the ontological identification of cross-temporal relations, reference and propositions, and truth-makers. Also, whatever the final outcome of the debate between presentism and other views is significantly eternalism, according to ersatz presentism, it is hard to make sense of the idea that things change from one moment to the next. (shrink)

Universal health coverage (UHC) is at the center of current efforts to strengthen health systems and improve the level and distribution of health and health services. This document is the final report of the WHO Consultative Group on Equity and Universal Health Coverage. The report addresses the key issues of fairness and equity that arise on the path to UHC. As such, the report is relevant for every actor that affects that path and governments in particular, as they are in (...) charge of overseeing and guiding the progress toward UHC. (shrink)

This paper develops four proposals for explicating the notion of an ersatz part. It then evaluates each proposal with respect to a number of jobs for which ersatz parts are posited. We argue that each of the four notions of ersatz parthood do better with respect to some jobs, and worse with respect to others. Thus, we think, it’s horses for courses: which notion of ersatz part one chooses will be sensitive to which metaphysical project one (...) is pursuing. (shrink)

I propose a view that I call "Ersatz Metaphysical Vagueness" according to which the term "perfectly natural" can be semantically vague. As its name suggests, the view mimics traditional metaphysical vagueness without the radical metaphysical underpinnings. In particular, the ersatzer avoids a widely accepted argument schema (advanced by JRG Williams, Ted Sider, Cian Dorr, John Hawthorne and others) according to which, if there is no metaphysical vagueness, F-ness cannot be both perfectly natural and vague.

This paper is about a problem that can arise when we try to harness the “wisdom of the crowd” from groups comprised of individuals who exhibit a certain kind of epistemic humility in the way they respond to testimonial evidence. I begin by setting out the problem and then make some initial steps toward solving it. The solution I develop is tentative and may not apply in all circumstances, but it promises to alleviate what seems to me to be a (...) problem of both theoretical interest and practical importance. (shrink)

The first of three lectures on nominal and modal discourse reference across languages (IMS, Stuttgart, 2000).

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)

Language is the main resource for meaningful action, including the very formation of selves and psychosocial identities, shaped by practical norms, beliefs, and values. Thus, language education constitutes one of the most powerful means for both social reproduction and social production and ideological maintenance and utopian innovation. In this paper, we attempt to emphasise the invaluable psychosocial, political, economic, and cultural function of language education in order to propose a critical view of the current transition from the monolingual to a (...) multilingual paradigm. We maintain that multilingual approaches tend to serve the neoliberal framework and reproduce its systemic inequalities. Therefore, we argue in favour of emancipatory multilingual practices that could embody a translingual pedagogy capable of promoting the development of capabilities, the recognition of otherness, and the cultivation of diversity. Rooted in critical theory, namely in Foucault’s notion of subjectification and Freire’s view of conscientisation, an emancipatory translingual pedagogy would enable and empower every learner to synthesise a contextually creative field of new semantic and pragmatic relationships. Critical language education would enhance the ethos of biophilia that fosters what we term the poetics of communality and selfhood, that is to say, the proactive commitment to expanding symbolic and existential novelty. (shrink)

In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...) have since become popular, largely due to the influence of Kripke. In the 1950’s modal logicians responded to Quine’s challenge by providing quantified modal logic with model-theoretic semantics of various types. In doing so they also, explicitly or implicitly addressed Quine’s interpretation problem. Here I shall consider the approaches developed by Carnap in the late 1940’s, and by Kanger, Hintikka, Montague, and Kripke in the 1950’s, and discuss to what extent these approaches were successful in meeting Quine’s doubts about the intelligibility of quantified modal logic. (shrink)

The aim of this essay is to review Friedrich Nietzsche's "The Gay Science" in English Translation. It compares and contrasts the translations by Thomas Common, Walter Kaufmann, Josefine Nauckhoff, and R. Kevin Hill. First, I argue in favor of translating the work's title "Die Fröhliche Wissenschaft" as "The Gay Science" or perhaps more precisely as "The Gay Knowledge". Nietzsche who is likely the greatest stylist in the German language wrote with philological precision and succinctness. This exactitude and awareness of the (...) shaping influence of linguistic means on the contents expressed therefore needs to be reflected throughout in any kind of rendition of Nietzsche's artful texts and the evaluation and assessment thereof. (shrink)

In 2006 we awoke, in Europe at least, to the odd situation in which twitchers – obsessive birdwatchers who spend much of their leisure time on the far-flung edges of countries – are being reinvented as the eyes and ears of the state, helping warn of new border incursions. These incursions are posited as taking an avian form that may bring with it very unwelcome pathogens. Everyday avian observations and knowledges of migratory routes are being reinvented as a kind of (...) border patrol, a first line of veterinary surveillance. (shrink)

In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – (...) that there are irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (shrink)

There are at least three dimensions to rights. We may have and lack freedom to 1) be, 2) do, and 3) have. These dimensions reformulate Locke’s categories, and are further complicated by placing them within the context of domains such as natural or civil rights. Here the question of the origins of rights is not addressed, but issues concerning how we may contextualize them are discussed. Within the framework developed, this paper makes use of Actor-Network Theory and Enlightenment values to (...) examine the multidimensionality and appropriateness of animal rights and human rights for posthumans. The core position here is that rights may be universal and constant, but they can only be accessed within a matrix of relative cultural dimensions. This will be true for posthumans, and their rights will be relative to human rights and dependent on human and posthuman responsibilities. (shrink)

Firstly, the "Metaverse" possesses two distinctive features, "thickness" and "imagination," promising the public a structure of unknown scenarios but with unclear definitions. Attempts to establish an open framework through incompleteness, however, fail to facilitate interactions between humans and the scenario. Due to the dilemma of "digital twinning," the "Metaverse" cannot be realized as "another universe". Hence, the "Metaverse" is, in fact, only a virtual experiential territory created by aggregating technologies that offer immersion and interactivity. Secondly, when artificial intelligence serves as (...) a key supporting technology for the "Metaverse," it presents multifaceted existential risks, manifested as safety, cognitive, and ethical dilemmas. Finally, we propose that the framework for responsible "Metaverse" governance should be constructed through three pathways: collective responsibility, realism, and the co-governance of the virtual and real. (shrink)

The World Trade Organization (WTO) is a multilateral trade organization that, at least partially, governs trade relations between its member states. The WTO (2011a) proclaims that its “overriding objective is to help trade flow smoothly, freely, fairly and predictably.” The WTO is a “treaty-based” organization – it has been constituted through an agreed, legally binding treaty made up of more than 30 articles, along with additional commitments by some members in specific areas. At present, 153 states are members of the (...) WTO, which collectively make up over 97 percent of all trade worldwide (WTO 2011b). Together, the WTO treaty specifies the rights and obligations of its member states. To become a member of the WTO, a state must treat the agreement as a “single undertaking.” Members cannot choose à la carte which agreements – for example, regarding tariffs, or trade in services or intellectual property – they want to accede to and which they do not. Instead, they must take on the obligations of the agreement in toto. The WTO is one of the most consequential governance institutions in the world, a lodestar of political debate about globalization (see globalization), attracting increased interest from moral and political philosophers in recent years (James 2006; Moellendorf 2005; Risse 2007; Brock 2009). (shrink)

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)

Abstract: Being-in-the-world defines in Heidegger an ontological and practical existential situation that in a first approach characterizes intellectual knowledge, an approach related to the Husserlian notion of intentionality. In his Curso de teoría del conocimiento, Polo rectifies this characterization, stressing the primacy of theory regarding action, and interpreting the practical (technical) relationship with the world as a lower level of “having”. Making some comparisons between Husserl, Scheler and Jonas, in connection with Polo’s thought, the article presents different accounts of the (...) notion of the world (phenomenological, metaphysical, moral) that allow to clarify the problem of the relationship between contemplation and action in the world. (shrink)

This is a copy of the presentation given at the "Workshop on Agency and Distributed Cognition" at Macquarie University, March 2012. What is noteworthy about this piece of work is that (i) it is a very early foray into the pedagogy, ontology, and epistemology of virtual worlds (it's 2012, way before David Chalmers' book "Reality+" in 2022); and (ii) it was my first foray into "social epistemology" beyond the standard "S knows that p" epistemology, drawing on Vygotskian collaborative approaches (...) to learning and teaching, moving beyond analytic philosophy into educational research. Finally, (iii) there's a hyperlink to the actual virtual world in Unity3D created by a cross-disciplinary team of researchers from Sydney University and Macquarie University for the purposes of teaching scientific inquiry. (shrink)

This paper reports on an ongoing ARC Discovery Project that is conducting design research into learning in collaborative virtual worlds (CVW).The paper will describe three design components of the project: (a) pedagogical design, (b)technical and graphics design, and (c) learning research design. The perspectives of each design team will be discussed and how the three teams worked together to produce the CVW. The development of productive failure learning activities for the CVW will be discussed and there will be an (...) interactive demonstration of the project's CVW. (shrink)

This study aims to evaluate whether the idea of ultimate reality in world religions contributes to the characteristics of the world religion paradigm, which is hierarchical cosmology or “subject-object cosmology.” Several research on this topic claims that one of the characteristics of the world religion paradigm is its hierarchical perspective. Discussing this issue is important to distinguish the world religions as the paradigm and the world religions as the most widely embraced religion. This study argues that the hierarchical perspective of (...) the world religion paradigm can be rooted in the idea of ultimate reality, that there is a supreme, foremost, and most principal reality in the continuity of this universe, namely the supernatural or God. The hierarchical cosmology consists of three main domains: supernatural/God, culture/human, and nature. This study uses a literature study methodology, relying on books, journals, and texts related to research questions. This study finds that the world religion paradigm or hierarchical cosmology or “subject-object cosmology” is prominent, especially in Abrahamic religions such as Islam, Christianity, and Judaism, even though the concept of ultimate reality in these three religions is different. (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 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)

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)

The discussion of the possibility of world government has been revived since the end of the Cold War and particularly after the turn of the millennium. It has engaged many authors. In this article, I provide a survey of the continuing debate on world government. I explore the leading question of the debate, whether the conditions of insecurity in which states are placed and other global problems that face contemporary humanity require the creation of a global authority, and consequently, the (...) establishment of a world state. After a careful analysis I suggest that a world state is neither necessary nor inevitable nor desirable. I argue that the plurality of nation-states that form an international society has a great advantage over a world state. It supports the diversity of character and culture, and sustains the continuous progress of humankind. (shrink)

l argue that, contra Chalmers,a skeptical scenario involving deception is a genuine possibility,even if he is correct that simulations are real. I call this new skeptical position “Illusory World Skepticism.” Illusory World Skepticism draws from the simulation argument,together with work in physics,astrobiology, and AI,to argue that we may indeed be in an illusory world—a universe scale simulation orchestrated by a deceptive AI—the technophilosopher’s ultimate evil demon. In Section One I urge that Illusory World Skepticism is a bone fide skeptical possibility. (...) In Section Two, I explore features of quantum computation. Then, in Sections Three and Four, I draw from the discussion of quantum computation and assume that the simulation argument is correct,applying considerations from the fields of astrobiology and AI safety to illustrate that illusory world skepticism constitutes what I call “a serious epistemic threat”, a scenario that cannot be dismissed as requiring that knowledge is certainty or which seems to just depict a remote, fictional situation. (shrink)

"Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...) it doesn't have three sides. Why did Lewis have such obviously wrong views? Because, like so many of his contemporaries, he failed to grasp the truth that it is the purpose of the present paper to demonstrate, to wit: No coherent doctrine assumes that statements about possible worlds are anything other than statements about the dependence-relations governing our world. The negation of this proposition has a number of obviously false consequences, for example: all true propositions are necessarily true (there is no modal difference between "2+2=4" and "Socrates was bald"); all modal terms (e.g. "possible," "necessary") are infinitely ambiguous; there is no difference between laws of nature (e.g. "metal expands when heated") and accidental generalizations (e.g. "all of the coins in my pocket are quarters"); and there is no difference between the belief that 1+1=2 and the belief that arithmetic is incomplete. Given that possible worlds are identical with mathematical models, it follows that the concept of model-theoretic entailment is useless in the way of understanding how inferences are drawn or how they should be drawn. Given that the concept of formal-entailment is equally useless in these respects, it follows that philosophers and mathematicians have simply failed to shed any light on the nature of the consequence-relation. Q's being either a formal or a model-theoretic consequence of P is parasitic on its bearing some third, still unidentified relation to P; and until this relation has been identified, the discipline of philosophical logic has yet to begin. (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)

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 (...) class='Hi'>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)

In this paper I will draw attention to an important route to external world skepticism, which I will call confidence skepticism. I will argue that we can defang confidence skepticism (though not a meeker ‘argument from might’ which has got some attention in the 20th century literature on external world skepticism) by adopting a partially psychologistic answer to the problem of priors. And I will argue that certain recent work in the epistemology of mathematics and logic provides independent support for (...) such psychologism. (shrink)

Theorists who advocate worldly (metaphysical or ontological) indeterminacy—the idea that the world itself is indeterminate in one or more respects—should address how we understand the signifying nature and function of language in light of worldly indeterminacy. I first attend to Sengzhao and Jizang, two leading thinkers in Chinese Sanlun Buddhism, to reconstruct a Chinese Madhyamaka notion of ontic indeterminacy. Then, I draw on the thinkers’ views to propose a provisional (non-definitive) understanding of the nature and use of language. Under this (...) understanding, an expression signifying a thing is provisional in that the expression connotes no determinate feature of the thing. (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)

Anorexia Nervosa (AN) is an eating disorder characterised by self-starvation. Accounts of AN typically frame the disorder in individualistic terms: e.g., genetic predisposition, perceptual disturbances of body size and shape, experiential bodily disturbances. Without disputing the role these factors may play in developing AN, we instead draw attention to the way disordered eating practices in AN are actively supported by others. Specifically, we consider how Pro-Anorexia (ProAna) websites—which provide support and solidarity, tips, motivational content, a sense of community, and understanding (...) to individuals with AN—help drive and maintain AN practices. We use C. Thi Nguyen’s work on epistemic “echo chambers”, along with Maria Lugones’ work on “worlds” and “ease”, to explore the dynamics of these processes. Adopting this broader temporal and intersubjective perspective, we argue, not only helps to further illuminate the experiential character of AN but also has important clinical and therapeutic significance. (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.

Truthmaker says that things, broadly construed, are the ontological grounds of truth and, therefore, that things make truths true. Recently, there have been a number of arguments purporting to show that if one embraces Truthmaker, then one ought to embrace Truthmaker Maximalism—the view that all non-analytic propositions have truthmakers. But then if one embraces Truthmaker, one ought to think that negative existentials have truthmakers. I argue that this is false. I begin by arguing that recent attempts by Ross Cameron and (...) Jonathan Schaffer to provide negative existentials with truthmakers fail. I then argue that the conditional—if one embraces Truthmaker, the one ought to embrace Truthmaker Maximalism—is false by considering worlds where very little, if anything at all, exists. The conclusion is that thinking that negative existentials do not have truthmakers, and therefore rejecting Truthmaker Maximalism, need not worry Truthmaker embracers. (shrink)

I propose an account of possible worlds. According to the account, possible worlds are pluralities of sentences in an extremely large language. This account avoids a problem, relating to the total number of possible worlds, that other accounts face. And it has several additional benefits.