LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
paratamatu, see on kindlasti ka võimalik.
Võimalikkuse ja paratamatuse faktori lisamisega tavalistele (ehk assertoorilistele)
väitlausetele tekivad modaalsed laused. Tänaseks on uuritud ka paljusid teisi modaalsusi,
mõnda neist käsitletakse ka allpool, nt modaalsusi ,,kohustuslik" või ,,keelatud". Modaalses1
lauses esineb üks või mitu moodaalsust väljendavat operaatorit. Modaalses lauses võivad
esineda ka kvantorid ning modaalse predikaatloogika abil saab kirja panna suhtelauseid.
Modaalne loogika on klassikalise loogika üldistus, mitte alternatiiv sellele.
Modaalse loogika (modal logic) tekkele viinud küsimustega tegeles juba Aristoteles.
Ta uuris paratamatust ja võimalikkustning käsitles ka süllogisme, milles esinevad nii
paratamatud kui ka võimalikud väited. Aristotelese panust arendati edasi antiikajal ning
skolastikute poolt, ent siis jäi see küsimuste ring tähelepanu alt välja kuni XX sajandi
alguseni. Erandiks oli G. W
annaabi.ee 
