A kurzus kódja(i): BMA-FILD-302.03, BBN-FIL18-302, BBN-FIL-302.03	
A kurzus megnevezése: Logika szeminárium	
A kurzus megnevezése angolul: Logic seminar	
A kurzus előadója: Gömöri Márton	

Oktatás célja: A kurzus megismerteti a hallgatókat a formális logika alapfogalmaival, alapelveivel, és legegyszerűbb technikáival.

Tantárgy tartalma: Az anyag a következő témákat fedi le:
 •	érvek és érvek hierarchiái
 •	az érvényes következtetés fogalma
 •	entinémák és körkörös érvek
 •	deduktív és induktív definíciók
 •	a kijelentéslogika nyelve és a formalizálás módszere
 •	igazságfüggvényes szemantika
 •	centrális logikai fogalmak a kijelentéslogikában
 •	a kijelentéslogika törvényei
 •	deduktív rendszerek és az analitikus fák módszere
 •	alapvető metalogikai fogalmak: helyesség és teljesség
 •	tárgynyelv, metanyelv és szabálykörkörösség
 •	az érvényes következtetés episztemológiai problémája

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.