In Philosophie und Logik 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.

Um die Wahrheit einer modalen Aussage beurteilen zu können, reicht es nicht aus zu wissen, ob der ausgedrückte Sachverhalt tatsächlich wahr oder falsch ist:

1.    Es ist möglich, dass die Erde eine Scheibe ist.

2.    Es ist notwendig, dass die Erde kugelförmig ist.

Das Wissen, dass die Erde tatsächlich kugelförmig ist, gibt noch keinen Aufschluss darüber, ob (1) es möglich wäre, dass die Erde eine andere Form hätte; oder ob (2) es notwendig ist, dass die Erde Kugelgestalt hat, ob sie also gar nicht anders beschaffen sein könnte.

Als mögliche Welt bezeichnet man eine die Logik achtende Vorstellung, wie die Realität beschaffen sein könnte – also eine logisch konsistente Gesamtheit von Vorstellungen der möglichen Sachverhalte. Eine Möglichkeitsaussage wird dann insgesamt als wahr bezeichnet, wenn sie in einer solchen Welt („in mindestens einer möglichen Welt“) erfüllt ist; eine Notwendigkeitsaussage wird als wahr bezeichnet, wenn sie in allen solchen Welten („in allen möglichen Welten“) erfüllt ist. Der modale Realismus, dessen bekanntester Vertreter im 20. Jahrhundert David K. Lewis sein dürfte, fasst diese möglichen Welten als zutreffende Vorstellungen von Parallelwelten auf.

Möglichkeit, Notwendigkeit und Kontingenz

Philosophen, die den Begriff der möglichen Welt benutzen, unterscheiden die Vorstellung vom tatsächlichen Stand der Dinge – die tatsächliche „Welt“, oft auch „aktuale Welt“ oder „Wirklichkeit“ genannt – von anderen Vorstellungen, wie die Dinge liegen könnten. Die tatsächliche oder aktuale Welt ist die zutreffende Vorstellung von der Realität (besser Wirklichkeit), so wie jene der Fall ist. Die übrigen Welten werden kontrafaktische mögliche Welten genannt.

Wesentlich ist, dass es sich bei den kontrafaktischen möglichen Welten um Vorstellungen, beispielsweise Ergebnisse von Gedankenspielen handelt, mit den Worten Saul A. Kripkes: „Mögliche Welten werden festgelegt und nicht durch mächtige Teleskope entdeckt.“[1] Aus Sicht der Logik gibt es keine Einschränkungen hinsichtlich der Frage, welche „Welten“, d. h. welche Vorstellungen gebildet werden dürfen und welche nicht – solange die Logik nicht missachtet wird. Die Frage, welche Vorstellungen tatsächlich möglich sind, ist philosophischer Natur und kommt erst dann zum Tragen, wenn man das Konzept der möglichen Welten auf außerlogische Fragestellungen anwenden möchte.

Die Beziehung zwischen Aussagen und möglichen Welten ist sehr eng: Jede gegebene Aussage ist in jeder angenommenen möglichen Welt entweder wahr oder falsch; daraus lässt sich dann der modale Zustand einer Proposition ableiten, verstanden als die beiden Mengen möglicher Welten in denen sie wahr und in denen sie falsch ist. Damit lassen sich folgende weitere Begriffe bilden:

·         Wahr sind solche Aussagen, die in der aktualen Welt wahr sind (z. B. „Gerhard Schröder wurde 1998 Bundeskanzler.“")

·         Falsch sind solche Aussagen, die in der aktualen Welt falsch sind (z. B. „Angela Merkel wurde 1998 Bundeskanzlerin.“)

·        Möglich sind solche Aussagen, die in wenigstens einer möglichen Welt wahr sind (z. B. „Esther Schweins wurde 1998 Bundeskanzlerin.“)

·       Kontingent sind solche Aussagen, die in mindestens einer möglichen Welt wahr und in mindestens einer möglichen Welt falsch sind (z. B. „Gerhard Schröder wurde 1998 Bundeskanzler“).

·       Notwendig sind solche Aussagen, die in allen möglichen Welten wahr sind (z. B. „Alle Kreise sind rund.“)

·       Unmöglich sind solche Aussagen, die in allen möglichen Welten falsch sind (z. B. „Es gibt rechteckige Kreise.“)

Die Idee von möglichen Welten wird meist mit Gottfried Wilhelm Leibniz in Verbindung gebracht, der mögliche Welten als Vorstellungen im Geist Gottes begriff und den Ausdruck dahingehend verwendete, dass die tatsächlich geschaffene Welt aufgrund der Allgüte und Allmacht Gottes folglich die beste aller möglichen Welten darstellen müsste.

Allerdings hat die Forschung Spuren dieser Idee auch schon bei früheren Philosophen nachgewiesen, so etwa in den Schriften von Lucretius,
Averroes oder John Duns Scotus. Der moderne Gebrauch dieses Begriffs wurde hingegen entscheidend von Rudolf Carnap (der sich ausdrücklich auf Leibniz bezog) und von Saul Kripke geprägt.

Eine aus der Semantik möglicher Welten abgeleitete systematische Theorie wurde erstmals in den 1950er-Jahren von Saul Kripke und anderen damaligen Philosophen entwickelt. Ähnlich der obigen Vorgangsweise wurde der Begriff der möglichen Welt dazu verwendet, eine Semantik für Aussagen über Möglichkeit und Notwendigkeit zu etablieren: Eine Aussage in der Modallogik wird als möglich bezeichnet, wenn sie in mindestens einer möglichen Welt wahr ist. Eine Aussage gilt als notwendig, wenn sie in allen möglichen Welten wahr ist; und eine Aussage gilt als wahr beziehungsweise als falsch, wenn sie zumindest in der Wirklichkeit (der tatsächlichen, aktualen Welt) wahr bzw. falsch ist. dazu auch die Tabelle unter „Diverse Theorien zu möglichen Welten“. (Beachte, dass nach dieser Definition alle notwendigen Aussagen auch möglich und wahr sind.)

Der Ausdruck „Mögliche-Welten-Semantik“ wird häufig synonym mit „Kripke-Semantik“ gebraucht; oft wird aber auch der Begriff „Mögliche-Welten-Semantik“ auf die Analyse alethischer Formen von Logik, d. h. solcher, die sich mit der Wahrheit und Falschheit von Aussagen beschäftigen, beschränkt. Demgegenüber eignet sich die Kripke-Semantik auch für solche Logiken, die nicht mit der Wahrheit als solcher beschäftigt sind, z. B. für die deontische Logik, die Verbote und Erlaubnisse behandelt und analysiert. Schließlich ist der Begriff „Kripke-Semantik“ sprachlich neutraler, weil er im Gegensatz zur Rede von möglichen Welten nicht den Anklang eines modalen Realismus hat.

Von dieser Grundlage aus entwickelte sich die Theorie möglicher Welten im Laufe der 1960er-Jahre zu einem zentralen Bestandteil vieler philosophischer Untersuchungen, darunter als vielleicht bekanntestes Beispiel die Analyse von kontrafaktischen Konditionalen mittels „näherer möglicher Welten“, wie sie von David Lewis und Robert Stalnaker vorangetrieben wurde. Nach dieser Analyse wird die Wahrheit von kontrafaktischen Aussagen (d. h. von Aussagen, die diskutieren, was geschehen wäre, wenn das und das der Fall gewesen wäre) durch die Wahrheit der dazu am nächsten liegenden möglichen Welt (oder der Menge der dazu am nächsten liegenden möglichen Welten) bestimmt, in der diese Bedingungen auftreten. Dabei liegt eine mögliche Welt W1 hinsichtlich R umso näher zu einer anderen möglichen Welt W2, je höher die Anzahl gleicher Sachverhalte bezüglich R ist, die sowohl in W1 als auch in W2 vorliegen. Je verschiedener diese Sachverhalte, desto weiter voneinander entfernt werden die beiden Welten hinsichtlich R liegen. Betrachte nun den folgenden Bedingungssatz: „Wenn Angela Merkel 2005 nicht Bundeskanzlerin der BRD geworden wäre, hätte es Gerhard Schröder wieder geschafft.“ Dieser Satz wird nun unter der „Mögliche Welten“-Analyse dahingehend gedeutet, dass er die folgende Aussage zum Ausdruck bringen wollte: „Für alle zu unserer wirklichen Welt in den relevanten Rücksichten nächstliegenden möglichen Welten gilt: Hätte Angela Merkel 2005 nicht die Bundestagswahlen der BRD gewonnen, wäre Gerhard Schröder stattdessen Bundeskanzler geworden.“ Wenn es nun eine (in den relevanten Hinsichten) nächstliegende mögliche Welt gibt, in der Gerhard Schröder nicht Bundeskanzler geworden wäre, muss, so die Analyse, die obige Aussage falsch sein.

Heutzutage spielt der Begriff einer möglichen Welt eine unvermindert wichtige Rolle in vielen zeitgenössischen Debatten, darunter beispielsweise im Zombie-Argument und der Möglichkeit der Supervenienz von physikalischen Eigenschaften in der Philosophie des Geistes. Außerdem ist eine heftige Debatte über den ontologischen Status von möglichen Welten entbrannt, vorangetrieben vor allem von David Lewis Annahme, dass die Rede von möglichen Welten am besten über unzählige, real existierende Welten neben unserer eigenen gerechtfertigt werden kann. Die entscheidende Frage ist dabei: Angenommen, dass die modale Logik funktioniert und das zumindest einige Semantiken dafür korrekt sind: Wie kann man sich diese möglichen Welten vorstellen, auf die wir uns in unserer Interpretation modaler Aussagen beziehen? − Lewis selbst hat argumentiert, dass wir dabei dann tatsächlich über reale, ganz konkret existierende Welten quantifizieren, die ebenso eindeutig wie unsere eigene Welt existieren und sich nur durch ihre fehlenden räumlichen, zeitlichen und kausalen Bezüge zu dieser von ihr unterscheiden lassen. (Nach Lewis Auffassung ist die einzige „spezielle“ Eigenschaft unserer Welt eine rein relationale: Wir leben darin. Diese These wird als „die Indexikalität der Aktualität“ bezeichnet: „aktual“ ist hierbei dann nur noch ein indexikalischer Ausdruck wie „hier“ und „nun“). Andere Philosophen wie Robert Merrihew Adams und William Lycan haben dann auch Lewis Konzeption als Beispiel metaphysischer Extravaganz verworfen. Stattdessen wurde vorgeschlagen, sich mögliche Welten als maximal vollständige und in sich konsistente Mengen von Beschreibungen oder Propositionen über die Welt vorzustellen. (Lewis bezeichnet diese und ähnliche Vorschläge, wie sie auch von Alvin Plantinga und Peter Forrest vorgebracht wurden, als „modalen Ersatz-Realismus“; er meint, dass solche Theorien vergeblich versuchen würden, den maximalen Nutzen des Begriffs einer möglichen Welt für die Modallogik bei minimalen Einsatz an realistischen Annahmen auszuschöpfen.) Saul Kripke stellt sich in Naming and Necessity explizit der Lewis'schen These und verteidigt im Gegenzug einen stipulativen Ansatz, nach dem mögliche Welten als rein formale (logische) Entitäten und nicht als real existierende Welten oder Menge an konsistenten Propositionen charakterisiert werden können.

Einige Interpretationen der modernen Quantenmechanik postulieren eine Realexistenz Vieler Welten. Mindestens jedes eindeutige Messergebnis eines quantenmechanischen Prozesses ist demzufolge in einer Welt realisiert. Darüber hinaus können auch die zwischenzeitlichen Systemzustände als in verschiedenen Welten realisiert verstanden werden. Sofern man eine offene Zukunft annimmt, existieren dieser Interpretation zufolge schon im ersten Fall unendliche viele parallele Welten. Die Attraktivität dieser Interpretationen besteht darin, dass sie eine realistische Deutung für zwei Eigenarten der Quantenmechanik geben: erstens der von der Theorie nur mit Wahrscheinlichkeitsbewertungen voraussagbaren Ergebnisse, zweitens der von ihr postulierten Überlagerung von Systemzuständen während des Zeitverlaufs zwischen Messvorgängen. Dies ist allerdings nicht die einzige realistische Interpretation der Quantenmechanik, gegen sie werden diverse Gegenargumente vorgebracht und daneben existieren diverse nichtrealistische Interpretationen (welche weder für die nicht realisierten Messergebnisse noch für Theorieaussagen über überlagerte Zustände je eigene ontologisch realexistente Wahrmacher annehmen).

Die ontologischen Verpflichtungen dieser Interpretation der Quantenmechanik sind immens, aber weit geringer als diejenigen eines Realismus bezüglich möglicher Welten. Denn die Menge der durch die Quantenmechanik zugelassenen Weltzustände ist nur eine Teilmenge der logisch möglichen Sachverhaltskombinationen. Wer daher für eine Viele-Welten-Interpretation der Quantenmechanik votiert, ist nicht bereits auf einen Realismus bezüglich logischer möglicher Welten festgelegt. Auch umgekehrt kann der Realist bezüglich logischer möglicher Welten die unterschiedlichsten Interpretationen der Quantenmechanik akzeptieren. Er muss lediglich keine zusätzlichen ontologischen Bedenken haben, seine Ontologie unzulässig anzureichern, wenn er eine Viele-Welten-Interpretation akzeptiert.

Francesco Berto: Impossible Worlds. In: Edward N. Zalta (Hrsg.): Stanford          Encyclopedia of Philosophy

Philpapers

1.    Possible worlds are stipulated, not discovered by powerful telescopes., Saul A. Kripke: Naming and Necessity. S. 267.

2.    Gottfried Wilhelm Leibniz: Essais de Théodicée sur la Bonté de Dieu, la Liberté de l'Homme et l'Origine du Mal, Amsterdam 1710. / Dt. Übers.: Die Theodizee von der Güte Gottes, der Freiheit des Menschen und dem Ursprung des Übels, in: Philosophische Schriften, Bd. 2, Suhrkamp Vlg., Frankfurt a. M. 1996

3.    Kripke, Saul. Naming and Necessity, Harvard University Press, Cambridge, 1980.

4.    Lewis, David. (1973). Counterfactuals. Blackwell Publishers. ISBN 0631224254

5.    Lewis, David. On the Plurality of Worlds, Blackwell Publishing, Malden, 1986. (70[…]208)

6.    Lewis, David, „Causation“, in: David Lewis, Philosophical Papers, vol. 2, New York, Oxford University Press, 1986

7.    Heißler, Reinhart. David Lewis’ Mögliche Welten, Tectum, Marburg, 2010. (91)

8.    Jeffrey, Richard, The Logic of Decision, University of Chicago Press, McGraw-Hill, 1965, 12.8

Dieser Aufsatz ist der Wikipedia entnommen.

Gliederung