Opintojakson suoritettuaan opiskelija osaa lukea ja kirjoittaa lause- ja predikaattilogiikan kieliä ja on sisäistänyt semanttiset peruskäsitteet, erityisesti loogisen totuuden ja seurauksen käsitteet, niin että hän tunnistaa, ovatko teksteissä esiintyvät päätelmät totuuden säilyttäviä. Hän myös ymmärtää deduktiivisen päättelyn ja todistamisen idean, niin että hän osaa rakentaa yksinkertaisia deduktioita lauselogiikan luonnollisen päättelyn systeemissä.

Opintojaksolla opitaan logiikan peruskäsitteet (esim. lause, propositio, luonnollinen ja keinotekoinen kieli, looginen pääteltävyys ja todistuvuus, looginen seuraus ja looginen totuus, ekstensio ja intensio), klassisen lause- ja predikaattilogiikan symbolit ja syntaksi sekä lauselogiikan luonnollisen päättelyn systeemi ja totuustaulukkomenetelmä, ja tutustutaan predikaattilogiikan semantiikkaan. Erityisesti kiinnitetään huomiota sellaisiin logiikan käsitteisiin, joiden tunteminen on tarpeen kaikkien filosofian opintojen kannalta.

Luentotentti to 28.2.2013 klo 16.30–18.30, Pinni B3107 - ei ilmottautumista.

Uusintatentit yleisinä tenttipäivinä 18.3. tai 22.4. klo 17.00-21.00, päätalo A1 - muista sähköinen ilmoittautuminen!