Possible Worlds

The rigor and precision of Leibniz's "possible world" evolved into the concept of Turing machine, and with the birth of the first computer and the physical realization of Turing machine, human cognitive and intelligent activities were optimistically considered by cognitive scientists to be convertible into computational programs for simulation by machines. Cognitive science then formed the research agenda of "cognitive computationalism", and our Chinese scholars have responded to this general view that "the essence of cognition is computation" and that the (...) human brain and computers are merely formal systems for manipulating and processing symbols in their respective fields. Professor Hong Dingguo used the concepts of "manifest order" and "hidden order", Professor Jin Gulun used the philosophical categories of "constitutive theory" and "generative theory", and Liu Yuesheng used the concept of "cognition". Professor Hong Dingguo reinterpreted the relationship between the "real world" and the "possible world" by using the concepts of "manifest sequence" and "hidden sequence", Professor Jin Wulun used the philosophical categories of "composition theory" and "generation theory", and Professor Liu Yuesheng used the generalized information paradigm of "structural information" and "exchange information". "This provides a profound elucidation of the nature of cognitive logic and the process of human cognitive activities becoming symbols through coding and puts forward theoretical limits. The current theoretical dilemma and practical difficulty of cognitive science lies in the fact that it has developed algorithmic concepts in the Turing sense that can only model the explicitly sequential part of cognitive and intellectual activity, forming a constitutive atomic abstraction, or in our terms, classical "structural information", which cannot fully explain the inner mechanisms of human mental activity and its embodied flexibility, selectivity and self-emergence. Wu Xuemou's pan-system theory does not simply rely on logic and Turing machine algorithms, but models human intelligence by treating structural information as a complex large system composed of a collection of elements and a collection of relations (exchange information: five mutual eight chips), in order to break through the narrow path of seeking only the local consistency of the system as currently done; while Wang Dekui's exploration of the three-spin biological and physical path and Huang Zhanji's abandonment of the artificial means of logic to seek the large logical natural mechanisms and Mr. Zhou Liquan's proposal of a schema for successful communication using natural language on the basis of concepts such as context and implicit connotation ("Logic — A Theory of Correct Thinking and Successful Communication"), all reflect the milestones of Chinese scholars who seek to address the deeper issues of cognitive science. We believe that along this series of explorations, combined with new results in recent years in the fields of artificial life and evolutionary computation, a new research agenda in cognitive science will emerge. (shrink)

It is essential to analyze the state, significance, and issues of the Metaverse as a possible world from an ontological perspective. The Metaverse is an on going ontological event. Despite its status as a possible world beyond the real world, its actors are still human beings from the real world. It is thus impossible for the Metaverse to transcend the fundamental problems of human life, as the issues of politics, capital, and ideology still take place in a recursive manner. Therefore, (...) the Metaverse does not have its own independent ontology, but shares the ontology of the real world. To conclude, the Metaverse may change people's lives, but not ontology. (shrink)

Luiz Henrique Lopes dos Santos, em seu texto sobre "Leibniz e a questão dos futuros contingentes”, argumenta em favor de seu diagnóstico segundo o qual, no fundo, a principal diferença entre as doutrinas de Espinosa e Leibniz reside no fato de que o primeiro, diferentemente do segundo, não sabia lógica. Este texto procura objetar à sua posição, respondendo às críticas do autor à posição de Espinosa quanto à liberdade divina. Procurarei mostrar que, sob o aspecto preciso da articulação aí estabelecida (...) entre a distinção vontade/entendimento e a questão dos possíveis jamais realizados, ela não poderia estar disponível para a metafísica de Espinosa, não por ele ter ignorado um princípio básico da lógica modal, como alega o autor, mas porque ele compreende diferentemente o estatuto ontológico da unidade das coisas individuais e, portanto, dos agentes humanos. (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)

Pluralists believe in the occurrence of numerically distinct spatiotemporal coincident objects. They argue that there are coincident objects that share all physical and spatiotemporal properties and relations; nevertheless, they differ in terms of modal and some other profiles. Appealing to the grounding problem according to which nothing can ground the modal differences between coincident objects, monists reject the occurrence of coincident objects. In the first part of this paper, I attempt to show that the dispute between monists and pluralists cannot (...) be settled based upon the grounding problem tout court. I argue that the grounding problem or a very similar problem is a challenge for all monists and pluralists alike if they are ontologically committed to the existence of composite objects as independent entities. In the final part, adopting the Aristotelian account of essence, I propose a solution that enables pluralists to plausibly ground modal differences between coincident objects. (shrink)

The philosophical question of nothingness has often been controversial. The main core of the question is the use of ‘nothing’ or ‘nothingness’ as a noun phrase rather than a quantifier phrase. This work deals with the question of nothingness and metaphysical nihilism in analytic philosophy. After evaluating an account of nothingness based on the notion of an empty possible world, the present work proposes two original arguments for metaphysical nihilism. With a preface by Graham Priest. -/- “Simionato’s book delivers a (...) welcome deepening of our understanding of nothing.” Graham Priest. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

The Centred View offers an account of the connection between imagination and possibility that combines the centred world framework with some allegedly appealing intuitions regarding our persistence over time. In particular, Dilip Ninan suggests that the Centred View has the theoretical advantage of respecting our intuitions about cases of personal identity in certain imaginative scenarios while also being compatible with physicalism. Unfortunately, the Centred View faces a series of serious objections and should ultimately be rejected.

An analysis of Scripture uncovers a new model of God’s election and predestination of souls, which fits under the umbrella of the Calvinist theologies, but where this model involves an answer to the long-standing question of why God chose some, rather than all. It will be explored how before souls were elected (or condemned), God looked at them and knew them in a pre-election state, which God used to predestine each soul in physical reality. This analysis reveals why it could (...) be no other way but where God only would choose some, rather than all souls during the physical embodiment stage of the soul, and the vexing centuries-old Calvinist question of why God elected some not all has an answer. (shrink)

In this paper, I discuss a connection between quidditism and the Lewisian principle of recombination. I begin by reconstructing a typical characterisation of a Lewisian principle of recombination, followed by an explanation of quidditism. In the remainder, I argue that a proponent of a Lewisian principle of recombination cannot endorse quidditism without some important modifications of her view.

David Kaplan observed in Kaplan that the principle \\) cannot be verified at a world in a standard possible worlds model for a quantified bimodal propositional language. This raises a puzzle for certain interpretations of the operator Q: it seems that some proposition p is such that is not possible to query p, and p alone. On the other hand, Arthur Prior had observed in Prior that on pain of contradiction, ∀p is Q only if one true proposition is Q (...) and one false proposition is Q. The two observations are related: ∀p is elusive in that it is not possible for the proposition to be uniquely Q. Kaplan based his model-theoretic observation on Cantor’s theorem, but there is a less well-known link between this simple set-theoretic observation and Prior’s remark. We generalize the link to develop a heuristic designed to move from Cantor’s theorem to the observation that a variety of sentences of the bimodal language express propositions that cannot be Q uniquely. We highlight the analogy between some of these results and some set-theoretic antinomies and suggest that the phenomenon is richer than one may have anticipated. (shrink)

The grounding problem is related to the puzzle of numerically distinct spatiotemporally coincident objects. Suppose Lumpl –a lump of clay– and Goliath – the statue – are created and later destroyed, simultaneously. They would share all of their physical and spatiotemporal properties and relations. But, Goliath and Lumpl have different modal and sortal properties, which would suggest they are distinct entities, while at the same time entirely co-located. This issue creates a puzzle and raises the question of how two distinct (...) objects can be entirely colocated. Thus, on the one hand, monists (opponents of coincident objects) argue that even though we have given that thing two different names, we should keep in mind that Lumpl and Goliath, for as long as they exist, are entirely similar in terms of their physical and spatiotemporal structures. On the other hand, however, the lump and the statue have different properties. So, pluralists claim that based on Leibniz‘s law, Lumpl and Goliath would be distinct coincident objects. Monists have challenged the possibility and plausibility of the occurrence of coincident objects by the grounding problem: they think that if we accept pluralism, we have to deal with the thorny problem of what grounds the alleged modal differences between Lumpl and Goliath, given that they are similar in all their physical and spatiotemporal aspects. Some monists suspect that pluralists will not be able to find plausible grounds by means of which to explain Lumpl and Goliath‘s modal (and other) differences, and therefore conclude that the grounding problem is a compelling reason to reject pluralism as an untenable approach towards the puzzle of coincident objects. In this thesis, I attempt to show that the grounding problem, contrary to the false advertisement of some monists, does not seriously threaten the possibility and plausibility of the pluralism concerning the existence of numerically distinct spatiotemporally coincident objects. Underlining the plausibility and possibility of the pluralists‘ position, I specify most parts of this thesis as an investigation into how the grounding problem can be solved in support of pluralism. Various solutions to this problem have been proposed by pluralists from different standpoints. In general, most of these significant solutions, based upon general strategies they follow, can be classified into these two categories: the solutions which appeal to the supervenience relations (supervenience-based solutions), and the solutions which take primitivist approaches (primitivist strategies). My research proposes to take up the validity of the aforementioned strategies, and I assess them in relation to the pluralists‘ ability to solve the grounding problem. I argue that both supervenience-based solutions and the some of primitivist strategies – including the modal plenitude, sortal, and identity-based primitivism – are not winning strategies to settle the grounding problem. Considering the point mentioned, I put forward a new account of the primitivist solution to the grounding problem based on the Aristotelian notion of essence which I call ‗essential primitivism‘. I argue that the primitive essences of coincident objects can properly ground the modal and sortal properties making coincident objects distinct. (shrink)

The Nature of Contingency: Quantum Physics as Modal Realism. By Wilson Alastair.

This article explores Karl Rahner’s conception of the “Liturgy of the World” in light of the theme for the 2019 Annual Convention of the Catholic Theological Society of America, “Another World is Possible: Violence, Resistance and Transformation.” Employing Rahner’s hermeneutics of worship, violence can be conceived as a denial of this cosmic liturgy, transformation as conversion to it, and resistance as the stance opposing the denial. Resistance entails solidarity with all humanity in liturgical participation and in action for social justice. (...) Metz’s political-theological critique of Rahner, with assistance from Bruce Morrill’s analysis of Metz’s work for liturgical theology, and Rahner’s reference to Teilhard’s “Cosmic Mass,” taken today in light of contemporary cosmology with assistance from Roger Haight’s non-dualistic approach to models of God, are among the implications to be considered for engaging Rahner’s vision in ongoing efforts at liturgical renewal. (shrink)

Possible-worlds semantics proved itself as a strong tool in analysing the statements of actuality, possibility, contingency and necessity. But impossible phenomena go beyond the expressive power of the apparatus. The proponents of possible-worlds apparatus thus owe us at least three stories. The first one is the story about ontological nature of possible worlds, the second one is the story about the theoretical role such entities play and the third one is the story about the impossible. Modal Realism (MR) provides us (...) with a positive story regarding the first and the second, but denies impossible worlds. Extended Modal Realism (EMR) adds a positive story about the third point too. This book is an attempt to paraphrase extended modal realism in different metaphysical frameworks. In Chapter I, I outline the theory of modal realism, its systematic account of modality and its ontological commitments. I also motivate an impossible-worlds discourse as well as a systematic appeal of extending the picture beyond the possible. I then propose several definitions of the concept of ‘impossible world’ (or impossible possible world). Finally, I discuss a particular metaphysics behind the concept - extended modal realism. Chapter II considers the epistemological worry associated with (MR) and (EMR) and concludes that although the worry is justified, there can be epistemological justification of the theory. Next, I outline the so-called indispensability argument for the legitimacy of mathematical Platonism. Finally, I argue that the argument, if accepted, can be applied to metaphysics in general, to the existence of concrete possibilia (and impossibilia) in particular. Chapter III focuses on the analysis of (EMR). To be more precise, I present a so-called advanced modalizing problem which seems to be infecting every genuinely realistic theory of modality. In this chapter, I propose a way of treating extraordinary modal claims by means of plurality of logical spaces. The next three chapters provide different ways of understanding (EMR). Namely, Chapter IV develops and defends Extended Modal Dimensionalism (EMD). (EMD) is realism about spaces, times and worlds—metaphysical indices that make objects spatial, temporal and modal, respectively. Metaphysical indices play the role of alethic relativisers, i.e. items to which matters of truth are relativized. The chapter examines several arguments against modal dimensionalism and shows that it offers a feasible way to understand (EMR). Chapter V offers a structural approach to possible and impossible worlds: Extended Modal Structuralism (EMS). In particular, I consider whether it makes sense to think of logical models in isolation from the concrete world but without their being divorced from all spatiotemporal totalities. The metaphysics of structure developed in this chapter assumes that structural properties of possible and impossible worlds are primitive and objective. However, I provide some characterisations of their logical and metaphysical behaviour, as well as guidelines for talking about them. Finally, Chapter VI proposes yet another metaphysical framework of hybrid modal realism. I present theories of (MR), (EMR) and modal fictionalism respectively, their advantages and drawbacks. Finally, I propose a so-called hybrid view. Roughly, the view is that one might be a modal realist when it comes to possibilia, but turn into fictionalism regarding impossibilia. The approach is dubbed Extended Modal Fictionalism (EMF) a version of fictionalism according to which claims made within a certain discourse are better to be understood as a sort of ‘fiction’, rather than as a literal truth. (shrink)

The paper is a survey of contemporary quidditism, understood as two interrelated metaphysicalpositions — recombinatorial quidditism, which is an account of the nature of possibilities, andindividuation quidditism, which is concerned with the problem of how to individuate properties.I have three aims: to examine the commitments and consequences of both views, to investigatethe relationships between them, and to sketch the logic of the dispute between structuralism andquidditism. I explain how these views relate to Ramseyan humility, according to which we cannotknow the (...) fundamental structure of the world. (shrink)

Is reality the basis of everything or has reality itself an other basis? What makes reality – not the real things – to be active, to exist? The question of what is real seems to be an easy question, because in our daily lives we are and must be naive realists. We ourselves, the things around us, the world, the facts, all that is real. there must be several concepts of reality if we want to say that not only physical (...) or material things of everyday life are real, e. g. numbers, π, Dr. Faustus, thoughts, emotions and other things. On the other hand, given the difference of classical physics and modern physics, we see that even that form of knowledge, which seems to be most responsible for reality, natural science, cannot give the desired uniqueness in terms of what itself wants or needs to understand as real. Alternatively, when we see that nothing can be and nothing can be real without being in a world, and when we understand the world as the order of things, which I call worldI , then this leads us to the speculative answer that it is exactly the “unreal” worldI which is the reason why the everyday reality, worldI I , is real. The worldI is the basis for the reality of our empirical worldI I . The considerations presented here have nothing to do with the idealistic conception of possibility, founded in the power of the subject, nor with the existential concept of potentiality, founded in the Entwurf des Daseins. (shrink)

Pavel Tichy originally published his interesting conception of possible worlds in 1968. Even though he modified it over the following twenty five years, its core remained unchanged. None of his thirty journal papers or books containing the notion of possible worlds was a study in metaphysics, Tichy (and most of his followers) always introduced the notion in the context of other investigations where he applied his Transparent intensional logic either to the semantic analysis of natural language or explications of other (...) notions. Tichy presented his conceptions using rather short descriptions occurring on a number of places; his proposal appears not only fragmentary but also somehow incoherent. The main contribution of this paper is thus not only a complete survey of Tichy's development of his conception but also a certain completion of the very proposal. (shrink)

This paper is about avoiding commitment to an ontology of possible worlds with two primitives: a hyperintensional connective like ‘in virtue of’, and primitive quantification into predicate position. I argue that these tools (which some believe can be independently motivated) render dispensable the ontology of possible worlds needed by traditional anaylses of modality. They also shed new light on the notion of truth-at-a-world.

A standard conception of metaphysical modality accepts that Some de re modal claims are true, These should be understood in terms of a possible worlds semantics, and There is trans-world identity. For instance, it seems true that Humphrey could have won the election. In possible worlds speak, we say that there exists a possible world where Humphrey wins the election. Furthermore, had that possibility been actualized instead of this one, Humphrey—our Humphrey, the very same man—would still have existed. Here, I (...) argue that this way of understanding de re modal claims, in conjunction with certain other plausible assumptions, entails that The World is a necessary being. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...) all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

Essay on philosophical problems with police sting operations and the legal doctrine of entrapment.

This note points out a conflict between some common intuitions about metaphysical possibility. On the one hand, it is appealing to deny that there are robust counterfactuals about how various physically impossible substances would interact with the matter that exists at our world. On the other hand, our intuitions about how concepts like MOUNTAIN apply at other metaphysically possible worlds seem to presuppose facts about ‘solidity’ which cash out in terms of these counterfactuals. I consider several simple attempts to resolve (...) this conflict and note they all fall short. (shrink)

In the book, I provide an account of what it is for an agent to have an ability. According to the Success View, abilities are all about success across possible situations. In developing and applying the view, the book elucidates the relation between abilities on the one hand and possibility, counterfactuals, and dispositions on the other; it sheds light on the distinction between general and specific abilities; it offers an understanding of degrees of abilities; it explains which role intentions and (...) performances play for the having of an ability, how abilities relate to success and failure, and gives an outlook at how the view might be applied to the free will debate and time travel. (shrink)

Considering the importance of possible-world semantics for modal logic and for current debates in the philosophy of modality, a phenomenologist may want to ask whether it makes sense to speak of “possible worlds” in phenomenology. The answer will depend on how "possible worlds" are to be interpreted. As that latter question is the subject of the debate about possibilism and actualism in contemporary modal metaphysics, my aim in this paper is to get a better grip on the former question by (...) exploring a Husserlian stance towards this debate. I will argue that the phenomenologist’s way to deal with the problem of intentional reference to mere possibilia is analogous to the actualist’s idea of how “possible worlds” are to be interpreted. Nevertheless, I will be pointing to a decisive difference in the metaphilosophical preconditions of what I call "phenomenological actualism" and analytical versions of actualism. (shrink)

Many widely divergent accounts of luck have been offered or employed in discussing an equally wide range of philosophical topics. We should, then, expect to find some unified philosophical conception of luck of which moral luck, epistemic luck, and luck egalitarianism are species. One of the attempts to provide such an account is that offered by Duncan Pritchard, which he refers to as the modal account. This view commits us to calling an event lucky when it obtains in this world, (...) but fails to obtain in a wide class of nearby possible worlds. In support of this account, Pritchard argues that a theory of luck ought to capture the fact that luck comes in degrees and that luck is closely associated with risk. I argue against this claim by suggesting that an understanding of luck grounded in considerations of probability is better able to satisfy these demands, and that the probability theory better explains exemplary cases of luck like those brought up by Pritchard. (shrink)

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

Based on a critical account of the dominant concept of theory, the paper presents an alterna-tive, wider notion of theory. It is motivated by the need to cope with a contingent research subject and the assumption that IS should provide an orientation for managing the digital transfor-mation. Unlike neo-positivistic notions of theory, the proposed conception is not restricted to de-scriptions of the factual, but may be aimed at de-signing possible future worlds. Conceiving of possible future worlds requires overcoming the barriers (...) created by language that constitutes our idea of the present world. The paper discusses the resulting methodological challenges and outlines how they might be addressed. (shrink)

A Cantorian argument that there is no set of all truths. There is, for the same reason, no possible world as a maximal set of propositions. And omniscience is logically impossible.

The article investigates the relationship between Leibniz’s and Huygens’ theory of possibility and the principle of conservation of energy. It assumes that their criticisms of Cartesian views concerning those questions as well as their own achievements contributed to the formation of a new metaphysical basis for modern discussions on the freedom of the will. There are especially two problems whose role is crucial in this context, namely the question of God’s knowledge of future conditionals (contingentia futura) and the mind-body distinction.

Ohad Nachtomy restates the main points of “Plenitude and Compossibility” with admirable fidelity and economy. His proposed revisions, based on the distinction between incomplete and complete substances and on the mind-relativity of relations, are intriguing additions to his earlier paper in Studia Leibnitiana and deserve careful consideration. Some brief remarks on the context of the problem, will, I hope, help to set the stage for the assessment of our various views.