Elementi neklasičnih logika i modalnosti
Što se ispituje
Domena Elementi neklasičnih logika i modalnosti provjerava razumijevanje operatora nužnosti i mogućnosti, mogućih svjetova te osnovnih razlika između klasične, modalne, viševrijednosne, intuicionističke i parakonzistentne logike.
Pravila
- Modalni operatori: □p (“nužno p”) i ◇p (“moguće p”).
- Vrijedi □p ≡ ¬◇¬p i ◇p ≡ ¬□¬p.
- Nužnost ne znači samo “istinito sada”; istinito u svijetu ne mora biti nužno.
- U semantici mogućih svjetova □p je istinito u svijetu w ako je p istinito u svim svjetovima dostupnima iz w; ◇p ako je istinito u barem jednom.
- U deontičkoj logici O znači obvezno, P dopušteno; u epistemičkoj K znači “znano je da”.
- Neklasične logike: intuicionistička ne prihvaća isključenu sredinu kao opće pravilo, viševrijednosne dopuštaju više od dvije vrijednosti, parakonzistentne toleriraju proturječja bez trivijalizacije.
Riješeni primjer
“Nije moguće da sutra padne kiša” prevodi se ¬◇K. Po dualnosti je ¬◇K ≡ □¬K, dakle “nužno je da sutra ne pada kiša”. To nije isto što i “sutra neće padati kiša”; potonje je tvrdnja o stvarnom svijetu, a prvo je modalna tvrdnja o svim dopuštenim svjetovima.
Zamke
Ne miješajte □ i ◇ s običnom tvrdnjom. “Moguće” ne znači “nužno”. Pazite na doseg negacije: ¬□p nije isto što i □¬p. U zadacima s mogućim svjetovima provjerite što je istinito u kojem svijetu.