Inevitable restrictions on the explication of the notions of knowledge, belief, necessity and truth



Year of publication 2020
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

Description From the limitation of the logical space I derive theorems that show an inevitable limitation of an explication of knowledge, belief, assertion, necessity and truth. The result is achieved within a higher-order modal logic: a type theory that handles both possible-world propositions and fine-grained (structured) hyperintensional `propositions', on which the modal notions are applicable.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.