Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BBN-FIL18-301
- Title
- Foundations of Logic
- Usual semester
- Autumn
- Published semester
- 2025/26/2, 2026/27/1
- ECTS
- 4
- Language
- hu
- Learning outcomes
- Logika előadás Oktatás célja: Az előadás a tavaszi félévben tartott logika szeminárium folytatása és bevezetést nyújt az elsőrendű logika elméletébe. Tantárgy tartalma: Az anyag a következő témákat fedi le: • A kijelentéslogika korlátai • Kvantifikáció és determinánsok a köznyelvben • Az elsőrendű logika szintaxisa • Köznyelvi mondatok formalizálása • Halmazok, relációk, függvények • Az elsőrendű logika szemantikája • Centrális logikai fogalmak • Az elsőrendű logika korlátai és a másodrendű logika alapgondolata Számonkérési és értékelési rendszere: A hallgatók a beadott házi feladatokra kapnak jegyet. Kötelező irodalom: P.D. Magnus and T. Button: forallx:Cambridge, 2017 Ajánlott irodalom: J. Barwise and J. Etchemendy, Language, Proof and Logic. CSLI Publications, 2011. Ruzsa Imre: Bevezetés a modern logikába. 2. kiadás. Osiris, 2000. L. T. F. Gamut, Logic, Language, and Meaning. Volume I: Introduction to Logic. University of Chicago Press, 1991.