Logiikka, 5 op

Opintojaksolla opitaan logiikan peruskäsitteet (esim. pätevä ja epäpätevä päätelmä, looginen johtaminen ja todistuvuus, ristiriitaisuus ja ristiriidattomuus, looginen seuraus ja looginen totuus), klassisen lause- ja predikaattilogiikan symbolit ja kielioppi sekä lauselogiikan luonnollisen päättelyn järjestelmä ja totuustaulukkomenetelmä, sekä tutustutaan predikaattilogiikan semantiikkaan. Erityisesti kiinnitetään huomiota sellaisiin logiikan käsitteisiin, joiden tunteminen on tarpeen kaikkien filosofian opintojen kannalta. Suositellaan suorittamista luentokurssilla harjoituksineen. Hyväksyttävä suoritus kirjatentillä edellyttää myös yleensä harjoitusten omatoimista tekemistä.