Freie Logik: Varianten, Vereinheitlichung und einige Anwendungen (2021 - 2024)
Das Ziel dieses Projekts ist eine Systematisierung Freier Logiken in Abgrenzung zu klassischen Logiken. Das Projekt wird von der DFG gefördert.
Das Ziel dieses Projekts ist eine Systematisierung Freier Logiken in Abgrenzung zu klassischen Logiken. Das Projekt wird von der DFG gefördert.
Das Ziel dieses Projektes ist es, eine Systematisierung der Freien Logik zu erstellen. Unter Freier Logik versteht man eine Art von Logiken, die alternative Zugänge zu klassischer Logik bezüglich Quantifikation, Identität und Modalität zur Verfügung stellt. Freie Logik ist stark von philosophischen wie auch von logischen Fragestellungen geprägt. Unter der Leitung von Dr. Norbert Gratzl will das Team neues Licht auf das Zusammenspiel dieser Nicht-Standardzugänge werfen. Ein Novum ist, dass die bisher nicht so stark untersuchte Neutrale Freie Logik ins Zentrum des Interesses gerückt wird. Das Projekt folgt methodisch einer Publikation von Pavlović und Gratzl (2020).