Filosofia:modaalilogiikka

From Tieteen termipankki
Jump to: navigation, search

modaalilogiikka

modaalilogiikka
Definition mahdollisuuden ja välttämättömyyden käsitteitä tarkasteleva logiikan osa-alue
Explanation 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).

Equivalents

modal logicenglanti

Related Concepts

Sources

GarsonJ2014, BlackburnS2008, SalonenT2008, SaarinenE1994

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →