Explicitní/implicitní přesvědčení a derivační systémy

Title in English Explicit/Implicit Belief and Derivation System
Authors

RACLAVSKÝ Jiří PEZLAR Ivo

Type Article in Periodical
Magazine / Source Filosofický časopis
MU Faculty or unit

Faculty of Arts

Citation
Keywords paradox of logical omniscience; substitution; explicit belief; implicit belief; knowledge; transparent hyperintensional logic;
Description The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose a model of implicit knowledge, which is the collection of a possible agent's explicit beliefs which are related through a derivation system mastered by the agent. A derivation system consists of beliefs and derivation rules by means of which the agent may derive beliefs different from the beliefs she is actually related to. Conditions imposed on the set of base beliefs and the set of rules capture the limitations of the agent's deriving capabilities.
Related projects:

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