Hauptinhalt
Topinformationen
Introduction to Logic and Critical Thinking
DozentIn: Dr. techn. Dr. phil. Gregor Michael Hörzer
Veranstaltungstyp: Vorlesung und Übung
Ort: 93/E12: Mo. 10:00 - 12:00 (12x) Mo. 12:00 - 14:00 (12x) Mo. 16:00 - 18:00 (12x) Do. 12:00 - 14:00 (12x), 93/E44: Mi. 10:00 - 12:00 (14x) Mittwoch, 31.01.2024, Mittwoch, 03.04.2024 08:00 - 10:00, 93/E01: Do. 12:00 - 14:00 (12x)
Zeiten: Mo. 10:00 - 12:00 (wöchentlich) - Tutorial Johanna, Ort: 93/E12, Mo. 12:00 - 14:00 (wöchentlich) - Tutorial Mariia, Ort: 93/E12, Mo. 16:00 - 18:00 (wöchentlich) - Tutorial Max, Ort: 93/E12, Mi. 10:00 - 12:00 (wöchentlich), Ort: 93/E44, Do. 12:00 - 14:00 (wöchentlich) - Tutorial Anna, Ort: 93/E12, Do. 12:00 - 14:00 (wöchentlich) - Tutorial Bogdan, Ort: 93/E01, Termine am Mittwoch, 31.01.2024, Mittwoch, 03.04.2024 08:00 - 10:00, Ort: 93/E44
Beschreibung: This is an introductory course on the basics of argumentation theory and classical formal logic, including propositional and predicate logic. The course introduces to the central notions of validity and soundness, develops the links between the notions of validity, semantic consequence, and syntactic derivability and related notions like completeness and correctness, and provides semantic (semantic trees) and syntactic (Fitch-style calculus for natural deduction) frameworks for checking for the validity of arguments.