Wissenschaftsphilosophie der Sozialwissenschaften - Open ...

- 99 -
Billardkugeln anschaulich dargestellt worden. In der Kognitionswissenschaft ist das
sogenannte Computermodell des Geistes einflussreich: Geistige Vorgänge werden
mit den Prozessen in einem Computer verglichen. – Anschauliche Modelle können
hilfreich sein, es ist aber stets wichtig, klarzustellen, welche Aspekte des Modells
dazu dienen sollen, die von der Theorie gemeinte Sache darzustellen. Sonst kann es
zu Missverständnissen kommen.
8.3 Gütekriterien: logische Konsistenz, Gehalt, Einfachheit
Gute Theorien sollen bestimmte Eigenschaften haben. Sie sollen zum einen möglichst
gut mit den Tatsachen übereinstimmen, sie sollen die Wirklichkeit möglichst zufreffend
darstellen. Theorien sollen zum anderen eine Reihe von Eigenschaften haben, die man
bereits beurteilen kann, noch bevor man die Übereinstimmung mit den Tatsachen
überprüft: logische Konsistenz, Informationsgehalt, Einfachheit.
Jede rationale Argumentation setzt das Prinzip voraus, Widersprüche zwischen
Aussagen zu vermeiden. Eine Menge von Aussagen ist logisch inkonsistent, wenn
aus ihr irgendeine Aussage A und zugleich auch ihre Negation ¬A logisch ableitbar
ist; ist dies nicht der Fall, gilt die Aussagenmenge als logisch konsistent. Die
Forderung nach Widerspruchsfreiheit oder logischer Konsistenz steht im Dienste der
Wahrheit einer Theorie. Zwar ist logische Konsistenz keine Garantie für die Wahrheit
einer Theorie. Umgekehrt ist aber logische Inkonsistenz eine Garantie dafür, dass die
Theorie falsch ist: Entweder A, oder aber ¬A muss falsch sein. Daher enthält eine
Theorie, in der sowohl A als auch Non-A vorkommt, auf jeden Fall eine falsche
Aussage und ist somit als Ganzes falsch.
Der Informationsgehalt (kurz Gehalt) einer Theorie T gibt den Reichtum an
Information an, den T beinhaltet. Gehalt wird definiert als Menge aller potentiellen
Beobachtungsaussagen, die durch T logisch ausgeschlossen werden. Dies macht man
sich am besten zunächst an einer einzelnen allgemeinen Hypothese H klar. Der Gehalt
der Aussage H „Alle Raben sind schwarz” besteht aus der Menge aller Aussagen
der Form: „Dieses x ist ein Rabe, und x ist nicht schwarz”. Allgemein: Der Gehalt der
Hypothese „Alle A sind B” ist die Menge aller Aussagen der Form „x ist A und x ist
nicht B”. Warum ist die Menge dieser Aussagen bestimmend für den Gehalt von H?
Weil eine Hypothese, die mit vielen potentiellen Beobachtungen in Widerspruch
geraten kann, über alle diese Fälle (positiv) etwas aussagt, nämlich jeweils: „Wenn
dieses x ein A ist, dann ist es auch ein B”. Immer wenn eine solche positive Aussage
aus H folgt, gibt es auch den potentiellen Fall, dass dieses x ein A, aber kein B ist.
Eine Hypothese, der keine Beobachtung widersprechen kann, sagt auch nichts aus,
z.B.: Es wird regnen oder nicht regnen. Daher ist die Menge der von einer Hypothese
ausgeschlossenen („verbotenen”) Beobachtungsaussagen ein Maß für den Gehalt.