Course details

8.3507

Introduction to Logic and Critical Thinking

 L + P
WS 2023 Dr. techn. Gregor Michael Hörzer OFFLINE
4h/wk
6 ECTS 		B.Sc modules:
CS-BP-PHIL - Philosophy for Cognitive Science
KOGW-PM-LOG - Foundations of Logic
 Wed: 10-12

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.