Kurzus nemzetközi vendég- és részidős hallgatóknak
- Kar
- Bölcsészettudományi Kar
- Szervezet
- BTK Filozófia Intézet
- Kód
- BMI-LOTD-101E.03
- Cím
- Logic, seminar
- Tervezett félév
- Őszi
- ECTS
- 3
- Nyelv
- en
- Leírás
- te_kód: BMI-LOTD-101E kurzuskód: BMI-LOTD-101E
- Oktatás célja
- Students will get an overview of the basic concepts and techniques of modern formal logic.
- Tantárgy tartalma
- 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
- Számonkérés és értékelés
- Grades will be given based on homeworks handed in during the semester, and on the student's performance on the classes.
- Irodalomjegyzék
- L. T. F. Gamut, Logic, Language, and Meaning. Volume I: Introduction to Logic. University of Chicago Press, 1991.