and possibility At least since Aristotle, philosophers have been greatly concerned with the logical statuses of propositions, e.g. necessity, contingency, and impossibility. In the twentieth century, possible worlds have been used to explicate these notions. In modal logic, a proposition is understood in terms of the worlds in which it is true and worlds in which it is false. Thus, equivalences like the following have been proposed: True propositions are those that are true in the actual world (for example: "Richard Nixon became president in 1969"). False propositions are those that are false in the actual world (for example: "Ronald Reagan became president in 1969"). Possible propositions are those that are true in at least one possible world (for example: "Hubert Humphrey became president in 1969"). (Humphrey did run for president in 1968, and thus could have been elected.) This includes propositions which are necessarily true, in the sense below. Impossible propositions (or necessarily false propositions) are those that are true in no possible world (for example: "Melissa and Toby are taller than each other at the same time"). Necessarily true propositions (often simply called necessary propositions) are those that are true in all possible worlds (for example: "2 + 2 = 4"; "all bachelors are unmarried"). Contingent propositions are those that are true in some possible worlds and false in others (for example: "Richard Nixon became president in 1969" is contingently true and "Hubert Humphrey became president in 1969" is contingently false). Other uses Possible worlds play a central role in many other debates in philosophy. These include debates about the Zombie Argument, and physicalism and supervenience in the philosophy of mind. Many debates in the philosophy of religion have been reawakened by the use of possible worlds. History of the concept The idea of possible worlds is most commonly attributed to Gottfried Leibniz, who spoke of possible worlds as ideas in the mind of God and used the notion to argue that our actually created world must be "the best of all possible worlds". Arthur Schopenhauer argued that on the contrary our world must be the worst of all possible worlds, because if it were only a little worse it could not continue to exist. Scholars have found implicit earlier traces of the idea of possible worlds in the works of René Descartes, a major influence on Leibniz, Al-Ghazali (The Incoherence of the Philosophers), Averroes (The Incoherence of