LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
lause on nt ,,On võimalik, et Maa on lapik", aksioloogiline modaalne lause on nt ,,On hea, et
ma olen rumal", deontiline modaalne lause on nt ,,On lubatud, et mõned inimesed on abielus".
Aleetilised (kr sõnast ¢l»qeia 'tõde') modaalsed laused väljendavad paratamatust,
võimalikkust, sattumuslikkust ja mittevõimalikkust. Kui räägitakse modaalsest loogikast ehk
modaalloogikast ega täpsustata, mis tüüpi modaalsest loogikast räägitakse, siis on enamasti
tegemist aleetilise loogikaga (alethic logic).
1
Sõna ,,modaalne" tähendus on moodust väljendav (ld modus 'mõõt; viis') ja see sõna on keeleteaduses
kasutusel, tähistamaks modaalseid kõneviise ja verbe, mis on seotud nt lubamise ja keelamise, võimalikkuse ning
hinnangutega. Loogikas vastavad neile modaalsed operaatorid.
2
Leibnizi järgi on olemas lõpmatult palju võimalikke maailmu, kuid Jumal valis tegelikuks maailmaks välja
kõikidest võimalikest kõige parema (2005: 168[229]).