LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
teada, kuid ma saan öelda: ,,On võimalik, et ma lähen homme tööle." Kui see on võimalik, siis
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.
annaabi.ee 
