Browsing by Author "Nieminen, Janos"

Tämä pro gradu-tutkielma käsittelee modaalilogiikkaa ja sen soveltamista tiedon mallintamiseen. Tutkielman alkupuolella tutkitaan modaalilogiikkaa, eli aleettisia modaalikäsitteitä välttämättömyys ja mahdollisuus ja näiden mallinnusta Kripke-semantiikan avulla. Tässä osassa esitellään modaalilogiikan aksioomasysteemejä ja todistetaan täsmällisesti modaalilogiikan todistusteorian ja malliteoriaan tuloksia. Modaalilogiikka on mielenkiintoinen tutkimuskohde, koska Kripke-semantiikka soveltuu aleettisen modaalilogiikan lisäksi myös asenteiden kuten tiedon, uskomusten ja preferenssien mallintamiseen. Modaalilogiikan ja Kripke-semantiikan soveltaminen näiden käsitteiden tutkimiseen on hyödyllistä siksi, että se mahdollistaa tutkielman alkuosassa esiteltyjen teknisten tulosten hyödyntämisen. On kuitenkin huomattava, että sovellettaessa modaalilogiikkaa asenteiden kuten tietämisen mallintamiseen ei olla samalla tavalla abstraktin logiikan alueella kuin esimerkiksi matemaattisessa logiikassa. Tietäminen, jota logiikka kuvaa, on tiettyjen agenttien, inhimillisten tai keinotekoisten, päättelyä maailmassa ja tätä päättelyä rajoittaa näiden agenttien kognitiiviset edellytykset. Episteemisen logiikan käyttämä tiedon määritelmä on idealisoitu ja sitä vastaan on esitetty kritiikkiä, joka on keskittynyt episteemisen logiikan tekemiin olettamuksiin agentin loogisesta kaikkitietävyydestä sekä agentin tietoon omasta tietämyksestä. Tutkielmassa esitellään tiedon mallinnusta episteemisen logiikan avulla ja myös ongelmia joihin Kripke-semantiikan hyödyntäminen johtaa. Episteemistä logiikkaa voidaan käyttää myös tiedon käsitteen analysointiin. Tutkielman loppupuolella tutkitaan episteemisen logiikan systeemien filosofista oikeutusta eräiden Timothy Williamsonin ja Jaakko Hintikan argumenttien valossa.