Introduction to Logic and Critical Thinking

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

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

Studienbereiche

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