Walter Hoering (* 22. Mai 1933 in Tetschen, Tschechoslowakei; † 25. August 2019) war ein deutscher Philosoph und emeritierter Professor für Philosophie an der Universität Tübingen. Seine Forschungsschwerpunkte waren die Logik, die Didaktik der Logik, die Philosophie der Mathematik und die Wissenschaftstheorie.

Leben

Walter Hoering besuchte die Schule im seit 1938 an das Deutsche Reich angegliederten Sudetenland bis 1945, dem Jahr in dem seine Familie nach Bayern floh. Dort besuchte er bis 1952 Schulen in Weißenburg, Memmingen, Landshut und München. 1952 schloss er die Schule mit dem Abitur an der Ludwig Oberrealschule München ab.

Zwischen 1952 und 1964 studierte Hoering Physik und Philosophie an der Ludwig-Maximilians-Universität in München. 1961 promovierte er in Philosophie bei Wolfgang Stegmüller. Nebenfächer waren Logistik (Wilhelm Britzelmayr) und Psychologie (Philipp Lersch). 1963 schloss er das Studium der Physik ab und promovierte im Fach Physikalische Chemie bei Georg Maria Schwab.

Zwischen 1959 und 1978 war er Assistent bei Wolfgang Stegmüller, mit Unterbrechungen durch Post-Graduate Stipendien Aufenthalte in Oxford, Paris und Stanford. 1966–1968: Lehraufträge an der Universität München.

• In den Jahren 1961 und 1962 Forschungsaufenthalte in Oxford bei Michael Dummett (als Stipendiat des British Councils) und in Paris bei Georg Kreisel
• Von 1964 bis 1966 Forschungsaufenthalt in Stanford bei Solomon Feferman, Georg Kreisel, William W. Tait, Joseph D. Sneed
• 1974: Start eines eigenen Programms im DFG-Schwerpunkt Wissenschaftstheorie: "Historische Fallstudien zu Theorien der Wissenschaftsentwicklung" (bis 1980)
• 1975: Habilitation für Logik und Wissenschaftstheorie

1978–1998: Professor am Philosophischen Seminar der Eberhard Karls Universität Tübingen. Lehrveranstaltungen in Logik, Wissenschaftstheorie und im Bereich analytische Philosophie.

• 1986: Gründung eines Arbeitskreises "Lernprogramme für Aussagenlogik, Prädikatenlogik und Modallogik". Dieser Kreis entwickelt auch die Lernsoftware SMTutor, die Studenten das Einüben des Ableitens in grundlegenden logischen Systemen unterstützt. Das Computerprogramm basiert auf dem Baumkalkül von Raymond Smullyan.

1998: Pensionierung. Weiterführung des Arbeitskreises "Lernprogramme" in Tübingen und seit 2004 an der LMU in München

Walter Hoering war von 1970 bis zu seinem Tode mit Irmgard Hörmann verheiratet. Sie haben zwei Kinder.

Werk

Die Lehre und Arbeit von Walter Hoering spiegelt weit reichende wissenschaftlichen Interessen wider, die von den mengentheoretischen Grundlagen der Mathematik und Logik, über philosophische Theorien der Rationalität, der Geschichte der Naturwissenschaften, bis zur Programmierung von Lehr-Lernprogrammen zur Logik reichen.

Die Arbeit an dem Logik-Programm SMTutor, der den Smullyan-Kalkül für Logikstudenten aufbereitet, erstreckte sich über einen Zeitraum von den frühen 1980ern bis heute. In dieser Zeit wurde das Programm in zahlreichen Varianten den stetigen Weiterentwicklungen der Programmiersprachen angepasst. Aufgrund der ständigen Weiterentwicklung erreichte das Programm nie einen abgeschlossenen Distributionsstand. Der SMTutor hat jedoch immer wieder neue Generationen von Logiksstudenten erreicht und war gleichzeitig Kristallisationspunkt für wechselnde Arbeitsgruppen von Studenten, die die Entwicklung unter der Anleitung von Walter Hoering vorantrieben.

Veröffentlichungen

Weblinks

• Walter Hoerings Homepage in Tübingen
• Walter Hoerings Webseite an der LMU

Einzelnachweise

1. ↑ Die in der Literatur und im Internet zu findende Angabe des Geburtsortes Tetschen-Bodenbach ist nicht korrekt. Die Stadt trug lediglich von 1942 bis 1945 diesen Doppelnamen.
2. ↑ Traueranzeige Walter Hoering, Süddeutsche Zeitung vom 31. August 2019