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
- BBN-FIL18-301
- Cím
- Logika
- Tervezett félév
- Őszi
- ECTS
- 4
- Nyelv
- hu
- Oktatás célja
- 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.