Die Induktion durch Eliminierung
Also findet die Induktion durch Eliminierung die wahre Ursache eines Phänomens (seine „Form“, sagt Bacon) viel sicherer als die Induktion durch einfache Aufzählung.
Ein einziger Gegenfall schließt eine Hypothese aus; indem man alles ausscheidet, was fehlt, wenn das Phänomen vorhanden ist, bleibt die Ursache übrig.
„Die Induktion durch Eliminierung“ ist ein Argument von Francis Bacon (Novum Organum, I, 105 und II, 11-20 (1620)) zur Frage „Kann man sich einer Sache sicher sein?“ (Antwort: durch erfahrung, mit vorsicht). Seine These: Also findet die Induktion durch Eliminierung die wahre Ursache eines Phänomens (seine „Form“, sagt Bacon) viel sicherer als die Induktion durch einfache Aufzählung. Laut der Logikprüfung von AskPhilosophy (Z3-Solver) ist das Argument nur gültig, wenn man eine Prämisse zugesteht, die der Autor nicht ausdrücklich formuliert (P4, P5). AskPhilosophy präsentiert 4 Einwände, davon 1 mit einer dokumentierten Erwiderung, sowie den Originaltext hinter jeder Prämisse, Wort für Wort geprüft.
Nehmen wir ein modernes Beispiel: „Alle Schwäne, die ich gesehen habe, sind weiß, also sind alle Schwäne weiß“. Bacon nennt diese Art des Schließens durch einfache Aufzählung eine „kindische“ Induktion, weil ein einziges Gegenbeispiel (ein schwarzer Schwan) genügt, um sie zu widerlegen. Er schlägt vor, die Schwierigkeit umzukehren: Da ein einziges Gegenbeispiel genügt, um eine Hypothese auszuschließen, nutzen wir es. Um die Ursache der Wärme zu finden, stellt man drei Tafeln auf: die Fälle, in denen Wärme vorhanden ist, benachbarte Fälle, in denen keine vorhanden ist, und Fälle, in denen sie zu- oder abnimmt. Dann scheidet man jede Erklärung aus, die auch nur einen dieser Tests nicht besteht. Was übrig bleibt, ist die Ursache. Sein eigener Versuch, seine „erste Weinlese“, kommt zu dem Schluss, dass Wärme eine Bewegung ist.
klicke auf eine Prämisse, um sie zurückzuweisen
Ohne die implizite Prämisse: Ohne P4 findet der Computer einen Fall, in dem alle Erklärungen bis auf eine ausgeschieden wurden, die wahre Ursache aber nicht auf der Liste stand: Die übrig gebliebene Erklärung ist falsch. Ohne P5 wird die Ursache zwar für die untersuchten Fälle gefunden, aber nichts garantiert, dass sie auch für die übrigen gilt.
Einwände
4Jeder Einwand ist ein Gespräch: Klicke, um zu sehen, wer erwidert und wo die Debatte steht.
Von Bacon vorweggenommener Einwand greift Prämisse 4 anAber wenn unsere Begriffe der einfachen Naturen (das Elementare, das Himmlische, das Dünne …) noch vage und schlecht bestimmt sind, wie könnte der Ausschluss dann genau sein?
Bacon erwidert
Aber wenn unsere Begriffe der einfachen Naturen (das Elementare, das Himmlische, das Dünne …) noch vage und schlecht bestimmt sind, wie könnte der Ausschluss dann genau sein?
Hume 1748 · greift Prämisse 5 anJeder aus der Erfahrung gezogene Schluss setzt voraus, dass die Zukunft der Vergangenheit gleichen wird. Diese Ähnlichkeit lässt sich aber nicht durch Erfahrung beweisen, ohne sich im Kreis zu drehen. Bacons Tafeln zeigen, was in den beobachteten Fällen geschehen ist: nicht mehr. Zu glauben, dass die gefundene Ursache auch morgen gelten wird, ist eine Gewohnheit, kein Beweis.
ohne Erwiderung
Jeder aus der Erfahrung gezogene Schluss setzt voraus, dass die Zukunft der Vergangenheit gleichen wird. Diese Ähnlichkeit lässt sich aber nicht durch Erfahrung beweisen, ohne sich im Kreis zu drehen. Bacons Tafeln zeigen, was in den beobachteten Fällen geschehen ist: nicht mehr. Zu glauben, dass die gefundene Ursache auch morgen gelten wird, ist eine Gewohnheit, kein Beweis.
Kant 1787 · greift Prämisse 2 anZufällig angestellte Beobachtungen, nach keinem vorher entworfenen Plan, liefern nie ein Gesetz. Die Vernunft muss die Natur befragen, wie ein Richter Zeugen befragt: mit eigenen Fragen, indem sie ihre Experimente nach ihren Prinzipien anlegt. Tatsachen „ohne voreilige Spekulation“ zu sammeln genügt also nicht: Eine Frage und ein Prinzip müssen vorausgehen.
ohne Erwiderung
Zufällig angestellte Beobachtungen, nach keinem vorher entworfenen Plan, liefern nie ein Gesetz. Die Vernunft muss die Natur befragen, wie ein Richter Zeugen befragt: mit eigenen Fragen, indem sie ihre Experimente nach ihren Prinzipien anlegt. Tatsachen „ohne voreilige Spekulation“ zu sammeln genügt also nicht: Eine Frage und ein Prinzip müssen vorausgehen.
Karl Popper 1934 · greift Prämisse 4 anDie Liste der möglichen Erklärungen ist nie vollständig: Es gibt immer unendlich viele. Ausscheiden kann daher nie beweisen, dass eine Theorie wahr ist. Die Wissenschaft schreitet durch kühne Vermutungen voran, die wir zu widerlegen versuchen; eine Theorie, die standhält, ist nicht bewiesen, sondern nur noch nicht widerlegt.
ohne Erwiderung
Die Liste der möglichen Erklärungen ist nie vollständig: Es gibt immer unendlich viele. Ausscheiden kann daher nie beweisen, dass eine Theorie wahr ist. Die Wissenschaft schreitet durch kühne Vermutungen voran, die wir zu widerlegen versuchen; eine Theorie, die standhält, ist nicht bewiesen, sondern nur noch nicht widerlegt.