|
Instructors: Dr. Stefan Peter Roski
Event type:
Introductory course
Displayed in timetable as:
Hours per week:
2
Language of instruction:
German
Min. | Max. participants:
- | 45
Comments/contents:
Arguments are part and parcel scientific discourse and rational discourse in general. To discern logically cogent arguments from mere plausibility considerations and faulty reasoning is invaluable, both for evaluating and writing scientific literature. In this course we will learn what it means for an argument to be logically valid, and learn to master formal techniques that allow us to determine whether an argument is valid or faulty. More specifically, the course will cover the definition of logical validity, methods of translation between natural language and formal languages, truth-tables and natural deduction for propositional logic, and basic quantification theory.
Literature:
The textbook for this course is forallx, an open source logic book freely available at http://forallx.openlogicproject.org (we will use the Calgary-Version: http://forallx.openlogicproject.org/forallxyyc.pdf)
|
