Introduction to Logic and Critical Thinking

Dr. techn. Dr. phil. Gregor Michael Hörzer

Veranstaltungstyp: Vorlesung und Übung
TeilnehmerInnen:

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.

The course usually consists of a lecture (8-10) and a practice (10-12) session each week (with a break in between).

Course assessment:
- Weekly exercises, performed in Groups of up to 3 students (required, but not graded)
- Written exam at the end of the semester (two opportunities, one right after the lecture period and another one shortly before the next semester starts)

Erstes Treffen:
Mittwoch, 30.10.2024 08:00 - 12:00, Ort: 66/E34

Ort:
93/E01: Mo. 16:00 - 18:00 (9x), 50/E08: Di. 10:00 - 12:00 (12x), 66/E34: Mi. 08:00 - 12:00 (14x), 50/E07: Do. 10:00 - 12:00 (12x)

Semester:
WiSe 2024/25

Zeiten:
Mo. 16:00 - 18:00 (wöchentlich) - Self-study session, Ort: 93/E01, Di. 10:00 - 12:00 (wöchentlich) - Tutorial 2, Ort: 50/E08, Mi. 08:00 - 12:00 (wöchentlich), Ort: 66/E34, Do. 10:00 - 12:00 (wöchentlich) - Tutorial 1, Ort: 50/E07, Termine am Mittwoch, 02.04.2025 10:00 - 12:00

Leistungsnachweis:


Veranstaltungsnummer:
8.3507

ECTS-Kreditpunkte:
6

Bereichseinordnung:
Veranstaltungen > Cognitive Science > Bachelor-Programm Courses in English > Human Sciences (e.g. Cognitive Science, Psychology)