Problemi kvantificirane epistemičke logike

Sažetak

U okviru kvantificirane modalne logike (QML), autor u prvom dijelu rada nastoji, polazeći od aktualističkog pristupa problemu zasnivanja logičkih modalnosti utemeljiti sistem kvantificirane epistemičke logike (QEL) koji podrazumijeva svojstven način rješenja problema u odnosu na pravilo egzistencijalne generalizacije (EG), tj. radi se o hintikkijanskom načinu. Centralno pitanje drugog dijela odnosi se na pravilo egzistencijalne generalizacije a samim tim i na pravilo univerzalne instancijacije, te na neke probleme u vezi s njihovim aplikacijama u kvantificiranoj epistemičkoj logici. U zaključku namjera je prezentirati protuargumente u odnosu na dva sistema QEL (Hintikkin sistem K & B i Carlsonov sistem C).