"loogikaaparatuuri" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

tõene vähemalt ühes maailmas w´, mis on ligipääsetav maailmast w. Ligipääsetavuse seost märgitakse tähega R ning selle seose algebralistest omadustest lähtudes tekivad erinevad modaalloogika tuletussüsteemid. 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] (1916­2003). Selle põhimõtetega tutvumiseks sobib just von Wrighti