TY - JOUR AU - Kubyshkina, Ekaterina AU - Zaitsev, Dmitry V. PY - 2016/07/15 Y2 - 2024/03/28 TI - Rational Agency from a Truth-Functional Perspective JF - Logic and Logical Philosophy JA - LLP VL - 25 IS - 4 SE - Articles DO - 10.12775/LLP.2016.016 UR - https://apcz.umk.pl/LLP/article/view/LLP.2016.016 SP - 499-520 AB - <p>The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations (an “ontological” and an “epistemic” one) is provided. These negations allow us to express the statements about knowing or not knowing something at the syntactic level. Moreover, such a system is applied to the analysis of knowability paradox. In particular, we show that the paradox is not derivable in terms of the logic of rational agent.</p> ER -