Kurzus kódja: FIL-302.1	
Kurzus megnevezése: Logika szeminárium	
Kurzus előadója: Máté András docens	
Kurzus helye és ideje: P 14 –15:30, MUK i/211	

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.
Ruzsa (– Máté): Bevezetés a modern logikába,  Osiris.