Filosofia:mahdollisten maailmojen semantiikka
mahdollisten maailmojen semantiikka
| mahdollisten maailmojen semantiikka |
semantiikka intensionaalisia käsitteitä kuten modaliteetteja tarkasteleville logiikoille
Mahdollisten maailmojen semantiikka on yleistermi semantiikoille, jotka käsittelevät intensionaalisten käsitteiden kuten eri modaliteettien logiikkoja. Idea mahdollisista maailmoista aktuaaliselle maailmalle rinnakkaisina kuviteltavissaolevina vaihtoehtoina ilmestyy 1300-luvun loogikkojen (Scotus, Ockham, Buridan) teksteihin, mutta tunnetuksi se tulee varhaismodenilla ajalla Gottfried Wilhelm Leibnizin (1646-1716) väitteessä, että kaikki mahdolliset maailmat ovat Jumalan mielessä, mutta aktuaalinen maailma on näistä paras mahdollinen. Varsinainen mahdollisten maailmojen semantiikka syntyi kuitenkin vasta 1960-70-luvuilla Saul Kripken, Jaakko Hintikan, Richard Montaguen ja Stig Kangerin loogisten tutkimusten tuloksena. Tunnetuin ja "standardein" näistä on ns. Kripke-semantiikka.
Kripke-semantiikan malleissa on kolme osaa: maailmojen joukko W, maailmojen välinen saavutettavuus- tai vaihtoehtorelaatio R ja valuaatiofunktio v. Toisin kuin klassisen logiikan malliteoriassa, mahdollisten maailmojen semantiikassa, jossa malleihin sisältyy vain yksi universumi tai "maailma", mahdollisten maailmojen semantiikassa lauseen totuus yhdessä maailmassa voi olla riippuvainen sen totuudesta myös muissa vaihtoehtoisissa maailmoissa, joten malleihin täytyy sisällyttää useampia maailmoita tai "universumeja". Vaihtoehtorelaatio R tuo monipuolisuutta vanhempaan intuitiiviseen rinnakkaisten mahdollisuuksien ideaan, jossa kaikki maailmat ovat toistensa vaihtoehtoja. Vaihtoehtorelaatio rajoittaa sitä, mitkä maailmat ovat yhdestä maailmasta katsoen sille vaihtoehtoisia. Asettamalla vaihtoehtorelaatiolle erilaisia ominaisuuksia (kuten symmetrisyys tai antisymmetrisyys, transitiivisuus, refleksiivisyys, jne.) pystytään mallintamaan erityyppisiä välttämättömyyden ja mahdollisuuden käsitteitä ja muitakin modaliteetteja.
Erikieliset vastineet
| possible worlds semantics | englanti (English) |
Lähikäsitteet
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 10.2.2026: Filosofia:mahdollisten maailmojen semantiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:mahdollisten maailmojen semantiikka.)