How To Model Formal Epistemic Commitments With Mixed Logics

BORZI, AGUSTINA; PAILOS, FEDERICO; TORANZO CALDERÓN, JOAQUÍN

Ciudad Autónoma de Buenos Aires

Workshop; I Workshop NUS - BA-Logic; 2023

The goal of this talk is to present two different ways in which to model every epistemic formal conditional commitment that involves (at most) three key epistemic attitudes: acceptance, rejection and neither acceptance nor rejection. The first one consists in adopting the plurality of every mixed Strong Kleene logic (along with a epistemic reading of the truth-values), and the second one involves the use of a unified system of six-sided inferences that recovers the validities of each mixed Strong Kleene logic, called 6SK. We also introduce a sequent calculus that is sound and complete with respect to both approaches. Finally, we suggest that both the plurality of Strong Kleene logics and the general framework 6SK are linked to formal epistemic norms via bridge principles.