Philosophers
Mortimer Adler Rogers Albritton Alexander of Aphrodisias Samuel Alexander William Alston Anaximander G.E.M.Anscombe Anselm Louise Antony Thomas Aquinas Aristotle David Armstrong Harald Atmanspacher Robert Audi Augustine J.L.Austin A.J.Ayer Alexander Bain Mark Balaguer Jeffrey Barrett William Belsham Henri Bergson George Berkeley Isaiah Berlin Richard J. Bernstein Bernard Berofsky Robert Bishop Max Black Susanne Bobzien Emil du BoisReymond Hilary Bok Laurence BonJour George Boole Émile Boutroux F.H.Bradley C.D.Broad Michael Burke C.A.Campbell Joseph Keim Campbell Rudolf Carnap Carneades Ernst Cassirer David Chalmers Roderick Chisholm Chrysippus Cicero Randolph Clarke Samuel Clarke Anthony Collins Antonella Corradini Diodorus Cronus Jonathan Dancy Donald Davidson Mario De Caro Democritus Daniel Dennett Jacques Derrida René Descartes Richard Double Fred Dretske John Dupré John Earman Laura Waddell Ekstrom Epictetus Epicurus Herbert Feigl John Martin Fischer Owen Flanagan Luciano Floridi Philippa Foot Alfred Fouilleé Harry Frankfurt Richard L. Franklin Michael Frede Gottlob Frege Peter Geach Edmund Gettier Carl Ginet Alvin Goldman Gorgias Nicholas St. John Green H.Paul Grice Ian Hacking Ishtiyaque Haji Stuart Hampshire W.F.R.Hardie Sam Harris William Hasker R.M.Hare Georg W.F. Hegel Martin Heidegger Heraclitus R.E.Hobart Thomas Hobbes David Hodgson Shadsworth Hodgson Baron d'Holbach Ted Honderich Pamela Huby David Hume Ferenc Huoranszki William James Lord Kames Robert Kane Immanuel Kant Tomis Kapitan Jaegwon Kim William King Hilary Kornblith Christine Korsgaard Saul Kripke Andrea Lavazza Keith Lehrer Gottfried Leibniz Leucippus Michael Levin George Henry Lewes C.I.Lewis David Lewis Peter Lipton C. Lloyd Morgan John Locke Michael Lockwood E. Jonathan Lowe John R. Lucas Lucretius Alasdair MacIntyre Ruth Barcan Marcus James Martineau Storrs McCall Hugh McCann Colin McGinn Michael McKenna Brian McLaughlin John McTaggart Paul E. Meehl Uwe Meixner Alfred Mele Trenton Merricks John Stuart Mill Dickinson Miller G.E.Moore Thomas Nagel Otto Neurath Friedrich Nietzsche John Norton P.H.NowellSmith Robert Nozick William of Ockham Timothy O'Connor Parmenides David F. Pears Charles Sanders Peirce Derk Pereboom Steven Pinker Plato Karl Popper Porphyry Huw Price H.A.Prichard Protagoras Hilary Putnam Willard van Orman Quine Frank Ramsey Ayn Rand Michael Rea Thomas Reid Charles Renouvier Nicholas Rescher C.W.Rietdijk Richard Rorty Josiah Royce Bertrand Russell Paul Russell Gilbert Ryle JeanPaul Sartre Kenneth Sayre T.M.Scanlon Moritz Schlick Arthur Schopenhauer John Searle Wilfrid Sellars Alan Sidelle Ted Sider Henry Sidgwick Walter SinnottArmstrong J.J.C.Smart Saul Smilansky Michael Smith Baruch Spinoza L. Susan Stebbing Isabelle Stengers George F. Stout Galen Strawson Peter Strawson Eleonore Stump Francisco Suárez Richard Taylor Kevin Timpe Mark Twain Peter Unger Peter van Inwagen Manuel Vargas John Venn Kadri Vihvelin Voltaire G.H. von Wright David Foster Wallace R. Jay Wallace W.G.Ward Ted Warfield Roy Weatherford William Whewell Alfred North Whitehead David Widerker David Wiggins Bernard Williams Timothy Williamson Ludwig Wittgenstein Susan Wolf Scientists Michael Arbib Walter Baade Bernard Baars Gregory Bateson John S. Bell Charles Bennett Ludwig von Bertalanffy Susan Blackmore Margaret Boden David Bohm Niels Bohr Ludwig Boltzmann Emile Borel Max Born Satyendra Nath Bose Walther Bothe Hans Briegel Leon Brillouin Stephen Brush Henry Thomas Buckle S. H. Burbury Donald Campbell Anthony Cashmore Eric Chaisson JeanPierre Changeux Arthur Holly Compton John Conway John Cramer E. P. Culverwell Charles Darwin Terrence Deacon Lüder Deecke Louis de Broglie Max Delbrück Abraham de Moivre Paul Dirac Hans Driesch John Eccles Arthur Stanley Eddington Paul Ehrenfest Albert Einstein Hugh Everett, III Franz Exner Richard Feynman R. A. Fisher Joseph Fourier Philipp Frank Lila Gatlin Michael Gazzaniga GianCarlo Ghirardi J. Willard Gibbs Nicolas Gisin Paul Glimcher Thomas Gold A.O.Gomes Brian Goodwin Joshua Greene Jacques Hadamard Patrick Haggard Stuart Hameroff Augustin Hamon Sam Harris Hyman Hartman JohnDylan Haynes Donald Hebb Martin Heisenberg Werner Heisenberg John Herschel Art Hobson Jesper Hoffmeyer E. T. Jaynes William Stanley Jevons Roman Jakobson Pascual Jordan Ruth E. Kastner Stuart Kauffman Martin J. Klein Simon Kochen Hans Kornhuber Stephen Kosslyn Ladislav Kovàč Rolf Landauer Alfred Landé PierreSimon Laplace David Layzer Benjamin Libet Seth Lloyd Hendrik Lorentz Josef Loschmidt Ernst Mach Donald MacKay Henry Margenau James Clerk Maxwell Ernst Mayr John McCarthy Ulrich Mohrhoff Jacques Monod Emmy Noether Abraham Pais Howard Pattee Wolfgang Pauli Massimo Pauri Roger Penrose Steven Pinker Colin Pittendrigh Max Planck Susan Pockett Henri Poincaré Daniel Pollen Ilya Prigogine Hans Primas Adolphe Quételet Juan Roederer Jerome Rothstein David Ruelle Erwin Schrödinger Aaron Schurger Claude Shannon David Shiang Herbert Simon Dean Keith Simonton B. F. Skinner Roger Sperry John Stachel Henry Stapp Tom Stonier Antoine Suarez Leo Szilard Max Tegmark William Thomson (Kelvin) Peter Tse Vlatko Vedral Heinz von Foerster John von Neumann John B. Watson Daniel Wegner Steven Weinberg Paul A. Weiss John Wheeler Wilhelm Wien Norbert Wiener Eugene Wigner E. O. Wilson H. Dieter Zeh Ernst Zermelo Wojciech Zurek Fritz Zwicky Presentations Biosemiotics Free Will Mental Causation James Symposium 
Possibility and Actuality
In the "semantics of possible worlds," necessity and possibility in modal logic are variations of the universal and existential quantifiers of nonmodal logic. Necessary truth is defined as "truth in all possible worlds." Possible truth is defined as "truth in some possible worlds." These abstract notions about "worlds" – sets of propositions in universes of discourse – have nothing to do with physical possibility, which depends on the existence of real contingency. Propositions in modal logic are required to be true or false. Contingent statements that are neither true or false are not allowed. So much for real possibilities!
Normal  Teacher  Scholar
Historically, the opposition to metaphysical possibility has come from those who claim that the only possible things that can happen are the actual things that do happen. To say that things could have been otherwise is a mistake, say eliminative materialists and determinists. Those other possibilities simply never existed in the past. The only possible past is the past we have actually had. Similarly, there is only one possible future. Whatever will happen, will happen. The idea that many different things can happen, the reality of modality and words like "may" or "might" are used in everyday conversation, but they have no place in metaphysical reality. The only "actual" events or things are what exists. For "presentists," even the past does not exist. Everything we remember about past events is just a set of "Ideas." And philosophers have always been troubled about the ontological status of Plato's abstract "Forms," entities like the numbers, geometric figures, mythical beasts, and other fictions. Traditionally, those who deny possibilities in this way have been called "Actualists." In the last halfcentury, one might think that metaphysical possibilities have been restored with the development of modal logic. Socalled modal operators like "necessarily" and "possibly" have been added to the structurally similar quantification operators "for all" and "for some." The metaphysical literature is full of talk about "possible worlds." The most popular theory of "possible worlds" is David Lewis's "modal realism," an infinite number of worlds , each of which is just as actual (eliminative materialist and determinist) for its inhabitants as our world.
There are no genuine possibilities in Lewis's "possible worlds"!
It comes as a shock to learn that every "possible world" is just as actual, for its inhabitants, as our world is for us. There are no alternative possibilities, no contingency, that things might have been otherwise, in any of these possible worlds. Every world is as physically deterministic as our own.
Modal logicians now speak of a "rule of necessitation" at work in possible world semantics.The necessarily operator ' ◻ ' and the possibly operator ' ◇ ' are said to be "duals"  either one can be defined in terms of the other (◻ = ~◇~, and ◇ = ~◻~), so either can be primitive. But most axiomatic systems of modal logic appear to privilege necessity and deemphasize possibility. They rarely mention contingency, except to say that the necessity of identity appears to rule out contingent identity statements. The rule of necessitation is that "if p, then necessarily p," or p ⊃ ◻p. It gives rise to the idea that if anything exists, it exists necessarily. This is called "necessitism." The idea that if two things are identical, they are necessarily identical, was "proved" by Ruth Barcan Marcus in 1947, by her thesis adviser F.B.Fitch in 1952, and by Willard Van Orman Quine in 1953. David Wiggins in 1965 and Saul Kripke in 1971 repeated the arguments, with little or no reference to the earlier work. This emphasis on necessitation in possibleworld semantics leads to a flawed definition of possibility that has no connection with the ordinary and technical meanings of possibility. Modal logicians know little if anything about real possibilities and nothing at all about possible physical worlds. Their possible worlds are abstract universes of discourses, sets of propositions that are true or false. Contingent statements, that may be true or false, like statements about the future, are simply not allowed. They define necessary propositions as those that are "true in all possible worlds." Possible propositions are those that are only "true in some possible worlds." This is the result of forcing the modal operators ◻ and ◇ to correspond to the universal and existential quantification operators for all ∀ and for some ∃. But the essential nature of possibility is the conjunction of contingency and necessity. Contingency is not impossible and not necessary (~~◇ ∧ ~◻). We propose the existence of a metaphysical possibilism alongside the notion necessitism.
"Actual possibilities" exist in minds and in quantummechanical "possibility functions"
It is what we might call "actual possibilism," the existence in our actual world of possibilities that may never become actualized, but that have a presence as abstract entities that have been embodied as ideas in minds. In addition, we include the many possibilities that occur at the microscopic level when the quantummechanical probabilityamplitude wave function collapses, making one of its many possibilities actual.
Actual Possibles
Although there are no genuine possibilities in Lewis's "possible worlds," we can explain the existence of "actual possibles" in metaphysical terms using the possible world semantics of Saul Kripke, who maintained that his semantics could be used to describe various ways our actual world might have been. Unlike many other "possible world" interpretations, Kripke accepts that empirical facts in the physical world are contingent, that many things might have been otherwise. Kripke's counterfactuals are genuinely different ways the actual world might have been or might become.
I will say something briefly about 'possible worlds'. (I hope to elaborate elsewhere.) In the present monograph I argued against those misuses of the concept that regard possible worlds as something like distant planets, like our own surroundings but somehow existing in a different dimension, or that lead to spurious problems of 'transworld identification'. Further, if one wishes to avoid the Weltangst and philosophical confusions that many philosophers have associated with the 'worlds' terminology, I recommended that 'possible state (or history) of the world', or 'counterfactual situation' might be better. One should even remind oneself that the 'worlds' terminology can often be replaced by modal talk—'It is possible that . . .' Following Kripke, we build a model structure M as an ordered triple <G, K, R>. K is the set of all "possible worlds," G is the "actual world," R is a reflexive relation on K, and G ∈ K. If H_{1}, H_{2}, and H_{3} are three possible worlds in K, H_{1}RH_{2} says that H_{2} is "possible relative to" or "accessible from" H_{1}, that every proposition true in H_{2} is possible in H_{1}. Indeed, the H worlds and the actual world G are all mutually accessible and each of these is possible relative to itself, since R is reflexive. Now the model system M assigns to each atomic formula (propositional variable) P a truthvalue of T or F in each world H ∈ K. Let us define the worlds H_{1}, H_{2}, and H_{3} as identical to the real world G in all respects except the following statements describing actions of a graduating college student Alice deciding on her next step. In H_{1}, the proposition "Alice accepts admission to Harvard Medical School" is true. In H_{2}, the proposition "Alice accepts admission to MIT" is true. In H_{3}, the proposition "Alice postpones her decision and takes a 'gap year'" is true. At about the same time, in the actual world G, the statement "Alice considers graduate school" is true. Note that the abstract information that corresponds to the three possible worlds H is embodied physically in the matter (the neurons of Alice's brain) in the actual world and in the three possible worlds. There is no issue with the "transworld identity" of Alice as there would be with Lewis's modal realism," because all these possible worlds are in the same spatiotemporal domain. The four statements are true in all possible worlds. The metaphysical question is which of the three possible worlds becomes the new actual world, say at time t. What is the fundamental structure of reality that supports the simultaneous existence of alternative possibilities? Just before time t, we can interpret the semantics of the model structure M as saying that the above statements were "merely possible" thoughts about future action in Alice's mind.
Note also that just after the decision at time t, the three possible applications remain in Alice's Experience Recorder and Reproducer as memories.
Consequences
In the future of world H_{1}, Alice's research discovers the genetic signals used in messaging by cancer cells and cancer is eliminated. Several hundred million lives are saved (extended) in Alice's lifetime.
In the future of world H_{2}, Alice engineers the miniaturization of nuclear weapons so they are small enough to be delivered by tiny drones. One is stolen from AFB by a terrorist and flown to X where millions of lives are lost. Alice kills herself the next day. In the future of world H_{3}, a mature Alice returns to school, completes her Ph.D. in Philosophy at Princeton and writes a book on Free Will and Moral Responsibility.
Actualism
Actualism appeals to philosophers who want the world to be determined by physical laws and by theologians who want the world to be in the hands of an omnipotent, omniscient, and benevolent god. Some physicists think the future is causally closed under deterministic laws of nature and the "fixed past." If the knowledge that a Laplacian "superintelligence" could gather about all the motions at any instant is fixed for all time, then everything today might have been predetermined from the earliest moments of the physical universe. The special theory of relativity, for example, describes a fourdimensional "block universe" in which all the possible events of the future already exist alongside those of the past. See, for example, J. J. C. Smart. It makes "foreknowledge" of the future conceivable. Diodorus Cronus dazzled his contemporaries in the fourth century BCE with sophisticated logical arguments, especially paradoxes, that "proved" there could be only one possible future. Diodorus' Master Argument is a set of propositions designed to show that the actual is the only possible and that some true statements about the future imply that the future is already determined. This follows logically from his observation that if something in the future is not going to happen, it must have been that statements in the past that it would not happen must have been true. Modern day "actualists" include Daniel Dennett, for whom determinism guarantees that the actual outcome is and always was the only possible outcome. The notion that we can change the future is absurd, says Dennett, change it from what to what? The ancient philosophers debated the distinction between necessity and contingency (between the a priori and the a posteriori). Necessity includes events or concepts that are logically necessary and physically necessary, contingency those that are logically or physically possible. In the middle ages and the enlightenment, necessity was often contrasted with freedom. In modern times it is often contrasted with mere chance. Causality is often confused with necessity, as if a causal chain requires a deterministic necessity. But we can imagine chains where the linked causes are statistical, and modern quantum physics tells us that all events are only statistically caused, even if for large macroscopic objects the statistical likelihood approaches certainty for all practical purposes. The apparent deterministic nature of physical laws is only an "adequate" determinism. In modern philosophy, modal theorists like David Lewis discuss counterfactuals that might be true in other "possible worlds." Lewis' work at Princeton may have been inspired by the work of Princeton scientist Hugh Everett III. Everett's interpretation of quantum mechanics replaces the "collapse" of the wave function with a "splitting" of this world into multiple worlds. According to the Schrödinger equation of motion, the time evolution of the wave function describes a "superposition" of possible quantum states. Standard quantum mechanics says that interaction of the quantum system with other objects causes the system to collapse into one of the possible states, with probability given by the square of the "probability amplitude." One very important kind of interaction is a measurement by an "observer." In standard quantum theory, when a measurement is made, the quantum system is "projected" or "collapsed" or "reduced" into a single one of the system's allowed states. If the system was "prepared" in one of these "eigenstates," then the measurement will find it in that state with probability one (that is, with certainty). However, if the system is prepared in an arbitrary state ψ_{a}, it can be represented as being in a linear combination of the system's basic eigenstates φ_{n}.
ψ_{a} = Σ c_{n}  n >.
where
c_{n} = < ψ_{a}  φ_{n} >.
The system ψ_{a} is said to be in "superposition" of those basic states φ_{n}. The probability P_{n} of its being found in a particular state φ_{n} is
P_{n} = < ψ_{a}  φ_{n} >^{2} = c_{n}^{2} .
Shannon and Quantum Indeterminism  No Information Without Possibilities
In his development of the mathematical theory of the communication of information, Claude Shannon showed that there can be no new information in a message unless there are multiple possible messages. If only one message is possible, there is no information in that message.
We can simplify this to define the Shannon Principle. No new information can be created in the universe unless there are multiple possibilities, only one of which can become actual. An alternative statement of the Shannon principle is that in a deterministic system, information is conserved, unchanging with time. Classical mechanics is a conservative system that conserves not only energy and momentum but also conserves the total information. Information is a "constant of the motion" in a determinist world. Quantum mechanics, by contrast, is indeterministic. It involves irreducible ontological chance. An isolated quantum system is described by a wave function ψ which evolves  deterministically  according to the unitary time evolution of the linear Schrödinger equation.
(ih/2π) ∂ψ/∂t = Hψ
The possibilities of many different outcomes evolve deterministically, but the individual actual outcomes are indeterministic. This sounds a bit contradictory, but it is not. It is the essence of the highly nonintuitive quantum theory, which combines a deterministic "wave" aspect with an indeterministic "particle" aspect. In his 1932 Mathematical Foundations of Quantum Mechanics, John von Neumann explained that two fundamentally different processes are going on in quantum mechanics (in a temporal sequence for a given particle  not at the same time).
Von Neumann claimed there is another major difference between these two processes. Process 1 is thermodynamically irreversible. Process 2 is in principle reversible. This confirms the fundamental connection between quantum mechanics and thermodynamics that is explainable by information physics. Information physics establishes that process 1 may create information. It is always involved when information is created. Process 2 is deterministic and information preserving. The first of these processes has come to be called the collapse of the wave function. It gave rise to the socalled problem of measurement, because its randomness prevents it from being a part of the deterministic mathematics of process 2. But isolation is an ideal that can only be approximately realized. Because the Schrödinger equation is linear, a wave function  ψ > can be a linear combination (a superposition) of another set of wave functions  φ_{n} >,
 ψ > = ∑ c_{n}  φ_{n} >,
where the c_{n} coefficients squared are the probabilities of finding the system in the possible state  φ_{n} > as the result of an interaction with another quantum system.
c_{n}^{2} = < ψ  φ_{n} >^{2}.
Quantum mechanics introduces real possibilities, each with a calculable probability of becoming an actuality, as a consequence of one quantum system interacting (for example colliding) with another quantum system. It is quantum interactions that lead to new information in the universe  both new information structures and information processing systems. But that new information cannot subsist unless a compensating amount of entropy is transferred away from the new information. Even more important, it is only in cases where information persists long enough for a human being to observe it that we can properly describe the observation as a "measurement" and the human being as an "observer." So, following von Neumann's "process" terminology, we can complete his admittedly unsuccessful attempt at a theory of the measuring process by adding an anthropomorphic Process 3  a conscious observer recording new information in a mind. This is only possible if the local reductions in the entropy (the first in the measurement apparatus, the second in the mind) are both balanced by even greater increases in positive entropy that must be transported away from the apparatus and the mind, so the overall change in entropy can satisfy the second law of thermodynamics.
An Information Interpretation of Quantum Mechanics
Our emphasis on the importance of information suggests an "information interpretation" of quantum mechanics that eliminates the need for a conscious observer as in the "standard orthodox" Copenhagen Interpretation. An information interpretation dispenses also with the need for a separate "classical" measuring apparatus.
There is only one world, the quantum world.
Information physics claims there is only one world, the quantum world, and the "quantum to classical transition" occurs for any large macroscopic object with mass m that contains a large number of atoms. In this case, independent quantum events are "averaged over," the uncertainty in position and momentum of the object becomes less than the observational accuracy as We can say it is ontologically indeterministic, but epistemically deterministic, because of human ignorance Δv Δx > h / m and as h / m goes to zero. The classical laws of motion, with their implicit determinism and strict causality emerge when microscopic events can be ignored. Information philosophy interprets the wave function ψ as a "possibilities" function. With this simple change in terminology, the mysterious process of a wave function "collapsing" becomes a much more intuitive discussion of possibilities, with mathematically calculable probabilities, turning into a single actuality, faster than the speed of light. Information physics is standard quantum physics. It accepts the Schrödinger equation of motion, the principle of superposition, the axiom of measurement (now including the actual information "bits" measured), and  most important  the projection postulate of standard quantum mechanics (the "collapse" so many interpretations deny). But a conscious observer is not required for a projection, for the wavefunction "collapse", for one of the possibilities to become an actuality. What it does require is an interaction between (quantum) systems that creates irreversible information.
In less than two decades of the midtwentieth century, the word information was transformed from a synonym for knowledge into a mathematical, physical, and biological quantity that can be measured and studied scientifically. In 1929, Leo Szilard connected an increase in thermodynamic (Boltzmann) entropy with any increase in information that results from a measurement, solving the problem of "Maxwell's Demon," a thought experiment suggested by James Clerk Maxwell, in which a local reduction in entropy is possible when an intelligent being interacts with a thermodynamic system. In the early 1940s, digital computers were invented by von Neumann, Shannon, Alan Turing, and others. Their machines could run a stored program to manipulate stored data, processing information, as biological organisms had been doing for billions of years. Then in the late 1940s, the problem of communicating digital data signals in the presence of noise was first explored by Shannon, who developed the modern mathematical theory of the communication of information. Norbert Wiener wrote in his 1948 book Cybernetics that "information is the negative of the quantity usually defined as entropy," and in 1949 Leon Brillouin coined the term "negentropy." Finally, in the early 1950s, inheritable characteristics were shown by Francis Crick, James Watson, and George Gamow to be transmitted from generation to generation in a digital code.
Possible Worlds
In ancient times, Lucretius commented on possible worlds:
526. for which of these causes holds in our world it is difficult to say for certain ; but what may be done and is done through the whole universe in the various worlds made in various ways, that is what I teach, proceeding to set forth several causes which may account for the movements of the stars throughout the whole universe; one of which, however, must be that which gives force to the movement of the signs in our world also ; but which may be the true one, The sixteenthcentury philosopher Giordano Bruno speculated about an infinite universe, with room for unlimited numbers of other stars and their own planets.
Philotheo. This is indeed what I had to add; for, having pronounced that the universe must itself be infinite because of the capacity and aptness of infinite space; on account also of the possibility and convenience of accepting the existence of innumerable worlds like to our own; it remaineth still to prove it.Gottfried Leibniz famously introduced his idea of possible worlds as a proposed solution to the problem of evil.
168. Metaphysical considerations also are brought up against my explanation of the moral cause of moral evil; but they will trouble me less since I have dismissed the objections derived from moral reasons, which were more impressive. These metaphysical considerations concern the nature of the possible and of the necessary; they go against my fundamental assumption that God has chosen the best of all possible worlds. There are philosophers who have maintained that there is nothing possible except that which actually happens. These are those same people who thought or could have thought that all is necessary unconditionally. Some [229] were of this opinion because they admitted a brute and blind necessity in the cause of the existence of things: and it is these I have most reason for opposing. But there are others who are mistaken only because they misuse terms. They confuse moral necessity with metaphysical necessity: they imagine that since God cannot help acting for the best he is thus deprived of freedom, and things are endued with that necessity which philosophers and theologians endeavour to avoid. As we saw, the logician and philosopher Saul Kripke described various universes of discourse, collections of true and false propositions, as various "ways the world might be." But most talk about possible worlds is the work of the analytic language philosopher David Lewis. He developed the philosophical methodology known as "modal realism" based on his claims that
Lewis's "modal realism" implies the existence of infinitely many parallel universes, an idea similar to the manyworld interpretation of quantum mechanics. Possible worlds and modal reasoning made "counterfactual" arguments extremely popular in current philosophy. Possible worlds, especially the idea of "nearby worlds" that differ only slightly from the actual world, are used to examine the validity of modal notions such as necessity and contingency, possibility and impossibility, truth and falsity. Lewis appears to have believed that the truth of his counterfactuals was a result of believing that for every noncontradictory statement there is a possible world in which that statement is true.
Unfortunately, the modern defender of "modally real" possible worlds is a determinist who does not believe that alternative possibilities are real. Ironically, Lewis is an actualist, in every "possible" world. And apart from his extravagant and outlandish claim that there are an infinite number of inaccessible "possible" worlds, he is also the creator of another absurd set of infinities. According to his theory of temporal parts, sometimes called fourdimensionalism, Lewis argues that at every instant of time, every individual disappears, ceases to exist, to be replaced by a very similar new entity. He proposes temporal parts as a solution to the metaphysical problem of persistence. He calls his solution "perdurance," which he distinguishes from "endurance." Lewis says: Our question of overlap of worlds parallels the thisworldly problem of identity through time; and our problem of accidental intrinsics parallels a problem of temporary intrinsics, which is the traditional problem of change. Let us say that something persists iff, somehow or other, it exists at various times; this is the neutral word. This is a variation of an Academic Skeptic argument about growth, that even the smallest material change destroys an entity and another entity appears. There is no physical or metaphysical reason for this wild assumption. Nevertheless, Lewis's "counterfactual" thinking is highly popular among modern metaphysicians.
Other possible worlds
Hugh Everett III's manyworlds interpretation of quantum mechanics is an attempt to deny the random "collapse" of the wave function and preserve determinism in quantum mechanics. Everett claims that every time an experimenter makes a quantum measurement with two possible outcomes, the entire universe splits into two new universes, each with the same material content as the original, but each with a different outcome. It violates the conservation of mass/energy in the most extreme way.
The scientist David Layzer argues that since the universe is infinite there are places in the universe where any possible thing is being realized. This is a cosmologist's version of philosopher David Lewis's "possible worlds." Layzer argues that free will is a consequence of not knowing which of the many possible worlds that we are in.
