A kurzus kódja(i): BMA-FILD-301.01, BBN-FIL-301.01, BBN-FIL18-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 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.