LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Hiljem on episteemilises loogikas lähtutud sellest, et subjekti teadmist millestki väljendatakse
operaatori K (knowledge) abil. Kxp tuleks lugeda ,,x teab, et p", kus x tähistab mingit
teadmisvõimelist indiviidi ning p propositsiooni. Mõnes episteemilise loogika süsteemis
lisatakse subjekti teadmise operaatorile subjekti uskumise operaator B (belief).
11
Doksastiline loogika (doxastic logic) uurib peamiselt uskumust ja veendumust väljendavaid
lauseid. Mõnikord nimetatakse seda ka intensionaalseks loogikaks. Intensionaalse loogika
ajalugu alustatakse G. Fregega, kes analüüsis, mida tähendab väide ,,Ehatäht on koidutäht" ja
kuidas see sõltub väitja uskumustest. Intensionaalses loogikas on välja töötatud väga
erinevaid süsteeme üpris keeruka formalismiga, mis kasutavad ka võimalike maailmade
semantikat.
annaabi.ee 
