Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BMI-FILD-302.01
- Title
- Foundations of logic
- Usual semester
- Autumn
- ECTS
- 4
- Language
- Course content
- For the latest version of the syllabus, please visit the Philosophy course catalogue: http://lps.elte.hu/courselist/ 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
- Grading criteria: homework assignments
- Bibliography
- [1] David Marker. An invitation to mathematical logic. Springer. 2024. [2] László Csirmaz, Zalán Gyenis Mathematical logic. Exercises and solutions. Springer. 2022.