Formale Semantik und Natürliche Sprache

Das vorliegende Buch ist aus verschiedenen Seminaren und Lehrveranstaltungen zur Semantik entstanden, die ich an der Universität zu Köln angeboten habe. Dabei wurde immer wieder der Wunsch nach einer einfachen und verständlichen Einführung in deutscher Sprache geäußert, die zum Eigenstudium und zur begleitenden Lektüre geeignet ist, ohne ein umfassenderes Vorwissen vorauszusetzen. Zugleich sollte es nicht nur die formalen Techniken der semantischen Beschreibung erklärend darstellen, sondern auch den Bezug zu anderen Eigenschaften natürlich-sprachlicher Ausdrücke deutlich machen. Ich habe versucht, ein solches Buch zu schreiben, und hoffe, daß es die Erwartungen, die ich an mich selbst gestellt habe, bei zukünftigen Lesern erfüllt. Es ist mir nicht klar, inwieweit dies überhaupt gelingen kann, denn der Wunsch nach Einfachheit und Verständlichkeit steht dem Wunsch nach detaillierter Darstellung und technischer Vollständigkeit sehr häufig entgegen. Ich habe mich daher auf diejenigen Bereiche der semantischen Theorie beschränkt, die mir für eine Einführung wichtig erscheinen, wiewohl ich mir im Klaren bin, daß die Meinungen darüber auseinander gehen dürften. Als Orientierungspunkte dienten mir die einschlägigen englisch-sprachi gen Einführungen, die ich durchgängig für gelungen halte, sowohl was die Auswahl der jeweiligen Topoi als auch die Art der Darstellung betrifft.

Autorentext
Dr. Horst Lohnstein ist wissenschaftlicher Assistent am Institut für Deutsche Sprache und Literatur der Universität zu Köln.

Klappentext
Die menschliche Sprachfähigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Die Bedeutung sprachlicher Ausdrücke läßt sich durch die Übersetzung in formale Logiksprachen und deren Verhältnis zu Modellen von der Welt rekonstruieren. 'Formale Semantik und Natürliche Sprache' bietet eine übersichtliche Darstellung der gängigen theoretischen Konzepte und Analyseverfahren und führt kapitelweise von der elementaren Mengenlehre über Aussagen- und Prädikatenlogik, Typentheorie, Lambda-Kalkül, Temporalsemantik und Modallogik bis hin zur intensionalen Logik. Zusätzlich vermittelt es die technischen Grundlagen der formalen Semantik. Aufgrund seines didaktisch klar strukturierten Aufbaus sowie vieler Beispiele und Übungsaufgaben eignet es sich nicht nur zum Selbststudium, sondern auch als Leitfaden für den Seminarunterricht.

Inhalt
1. Einleitung.- 2. Mengenlehre.- 3. Relationen und Funktionen.- 4. Aussagenlogik.- 5. Prädikatenlogik.- 6. Typentheorie.- 7. ?-Kalkül.- 8. Die Sprache L?,t.- 9. Semantik der Nominalphrasen.- 10. Temporalsemantik.- 11. Modallogik.- 12. Intensionale Logik.- 13. Symbol-Verzeichnis.- 14. Lösungen der Übungsaufgaben.- Literatur.- Register.

#	Onlineshop	Preis CHF	Versand CHF	Total CHF
1	Seller	0.00	0.00	0.00