Generalizations of Kripke semantics for epistemic logic

Show full item record



Permalink

http://urn.fi/URN:NBN:fi:hulib-201703081377
Title: Generalizations of Kripke semantics for epistemic logic
Author: Viitanen, Esa
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: 2017
Language: eng
URI: http://urn.fi/URN:NBN:fi:hulib-201703081377
http://hdl.handle.net/10138/177249
Thesis level: master's thesis
Discipline: Theoretical Philosophy
Teoreettinen filosofia
Teoretisk filosofi
Abstract: Työni kuuluu filosofisen logiikan alaan. Se on luonteeltaan kirjallisuustutkimus. Se tarkastelee erilaisten episteemisten ja doksastisten logiikkojen semantiikkaa ja totuuskäsitettä. Tarkasteltavat logiikat kattavat koko filosofisen logiikan modernin historian alkaen 1960-luvun Kripke-malleista ja päätyen 2000-luvun uskomusten korjausteorioihin. Työn tavoitteena on selvittää, millaisia semantiikkoja ja totuusmääritelmiä episteemisille ja doksastisille logiikoille on ehdotettu, mihin luonnollisen tai formaalin kielen ongelmiin ne yrittävät vastata, miten hyvin semantiikat onnistuvat mallintamaan ihmisen tai tekoälyn päättelyä ja miten ne onnistuvat välttämään mahdolliset haasteet kuten loogisen kaikki-tietävyyden ongelman. Tutkimuksen aineistona on käytetty laajasti alan tieteellistä kirjallisuutta, mm. Jaakko Hintikan, Ronald Faginin ja Hans van Ditmarschin kirjoittamia kirjoja, sekä eri tutkijoiden tiedelehdissä julkaistuja artikkeleita. Tutkimus kattaa vanhemmat staattiset episteemiset ja doksastiset logiikat, konditionaalien teoriat sekä uudemmat dynaamiset episteemiset logiikat. Staattiset mahdollisten maailmojen logiikat kuvaavat tarkasti yksinkertaisia tiedon totuusarvoja. Ne ovat kuitenkin alttiita loogisen kaikkitietävyyden ongelmalle. Mahdottomien maailmojen käyttöönotto tai naapurustologiikka auttavat välttämään ongelmaa. Loogisten konditionaalien semantiikat eivät kuvaa oikein luonnollisen kielen konditionaalia eivätkä kausaliteettia, vaan johtavat vakaviin ongelmiin, ns. loogisiin paradokseihin. Sen sijaan David Lewisin ehdottama semantiikka antaa hyväksyttävän kuvauksen hypoteettisille konditionaaleille. Uskottavuus-käsitteeseen perustuvat doksastiset logiikat kuvaavat inhimillistä päättelyä jo varsin tarkasti. Uskomusten ja tiedon päivittymistä uuden tiedon ilmetessä kommunikaation seurauksena kuvataan mm. julkisten ilmoitusten logiikalla. Mutta uudemmat tapahtuma- ja toiminta-mallilogiikat tekevät sen tarkemmin mutkikkaimmissakin tilanteissa, esim. korttipeleissä. Episteemiset logiikat mallintavat tarkasti rationaalisten koneiden kuten tekoälyn ja robottien loogista päättelyä. Mutta erehtyväisen inhimillisen päättelyn mallintaminen episteemisiin ja doksastisiin logiikkoihin on edelleenkin haasteellista ja näyttää väistämättä johtavan ongelmiin.
Subject: filosofinen logiikka
episteeminen logiikka
doksastinen logiikka
semantiikka
tieto
uskomus


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