Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BMI-LOTD17-101E
- Title
- Elements of logic
- Usual semester
- Autumn
- Published semester
- 2026/27/1
- ECTS
- 3
- Language
- en
- Learning outcomes
- Logic seminar General aim of the course: The course provides an introduction to the basic concepts and methods of formal logic. Content of the course: The course covers the following topics: • Truth and valid inference • Aristotelian syllogisms • Propositional logic • Elements of predicate logic • Aristotelian vs. recursive definitions • Types of relations Grading criteria, specific requirements: Grading is based on homeworks. Required reading: J. Barwise and J. Etchemendy, Language, Proof and Logic. CSLI Publications, 2011. Suggested further reading: L. T. F. Gamut, Logic, Language, and Meaning. Volume I: Introduction to Logic. University of Chicago Press, 1991.
- Assessment method
- Bibliography