Mittwoch 8:30–10:00
GBCF 05/707
Stephen Berman
E-mail: stephen.berman@rub.de
Homepage: http://homepage.rub.de/Stephen.Berman/Semantik
Im SM und als freie Veranstaltung: Teilnahmeschein (3 Credit Points) für regelmäßige Teilnahme sowie die Bearbeitung und Abgabe der Übungsaufgaben (unbenotet).
Im VM: entweder Teilnahmeschein (3 CP, s.o.) oder Leistungsnachweis.
Für den LN mit 4 CP gilt: regelmäßige Teilnahme, die Bearbeitung und
Abgabe aller Übungsaufgaben (unbenotet), sowie eine Klausur in der
letzten Sitzung (benotet).
Für den LN mit 5,5 CP gilt:
regelmäßige Teilnahme, die Bearbeitung und Abgabe aller Übungsaufgaben
(unbenotet), sowie eine Hausarbeit (benotet).
Die formale Semantik analysiert die Bedeutung von Sätzen nach mathematisch-logischen Prinzipien, z.B. dass (Aussage-)Sätze entweder wahr oder falsch sind, dass sich die Bedeutung (also die Wahrheitbedingungen) eines Satzes aus den Bedeutungen von dessen Teilen ergibt (Kompositionalitätsprinzip), und dass solche Bedingungen mithilfe von mathematischen Modellen dargestellt und untersucht werden können.
Diese Übung führt in die Grundideen und -methoden der logischen Analyse von Satzbedeutung ein, insbesondere die der Ausagen- und Prädikatenlogik sowie der Modelltheorie, und baut diese anhand von Übungsaufgaben systematisch auf. Alle dafür notwendigen mathematischen Begriffe und Methoden werden dabei eingeführt und erklärt.