Explore tens of thousands of sets crafted by our community.
Modal Logic in Metaphysics
20
Flashcards
0/20
Barcan Formula
Addresses whether something that exists necessarily in every possible world implies its existence in the actual world, influencing the debate on the relationship between modal truths and ontology.
Essentialism
Underscores arguments surrounding which properties are essential or necessary to an entity's identity, relying on modal logic's distinction between necessary and contingent properties.
Possible Worlds Semantics
Frames discussions about alternative ways the world might have been, providing a structured approach to talk about necessity and possibility in a metaphysical context.
Modal Anti-Realism
Contrasts with modal realism and influences metaphysical debates on whether possible worlds are just useful fictions rather than real entities.
Necessity of Origin
Impacts debates about whether individuals could have originated from different parents or sources, influencing the discussions on the metaphysics of identity and individual essence.
Modal Realism
Informs discussions on the ontological status of possible worlds, raising questions about the existence and nature of non-actual possibles.
Rigid Designators
Illuminates debates on identity across possible worlds, shaping discussions on the essence and the necessary properties of entities.
Transworld Heir Lines
Engages with the issue of how individuals or properties are inherited across different possible worlds, influencing discussions on essentialism and the nature of properties.
Possibility and Necessity
Explores how metaphysical statements could be necessarily true or possibly true, impacting discussions of essential properties and contingent facts.
Kripkean Accessibility Relation
Details how one possible world might access another, affecting conversations on the interrelationship between different modes of being and the nature of modal truths.
Modal Logic Systems
Underpins metaphysical debates with distinct sets of axioms and theorems (e.g., S4, S5), affecting theories of possible worlds and modal truths.
Alethic Modalities
Crucial for exploring metaphysical distinctions between different kinds of truths—necessary, possible, and impossible truths—and their implications.
The Principle of Sufficient Reason
Applies in assessing whether every truth must have an explanation, including modal truths, thus affecting metaphysical discussions around causation and the nature of reality.
Interworld Identity
Contributes to the puzzle of whether individuals can exist across multiple possible worlds, influencing metaphysical theories of identity and persistence.
Modal Epistemology
Plays a role in questioning how we come to know modal truths, which in turn affects metaphysical discussions on knowledge of essences and possibilities.
Counterpart Theory
Affects metaphysical debates on identity and difference in modal reasoning, questioning how entities in different possible worlds relate to one another.
Subjunctive Conditionals
Incorporates counterfactual thinking into metaphysical debates, informing our understanding of causation, free will, and the nature of possibility.
De Re vs. De Dicto Necessity
Clarifies distinctions in discussions of properties or truths of objects (de re) versus propositions or statements (de dicto), affecting understanding of ontological commitments.
Actuality Operator
Shapes metaphysical debates by providing a way to distinguish actuality from mere possibility, affecting discussions on the uniqueness of the actual world.
Modal Fallacies
Informs the critique of metaphysical arguments that incorrectly apply modal concepts, sharpening the distinction between valid and fallacious reasoning involving modal terms.
© Hypatia.Tech. 2024 All rights reserved.