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 (mm. 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 ja yleisemmin tieteellisen päättelyn ja argumentaation kannalta.
Kurssiin sisältyy luennot (n. 4 t/vk) ja harjoitukset (2 t/vk, kaksi vaihtoehtoista ryhmää). Harjoitustehtävien omakohtainen tekeminen ja harjoituksiin osallistuminen on oleellinen asioiden omaksumisen kannalta.
Kurssille ilmottaudutaan sähköisesti valitsemalla itselle sopiva harjoitusryhmä. (Luennoille ei ilmoittauduta erikseen.)
Ilmottautua voi myös suoraan luennoitsijalle sähköpostitse (tommi.vehkavaara@uta.fi).
Kurssi suoritetaan loppukokeella, jossa vastataan 4-5 harjoitustehtävien kaltaiseen tehtävään. Tehtäviä on yksi kultakin kurssin osa-alueelta. Kunkin tehtävän maksimipistemäärä on 6. Saadakseen minimiarvosanan 1, on kokeessa pystyttävä keräämään, noin puolet maksimipistemäärästä.
Oheismateriaalina voi käyttää mitä tahansa klassisen logiikan perusoppikirjaa - eri kirjoissa on kuitenkin variaatiota käytettyjen symbolien ja jopa perusmääritelmien merkityksistä. Oheiskirjaksi suositellaan Rantala, Veikko & Virtanen, Ari 2003: Logiikan peruskurssi (vain verkossa), jonka konventiot ovat pitkälti yhteensopivia kurssilla esitetyn kanssa.
Tentissä on joka tapauksessa osattava käyttää kurssilla esitettyjä konventioita.
Luentokalvot sekä harjoitustehtävät tulevat jakoon kurssin Moodle-sivuston kautta.