180050 SE Logic of Science (2019S)

Wissenschaftslogik beschäftigt sich, vereinfacht ausgedrückt, mit der logischen und semantischen Analyse von wissenschaftlichen Aussagen sowie mit der Analyse der logischen Struktur wissenschaftlicher Theorien (van Benthem 1982, Demopoulos 2013). Die Lehrveranstaltung hat drei thematische Zielsetzungen. Erstens soll ein einführender Überblick über die Entstehungsgeschichte sowie über frühe Positionen innerhalb der formalen Wissenschaftstheorie gegeben werden. Hierbei werden insbesondere Frank P. Ramsey's logische Theorienrekonstruktion (Ramsey 1928), Alfred Tarski's Beiträge zur Methodologie der deduktiven Wissenschaften; sowie Rudolf Carnap's Untersuchungen zur Logischen Syntax; von Sprachen der formalen und empirischen Wissenschaften diskutiert (Carnap 1939). Zweitens widmet sich das Proseminar einigen zentralen wissenschaftsphilosophischen Debatten aus der zweiten Hälfte des zwanzigsten Jahrhunderts, die unmittelbar aus diesen früheren Beiträgen zur logischen Analyse von Theorien hervorgegangen sind. Hierzu zählen insbesondere Diskussionen zwischen Vertretern der "syntactic" oder "received view"; (z. B. Hempel 1965) und Vertretern der "semantic view of theories" (z. B. Suppes 1969) um die adäquate Formalisierung von Theorien. Ein weiteres Thema, das hier beleuchtet werden soll, betrifft unterschiedliche Ansätze zur logischen Analyse von theoretischen Termen. Dies sind Terme, die auf nicht-beobachtbare Entitäten verweisen und durch Theorien implizit definiert werden (siehe Carnap 1956b, Hempel 2001a). Folgende Fragen sollen in Anschluss an die bestehende Forschungsliteratur näher diskutiert werden: Können theoretische Terme und deren Referenz auf theoretischen Entitäten durch die Ramsifizierung einer Theorie eliminiert werden? Wie lässt sich der indefinite Charakter solcher Terme semantisch modellieren (Andreas 2010)? Können theoretische Terme wissenschaftlicher Theorien in logischen Sprachen explizit definiert werden (Lewis 1970)? Der dritte thematische Block der Lehrveranstaltung widmet sich aktuellen Beiträgen zur formalen Wissenschaftsphilosophie, in denen Themen der früheren Wissenschaftslogik erneut aufgegriffen und weiterentwickelt werden. Der Fokus wir hier insbesondere auf der Neubewertung der Unterscheidung zwischen einer syntaktischen und semantischen Theorieauffassung (Halvorson 2013, Lutz 2014) sowie der formalen Analyse der Begriffe "Theorienäquivalenz"; (Halvorson 2014), "empirische Adäquatheit" (Ketland 2004) sowie wissenschaftliche Repräsentation (French 2014, van Fraassen (2008) liegen.

Ziele des Seminars sind, (1) den TeilnehmerInnen einen Überblick über unterschiedliche Themenstellungen in der Wissenschaftslogik und formaler Wissenschaftstheorie zu verschaffen und (2) gemeinsam mit den TeilnehmerInnen eine systematische Untersuchung der philosophischen Motivationen und historischen Hintergründe unterschiedlicher wissenschaftslogischer Ansätze (z.B. zu Ramsifizierung, theoretischer Äquivalenz, und Semantik theoretischer Terme, etc.) zu beleuchten.
Die Lehrveranstaltung soll methodisch auf einer gemeinsamen Lektüre der historischen und aktuellen Literatur zu den oben genannten Themenbereichen in der Wissenschaftslogik (Russell, Ramsey, Carnap, Hempel, Friedman, Demopoulos, etc.). Ein weiterer Schwerpunkt sollen Kurzreferate der StudentInnen sowie die gemeinsame Diskussion der relevanten Positionen im Rahmen des Seminars darstellen.