Võimalik maailm: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
P emba-kumba: kas ettekujutus või kujutlus - teine on tuletatud esimesest
Miacek (arutelu | kaastöö)
täiendused saksa wikist
10. rida:
"Võimalikuks maailmaks" nimetatakse loogikat järgivat ettekujutust sellest, milline tegelikkus ''võiks'' olla - s.t võimalike asjaolude ettekujutuste loogiliselt järjekindel tervik.
 
Tõesed on sellised propositsioonid, mis on tegelikus maailmas tõesed (nt "Gerhard Schröder sai 1998. aastal Saksamaa liidukantsleriks").
Võimalikkuse propositsiooni peetakse tõeseks, kui see on täidetud ühes sellises maailmas ("vähemalt ühes võimalikus maailmas"); paratamatuse väidet peetakse tõeseks, kui see on täidetud ''kõigis'' sellistes maailmades ("kõigis võimalikes maailmades").
Väärad on sellised propositsioonid, mis on väärad tegelikus maailmas (nt "Angela Merkel sai 1998. aastal Saksamaa liidukantsleriks").
Võimalikud on sellised propositsioonid, mis on tõesed vähemalt ühes võimalikus maailmas (nt "Esther Schweins sai 1998. aastal Saksamaa liidukantsleriks").
Kontingentsed on sellised propositsioonid, mis on vähemalt ühes võimalikus maailmas tõesed ja vähemalt ühes võimalikus maailmas väärad (nt "Gerhard Schröder sai 1998. aastal Saksamaa liidukantsleriks").
Paratamatud on sellised propositsioonid, mis on tõesed kõigis võimalikes maailmades (nt "Kõik ringid on ümmargused")
Võimatud on sellised propositsioonid, mis on väärad kõigis võimalikes maailmades (nt "On olemas täisnurkseid ringe").
 
==Vaata ka==