On what there is

Was es gibt (Originaltitel: "On what there is") ist einer der meistrezipierten Aufsätze des US-amerikanischen Philosophen Willard Van Orman Quine und damit gleichzeitig einer der wichtigsten der Analytischen Philosophie. Er erschien zuerst 1948 in der Zeitschrift "Review of Metaphysics", dann später in dem Sammelband "Von einem logischen Standpunkt" ("From A Logical Point of View", 1953).

Die besondere Bedeutung dieses Aufsatzes liegt u.a. darin, dass Quine traditionelle philosophische Probleme, die in der metaphysik-feindlichen Frühphase der Analytischen Philosophie noch als "Scheinprobleme" abgetan worden waren, neu stellt. Insbesondere zählt hierzu der mittelalterliche Universalienstreit, den er auf eine aktuelle Diskussion in der Philosophie der Mathematik projiziert. Die Grundfrage der Ontologie bringt Quine auf die wohl kürzestmögliche Formulierung: "Was gibt es?" und gibt gleich auch die bündigste Antwort: "Alles"^[1]. Daneben widmet sich Quine dem Problem der Nichtexistenz und liefert einen Beitrag zur philosophischen Debatte der Eigennamen. Quines Lösungsansätze sind dabei der "Philosophie der idealen Sprache" verpflichtet: Das Instrumentarium der formalen Logik wird zur Sprachkritik verwendet. Die herausragende Bedeutung des Aufsatzes ergibt sich weiterhin daraus, dass hier der einflussreiche Begriff der "ontologischen Verpflichtung" ("ontological commitment") eingeführt und in diesem Zusammenhang der Slogan "Zu sein bedeutet der Wert einer gebundenen Variable zu sein" geprägt wird^[2].

Inhalt

Das Problem der Nichtexistenz

Quine widmet sich zunächst dem Problem der Nichtexistenz. Was bedeutet es beispielsweise, dass Pegasus nicht existiert? Es scheint, dass Pegasus bereits existieren muss, denn welchem Ding wird sonst hier die Existenz abgesprochen? Dieses Problem nennt Quine "Platons Bart"^[3].

Das Problem wird insbesondere relevant bei einem ontologischen Disput, bei dem es um die Anerkennung oder Nicht-Anerkennung bestimmter Entitäten geht (siehe auch Reduktionismus). Aufgrund Platons Bart scheint die negative Seite, welche die Entitäten nicht anerkennt, bereits im Nachteil, wenn es an die Formulierung der Differenz geht: Sagt sie, dass es bestimmte Dinge gibt, welche die andere Seite anerkennt und sie nicht, so hat sie sich bereits selbst widersprochen^[4].

Quine untersucht verschiedene Arten, wie nicht-existenten Entitäten wie Pegasus eine Art "reduzierte" Existenz (gelegentlich "Subsistenz" genannt) haben können, damit ihnen im nächsten Schritt die volle Existenz abgesprochen werden kann. Eine Möglichkeit besteht darin, dass Pegasus eine Idee im Geist darstellt^[5]. Bei gewöhnlichen, existierenden Dingen wie etwa dem Parthenon besteht aber ein großer Unterschied zwischen dem Ding selbst und seiner Idee (bspw. kann man das Ding anfassen, die Idee nicht), insofern ist nicht einzusehen, wieso bei nicht-existierenden Dingen die Idee als Ersatz für das Ding selbst dienen könnte.

Eine andere Art der reduzierten Existenz ist die einer "nicht-aktualisierten Möglichkeit"^[6]. Diese Theorie behauptet, dass Gegenstände, die es nicht gibt, die es aber geben könnte, in einem eingeschränkten Sinne als mögliche Gegenstände existieren. Quines Einwand gegen diese neue Art der Gegenstände beruft sich auf zum einen auf Ockhams Rasiermesser: Ihre Annahme vervielfacht den Bereich der existierenden Dinge auf unnötige Weise. Daneben führt er aus, dass sie ihr Ziel nicht erreichen: Zwar liefern diese möglichen Gegenstände eine Analyse für Aussagen wie "Pegasus existiert nicht", sie versagen jedoch bei "Die runde quadratische Kuppel von Berkeley existiert nicht", denn selbige ist nicht einmal ein möglicher, sondern ein unmöglicher Gegenstand. Die Idee, kontradiktorische Ausdrücke wie "die runde quadratische Kuppel" als sinnlos anzusehen, verwirft Quine: Dann wäre die Beweistechnik des indirekten Beweises nicht länger zulässig, denn bei dieser Beweismethode müssen widersprüchliche Annahmen gemacht werden.

Nachdem Quine die Unannehmbarkeit von diesen Theorien einer reduzierten Existenz gezeigt hat, präsentiert er seine eigene Lösung des Problems der negativen Existenzaussagen^[7]. Er beruft sich dabei auf Russells Kennzeichnungstheorie: Nach dieser ist die Aussage: "Die runde quadratische Kuppel von Berkeley existiert nicht" zu analysieren als: "Es gibt entweder kein oder mehr als ein Ding, das Kuppel von Berkeley, rund und quadratisch ist". Der Vorteil dieser Analyse ist, dass der Ausdruck "die runde quadratische Kuppel", der auf ein Individuum zu referieren scheint (wobei sich dann fragt, welches Individuum das sein soll), aus dem Satz verschwunden ist. Russells Theorie ist aber nur auf Kennzeichnungen, also Ausdrücke der Form "der/die/das A", anwendbar, nicht auf Eigennamen wie "Pegasus". Quines Vorschlag lautet diesbezüglich, Eigennamen in Kennzeichnungen umzuwandeln, ggf. durch Einführung von Ad-hoc-Prädikaten wie "pegasiert". "Pegasus" wäre also "das Ding, das pegasiert".

Ontologische Verpflichtungen

Eine durchgehende Elimination von Eigennamen (und eine Behandlung der entstehenden Kennzeichnungen im Sinne von Russell) hat den Vorteil, dass die Existenz von Gegenständen nicht länger implizit durch die Verwendung von Namen vorausgesetzt, sondern explizit behauptet werden muss. Übertragen wir die so entstandenen Sätze in eine prädikatenlogische Notation, so werden diese Existenzbehauptungen vermittels von Quantoren und die durch sie gebundenen Variablen ausgedrückt.

Gegeben eine Menge von Behauptungen, so können wir von der Gesamtheit der Individuen sprechen, deren Existenz vorausgesetzt werden muss, wenn die behaupteten Aussagen wahr sind. Diese Individuen bilden nach Quine die so genannten ontologischen Verpflichtungen (ontological commitments), die wir mit den Behauptungen eingehen. So ist Quines Aussage zu verstehen, dass sich unsere ontologischen Verpflichtungen von unserem Gebrauch von durch Quantoren gebundenen Variablen herleiten^[8]. Eine ontologische Verpflichtung zu einer bestimmten Entität besteht dann, wenn diese Entität zu den Werten gezählt werden muss, die eine der Variablen annehmen kann, gesetzt dass die in Frage stehenden Behauptungen wahr sind^[9].

Quines Vorgehen kann als typisch für die Philosophie der idealen Sprache gelten: Aussagen der Alltagssprache werden in eine formale Sprache, die so genannte kanonische Notation, übersetzt, um ihren logischen Gehalt transparent zu machen. Insofern es dabei gelingt, Eigennamen aufzulösen, stellen selbige ein irreführendes Merkmal der Alltagssprache dar.

Das Universalienproblem

In seinem Aufsatz befasst Quine sich auch mit einer Anwendung seiner allgemeinen Aussagen über Ontologie, nämlich mit dem Universalienproblem, also der Frage, ob es abstrakte Gegenstände gibt. Ein Befürworter abstrakter Entitäten könnte argumentieren, dass rote Häuser und Sonnenuntergänge etwas gemeinsam haben, und diese Gemeinsamkeit ist ein abstrakter Gegenstand, die Farbe Rot. Für Quine ist die Rede von der Gemeinsamkeit jedoch nur eine irreführende Ausdrucksweise, die Tatsache, dass sowohl Häuser als auch Sonnenuntergänge rot sind, hält er für irreduzibel und behauptet, dass "okkulte" Gegenstände wie die Farbe Rot auch keine bessere Erklärung für diese Tatsache abgeben^[10].

Einen weiteren Kandidaten für abstrakte Gegenstände hält Quine ebenfalls für entbehrlich: Bedeutungen^[11]. Es gebe nur zwei Kontexte, in denen sinnvoll von Bedeutungen die Rede sei: bei der Frage, ob ein Ausdruck Bedeutung habe und bei der Frage, ob zwei Ausdrücke die gleiche Bedeutung haben. Statt der ersten Frage könne man jedoch auch die Frage stellen, ob ein Ausdruck bedeutsam (significant) sei, statt der zweiten, ob zwei Ausdrücke synonym seien (dem zweiten Problem widmet sich u.a. Quines Aufsatz Zwei Dogmen des Empirismus). In keinem Falle sei es notwendig, eigenständige Dinge, genannt Bedeutungen, anzunehmen.

In der Philosophie der Mathematik sei laut Quine der alte Universalienstreit um die Existenz der abstrakten Gegenstände wiederaufgeflammt, tatsächlich ließen sich sogar die drei klassischen Positionen heute wiederfinden^[12]:

• Der Universalienrealismus, also die Theorie, dass abstrakte Gegenstände real sind, ließe sich mit dem Logizismus Freges, Russells und Carnaps identifizieren. Frege nimmt beispielsweise ein unabhängiges Reich der mathematischen Ideen an, das vom Menschen entdeckt wird.
• Konzeptualismus, also die Auffassung, dass die abstrakten Gegenstände im Geiste des Menschen existieren, finde seine Entsprechung im von Poincaré, Brouwer und anderen vertretenen Intuitionismus bzw. Konstruktivismus, also der Auffassung, dass mathematische Objekte nur in dem Maße real sind, wie sie sich vom Menschen konstruieren lassen.
• Die Ansicht, dass abstrakte Gegenstände nur in der Sprache existieren, der Nominalismus also, sei mit dem Formalismus Hilberts gleichzusetzen, welcher behauptet, die Mathematik sei nur ein Spiel mit bedeutungslosen Symbolen.

Die Behandlung eines ontologischen Dissens

Am Ende seines Aufsatzes macht Quine einige allgemeine Aussagen darüber, wie ein ontologischer Dissens, also eine Auseinandersetzung über die Anerkennung bzw. Nicht-Anerkennung gewisser Entitäten geführt werden soll. Quine plädiert für den "semantischen Aufstieg" (semantic ascent): Statt den fraglichen Entitäten selbst sollten die Aussagen, in denen von den Entitäten die Rede ist, thematisiert werden. Zum einen könne damit das eingangs erwähnte Problem "Platons Bart" umgangen werden, zum anderen ließe sich so eher eine gemeinsame Grundlage finden, von der ausgehend argumentiert werden könne.^[13]

Bei der Frage, welche von zwei konkurrierenden Ontologien zu wählen ist, schlägt Quine als Entscheidungskriterium Einfachheit, also das bereits angesprochene Ockham'sche Rasiermesser vor. Allerdings sei Einfachheit keine sehr klare und eindeutige Idee^[14]. Quine demonstriert dies anhand der beiden Standpunkte Phänomenalismus und Realismus in Bezug auf das Problem der Außenwelt: Geht es um die Wiedergabe unmittelbarer Erlebnisse, sind Sinnesdaten die einfachsten und grundlegendsten Objekte ("Ich habe hier und jetzt die Empfindung von etwas Rundem, Glänzenden."). Doch die Annahme externer physikalischer Gegenstände vereinfacht das Bild insofern als eine große Menge von verteilten Objekten nun zu einem einzelnen Gegenstand zusammengefasst werden können. (Verschiedene Empfindungen von etwas Runden und Glänzenden werden zu einem Penny vereinigt.) In diesem Zusammenhang zeigt Quine sich als Pragmatist: Welchen der beiden Standpunkte wir einnehmen, ist letzten Endes von unseren Interessen und Zwecken abhängig^[15].

Weblinks

On What There Is – Originaltext

Literatur

• W.V.O. Quine From a Logical Point of View, Harvard University Press, 1953.
• W.V.O. Quine Was es gibt, deutsche Übersetzung in Wolfgang Stegmüller (Hrsg.): Das Universalienproblem, WBG, Darmstadt 1978, 102 - 123

Fußnoten/Quellen

1. ↑ "A curious thing about the ontological problem is its simplicity. It can be put in three Anglo-Saxon monosyllables: "What is there?". It can be answered, moreover in a word - "Everything"." (S. 1, die Seitenzahlen beziehen sich hier wie überall auf die amerikanische Originalausgabe, siehe Literaturverzeichnis)
2. ↑ Im Text findet sich die Formulierung "To be assumed as an entity is [...] to be reckoned as the value of a variable" (S. 13). Später wurde dies verkürzt zu "To be is to be the value of a bound variable".
3. ↑ "Nonbeing must in some sense be, otherwise what is it that there is not? This tangled doctrine might be nicknamed Plato's beard [...]." (S. 2)
4. ↑ S.1
5. ↑ S. 2
6. ↑ S. 3
7. ↑ S. 5 ff.
8. ↑ "[T]he only way we can involve ourselves in ontological commitments [is] by our use of bound variables". S. 12
9. ↑ "[... W]e are convicted of a particular ontological presupposition if, and only if, the alleged presuppositum has to be reckoned among the entities over which our variables range in order to render one of our affirmations true." S. 13
10. ↑ That the houses and roses and sunsets are all of them red my be taken as ultimate and irreducible, and it may be held that [the proponent of abstract entities] is no better off, in point of real explanatory power, for all the occult entities which he posits under such names as "redness". S. 10
11. ↑ S.11
12. ↑ S. 14f
13. ↑ S. 16
14. ↑ But simplicity [...] is not a clear and unambiguos idea [...].
15. ↑ S. 19