230106 Formale Methoden 2 (V) (SoSe 2006)

Formale Methoden, d.h. Methoden der Mathematik und der (mathematischen) Logik , haben seit den 60er Jahren Eingang in die Linguistik gefunden. Mit ihrer Hilfe können linguistische Begriffe explizit und präzise formuliert werden, ihre Leistungsfähigkeit überprüft werden und Gesetzmäßigkeiten bewiesen werden. Solche Formulierungen sind auch Voraussetzung dafür, linguistische Modelle oder Theorien überprüfbar zu machen.

In dem zweiten Kurs des Moduls "Formale Methoden" werden die grundlegenden Kenntnisse über die logischen Methoden eingeführt. Diese umfassen die Syntax und Semantik der Aussagenlogik und der Prädikatenlogik. Voraussetzung hierfür (wie für alle Bereiche der modernen Mathematik) ist die Mengentheorie, die zu Beginn des ersten Kurses eingeführt wurde.

Ziel des Kurses sind die Vermittlung von Wissen zu den genannten Bereichen und die Vermittlung von Fertigkeiten im Umgang mit den vorgestellten Begriffen und Techniken. Daher werden im Kurs Übungsaufgaben zur selbständigen Bearbeitung ausgegeben. Teilnehmer/innen mit mehr als 50% der hierbei zu erzielenden Punktzahl können an der Abschlußklausur teilnehmen, durch die ein Leistungsnachweis erworben werden kann.

Zur ergänzenden Lektüre für den Kurs sei auf das folgende Textbuch verwiesen:

Gamut, L. T. F.: 1991, Logic, Language, and Meaning. Volume 1: Introduction to Logic. Chicago: Univ. of Chicago Press