Kurzus kódja: FLN-105	
Kurzus megnevezése: Logika előadás	
Kurzus előadója: Máté András	
Kurzus ideje: péntek 10:15-11:45	
A kurzus weblapja: http://philosophy.elte.hu/mate/logea/logea.html	

Kurzus előfeltétele(i): FLN-104, ill. BBN-FIL-302, ill. FL-216	
A jegyszerzés módja(i): kollokvium az előadásban elhangzottak, valamint a szeminárium anyagának elméleti része alapján (a megadott irodalom a felkészülést és a tájékozódást segíti)	
Követelmények: 
•	az anyagban szereplő definíciók és tételek pontos kimondása 
•	a következtetés-ellenőrzés módszereinek összefoglaló ismerete 
•	a tételbizonyítások alapgondolatainak reprodukálása
•	a tételek és módszerek filozófiai összefüggéseinek elemzése	

Kurzus leírása, tematikája:
1.	Az elsőrendű logika: kvantorok, változók
2.	Többrétű kvantifikáció; kifejezési lehetőségek és kétértelműségek
3.	Az azonosság; numerikus kvantorok
4.	Következtetések és analitikus táblázatok az elsőrendű logikában.
5.	Az érvényesség bizonyíthatósága, Löwenheim--Skolem--tétel.
6.	Az elsőrendű logika szintaktikai felépítése.
7.	Teljességi tétel a klasszikus elsőrendű logikára.
8.	Elsőrendű elméletek; az elsőrendű aritmetika nem-teljessége.
9.	A másodrendű logika vázlata; másodrendű aritmetika.
10.	Típuselméleti logika.
11.	Deskripció és értékrés.
12.	Kitekintés: nem-klasszikus logikák (modális, intuicionista)

Kurzushoz tartozó kötelező irodalom:
¨	Ruzsa -- Máté: Bevezetés a modern logikába,  Osiris, 1997 (későbbi kiadások:: Ruzsa: Bevezetés a modern logikába)
          vagy
¨	Pólos -- Ruzsa: Bevezetés a logikába,Tankönyvkiadó  (bölcsészkari  jegyzet).

Kurzushoz tartozó ajánlott irodalom:

¨	Ruzsa:  Klasszikus, modális  és intenzionális  logika, Akadémiai, 1984.
¨	Ruzsa: Logikai szintaxis és szemantika II., Akadémiai, 1989.
¨	Gabbay --- Guenthner: Handbook of Philosophical  Logic II. Reidel, 1986.
¨	Copi--Gould: Kortárstanulmányok a  logikaelmélet kérdéseiről, Gondolat, 1985.