A kurzus kódja(i): BBN-FIL-301, BMA-FIL-301	
A kurzus megnevezése: Logika előadás	
A kurzus megnevezése angolul: Logic lecture	
A kurzus előadója: Gömöri Márton	

Oktatás célja: Az előadás az előző 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:
 •	ismétlés: az elsőrendű nyelvek szintaxisa
 •	halmazok, relációk, függvények
 •	az elsőrendű nyelvek szemantikája
 •	centrális logikai fogalmak az elsőrendű logikában
 •	deduktív rendszerek
 •	teljesség és helyesség
 •	elsőrendű elméletek
 •	Peano aritmetika
 •	végtelen halmazok és halmazelmélet
 •	Löwenheim-Skolem-tétel
 •	az elsőrendű logika korlátai és a másodrendű logika alapgondolata

Számonkérési és értékelési rendszere:  Szóbeli vizsga.

Kötelező irodalom:
P.D. Magnus and T. Button: forallx:Cambridge, 2017.
J. Barwise and J. Etchemendy, Language, Proof and Logic. CSLI Publications, 2011.

Ajánlott irodalom:
Ruzsa Imre, Bevezetés a modern logikába. 2. kiadás. Osiris, 2000. 
H. Halvorson, How Logic Works: A User's Guide. Princeton, NJ: Princeton University Press, 2020.
I. Chiswell and W. Hodges,  Mathematical Logic. Oxford University Press, 2007.