Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Possible world
Summary
A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.
Modal logic#Semantics and Intensional logic
Possible worlds are one of the foundational concepts in modal and intensional logics. Formulas in these logics are used to represent statements about what might be true, what should be true, what one believes to be true and so forth. To give these statements a formal interpretation, logicians use structures containing possible worlds. For instance, in the relational semantics for classical propositional modal logic, the formula (read as "possibly P") is actually true if and only if is true in some world which is accessible from the actual world.
Possible worlds play a central role in the work of both linguists and/or philosophers working in formal semantics. Contemporary formal semantics is couched in formal systems rooted in Montague grammar, which is itself built on Richard Montague's intensional logic. Contemporary research in semantics typically uses possible worlds as formal tools without committing to a particular theory of their metaphysical status. The term possible world is retained even by those who attach no metaphysical significance to them.
Possible worlds are often regarded with suspicion, which is why their proponents have struggled to find arguments in their favor. An often-cited argument is called the argument from ways. It defines possible worlds as "ways things could have been" and relies for its premises and inferences on assumptions from natural language, for example:
(1) Hillary Clinton could have won the 2016 American presidential election.
(2) So there are other ways things could have been.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related lectures (2)
Quantum Physics I: Entanglement and Commutation Relations
Explores entanglement and commutation relations in quantum physics, focusing on Clebsch-Gordan coefficients and tensor-product basis.
Related publications (5)
Related concepts (25)
Logical possibility
Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values.
Truthmaker theory
Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tree may be said to be true because there actually is a green tree. But if there was no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else.
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.