EUROCORES_LogiCCC 1. Call_Contextualism, supervaluation, and fuzzy logic

Vagheit ist ein allgegenwärtiges Phänomen, das alle Formen menschlicher Interaktion durchdringt. Es ist ein Thema mit vielen Facetten, dem von vielen wissenschaftlichen Disziplinen Aufmerksamkeit geschenkt wird. Darunter befinden sich Geistes- und Humanwissenschaften wie Philosophie, Linguistik, Erkenntnistheorie oder Psychologie, aber auch Formal- und Ingenieurswissenschaften wie Mathematik, Informatik und Logik. Durch Konzentration auf logische Fragestellungen und dazugehörige formale Modelle des vagen Schließens versucht dieses Projekte verschiedene Zugänge in neuer und nutzbringender Form zu vereinheitlichen. Unsere Modelle beziehen sich auf ein einheitliches formales System, und erlauben es, das Verhältnis zwischen verschiedenen Theorien der Vagheit zu klären. Auch der Zusammenhang mit anderen Formen von unvollständiger Information und zu möglichen Anwendungen wird untersucht. Unsere Hauptmethode besteht in der Verwendung von Übersetzungen und im Aufdecken von Zusammenhängen zwischen verschiedenen Zugängen zum Schließen unter Vagheit, wobei wir vielseitige logische Formalismen als flexibles Werkzeug zur Beschreibung einsetzen. Wir erwarten uns Erweiterungen und neue Anwendungen von logischen Spielen, t-Norm basierten Fuzzy-Logiken, modalen Logiken und zugehörigen analytischen Deduktionssystemen.

Vagheit ist ein universelles Phänomen, das fast alle Formen menschlicher Interaktionen durchdringt. Es ist ein Thema mit vielen Aspekten, das Geisteswissenschaften (Philosophie, Linguistik, Kognitionswissenschaft, Psychologie), Formalwissenschaften (Logik, Mathematik, Informatik), ebenso wie technische Anwendungsbereiche (Datenextraktion, Kontrolltheorie, etc.) betrifft. In Antwort auf eine Ausschreibung der European Science Foundation ESF, hat ein Konsortium aus Logikern und Informatikern in Barcelona, Prag und Wien das gemeinsame Forschungsprojekt Logical Models of Reasoning with Vague Information (Logische Modelle des Schließens mit vager Information - LoMoReVI) initiiert, das einen formallogischen Zugang zum Thema Vagheit, basierend auf der Idee gradueller Wahrheit, exploriert hat. Entsprechende mathematische Modelle wurden in diesem Projekt in mehrfacher Hinsicht erweitert, um auch Einsichten über Vagheit berücksichtigen zu können, die aus anderen Forschungsbereichen, vor allem aus der analytischen Philosophie und der formalen Semantik natürlicher Sprache, stammen. Das österreichische Teilprojekt war insbesondere von der Tatsache motiviert, dass Linguisten und Philosophen betonen, dass Logiken gradueller Wahrheit (Fuzzy-Logiken) eine zu enge Basis für die Modellierung von Vagheit darstellen: Nur eine systematische Berücksichtigung von äußerungsspezifischen Kontexten so die Kritik führt zu Modellen, die relevante Kennzeichen menschlicher Kommunikation adäquat erfassen. Deshalb hat das Forscherteam an der TU Wien mögliche Brücken zwischen Fuzzy-Logik und kontext-basierten Modellen der Vagheit ins Zentrum des Interesses gerückt. So wurde unter anderem gezeigt, dass man aus konkreten mathematischen Modellen der Kontextabhängigkeit von Aussagen, auf systematische Weise implizite Grade der Wahrheit extrahieren kann. Dies führt dann auf Funktionen über erweiterte Wahrheitswertmengen, die den formalen Gegenstücken zu den logischen Partikeln und, oder, nicht und impliziert entsprechen, die verschiedenen Fuzzy-Logiken zu Grunde liegen. Dabei hat sich das Konzept von sogenannten Auswertungsspielen als besonders nützliches und flexibles Werkzeug erwiesen. Außerdem eröffnen diese Auswertungsspiele einen Zugang zu einem weiteren Projektziel, nämlich das Bereitstellen von Deduktionssystemen, die die automatisierte Beweissuche in entsprechenden Logiken unterstützen. Anderseits führte dieser auswertungsspiel-orientierte Zugang auf neue Resultate zu Fuzzy-Quantoren, die als Modelle für vage quantorielle Ausdrücke wie viele, wenige oder ungefähr die Hälfte dienen. Die angedeutete Fruchtbarkeit der spiel-basierten Methodik wird in Nachfolgeprojekten noch systematischer beleuchtet werden.