TU Wien, Presseaussendung 62 / 2014, Florian Aigner

Der Logik-Forschung in Österreich geht es prächtig. Eine Reihe von Logik-Forschungsgruppen spielt international ganz vorne mit, Wien ist in den letzten Jahren zu einem internationalen Logik-Zentrum geworden. Dass gerade hier die Logik blüht, ist kein Zufall. Im „Goldenen Zeitalter“ der Logik, in den ersten Jahrzehnten es 20. Jahrhunderts, kamen viele der bedeutendsten Ideen auf diesem Gebiet aus Wien – von Leuten wie Kurt Gödel, Ludwig Wittgenstein, Karl Popper oder Rudolf Carnap. Das intellektuelle Feuer diese Zeit wurde von Austrofaschismus und Nationalsozialismus brutal ausgetreten, und auch in der konservativ geprägten Forschungslandschaft nach dem zweiten Weltkrieg gab es keine politischen Versuche, diese Tradition der Logik neu zu entfachen. Doch in den vergangenen Jahrzehnten ist die Logik dennoch in die akademische Welt Österreichs und Wiens zurückgekehrt.

Hier liegt die Logik in der Luft

„Es ist interessant, wie bestimmte Themen über lange Zeit mit einem Land oder einer Stadt verbunden bleiben können“, findet Prof. Helmut Veith, Professor am Institut für Informationssysteme der TU Wien. „Obwohl die Logik-Forschung in Wien fast verschwunden war, hat sie im kollektiven Gedächtnis irgendwie überlebt.“ Veith ist einer der zahlreichen Logiker, die heute in Wien forschen, und sich als intellektuelle Erben des „Goldenen Zeitalters“ der Wiener Logik fühlen. Dieses Zeitalter endete 1936 mit der Ermordung von Moritz Schlick auf der Philosophenstiege der Universität Wien. Schlick war die zentrale Figur des „Wiener Kreises“, einer Gruppe von Philosophen und Wissenschaftstheoretikern, die – damals revolutionär – eine rational schlüssige wissenschaftlich-logischen Weltauffassung vertraten.

Es war eine Zeit, in der die Physik durch Relativitätstheorie und Quantenmechanik radikal umgewälzt wurde. Sie entwickelte sich weg vom Alltäglichen, Anschaulichen, und wagte sich in abstraktes Terrain, das nur mit den Werkzeugen der Mathematik und Logik bearbeitet werden kann. Die Mathematik wiederum versuchte man damals auf solides logisches Fundament zu stellen, und zu einem einheitlichen, geschlossenen Gedankengebäude zu machen. Der Wiener Kreis wollte Ähnliches für die Philosophie leisten. Von der Metaphysik wollte man sich abwenden, eine Weltsicht basierend auf mathematischer Logik und empirisch Verifizierbarem sollte errichtet werden.

Zum Wiener Kreis gehörten nicht nur Philosophen wie Moritz Schlick oder Rudolf Carnap, sondern auch Forscher aus der Mathematik und anderen Wissenschaften. Der Wiener Kreis fokussierte Ideen aus der Philosophie, etwa aus Ludwig Wittgensteins einflussreichem Frühwerk „Tractatus Logico-Pholosophicus“, aus den Naturwissenschaften und aus der Logik. Kurt Gödel, damals noch ein junger Student, hatte Kontakt zum Wiener Kreis, prägend waren auch die Gedanken des Physikprofessors und überzeugten Empirikers Ernst Mach. Auch nach Schlicks Tod blieben die Ideen des Wiener Kreises prägend für die Wissenschaftstheorie. So lässt sich etwa Karl Poppers kritischer Rationalismus als Weiterentwicklung des logischen Empirismus des Wiener Kreises betrachten.

Rückkehr der Logik

Viktor Kraft war das letzte verbliebene Mitglied des Wiener Kreises, das nach dem zweiten Weltkrieg in Wien lehrte. Die Schriftstellerin Ingeborg Bachmann promovierte bei ihm, und wies 1953 in einem Essay auf die Bedeutung des damals in Österreich kaum bekannten Philosophen Ludwig Wittgenstein hin. Bachmann steht für eine Verbindung zwischen Kunst und Wissenschaft, die vielleicht symptomatisch für diesen Forschungsbereich ist: „In den Achtzigerjahren waren es junge Intellektuelle und Künstler im Umkreis von Peter Weibel und Werner Schimanovich, die die mathematische Logik und ihren berühmtesten Vertreter Kurt Gödel in Österreich wiederentdeckten“, sagt Helmut Veith.

Die Logik hatte sich inzwischen inhaltlich verlagert. Sie war nicht mehr bloß eine Grundlagendisziplin der Mathematik, sondern hatte in der modernen Informatik ein neues, wichtiges Betätigungsfeld gewonnen. Eine junge Generation, unter ihnen Wissenschaftler wie Georg Gottlob, Matthias Baaz und Alexander Leitsch, wandte sich autodidaktisch der Logik zu, in Innsbruck und später in Hagenberg forschte Bruno Buchberger an revolutionären Konzepten der Computermathematik. 1987 wurde die Kurt Gödel Gesellschaft gegründet, die österreichische Forschungsaktivitäten im Bereich der Logik vernetzt. Mittlerweile beweisen zahlreiche große österreichische Forschungsprojekte und eine Reihe von hochdotierten wissenschaftlichen Auszeichnungen die prominente Stellung der Logik in Österreich.

Vienna Summer of Logic

80 Jahre nach dem goldenen Zeitalter der österreichischen Logik ist nun also ein „silbernes Zeitalter“ angebrochen. Vom 8. bis 24. Juli wird an der TU Wien der „Vienna Summer of Logic“ stattfinden, organisiert von der Kurt Gödel Gesellschaft. 2500 Wissenschaftlerinnen und Wissenschaftler werden erwartet, darunter auch zahlreiche berühmte Persönlichkeiten, wie etwa die Turing-Preis-Gewinner Edmund Clarke und Dana Scott.

Rückfragehinweis: Prof. Helmut Veith Institut für Informationssysteme Technische Universität Wien Favoritenstraße 9-11, 1040 Wien T: +43-1-58801-18441 helmut.veith@tuwien.ac.at

Aussender: Dr. Florian Aigner Büro für Öffentlichkeitsarbeit Technische Universität Wien Operngasse 11, 1040 Wien T: +43-1-58801-41027 florian.aigner@tuwien.ac.at

Links

• Presseaussendung #01 19.05.2014, All You Need is Logic
• Presseaussendung #02 27.05.2014, Die Logik in der Informatik
• Presseaussendung #03 02.06.2014, Der Computer ist dumm
• Vienna Summer of Logic
• Presseaussendung #04 10.06.2014, Logik ist wie abstraktes Malen
• Bilderdownload, Prägende Köpfe für Philosophie und Logik (v.o.l.): Moritz Schlick, Kurt Gödel, Ludwig Wittgenstein und Karl Popper.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!