Dieser Band bietet eine Einführung in die Semantik mit einem Schwerpunkt auf den formalen Methoden. Er erklärt semantische Modelle sowie die Grundlagen der kompositionellen Interpretation und stellt die wichtigsten Konzepte vor, z.B. Funktionen, Junktoren, Quantoren wie auch Typentheorie, den Lambda-Operator und mögliche Welten. Die einzelnen Kapitel bauen sukzessive aufeinander auf, erläutern die modelltheoretischen Analysemethoden der Semantik und schaffen Studierenden somit einen Zugang zu den Grundlagen formal-semantischer Analyse. - In zweifarbiger Gestaltung mit vielen Beispielen, Übungen und einem Sachregister.

Knapper und gut strukturierter Überblick über alle Aspekte und Bereiche der formalen, modell-theoretischen Semantik Alle grundlegenden Konzepte wie Typentheorie und Lambda-Notation werden detailliert und verständlich eingeführt Im zweifarbigen Layout mit Definitionen, zahlreichen Beispielen und Analyseaufgaben (Lösungen als Online-Material) In seinem didaktischen Aufbau und seiner Vorgehensweise konkurrenzlos Mit einem Sachregister auch der englischen Fachbegriffe Includes supplementary material: sn.pub/extras

Autorentext
Daniel Gutzmann, Dr. habil, ist akademischer Rat am Institut für Deutsche Sprache und Literatur 1 der Universität zu Köln.

Inhalt
Eigennamen und Eigenschaften.- Relationen.- Funktionen.- Semantische Typen.- Junktoren.- Pronomen.- Prädikatskoordination und Relativsätze.- Quantoren.- Quantifizierte Nominalphrase.- Propositionen.- Modalität.- Kontextabhängigkeit.- Anhang: Literaturverzeichnis und Sachregister (deutsch/englisch).