Kurzus kódja: BBN-FIL-301, BMA-FILD-301, FLN-105	
Kurzus megnevezése: Logika előadás	
Kurzus előadója: Mekis Péter	

Kurzus előfeltétele(i): logika szeminárium	
A jegyszerzés módja(i): szóbeli vizsga	
Követelmények: ld. fentebb	

A kurzus leírása:
A kurzus során a klasszikus predikátumlogika rendszerével ismerkedünk meg. Ez a logika standard rendszere, és lényegében a bevezető szemináriumon tárgyalt klasszikus kijelentéslogika bővítése néhány újabb, rendkívül hatékony logikai eszközzel. Az első órák informális bevezetőt adnak a témába, majd szisztematikusan felépítjük a rendszer szintaxisát és szemantikáját. A tanultak alkalmazásaként megismerkedünk néhány elsőrendű elmélettel. Munkák csúcspontját olyan rendkívül nagy filozófiai jelentőségű eredmények jelentik majd, mint a Löwenheim-Skolem tételpár, Gödel tételei, a Tarski-tétel és a Church-Turing tétel. Nehéz, de izgalmas és gyümölcsöző munka lesz.	

Kurzushoz tartozó kötelező irodalom:
Ruzsa Imre: Bevezetés a modern logikába. Osiris, 2000.	

Kurzushoz tartozó ajánlott irodalom:
Csirmaz, László: Matematikai logika. ELTE, 1994.
Ferenczi Miklós: Matematikai logika. Műszaki, 2002.