LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
ilmselt pole see võimatu. Mulle võib tunduda lausa paratamatuna, et ma lähen homme tööle.
Siiski ei saa selles päris kindel olla. On ka kindlaid ja paratamatuid asju. Ja mis on
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
annaabi.ee 
