Unity and Unification in Intensional Semantics
Final Report Abstract
Das Projekt diente einer Untersuchung der Beziehungen zwischen verschiedenen formal-semantischen Modellen für die Interpretation von intensionalen Konstruktionen des Englischen (insbes. für Konstruktionen mit propositionalen Einstellungsverben wie believe, Erreichungs-/Zustandsveränderungsverben wie rise, und Begriffsnomen wie temperature). Solche Konstruktionen widersetzen sich der wahrheitserhaltenden Ersetzung ihrer grammatischen Konstituenten durch bezugsgleiche oder wahrheitskonditional äquivalente Ausdrücke: So geht in dem Satz Mary believes that Phil is a groundhog die Ersetzung des Artnamens groundhog durch den bezugsgleichen Namen woodchuck möglicherweise mit einer Veränderung des Wahrheitswertes einher. (Dies ist z.B. der Fall, wenn Mary glaubt, dass Phil is a groundhog wahr, aber Phil is a woodchuck falsch ist.) Um derartige Ersetzungen zu verhindern, nehmen die Modelle von intensional-semantischen Theorien feinkörnigere Gegenstände an, die die semantischen Beiträge von bezugsgleichen bzw. wahrheitskonditional äquivalenten Ausdrücken unterscheiden. Diese Gegenstände umfassen u.a. semantisch primitive (d.h. nicht-analysierbare) Propositionen und/oder Individuenkonzepte (s. eigenschaftstheoretische Modelle) und partielle Mengen von Situationen und/oder parakonsistente Mengen von unmoglichen Welten (s. Modelle von ‘generalisierten’ klassischen (d.s. ‘mögliche Welten’-) Theorien). Das Projekt erforschte die Gemeinsamkeiten dieser Modelle in Bezug auf ihre Wahl an Basistypen und untersuchte die Kodierungsrelationen zwischen Gegenstanden der verschiedenen Typen. Um diese Kodierungsrelation für die Reduktion von Modellen (und nicht nur von den Bereichen [‘frames’] dieser Modelle) verwenden zu konnen, entwickelte das Projekt eine Vorlage für die ontologische Reduktion von formal-semantischen Modellen. Diese Vorlage erweitert die Kodierungsrelationen um eine Typenkonversionsregel, eine diese Konversion berücksichtigende Übersetzungsregel und Beschränkungen auf die Interpretationsfunktion des reduzierenden Modells. Auf der Grundlage der Literatur war das Projekt zunächst von einer Unterscheidung folgender zwei Klassen unterschiedlich feinkörniger Modelle ausgegangen: (i) Modelle von klassischen und generalisierten klassischen Theorien (grobkörnig/intensional), und (ii) eigenschaftstheoretische Modelle (feinkörnig/hyperintensional). Weitere Forschungen zeigten jedoch, dass die ‘Grenze’ zwischen intensionalen und hyperintensional Modellen tatsächlich innerhalb der Klasse der generalisierten Modelle verläuft. Insbesondere beschreibt Liefke eine hyperintensionale Semantik, die weder primitive Propositionen noch primitive Individuenkonzepte oder einen erweiterten Individuenbereich annimmt. (Die größere Feinkörnigkeit von Sprachbedeutungen wird dort durch die Verwendung von zentrierten Situationen und die unterschiedliche Interpretation von wahrheitskonditional äquivalenten Ausdrücken an derselben zentrierten Situation gewonnen). Eine zentrale Motivation für das Projekt lag in der Erwartung, Einsicht in die Anforderungen an ontologisch ‘minimale’ Modelle für die o.g. intensionalen Konstruktionen zu gewinnen. Das Projekt identifizierte diese Anforderungen über die ontologischen Gemeinsamkeiten der hyperintensionalen Modelle: Diese haben alle einen partitionierten Grundbereich mit mindestens einem algebraischen Element (z.B. Wahrheitswerte, Wahrheitskombinationen) und einem intensionalen Element (z.B. Situationen, unmögliche Welten, primitive Propositionen). Entgegen der ursprünglichen Projekthypothese ist für die angemessene Modellierung von intensionalen Konstruktionen kein hyperintensionales Element erforderlich. Zur Überraschung der Projektleiterin erwiesen sich einige intensionale Gegenstände (insbes. Individuenkonzepte und Eigenschaften von Individuenkonzepten) auf Gegenstände einer extensionalen Ontologie reduzierbar. Eine solche Ontologie nimmt ausschließlich primitive Individuen und Wahrheitswerte - aber keine Welten, Situationen, oder primitiven Propositionen - an. Um die beschriebene Reduktion zu ermöglichen, verwenden Liefke und Sanders bekannte Konzepte aus der Rekursionstheorie höherer Ordnung (insbes. das Konzept eines associates) (Kleene 1957; Kreisel 1957). Die resultierende Reduzierbarkeit ermöglicht die ‘extensionale’ Interpretation eines intensionales Sprachfragmentes mit Begriffsnomen und Erreichungs-/Zustandsveränderungsverben.
Publications
- (2018) Evidence for Single-Type Semantics—An Alternative To $e$/$t$-Based Dual-Type Semantics. Journal of Semantics
Liefke, Kristina; Werning, Markus
(See online at https://doi.org/10.1093/jos/ffy009) - 2015. “Codability and robustness in formal natural language semantics.” In New Frontiers in Artificial Intelligence, hrsg. v. T. Murata, K. Mineshima und D. Bekki. Lecture Notes in Artificial Intelligence, Bd. 9067. Berlin and Heidelberg: Springer, S. 6–22
Liefke, Kristina
- 2016. “A computable solution to Partee’s temperature puzzle.” In Logical Aspects of Computational Linguistics 2016, hrsg. v. M. Amblard et al. Lecture Notes in Computer Science, Bd. 10054. Berlin und Heidelberg: Springer, S. 175–190
Liefke, Kristina und Sam Sanders
- 2017. “Rich situated attitudes.” In New Frontiers in Artificial Intelligence, hrsg. v. S. Kurahashi, Y. Ohta, S. Arai, K. Satoh und D. Bekki. Lecture Notes in Artificial Intelligence, Bd. 10247. Berlin und Heidelberg: Springer, S. 45–61
Liefke, Kristina und Mark Bowker
- (2018) Relating Intensional Semantic Theories: Established Methods and Surprising Results. In: Arai S., Kojima K., Mineshima K., Bekki D., Satoh K., Ohta Y. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2017. Lecture Notes in Computer Science,
Liefke, Kristina
(See online at https://doi.org/10.1007/978-3-319-93794-6_12) - (2021) A Compositional Pluralist Semantics for Extensional and Attitude Verbs. In: Löbner S., Gamerschlag T., Kalenscher T., Schrenk M., Zeevat H. (eds) Concepts, Frames and Cascades in Semantics, Cognition and Ontology. Language, Cognition, and Mind, vol
Liefke, Kristina
(See online at https://doi.org/10.1007/978-3-030-50200-3_2)
