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

Opetus järjestetään keväällä 2013. Opintojakso voidaan suorittaa myös kirjatenttinä (yleisenä tenttipäivänä) mutta luentosarjasuoritus on suositeltavampi vaihtoehto.

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.

Mikäli jakso suoritetaan kirjatentillä - valitaan yksi seuraavista:

a. Rantala, Veikko & Virtanen, Ari 2003. Logiikan peruskurssi (vain verkossa osoitteessa http://mtl.uta.fi/modaalilogiikka/logpk2003.pdf)

TAI

b. Miettinen, Seppo 2002. Logiikka - perusteet

TAI

c. Guttenplan, Samuel 1996. The Languages of Logic.

Opetettu lukuvuonna 2012/2013. Voi suorittaa lukuvuoden 2013/2014 opetukseen osallistuen mikäli jakso vielä suorittamatta.

******************

Syksyn 2013 yleiset tenttipäivät ovat ma 21.10. ja ma 16.12. klo 16-20.
Tentteihin ilmoittautuminen NettiRekan kautta  ( www.uta.fi/nettirekka) viimeistään 14 vuorokautta ennen tenttiä.
Tenttipaikka: Päätalon luentosali A2a (Kalevantie 4)