Forschungsprofessur von Prof. DDr. Hannes Leitgeb (Univ. Bristol) / Research Professorship of Prof. DDr. Hannes Leitgeb (Bristol Univ.)
Prof. DDr. Hannes Leitgeb (Univ. Bristol) ist Forschungsprofessor an der Philosophischen Fakultät der Heinrich Heine Universität Düsseldorf von Februar bis Juli 2009, auf der Grundlage eines Forschungspreises der Alexander von Humboldt Stiftung (Antragsteller und Gastgeber Prof. Gerhard Schurz, Universität Düsseldorf).
Hannes Leitgeb ist ein führender internationaler junger Wissenschafter im Gebiet der Logik, Analytischen Philosophie und Kognitiven Wissenschaft. Seine logischen Arbeiten zur Theorie der Wahrheit und Modalität in typenfreien logischen Systemen haben internationale Beachtung erlangt. In seinen Arbeiten zur Logik und Semantik neuronale Netzwerke konnte Leitgeb zeigen, dass neuronale Netzwerke als semantische Basis für Kalküle monotonen und nichtmonotonen Schließens herangezogen werden können. Leitgeb gelang es damit, eine Brücke zwischen dem symbolistischen und dem konnektionistischen Paradigma der kognitiven Wissenschaft zu bauen. Während seines Forschungsaufenthaltes an der Universität Düsseldorf wird Leitgeb (unter anderem) seine Forschungsarbeiten zur Semantik neuronaler Netze weiterführen und zu einem induktiv-lernfähigen System erweitern. Er wird dabei mit Mitarbeitern des Düsseldorfer Lehrstuhls für Theoretische Philosophie sowie der DFG-Forschergruppe FOR 600 "Functional Concepts and Frames" kooperieren.
Prof. DDr. Hannes Leitgeb (Univ. Bristol) is research professor at the philosophical faculty of the Heinrich Heine University in Duesseldorf from February to July 2009, on the basis of a research award of the Alexander von Humboldt foundation (nominated and hosted by Professor Gerhard Schurz, University of Duesseldorf).
Professor Leitgeb is a leading international scientist in mathematical and philosophical logic, analytic philosophy and cognitive science. He has made important and generally recognized contributions to the theory of truth and modality in type-free logical systems. In his work on neuronal networks he showed that neuronal networks can be employed as a semantics for systems of non-monotonic reasoning. He thereby established a bridge between the symbolistic and the connectionistic paradigm in cognitive science. During his stay in Germany he will (among other things) continue his research on reasoning systems based on neuronal nets, with the aim of extending them to systems of inductive learning. Thereby he will cooperate with members of the Chair of Theoretical Philosophy in Duesseldorf and of the DFG Research Unit FOR 6500 "Functional Concepts and Frames".