LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Meid huvitab kõige rohkem loogilist
võimalikkust ja paratamatust kirjeldav tuletussüsteem S5, milles on kõik võimalikud
maailmad üksteisest ligipääsetavad. Ligipääsetavusseos on sel juhul ekvivalentsusseos.
Aleetiliste modaalsuste uurimise käigus välja töötatud loogikaaparatuuri saab kasutada
paljude teiste modaalsete loogikate formaliseerimisel.
6
DEONTILISEST LOOGIKAST
Deontilised (deontic, kr sõnast dson 'nõutav, tarvilik') modaalsed laused väljendavad norme
(käske, seadusi jne). Deontilisele loogikale pani aluse Soome filosoof ja loogik G. H. von
Wright [fon-vrikt] (19162003). Selle põhimõtetega tutvumiseks sobib just von Wrighti
esimene töö. Hilisemad edasiarendused muutuvad algkursuse jaoks liiga keeruliseks.
Wright esitas 1951. aastal järgmise süsteemi, milles vaadeldakse mingi toimiva isiku
(agendi) käitumisakte
annaabi.ee 
