Kurzus kódja: FIL-302.02, FL216.02, FLN-104.02	
Kurzus megnevezése: Logika szeminárium	
Kurzus előadója: Mekis Péter tanársegéd	
Kurzus helye és ideje: i221, szerda 14:00-15:30	

Kurzus előfeltétele(i): FB-101 Érveléstechnika (ajánlott, nem kötelező)	
A jegyszerzés módja(i): Házi feladatok megoldása, vagy beszámoló a vizsgaidőszak elején.	
Követelmények:
A hangsúly mindenekelőtt a feladatmegoldási készségen van, tehát az anyagban előforduló logikai eljárások (értéktáblázat-készítés, formalizálás, levezetés) elsajátításáról kell számot adni.	

Kurzus leírása, tematikája:
1. Kijelentéslogika, formalizálás, igazságtáblázatok, helyesség és érvényesség fogalma. (3 óra)
2. Analitikus táblázatok, a kijelentéslogika Frege-Hilbert-stílusú kalkulusa (teljességgel). (3 óra)
3. A klasszikus kijelentéslogika, mint természetes levezetési rendszer. (3 óra) 
4. A logikai konstansok értelmezése, nem-klasszikus kalkulusok. (2 óra)
5. Logikai szintaxis, típusok szemantikai értékek. (2 óra)

Kurzushoz tartozó kötelező irodalom:
A kurzus tananyaga folyamatosan fog felkerülni a kurzus weblapjára (elérhető a Logika tanszék honlapjáról, philosophy.elte.hu/logic).

Kurzushoz tartozó ajánlott irodalom:
Madarászné-Pólos-Ruzsa: A logika elemei, Osiris, 1999.
Ruzsa (– Máté): Bevezetés a modern logikába, Osiris, 2000 (1997).