Serviceverbund KIM

Streaming Server

Login |
 
 

Formale Logik

Dozent

Dr. Johannes Schmitt

Termine (Vorlesung)

Di 10:00 - 11:30 Y 310

Inhalt

Ziel dieses Kurses ist es, BA-Studierende mit den Grundlagen der formalen Logik vertraut zu machen, insbesondere mit der Syntax und Semantik der Aussagenlogik und Prädikatenlogik sowie mit verschiedenen Beweisverfahren und einigen metalogischen Begriffen wie Korrektheit, Vollständigkeit und Entscheidbarkeit. Die formale Logik ist eine wichtige Grundlage für das Verständnis vieler zentraler philosophischer Probleme und eine Voraussetzung für die Teilnahme an philosophischen Diskussionen.

Weitere Details zum Inhalt der Vorlesung im LSF.