Modaalilogiikan matemaattisia ja filosofisia ongelmia

Show full item record



Permalink

http://urn.fi/URN:NBN:fi:hulib-201702101313
Title: Modaalilogiikan matemaattisia ja filosofisia ongelmia
Author: Nieminen, Janos
Other contributor: Helsingin yliopisto, Humanistinen tiedekunta, Filosofian, historian, kulttuurin ja taiteiden tutkimuksen laitos
University of Helsinki, Faculty of Arts, Department of Philosophy, History, Culture and Art Studies
Helsingfors universitet, Humanistiska fakulteten, Institutionen för filosofi, historia, kultur- och konstforskning
Publisher: Helsingfors universitet
Date: 2016
Language: fin
URI: http://urn.fi/URN:NBN:fi:hulib-201702101313
http://hdl.handle.net/10138/175421
Thesis level: master's thesis
Discipline: Theoretical Philosophy
Teoreettinen filosofia
Teoretisk filosofi
Abstract: 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.
Subject: modaalilogiikka
episteeminen logiikka


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show full item record