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:
Bevezetés: A logika tárgya és alapfogalmai. Következtetési példák.
Az ítéletek arisztotelészi felosztása. Az ítélettípusok viszonyai.
A kategorikus szillogizmusok rendszere. Példák szillogizmusokra.
Az arisztotelészi logika mint levezetési rendszer.
Az állításlogika elemei. Természetes nyelvi konnektívumok és logikai konstansok. Következtetési példák.
Az igazságtáblázatok módszere. Centrális logikai fogalmak: következmény, érvényesség, ekvivalencia.
Relációs állítások, többszörös és beágyazott kvantifikáció. A modern kvantifikációfelfogás alapjai.
A klasszikus predikátumlogika eszközei. Formalizálási példák.
Azonossági állítások. További formalizálási és következtetési példák.
A klasszikus predikátumlogika szemantikája: tárgyalási univerzum, interpretáció és értékelés.
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.
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ó.
