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ä.
Sisältö
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.
Toteutustavat
Opetustapa
Paikalla
Verkossa
Luento-opetus
30 t
0 t
Harjoitukset
16 t
0 t
Opetuskieli
suomi
Vaadittavat opintosuoritukset
Suoritusvaihtoehto
1
Kohderyhmät:
Tutkinto-ohjelman omat opiskelijat
Muut opiskelijat
Avoimen yliopisto-opetuksen opiskelijat
Tohtoriopiskelijat
Vaihto-opiskelijat
Osallistuminen opetukseen
5 op
suomeksi
Oppimateriaalit
Oheismateriaalina voi käyttää teorta Rantala, Veikko & Virtanen, Ari 2003. Logiikan peruskurssi (vain verkossa osoitteessa http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf)
Arviointi
Numerolla 1-5.
Loppukokeessa on 4-5 tehtävää, joiden pistemäärästä on saatava n. puolet kurssin läpäisemiseksi arvosanalla 1.
Lisätietoja
Luennot 30 t ja harjoitukset 16 t ja suoritus loppukuulustelulla.
Suoritusvaihtoehto
2
Kohderyhmät:
Tutkinto-ohjelman omat opiskelijat
Muut opiskelijat
Avoimen yliopisto-opetuksen opiskelijat
Tohtoriopiskelijat
Vaihto-opiskelijat
Kirjallinen tentti
5 op
suomeksi
Arviointi
Numerolla 1-5.
Loppukokeessa on 4-5 tehtävää, joiden pistemäärästä on saatava n. puolet kurssin läpäisemiseksi arvosanalla 1.