Kurzus kódja: FLN-104c	
Kurzus megnevezése: Logika szeminárium	
Kurzus előadója: Szécsényi Tibor és Mekis Péter	
Kurzus helye és ideje: i221, csütörtök 16-17:30	

Kurzus előfeltétele(i): --	
A jegyszerzés módja(i): gyakorlati jegy	
Követelmények: A jegyszerzés feltétele az óráról-órára kiadott házi feladatok elkészítése és a félév végén tett sikeres beszámoló a félév során elsajátított alapfogalmakból.	

Kurzus leírása, tematikája:

A félév során az arisztotelészi és a modern logika alapjaival ismerkedünk meg. Hétről-hétre a következő témákat fogjuk feldolgozni:
1.	A logika tárgya és alapfogalmai.
2.	Arisztotelész kategorikus szillogizmusai.
3.	Az állításlogika elemei. Természetes nyelvi konnektívumok és logikai konstansok.
4.	Az igazságtáblázatok módszere. Centrális logikai fogalmak: következmény, érvényesség, ekvivalencia.
5.	Az analitikus táblázatok módszere.
6.	Az állításlogika nyelve. Az induktív definíció fogalma.
7.	Relációs állítások, többszörös és beágyazott kvantifikáció. A modern kvantifikációfelfogás alapjai.
8.	A klasszikus predikátumlogika eszközei. Példák természetes nyelvi mondatok formalizálására.
9.	Formalizálási példák az azonosságpredikátum alkalmazásával.
10.	A klasszikus predikátumlogika szemantikája: tárgyalási univerzum, interpretáció és értékelés.
11.	A kvantifikált állítások igazságfeltételei: behelyettesítéses és értékeléses kvantifikáció. A centrális szemantikai fogalmak a klasszikus predikátumlogikában.
12.	A félév során elsajátított fogalmak átismétlése.

Kurzushoz tartozó kötelező irodalom:

-	Ruzsa Imre - Máté András: Bevezetés a modern logikába
Osiris, 1997
-	Az órákon kiosztott handoutok

Kurzushoz tartozó ajánlott irodalom:
--