Filosofia:modaalilogiikka

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

modaalilogiikka

modaalilogiikka
Määritelmä mahdollisuuden ja välttämättömyyden käsitteitä tarkasteleva logiikan osa-alue
Selite Modaalilogiikalla tarkoitetaan useimmiten aleettista modaalilogiikkaa, jossa tutkitaan mahdollisuuden ja välttämättömyyden logiikkaa. Yleisnimityksenä modaalilogiikkaa voidaan kuitenkin käyttää myös esimerkiksi episteemisestä, deonttisesta, doksastisesta ja temporaalisesta logiikasta. Aleettisen modaalilogiikan operaattorit ovat mahdollisuus ◊ ja mahdottomuus □. Saul Kripken kehittämän modaalilogiikan malliteorian mukaan modaalilogiikan propositioiden totuutta havainnollistetaan mahdollisten maailmoiden avulla. Jos lause on välttämättä tosi, se on tosi kaikissa mahdollisissa maailmoissa. Jos lause taas on tosi vain osassa mahdollisia maailmoita, on se mahdollisesti tosi. Tähän modaalilogiikan osa-alueeseen keskittyvää tutkimusta on sanottu myös mahdollisten maailmojen semantiikaksi, jota on kehittänyt mm. Jaakko Hintikka (1929-2015).

Vieraskieliset vastineet

modal logicenglanti

Lähikäsitteet

Käytetyt lähteet

GarsonJ2014, BlackburnS2008, SalonenT2008, SaarinenE1994

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 22.01.2019: Filosofia:modaalilogiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:modaalilogiikka.)