| Kommentar |
Am Beispiel der klassischen Aussagenlogik werden grundlegende Eigenschaften, Potenziale und Probleme von formalen Systemen der Logik, sowie Bezüge zur natürlichen Sprache thematisiert. Die Studierenden erwerben einen sicheren Umgang mit syntaktischen und semantischen Bestimmungen und Techniken der Aussagenlogik. Der Kurs ist konzipiert als Aufbaukurs zur Vorlesung und Übung "Einführung in die Logik/Argumentationanalyse" des letzten (oder früheren) Wintersemesters: Insbesondere im Bereich des Natürlichen Schließens werden die (aussagenlogischen) Schlussprinzipien der Vorlesung aufgegriffen, formal dargestellt, teilweise bewiesen und weitergehend theoretisch reflektiert. Im Bereich der Semantik ist ein entscheidender Fokus des Kurses die Problematisierung des materialen Konditionals und die Reflexion von möglichen Alternativen einer formalen Semantik von Bedingungszusammenhängen. Hierbei werden auch Ausflüge in andere Logiksysteme, wie etwa der Modallogik unternommen. |
