Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BMI-LOTD-101E.03
- Title
- Foundations of Logic - seminar
- Usual semester
- Autumn
- ECTS
- 3
- Language
- Description
- te_kód: BMI-LOTD-101E kurzuskód: BMI-LOTD-101E
- Learning outcomes
- Students will get an overview of the basic concepts and techniques of modern formal logic.
- Course content
- This course introduces the basic concepts and methods of both traditional and modern logic. The material covers the following systems: Aristotelian syllogisms; propositional logic: syntax and semantics propositional calculus: soundness and completeness first-order logic: syntax and semantics Peano arithmetic: a first-order theory
- Assessment method
- Grades will be based on the homeworks handed in during the semester, and on the student's performance on the classes.
- Bibliography
- L. T. F. Gamut, Logic, Language, and Meaning. Volume I: Introduction to Logic. University of Chicago Press, 1991.