Uwe.Scheffler[@]tu-dresden.de
|
Beschreibung:
Die Lehrveranstaltung vermittelt den Teilnehmenden Basiswissen über die klassische Prädikatenlogik erster Stufe: Sprache, ein wenig Modelltheorie, ein System des natürlichen Schließens. Daneben werden ständig Probleme der Philosophie der Logik, der Logik als philosophischer Disziplin und sprachphilosophische Fragen diskutiert. Ich hoffe, Sie sind nicht zu sehr verärert, daß Sie aufgrund der verordneten Kürzungen und der Umsetzung an derFakultät nur eine Literatur: Da es nur eine klassische Prädikatenlogik erster Stufe gibt, können die Teilnehmer jedes Lehrbuch benutzen, das dieses Thema behandelt.
|
|
