Sprachlogik
Sprachlogik ist ein interdisziplinäres Forschungsfeld, das Logik, Linguistik und Philosophie verbindet, um die logischen Strukturen natürlicher Sprachen sowie formaler Sprachen zu analysieren. Im Mittelpunkt steht die Frage, wie Bedeutung, Wahrheit und Schlussfolgerung durch sprachliche Ausdrücke festgelegt werden. Ziel ist es, Modelle zu entwickeln, die Kompositionalität, Referenz und Inferenz in der Sprache systematisch beschreiben.
Historischer Hintergrund: Die Wurzeln liegen in den Arbeiten von Frege, Russell und späteren Montague-Grammatiken. Richard Montague
Methoden: Typische Formalismen umfassen Modelltheorie zur Festlegung von Wahrheitsbedingungen, Lambda-Kalkül und Typentheorie zur Kompositionalität sowie kategoriale
Themenfelder: Sprachlogik befasst sich mit Quantoren, Negation, Tempus und Modalität, Referenz- und Ko-Argumentation, Sprechakttheorie sowie Fragen
Anwendungen: Ergebnisse der Sprachlogik finden Anwendung in der Computerlinguistik, der natürlichen Sprachverarbeitung, maschineller Übersetzung, Frage-Antwort-Systemen und