Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie Prof. Dr. Jörg Rössel Ablaufplan 1. Einleitung: Was ist Wissenschaft(stheorie) überhaupt? 2. Vorbereitung I: Logik und Argumentation 3. Vorbereitung II: Vorläufige Definitionen von zentralen Begriffen 4. Auftakt zur modernen Wissenschaftstheorie: Logischer Empirismus 5. Theorie und Bestätigung 5.1. Induktive Schlüsse und ihre Probleme 5.2. Wissenschaftssoziologie und Science Studies – Wege in Relativismus und Konstruktivismus? 5.3. Experimentalismus 5.4. Naturalismus 5.5. Moderne Bestätigungstheorie: Bayesianismus 6. Kritischer Rationalismus: Karl Popper 7. Theorien als Strukturen 7.1. Normalwissenschaft und wissenschaftliche Revolutionen (Thomas S. Kuhn) 7.2. Forschungsprogramme und Forschungstraditionen (Imre Lakatos und Larry Laudan) 7.3. Anything Goes? (Paul Feyerabend) 7.4. Strukturalistische Wissenschaftstheorie 8. Erklärungen und Kausalität in den Sozialwissenschaften 8.1. Deduktiv-nomologische Erklärungen 8.2. Induktiv-statistische Erklärungen 8.3. Alternative Erklärungsmodelle (Teleologische Erklärungen, Funktionalismus, Mechanismen) 9. Emergenz und Reduktion 10. Objektivität und Interpretation (optional) 11. Wissenschaftlicher Realismus und Instrumentalismus (optional) 2. Vorbereitung I: Logik und Argumentation 1. Argumente 2. Aussagesätze 3. Gültigkeit, Schlüssigkeit, Wahrheit 4. Aussagenlogik 4.1. Vorklärungen 4.2. Wahrheitsfunktionale Verknüpfungen 4.3. Aussagenlogische Form 4.4. Logische Wahrheit, Falschheit 5. Was hat das mit Wissenschaftstheorie zu tun? 1. Argumente Will man in der Philosophie oder in den empirischen Wissenschaften bestimmte Thesen begründen, dann benötigt man gute Argumente. Ein Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass ein Teil dieser Sätze (die Prämissen) einen Satz der Folge (die Konklusion) in dem Sinne stützen, dass es rational ist, die Konklusion für wahr zu halten, falls die Prämissen wahr sind. Beispiele: Alle Soziologen sind Menschen. Alle Menschen sind schlafbedürftig. Also: Alle Soziologen sind schlafbedürftig. Da nun der Krieg mit den Grenznachbarn ein Übel und der Krieg mit den Thebanern ein solcher gegen Grenznachbarn ist, so ist es offenbar ein Übel, mit den Thebanern zu kriegen (Aristoteles). Verbesserte Form: Der Krieg gegen Grenznachbarn ist ein Übel. Der Krieg gegen die Thebaner ist ein Krieg gegen Grenznachbarn. Also: Der Krieg gegen die Thebaner ist von Übel. Æ Prämissen und Konklusion explizit formuliert, stehen separiert (Normalform). Æ Alltagssprachliche Beispiele müssen häufig rekonstruiert werden. 2. Aussagesätze Argumente sind Folgen von Aussagesätzen. Was aber sind Aussagesätze? (1) Schon wieder Trutenschnitzel mit Trockenreis! (2) Wie ist die kommunale Abstimmung vorgestern ausgegangen? (3) Würden Sie mir bitte zeigen, wie ich vom Universitätshauptgebäude nach Oerlikon komme. (4) Der Uri-Rotstock ist 2928 Meter hoch. Eine Aussage ist ein Satz, der entweder wahr oder falsch ist (tertium non datur). ÆFeststellbarkeit? „Wahr“ und „Falsch“ heissen in der Logik Wahrheitswerte. Probleme: Vage Aussagen: Der Uri-Rotstock ist hoch. Indexikalische Ausdrücke (Bezug zum Äusserungskontext): Heute ist mir heiss. Synthetische versus analytische Aussagen (1) Zürich hatte am 31.12.2009 382906 Einwohner. (2) Ein Schimmel ist ein weisses Pferd. Die Wahrheit von Satz 1 ergibt sich aus der Realität Æ synthetische Aussage Die Wahrheit von Satz 2 ergibt sich aus der Bedeutung der enthaltenen Ausdrücke Æ analytische Aussage 3. Gültigkeit, Schlüssigkeit, Wahrheit Ein Argument heisst genau dann gültig (korrekt), wenn es tatsächlich rational ist, die Konklusion für wahr zu halten, falls die Prämissen wahr sind. Alle Wale sind Fische. Alle Delfine sind Wale. Also: Alle Delfine sind Fische. Æ Ob also die Prämissen wahr sind, spielt für die Gültigkeit (Korrektheit) des Arguments keine Rolle! Æ Die Bedeutungen der Begriffe sind für die Korrektheit (Gültigkeit) des Schlusses unwesentlich! Alle A sind B. Alle C sind A. Also: Alle C sind B. Æ Die Gültigkeit von Schlüssen hängt von Wörtern wie „alle“ oder „einige“ ab. Einige A sind B. Einige C sind A. Also: Einige C sind B. Einige Pflanzen sind Fleischfresser. Einige Gräser sind Pflanzen. Also: Einige Gräser sind Fleischfresser. Ein Argument heisst schlüssig genau dann, wenn es gültig ist und alle seine Prämissen wahr sind. Ein Aussagesatz ist wahr genau dann, wenn das, was er besagt, der Fall ist. Alle Wale sind Säugetiere. Alle Delfine sind Wale. Also: Alle Delfine sind Säugetiere. Aber: Zermatt liegt am Matterhorn und hat mehr als 1000 Einwohner. Also: Zermatt liegt am Matterhorn. 4. Aussagenlogik 4.1. Vorklärungen Alle Bestandteile einer Aussage, die für die Gültigkeit von Schlüssen relevant sind, sollen zur logischen Form der Aussage gehören. Dementsprechend gehören die irrelevanten Bestandteile zum logischen Inhalt (siehe Abschnitt 3). Die logische Form gewinnt man durch Abstraktion vom Inhalt. Aussagen können verknüpft werden. Die Bahn kam zu spät, weil der Fahrer eingeschlafen ist. Das Schnebelhorn ist 1292 Meter hoch und Zürich ist die grösste Stadt der Schweiz. Æ Die Wahrheit von wahrheitsfunktionalen (extensionalen) Aussageverknüpfungen hängt allein von den Wahrheitswerten der Teilaussagen ab. 4.2. Wahrheitsfunktionale Verknüpfungen Vorsicht! Die logischen Zeichen fehlen in den Folien! Konjunktion Das Schnebelhorn ist 1292 Meter hoch und Zürich ist die grösste Stadt der Schweiz. A1 A2 A1 A2 w w w w f f f w f f f f Aber: Die Ärztin gab Hand ein Medikament, und Hans wurde gesund. Adjunktion/Disjunktion (einschliessendes oder) Das Soziologische Institut hat seinen Standort in Oerlikon oder Urs rennt einen Marathon. A1 A2 A1 v A2 w w w w f w f w w f f f Negation Es ist nicht der Fall, dass Statistik langweilig ist. A1 A1 w f f w Konditional A1 A2 A1 A2 w w w w f f f w w f f w Bikonditional A1 A2 A1 A2 w w w w f f f w f f f w 4.3. Aussagenlogische Form Eine aussagenlogische Form einer Aussage entsteht durch Abstraktion von den Teilaussagen, die wahrheitsfunktional verknüpft sind, oder vom Sinn der ganzen Aussage; jedoch gehören Gleichheit und Verschiedenheit der betrachteten Aussagen mit zur AL Form. Æ Satzbuchstaben: p und q Intensionale Interpretation: Zuordnung von Aussagen zu Satzbuchstaben Extensionale Interpretation: Zuordnung von Wahrheitswerten zu Satzbuchstaben. Die Ermittlung des Wahrheitswertes einer extentional interpretierten aussagenlogischen Formel heisst Wahrheitswertanalyse. 4.4. Logische Wahrheit, Falschheit Eine aussagenlogische Formel heisst logisch wahr (oder gültig), genau dann, wenn sie für alle extensionalen Interpretationen wahr ist. Wenn der Hahn kräht auf dem Mist, dann ändert sich das Wetter oder es bleibt wie es ist. Eine aussagenlogische Formel heisst logisch falsch, genau dann, wenn sie für alle extensionalen Interpretationen falsch ist. Hans ist blond und Hans ist nicht blond. Æ Logik erlaubt eine formale und präzise Analyse von Aussagenverknüpfungen (und damit Argumentationen). 5. Was hat das mit Wissenschaftstheorie zu tun? Wissenschaft ist ein sprachliches Phänomen (Theorien, Untersuchungsberichte) Æ Zentralität guter Argumente Logischer Empirismus: basiert auf formaler Logik Klassisches Modell der Erklärung: basiert auf formaler Logik. Hypothesen,