Fact-checked by Grok 2 weeks ago

Possible world

A possible world is a complete and consistent description of how things could be or could have been, serving as a fundamental tool in philosophy to analyze concepts of necessity, possibility, and counterfactuals.^[1] The idea traces back to Gottfried Wilhelm Leibniz in the 17th century, who posited that the actual universe is one among an infinite array of possible worlds existing in the divine mind, with God selecting the best one to actualize.^[2] In the 20th century, Saul Kripke formalized possible worlds semantics for modal logic, defining it through model structures consisting of a set of worlds connected by an accessibility relation that determines relative necessity and possibility across them.^[3] This framework evaluates modal statements—such as "necessarily true" if true in all accessible worlds or "possibly true" if true in at least one—enabling precise treatment of intensional contexts beyond classical truth-functional logic.^[1] Philosophers like David Lewis advanced the concept into modal realism, arguing that possible worlds exist as concrete, spatiotemporal entities akin to our own world, while others, such as Robert Stalnaker, adopt a more moderate view treating them as abstract ways the world might be without committing to their full ontological reality.^[2] Beyond logic, possible worlds underpin analyses in metaphysics (e.g., essence and identity), philosophy of language (e.g., propositional attitudes), and even decision theory, where they model alternative scenarios for rational choice.^[3]

Historical Development

Precursors in Ancient and Medieval Philosophy

In ancient Greek philosophy, Aristotle laid foundational ideas that prefigure the concept of possible worlds through his distinction between potentiality (dunamis) and actuality (energeia), as elaborated in Metaphysics Book Θ. Potentiality represents the capacity of a thing to become or do something else, while actuality is the realization of that capacity, allowing Aristotle to conceptualize unrealized states as genuinely possible without committing to their actual occurrence. This proto-modal framework connects to his doctrine of the four causes—material (potential substrate), formal (defining structure), efficient (originating agent), and final (purposeful end)—where potentiality aligns with the material cause as the basis for what could emerge into actuality. Aristotle further differentiates possibility in itself (kath' hauto), inherent to a thing's nature (e.g., a seed's capacity to grow into a tree), from possibility per accidens, arising contingently from external circumstances (e.g., a builder accidentally constructing a house differently). These notions establish an early ontological basis for modalities without formal worlds semantics, emphasizing change and realization within a single actual order. The Stoics, particularly Chrysippus in the 3rd century BCE, extended modal thinking through their propositional logic, which treated "possible" propositions as those true in some circumstances but not necessarily always, contrasting with necessary truths holding invariably.^[4] Their modal syllogisms analyzed inferences involving possibilities, such as "If it is possible that p, and p implies q, then it is possible that q," providing tools for reasoning about alternative propositional outcomes that implicitly anticipate varying scenarios akin to possible worlds.^[5] This approach, distinct from Aristotle's term-based syllogistics, focused on connectives like "if" and "possibly," laying groundwork for later developments in contingency and fate within a deterministic framework. In medieval Islamic philosophy, Avicenna (Ibn Sina, d. 1037) advanced these ideas with his essence-existence distinction in The Metaphysics of the Healing, positing that for all contingent beings—termed "possible existents"—essence (mahiyya) defines what a thing is, but existence (wujud) is an accidental addition requiring an external cause, such as the Necessary Existent (God).^[6] Thus, essences are neutral to existence, possible in themselves as neither necessary nor impossible, capable of being actualized in various ways depending on divine causation, which echoes the multiplicity of potential realizations later associated with possible worlds.^[7] Medieval Christian scholasticism built on this through John Duns Scotus (d. 1308), who introduced formal distinctions and haecceity (haecceitas) to account for individuation in Ordinatio II, distinguishing 3. This formal distinction, weaker than a real distinction but stronger than mere conceptual difference, separates an individual's common nature (e.g., humanity) from its individuating principle (haecceity, or "thisness"), allowing the same essence to be conceived as uniquely instantiated across hypothetical variations without altering its core identity.^[8] Haecceity thus serves as a precursor to transworld individual essences, ensuring that particulars like Socrates retain their identity in modal contexts while permitting diverse actualizations of shared natures. Thomas Aquinas (d. 1274), in Summa Theologica I, q. 15, aa. 1-3, described divine ideas as eternal archetypes in God's intellect functioning as exemplar causes, encompassing the ordered possibilities of all creatures as if pre-contained in divine wisdom before creation. These ideas, not multiple in God but distinct according to the multiplicity of effects they produce, represent the full range of potential beings as intelligible forms that God could actualize, providing a theological framework for modalities rooted in divine foreknowledge. Such medieval developments, synthesizing Aristotelian and Avicennian insights, paved the way for modern formulations by thinkers like Leibniz, who would systematize them into explicit possible worlds.

Modern Formulation and Key Thinkers

The modern formulation of possible worlds emerged in the 17th century through the metaphysical system of Gottfried Wilhelm Leibniz, who envisioned an infinite array of possible worlds as complete individual concepts from which God selects the best actual world based on the principle of sufficient reason (PSR), which holds that nothing occurs without a reason why it is so and not otherwise.^[9] In works spanning 1677 to 1714, including the Monadology and Theodicy, Leibniz integrated this with the principle of the identity of indiscernibles (PII), asserting that no two distinct substances can share all properties, thereby ensuring the uniqueness of the actual world among incompossible alternatives chosen by divine optimization.^[10] These principles framed possible worlds not as abstract constructs but as fully determinate possibilities realized through God's rational decree, laying a foundational metaphysical structure for later developments.^[11] In the early 20th century, Clarence Irving Lewis advanced the explicit treatment of modality through axiomatic systems of modal logic, introduced in his 1918 monograph A Survey of Symbolic Logic, where he developed the concept of strict implication (□(p → q)) as a foundation for analyzing necessity and possibility, serving as a precursor to semantic interpretations involving possible worlds.^[12] Lewis's systems, including S1 through S5, emphasized modal notions as intensional alternatives to material implication, influencing subsequent formalizations without yet invoking worlds explicitly.^[13] The mid-20th century saw a revival and refinement of possible worlds in analytic philosophy, particularly through Ruth Barcan Marcus's pioneering work in quantified modal logic from 1946 to 1960. In her 1946 paper "A Functional Calculus of First Order Based on Strict Implication," Marcus formulated the first axiomatic systems extending modal propositional logic to include quantifiers, introducing the Barcan formula (∀x □Φx → □∀x Φx), which permits existential generalization across possible worlds by linking universal quantification over necessities to necessity over universals.^[14] Her subsequent contributions, such as in 1960's "Extensionality and Intentionality in Quantified Modal Logic," addressed challenges in transworld reference and essentialism, establishing quantified modal logic as a tool for analyzing possibility and necessity in terms of domain-varying worlds.^[15] This revival culminated in the 1960s and 1970s with key innovations by Saul Kripke and David Lewis. Kripke's 1959 "A Completeness Theorem in Modal Logic" and 1963 "Semantical Considerations on Modal Logic" provided the canonical possible worlds semantics, using frames with accessibility relations to model modal operators, while his 1972 lectures in Naming and Necessity (published 1980) introduced rigid designators—names that refer to the same object across all possible worlds—and critiqued transworld identity by arguing that individuals have essential properties fixed at their origins, rejecting counterpart theory in favor of direct reference.^[16] Complementing this, Lewis's 1968 "Counterpart Theory and Quantified Modal Logic" proposed that modal claims are true if a counterpart of the subject satisfies the predicate in some other world, avoiding transworld identity issues, and his 1973 Counterfactuals elaborated modal realism by treating possible worlds as concrete, spatiotemporally isolated entities as real as the actual world, providing a reductive analysis of modality.^[17] These contributions by Marcus, Kripke, and Lewis transformed possible worlds from a theological metaphor into a rigorous framework central to metaphysics and logic.^[18]

Logical Foundations

Possible worlds semantics offers a rigorous mathematical framework for interpreting modal logic, where modal operators like necessity (□) and possibility (◇) are evaluated relative to a collection of possible worlds interconnected by an accessibility relation. This approach, formalized by Saul Kripke in 1963, treats propositions as holding true or false at specific worlds, allowing modal claims to quantify over accessible worlds rather than abstract necessities. Building briefly on earlier intuitions about alternative possibilities from Clarence Irving Lewis, Kripke's semantics provides completeness proofs for key modal systems and unifies diverse modal interpretations under a single relational structure.^[19]^[20] At its core, the semantics distinguishes between frames and models. A frame is a pair (W, R), where W is a non-empty set of possible worlds and R \subseteq W \times W is a binary accessibility relation indicating which worlds are reachable from others.^[19] A model extends this to (W, R, V), where V is a valuation function assigning truth values to atomic propositions at each world: for an atomic proposition p and world w \in W, V(w, p) \in \{\top, \bot\}.^[19] Truth in a model is defined recursively for complex formulas. For Boolean connectives, truth at w follows standard propositional rules: \models_w \neg \phi if not \models_w \phi; \models_w (\phi \land \psi) if \models_w \phi and \models_w \psi; and similarly for disjunction and implication.^[21] The modal operators receive their interpretation via the accessibility relation R. A formula \Diamond \phi (possibility) is true at world w if there exists an accessible world w' such that R w w' and \models_{w'} \phi; in other words, \phi holds in at least one accessible world from w.^[19] Dually, \Box \phi (necessity) is true at w if \phi holds in all worlds w' accessible from w, i.e., for every w' with R w w', \models_{w'} \phi.^[19] These conditions capture the intuitive notion that possibilities branch out from a given world, while necessities must be uniform across relevant alternatives. Kripke's framework extends naturally to specific modal systems by imposing constraints on R. For instance, the S4 system, which includes axioms for reflexivity (\Box \phi \to \phi) and transitivity (\Box \phi \to \Box \Box \phi), corresponds to frames where R is reflexive (R w w for all w) and transitive (if R w w' and R w' w'', then R w w'').^[19] The stronger S5 system adds symmetry (\Diamond \phi \to \Box \Diamond \phi), yielding equivalence relations on R (reflexive, symmetric, and transitive), which model scenarios where accessibility is indiscriminate within clusters of worlds.^[19] These correspondences enable soundness and completeness theorems, ensuring that valid formulas in the semantics align with provable ones in the axiomatic systems.^[21] Beyond alethic modality (necessity and possibility), Kripke semantics applies to other modalities by reinterpreting the accessibility relation. In deontic logic, R links a world to ideal or obligatory alternatives, where \Box \phi signifies that \phi is obligatory (true in all ideal worlds).^[21] For epistemic logic, R represents an agent's information partitions, with \Box \phi meaning \phi is known (true in all accessible worlds consistent with the agent's knowledge).^[21] This versatility underscores the framework's role as the foundational semantics for normal modal logics across philosophical and logical domains.^[21]

Formal Structures and Accessibility Relations

In possible worlds semantics for modal logic, the structure consists of a set of worlds W equipped with a binary accessibility relation R \subseteq W \times W, where R determines which worlds are accessible from which others, thereby defining the scope of modal operators like necessity (\square) and possibility (\diamond).^[22] The properties of R correspond to specific modal axioms through the correspondence theory, ensuring that certain frame conditions validate particular logical principles.^[23] Key properties include reflexivity, where \forall w \in W (w R w), corresponding to the axiom T: \square P \to P, meaning that what is necessary is also true in the current world.^[23] Symmetry, defined as \forall w, v \in W (w R v \to v R w), aligns with the B axiom: P \to \square \diamond P, capturing the idea that if a world is accessible, the reverse holds.^[23] Transitivity, \forall w, v, u \in W (w R v \land v R u \to w R u), corresponds to the 4 axiom: \square P \to \square \square P, ensuring necessity propagates across chains of accessibility.^[23] Seriality, requiring \forall w \in W \exists v \in W (w R v), validates the D axiom: \square P \to \diamond P, guaranteeing that necessities have possible realizations.^[24] These correspondences allow for the characterization of modal systems like S4 (reflexive and transitive) or S5 (equivalence relation: reflexive, symmetric, and transitive) via frame conditions.^[23] Beyond classical Kripke frames with constant domains, non-classical structures accommodate varying domains in quantified modal logic, where the domain of individuals D_w differs across worlds w \in W, often assuming monotonicity (w R v implies D_w \subseteq D_v) to handle existential generalization and the Barcan formula \diamond \forall x \, P(x) \to \forall x \, \diamond P(x).^[25] In contrast, constant domain semantics fixes a single domain D for all worlds, simplifying quantification but potentially restricting expressiveness for scenarios involving contingent existence.^[25] Hybrid logics extend these structures by incorporating nominals—propositions true at exactly one world—and binders or operators like @_i \phi, which asserts that \phi holds at the world designated by nominal i, enabling explicit reference to specific worlds and enhancing expressivity for reasoning about indices.^[26] Completeness theorems link axiomatic systems to their semantic frames; for S5, with its equivalence relation on R, the logic is strongly complete relative to the class of frames where accessibility forms partitions into equivalence classes (world clusters), and the system is decidable due to the finite model property in such structures.^[27] This equivalence ensures that S5 theorems are precisely those valid in all S5-frames, often reducible to a single accessible world cluster for propositional fragments.^[27] Possible worlds semantics extends to non-classical logics beyond standard modal systems. In intuitionistic logic, Kripke frames use a reflexive and transitive accessibility relation, with truth monotonicity: if w \models P and w R v, then v \models P, where atomic propositions are upward persistent, validating intuitionistic principles like the rejection of double negation elimination while ensuring completeness.^[28] For relevance logics, Routley-Meyer semantics employs possible worlds with a ternary relation R \subseteq W \times W \times W to define implication, incorporating conditions like monotonicity and the existence of a set of "normal" worlds (often including distinguished points for truth and falsity), which enforces relevance between antecedent and consequent by requiring shared content across accessible worlds.^[29]

Metaphysical Dimensions

Ontology of Possible Worlds

The ontology of possible worlds concerns the metaphysical status of these entities, particularly whether they are concrete, mind-independent realities or abstract, non-spatiotemporal constructs. This debate arises from efforts to provide a robust foundation for modal notions like possibility and necessity, where possible worlds serve as the domains in which such concepts are evaluated. Philosophers diverge on whether positing a multitude of worlds incurs excessive ontological commitment or is necessary for explanatory power. Modal realism, defended by David Lewis, posits that all possible worlds exist as concrete entities, just as real as the actual world, each isolated in its own spatiotemporal region and varying only in their qualitative character. According to this view, there is no distinction in kind between the actual world and other possible worlds; "actual" merely indexes the world of the speaker, while all worlds are equally concrete and causally disconnected from one another. Lewis's theory resolves the problem of transworld identity—how the same individual can exist across worlds—through counterpart theory, where inhabitants of other worlds are counterparts similar to but distinct from actual individuals, rather than identical selves. This extreme realism, first systematically articulated in Lewis's 1986 work, aims to eliminate primitive modality by grounding it in the concrete totality of all worlds. In contrast, ersatzism proposes that possible worlds are abstract entities that represent but do not concretely realize alternative ways the world could be, thereby avoiding the ontological proliferation of modal realism. One prominent version, combinatory ersatzism, construes worlds as maximal possible states of affairs, where a state of affairs is a structured abstract entity composed of properties, relations, and individuals (or their proxies). Alvin Plantinga, in his 1974 book, develops this approach, defining a possible world as a complete, consistent state of affairs that could obtain, allowing for the analysis of modality without committing to non-actual concrete objects. Other ersatz variants include linguistic ersatzism, which identifies worlds with maximal consistent sets of sentences in an ideal language, and pictorial ersatzism, using sets of propositions or properties; these aim to capture modal truths substitutionally through abstract surrogates. Ersatzism preserves the utility of possible worlds semantics while adhering to actualism, the view that only actual entities exist. The debate between actualism and possibilism further sharpens the ontological issues surrounding possible worlds, particularly regarding the existence of merely possible individuals. Actualism holds that everything that exists is actual, so non-actual worlds contain only abstract representatives of possible objects, such as haecceities—non-qualitative individual essences that serve as placeholders for what might have existed. For instance, a possible person who never existed is represented by the haecceity of that individual, an abstract property of "being Nixon" or similar, without positing a concrete but non-actual Nixon. Possibilism, conversely, allows that merely possible individuals exist as non-actual concrete entities, potentially complicating the isolation of worlds in modal realism. This distinction, central to discussions since the 1970s, influences how worlds are populated and whether possibilism requires a broader ontology of possibilia. Objections to modal realism often center on its concreteness, with Lewis countering through a truthmaker argument: modal claims require concrete worlds as truthmakers to avoid unexplained primitives, as abstract ersatz worlds fail to ground the truth of possibilities in something robustly existent. Critics from ersatz perspectives, however, invoke parsimony, arguing that modal realism extravagantly multiplies entities beyond necessity—positing unobservable, isolated worlds violates Occam's razor—while abstract surrogates suffice for modal explication with fewer ontological costs. These critiques highlight the tension between explanatory depth and ontological economy in theorizing possible worlds.

Explicating Modality: Necessity and Possibility

In possible worlds semantics, modal notions such as necessity and possibility are explicated by evaluating propositions across a plurality of worlds. A proposition is necessarily true if and only if it is true in every possible world; it is possibly true if and only if it is true in at least one possible world; and it is contingently true if it is true in some possible worlds but false in others.^[22] This framework quantifies over worlds to capture the scope of modality, where the actual world is one among many, and truth is indexed to specific worlds via accessibility relations that determine which worlds are relevant for evaluation.^[22] Saul Kripke's analysis further refines this by introducing rigid designators, which refer to the same object in all possible worlds where the object exists, enabling distinctions between different kinds of necessity. For instance, the statement "water is H₂O" is necessarily true because it holds in all possible worlds accessible from the actual one, due to the rigid reference of "water" to the substance whose underlying nature is H₂O, even though this identity is discovered a posteriori through empirical investigation.^[30] This contrasts with conceptual necessities, such as "a bachelor is an unmarried man," which hold by virtue of meaning alone and are known a priori, highlighting a metaphysical necessity that is not reducible to linguistic conventions.^[30] David Lewis's counterpart theory offers an alternative approach to handling de re modality within possible worlds, rejecting transworld identity for individuals. According to this view, no individual exists in more than one world; instead, modal claims about an individual x, such as "x could have been F," are true if there is a world containing a counterpart of x—an individual sufficiently similar to x—that is F in that world, with similarity weighted by resemblance in relevant properties.^[31] Counterparts are thus world-bound duplicates that fulfill the modal role, allowing the theory to avoid the metaphysical commitment to identical entities spanning worlds while preserving the intuitive content of possibility and necessity ascriptions.^[31] The scope of modality in this framework primarily concerns alethic modalities—logical or metaphysical necessity and possibility—evaluated via truth at worlds, but it also accommodates distinctions like de dicto and de re. De dicto modalities apply to propositions as wholes, such as "it is possible that 2 + 2 = 5," which is false because the proposition is untrue in any world; in contrast, de re modalities concern objects indexed to worlds, such as "the number of planets could have been 8," true if there is a world where the actual referent satisfies the property.^[30] These distinctions are formalized by varying the evaluation across world indices for the scope of operators, ensuring that de re claims involve quantification over world-relative properties of individuals.^[31]

Applications and Debates

Counterfactuals and Epistemology

Possible worlds play a central role in the semantics of counterfactual conditionals, providing a framework to evaluate statements of the form "If A were the case, then C would be the case." According to the Stalnaker-Lewis approach, such a counterfactual is true at the actual world if C holds in the closest possible world (or worlds) where A is true, where closeness is determined by a similarity ordering among possible worlds that prioritizes minimal changes from the actual world.^[32]^[33] This semantics, pioneered by Robert Stalnaker in 1968 and refined by David Lewis in 1973, treats similarity as a comparative relation, often modeled with metrics that preserve historical and causal structures while allowing deviations only as needed for the antecedent.^[32]^[33] For instance, the counterfactual "If the match had been struck, it would have lit" is true because, in the nearest worlds where the match is struck, it ignites, assuming no drastic alterations to its dry condition.^[33] In epistemic logic, possible worlds semantics elucidates modalities of knowledge and belief through accessibility relations. The S5 system, standard for epistemic modalities, employs an equivalence relation for accessibility, where a proposition P is epistemically possible (◇P) if P is true in at least one world compatible with the agent's total evidence or information, representing subjective possibilities from the agent's perspective.^[34] Knowledge corresponds to necessity under this relation (□P), meaning P holds in all accessible worlds, ensuring factivity. Doxastic modalities for belief operate similarly but without factivity, allowing belief in falsehoods if consistent with the agent's doxastic state across accessible worlds.^[34] This framework, developed in works like Jaakko Hintikka's 1962 analysis, models epistemic states as partitions of the possible worlds space, where the agent's information equates worlds indistinguishable by their evidence.^[34] Applications of possible worlds extend to resolving vagueness through nearest-world precisifications. In supervaluationist theories, vague predicates like "heap" are precisified across a range of admissible possible worlds, with a statement true if it holds in all such sharpenings and false if in none; borderline cases lack truth-values.^[35] Epistemic approaches to vagueness, such as those resolving indeterminacy via the nearest precisifications—worlds minimally diverging from the actual in assigning sharp boundaries—use similarity orderings to select resolutions compatible with available information, avoiding arbitrary cutoffs.^[36]^[35] For example, whether a 50-grain collection is a heap may be indeterminate, but in the closest precisified worlds informed by context, it receives a definite extension. Kit Fine's 1975 supervaluationism and David Lewis's 1982 equivocation logic underpin this, treating precisifications analogously to possible worlds in modal semantics.^[35] In decision theory, possible worlds facilitate expected utility calculations over uncertain outcomes. Leonard Savage's 1954 subjective expected utility theory represents acts as functions from states of the world—construed as possible worlds—to outcomes, with rational choice maximizing the expected utility weighted by subjective probabilities over those worlds.^[37] This aligns with Bayesian frameworks where propositions are sets of possible worlds, and utility is the probability-weighted average of values across them, as in Richard Jeffrey's 1965 logic of decision.^[37] For instance, choosing between gambles involves summing utilities over worlds weighted by credence, enabling rational deliberation under incomplete information.^[37] Challenges arise in counterfactuals regarding backtracking versus forward-tracking causation. Forward-tracking counterfactuals evaluate consequences by minimally altering future paths from the antecedent, preserving past facts, while backtracking ones allow revisions to the past to accommodate the antecedent, potentially inverting causal directions.^[38] David Lewis's 1979 analysis favors forward-tracking for causal dependence, as backtracking introduces "miracles" or excessive historical divergences in similarity orderings, complicating assessments of events like preemption where past alterations yield implausible dependencies.^[39]^[38] The lottery paradox illustrates tensions in epistemic possibility using possible worlds. In a fair lottery with many tickets, one rationally believes each specific ticket loses, as its winning world has low probability and is distant in accessibility from the evidence-based partition; yet, one cannot know or believe all lose conjunctively, as the actual winning world remains epistemically possible despite collective certainty.^[40] This arises in S5 models where epistemic possibility includes all worlds not ruled out by information, allowing remote but compatible scenarios to undermine universal closure under conjunction, as Henry Kyburg noted in 1961.^[40]^[41]

Ontological Arguments and the Argument from Ways

Alvin Plantinga reformulated Anselm's ontological argument in modal terms using possible worlds semantics, arguing that a being with maximal greatness—defined as possessing maximal excellence (omnipotence, omniscience, and moral perfection) in every possible world—entails necessary existence across all worlds. If such a being is possible (exists in at least one possible world), then by the S5 modal logic axiom that possibility of necessity implies necessity, it exists in the actual world and all others.^[42] In the same framework, Plantinga presents the argument from ways, positing that God actualizes one complete possible world from an infinite array by determining the initial conditions, while the free choices of creatures determine the rest; each distinct way of actualizing corresponds to a possible world varying in those choices, allowing God to weakly actualize a full world without predetermining every detail.^[42] Kurt Gödel developed a modal ontological proof around 1970 (published 1995), defining positive properties as those whose negations are not positive and closed under entailment, with necessary existence itself being positive; thus, the being possessing all positive properties (God) necessarily exists in every possible world. Critics raise parodies, such as Gaunilo's perfect island, adapted to claim that a maximally great island is possible and thus actual, undermining the argument's coherence for divine existence alone. Similarly, arguments for a maximally evil being suggest symmetry, implying necessary evil if maximal badness is possible. Plantinga counters concerns about evil in actualized worlds via transworld depravity, where free creatures are such that in every feasible world God could actualize, they go wrong at some point, rendering a sinless world with freedom impossible.^[42]

Criticisms and Alternative Theories

One prominent early criticism of possible worlds semantics came from W. V. O. Quine, who in 1960 argued that quantification into modal contexts—such as asserting that there exists something that is necessarily F—is unintelligible without committing to an obscure essentialism about objects, where properties are attributed de re across modalities in ways that blur referential clarity. Quine viewed this essentialism as metaphysically suspect, akin to Aristotelian notions he deemed unscientific, and contended that modal logic's reliance on such structures fails to align with extensionalist principles of clear reference and ontology.^[43] Anti-realist critiques of full-blooded possible worlds realism, particularly David Lewis's concretist version, emphasize constructing modality from actual entities without positing unactualized concrete worlds. Peter van Inwagen has defended actualism about possible worlds, critiquing Lewis's concretism in his 1986 analysis. Similarly, D. M. Armstrong's 1989 combinatorial actualism posits that possible worlds arise from rearrangements of actual simple states of affairs, supplemented by "totality facts" that ensure completeness and distinguish worlds without requiring non-actual concreta. These views maintain that modality can be explicated through actualist resources, critiquing realist theories for unnecessary proliferation of entities. Alternative frameworks seek to model modality without committing to complete possible worlds. Situational semantics, developed by Jon Barwise and John Perry in 1983, replaces full possible worlds with partial "situations"—structured portions of reality that support truth conditions for sentences, allowing for incomplete but resource-bounded representations of modal and contextual information. In a related vein, Delia Graff Fara's 2009 property-counterpart theory advances a non-worlds-based account where modal claims about individuals are analyzed via counterpart properties—qualitative resemblances that ground de re modality—thus avoiding the need for transworld identity or full worlds altogether. Contemporary issues with possible worlds theories include cardinality concerns arising from the apparent infinity of worlds. Critics argue that the cardinality of possible worlds, often taken as exceeding that of the continuum (2^{\aleph_0}), leads to paradoxes in isolating worlds or representing fine-grained modalities, challenging both realist and ersatz constructions for ontological or representational overload. Additionally, the many-worlds interpretation of quantum mechanics, proposed by Hugh Everett in 1957, serves as a scientific analogue by positing branching universes from quantum superpositions, yet it remains distinct from philosophical possible worlds, focusing on physical evolution rather than metaphysical modality or logical completeness.

References

[1]
[PDF] Possible worlds
We can think of a possible world as a consistent collection of propositions. The collection must be consistent since under the ordinary rules of logic.
[2]
None
### Definition of Possible Worlds
[3]
[PDF] U039 SEMANTICS, POSSIBLE-WORLDS John Perry Department of ...
*Kripke, Saul 1959 'A Completeness Theorem in Modal Logic', The Journal of Symbolic Logic, vol 24, pp. 1-15. (Uses possible worlds semantics to prove the ...
[4]
[PDF] 4 Stoic Logic1 - PhilArchive
Stoic logic is in its core a propositional logic. Stoic inference concerns the relations between items that have the structure of propositions.
[5]
(PDF) Chrysippus' Modal Logic and Its Relation to Philo and Diodorus
Chrysippus developed a modal logic that synthesizes elements from Philo and Diodorus, enhancing Stoic philosophy. The paper reconstructs and compares the modal ...<|separator|>
[6]
The Essence-Existence Distinction: Four Elements of the Post ... - jstor
The essence-existence distinction was a central issue in metaphysical disputes among post-Avicennian thinkers in the Islamic world.
[7]
https://brill.com/display/book/9789004503991/BP000003.xml
[8]
Duns Scotus on Essence and Existence - Oxford Academic
Duns Scotus argues for a formal distinction in creatures between an individual essence and its existence.
[9]
The Identity of Indiscernibles - Stanford Encyclopedia of Philosophy
Jun 4, 2025 · The Identity of Indiscernibles is the thesis that there cannot be numerical difference without extra-numerical difference.Arguments for the Identity of... · Connections of the Identity of... · Bibliography
[10]
Leibniz's Principle of Identity of Indiscernibles - jstor
possible worlds are mutually incompossible. Incompossibility is a very important relation for Leibniz's God. Without it, God would have no set of possible ...
[11]
Gottfried Wilhelm Leibniz's Principle of Sufficient Reason
Mar 27, 2018 · Leibniz's Principle of Sufficient Reason (PSR) entails that the bike mechanic's claim is patently false: “No fact can hold or be real, and no proposition can ...
[12]
Clarence Irving Lewis - Stanford Encyclopedia of Philosophy
Sep 25, 2007 · Lewis wrote a series of articles on symbolic logic culminating in his 1918 monograph A Survey of Symbolic Logic (SSL) (Lewis 1918) in which he ...Brief Biography · The Given · Logic, Language, and Meaning · Bibliography
[13]
C. I. Lewis, A Survey of Symbolic Logic - PhilPapers
A survey of symbolic logic.Clarence Irving Lewis - 1918 - Berkeley,: University of California Press. Edited by Gottfried Wilhelm Leibniz.
[14]
Ruth Barcan Marcus - Stanford Encyclopedia of Philosophy
Mar 5, 2024 · Her first 1946 publication contains the first published construction of formal systems of quantified modal logic. Her pioneering formal work in ...Life · The Dispute with Quine · Actualism and the Barcan... · Bibliography
[15]
Ruth Barcan Marcus and quantified modal logic
This is because, given these presuppositions, the Barcan Formula is interpreted as saying that if in some possible world, something is Φ, then there is ...
[16]
Naming and Necessity - Saul A. Kripke - Google Books
From these, in particular from identity statements using rigid designators whether of things or of kinds, further remarkable consequences are drawn for the ...<|separator|>
[17]
David Lewis - Stanford Encyclopedia of Philosophy
Jul 23, 2009 · The other branch of his metaphysics was his modal realism. Lewis held that the best theory of modality posited concrete possible worlds. A ...
[18]
Modal Metaphysics | Internet Encyclopedia of Philosophy
Namely, 'world' in Lewis' mouth means possible world, in contrast to the impossible worlds whose existence Lewis rejects. To be sure, if Lewis' possible worlds ...Lewis' Realism · Ersatzism · Propositionalism and Property... · Combinatorialism
[19]
SAUL A. KRIPKE. Semantical considerations for modal logics ...
This paper presents a semantical method of introducing quantifiers into the modal proposi- tional calculus M (S4, B, S5). Let (G, K, R) be an M-structure. That ...
[20]
[PDF] Modal Logic before Kripke - SAV
Aug 24, 2019 · (Lewis 1918) is the first axiomatic presentation of modern modal logic. ... Lewis, Clarence Irving. 1912. “Implication and the Algebra of Logic ...
[21]
Modal Logic - Cambridge University Press & Assessment
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging ...
[22]
[PDF] saul a. kripke
The semantical completeness theorem we gave for modal propositional logic can be extended to the new systems. We can introduce existence as a predicate in the ...
[23]
[PDF] Classical Correspondence Theory for Basic Modal Logic
... Kripke's is that many properties of the accessibility relation R (whether it is transitive, symmetric, etc.) can be characterized in the modal language itself.
[24]
[PDF] Normal Modal Logics
So Kripke assumed that worlds are related by an accessibility relation R, and that a statement of the form “Necessarily φ” is true at a world w if and only if φ ...
[25]
[PDF] On Quantified Modal Logic
Oct 18, 1998 · We have shown, in effect, that varying domain semantics can simulate the constant domain version. It can also be shown that constant domain ...
[26]
[PDF] Hybrid Logics - Carlos Areces
When we realize the potential that nominals have, an interesting idea suggests itself: to introduce, for each nominal i, an operator @i that allows us to jump ...
[27]
[PDF] A Completeness Theorem in Modal Logic - Saul A. Kripke
May 23, 2001 · A Completeness Theorem in Modal Logic. Saul A. Kripke. Journal of Symbolic Logic, Volume 24, Issue 1 (Mar., 1959), 1-14. STOR. Your use of the ...
[28]
[PDF] Semantical Analysis of Intuitionistic Logic I - Princeton University
The formulae of the intuitionistic propositional calculus are to be built out of the usual connectives ^, v, ⇒,, starting with the pro- positional letters as ...
[29]
[PDF] Routley-Meyer semantics for R
Because of this, Routley and Meyer introduced the so-called Routley-Meyer semantics for relevance logics (see. Routley and Meyer (1972; 1973)). This semantics ...
[30]
[PDF] saul a. kripke - naming and necessity!
make sense of the notion of rigid designator, we must antecendently make sense of 'criteria of transworld identity' have precisely reversed the cart and the ...Missing: 1959 1963
[31]
[PDF] Counterpart Theory and Quantified Modal Logic - Andrew M. Bailey
Mar 7, 2025 · Counterpart theory has at least three advantages over quantified modal logic as a vehicle for formalized discourse about modality. (1).
[32]
[PDF] A Theory of Conditionals - Stalnaker (pdf) - Philosophy@HKU
Robert Stalnaker, 'A Theory of Conditionals' from Studies in Logical Theory,. American Philosophical Quarterly, Monograph: 2 (Blackwell, 1968), pp. 98-. 112 ...Missing: original | Show results with:original
[33]
[PDF] David Lewis - Counterfactuals
Counterfactuals are related to a kind of strict conditional based on comparative similarity of possible worlds. A counterfactual → is true at a world i if and ...
[34]
Epistemic Logic - Stanford Encyclopedia of Philosophy
Jun 7, 2019 · Since the 1960s Kripke models, defined below, have served as the basis of the most widely used semantics for all varieties of modal logic.
[35]
Vagueness (Stanford Encyclopedia of Philosophy)
### Summary on Possible Worlds/Nearest Worlds in Resolving Vagueness (Supervaluationism and Epistemic Aspects)
[36]
[PDF] Ontic Vagueness: A Guide for the Perplexed - Elizabeth Barnes
like possible worlds, they are possible worlds. 49. The set of precisifications will be the set of possible worlds closest to the actual world (see below).
[37]
Decision Theory - Stanford Encyclopedia of Philosophy
Dec 16, 2015 · The theories are referred to collectively as subjective expected utility (SEU) theory as they concern an agent's preferences over prospects that ...
[38]
Counterfactual Theories of Causation
Jan 10, 2001 · But Lewis says the former counterfactual, which he calls a backtracking counterfactual, is not to be used in the assessment of causal dependence ...
[39]
[PDF] Counterfactual Dependence and Time's Arrow
(Back-tracking counterfactuals, used in a context that favors their truth, are marked by a syntactic peculiarity. They are the ones in which the usual ...
[40]
Epistemic Paradoxes - Stanford Encyclopedia of Philosophy
Jun 21, 2006 · Lotteries and the Lottery Paradox. Lotteries pose a problem for the theory that a high probability for a true belief suffices for knowledge.
[41]
Lottery Paradox - an overview | ScienceDirect Topics
The lottery paradox refers to a situation in which it is logically consistent to assert that every individual ticket in a fair lottery will lose, ...
[42]
The nature of necessity : Plantinga, Alvin - Internet Archive
Jul 16, 2014 · The nature of necessity ; Publication date: 1974 ; Topics: Modality (Logic), Essentialism (Philosophy), Necessity (Philosophy), Good and evil.
[43]
QUINE AGAINST ESSENTIALISM AND QUANTIFIED MODAL LOGIC
. Quine's third argument against quantified modal logic is that in order to be able to quantify into de dicto modal contexts the result is that we cannot ...Missing: skepticism | Show results with:skepticism