Logiikka (5op)

Osaamistavoitteet

Opintojakson suoritettuaan opiskelija osaa lukea ja kirjoittaa lause- ja predikaattilogiikan kieliä sekä on sisäistänyt logiikan semanttiset peruskäsitteet, erityisesti loogisen totuuden ja loogisen seurauksen käsitteet, niin että hän osaa arvioida, ovatko esitetyt päätelmät päteviä. Hän myös ymmärtää deduktiivisen päättelyn ja todistamisen käsitteet, niin että hän osaa rakentaa yksinkertaisia deduktiivisia päätelmiä lauselogiikan luonnollisen päättelyn järjestelmässä.

Sisältö

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ä.