Introduction to Logic and Critical Thinking

8.3507

Dozenten

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)

Weitere Angaben

Ort: 66/E34
Zeiten: Mi. 08:00 - 12:00 (wöchentlich)
Erster Termin: Mittwoch, 30.10.2024 08:00 - 12:00, Ort: 66/E34
Veranstaltungsart: Vorlesung und Seminar (Offizielle Lehrveranstaltungen)

Studienbereiche

• Cognitive Science > Bachelor-Programm
• Human Sciences (e.g. Cognitive Science, Psychology)