Yahoo Suche Web Suche

Suchergebnisse

  1. Suchergebnisse:
  1. 18. Okt. 2013 · Although ‘possible world’ has been part of the philosophical lexicon at least since Leibniz, the notion became firmly entrenched in contemporary philosophy with the development of possible world semantics for the languages of propositional and first-order modal logic.

  2. 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.

  3. possibility. possible world, Conception of a total way the universe might have been. It is often contrasted with the way things actually are. In his Theodicy (1710), G.W. Leibniz used the concept of a possible world in his proposed solution to the theological problem of the existence of evil, arguing that an all-perfect God would actualize the ...

    • The Editors of Encyclopaedia Britannica
  4. Definition. A possible world is a complete way things might be. Possible worlds are alternative worlds one of which is the actual world. Philosophers use the notion of a possible world to define and discuss ideas such as possibility or necessity.

    • Volker Gadenne
  5. In a more comprehensive exposition of possible world semantics, the definition of a possible world interpretation would include a binary accessibility relation R on the set W of worlds and the modal clause would say that ⌈ ψ ⌉ is true at w if and only if ψ is true at all worlds u that are accessible from w i.e., all worlds u such that Rwu.

  6. In Philosophie, Logik sowie der sprachwissenschaftlichen Semantik dient der Begriff der möglichen Welt dazu, die Bedeutung von modalen Aussagen zu erklären, das heißt von Aussagen, die ihren Gehalt mit Modalbegriffen wie „möglich“ und „notwendig“ qualifizieren (siehe auch Modallogik sowie Modalität (Sprachwissenschaft) ).

  7. Definition. The concept of possible worlds (henceforth PW), loosely inspired by Leibniz’ philosophy, was developed in the second half of the 20th century by philosophers of the analytic school (Kripke, Lewis, Hintikka , Plantinga , Rescher) as a means to solve problems in formal semantics. These problems are the truth conditions of ...