Logika szeminárium

 Szemináriumvezető: Mekis Péter
Kód: FL 216c
Hely: i228
 Időpont: Kedd 830

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.	Bevezetés: A logika tárgya és alapfogalmai. Következtetési példák.
2.	Az ítéletek arisztotelészi felosztása. Az ítélettípusok viszonyai.
3.	A kategorikus szillogizmusok rendszere. Példák szillogizmusokra.
4.	Az arisztotelészi logika mint levezetési rendszer.
5.	Az állításlogika elemei. Természetes nyelvi konnektívumok és logikai konstansok. Következtetési példák.
6.	Az igazságtáblázatok módszere. Centrális logikai fogalmak: következmény, érvényesség, ekvivalencia.
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. Formalizálási példák.
9.	Azonossági állítások. További formalizálási és következtetési példák.
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ó. Példák az igazságérték megállapítására.
12.	 Tarski-stílusú igazságdefiníció a klasszikus predikátumlogikában. Centrális szemantikai fogalmak. Példák a fogalmak alkalmazására.
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 szóbeli beszámoló.

Irodalom:
Ruzsa Imre - Máté András: Bevezetés a modern logikába
Osiris, 1997