A kurzus kódja(i): BMA-FILD-301.01, BBN-FIL-301.01	
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 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:
•	Az elsőrendű logika: kvantorok, változók
•	A kvantifikáció logikája
•	Többrétű kvantifikáció; kifejezési lehetőségek és kétértelműségek
•	Analitikus fák a kvantifikációelméletben
•	Numerikus kvantorok és más determinánsok
•	Az elsőrendű logika teljessége

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

Kötelező irodalom:
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. 
L. T. F. Gamut, Logic, Language, and Meaning. Volume I: Introduction to Logic. University of Chicago Press, 1991.