Description

• Title:
  Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
• Creator:
  Borzi, Agustina;
  Pailos, Federico;
  Toranzo Calderón, Joaquín T.
• Description:
  In this paper, we present two ways of modelling every epistemic formal conditional commitment that involves (at most) three key epistemic attitudes: acceptance, rejection and neither acceptance nor rejection. The first one consists of adopting the plurality of every mixed Strong Kleene logic (along with an epistemic reading of the truth-values), and the second one involves the use of a unified system of six-sided inferences, named 6SK, that recovers the validities of each mixed Strong Kleene logic. We also introduce a sequent calculus that is sound and complete with respect to both approaches. We compare both accounts, and finally, we suggest that the plurality of Strong Kleene logic as well as the general framework 6SK are linked to formal epistemic norms via bridge principles.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2024 Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón
• Date:
  2024.11.07
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 33 No. 4 (2024): December; 615-648;
  Logic and Logical Philosophy; Tom 33 Nr 4 (2024): December; 615-648;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/45641/40293
• Subject:
  epistemic attitudes;
  formal commitments;
  bridge principles;
  three-valued logics;
  substructural logics
• Identifier: https://apcz.umk.pl/LLP/article/view/45641
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text