Description

• Title:
  Rational Agency from a Truth-Functional Perspective
• Creator:
  Kubyshkina, Ekaterina;
  Zaitsev, Dmitry V.
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2016.07.15
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion;
  generalized truth-values, composed truth-values
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 25 No. 4 (2016): December; 499-520;
  Logic and Logical Philosophy; Tom 25 Nr 4 (2016): grudzień; 499-520;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2016.016/9339
• Subject:
  many-valued logics;
  generalized truth values;
  Church-Fitch’s paradox
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2016.016
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  other