Mixed SK-logics, epistemic commitments and recovering CL in FOUR

PAILOS, FEDERICO MATÍAS

Rotterdam

Encuentro; Logic at EUR; 2024

Aims of this talk(1) Suggest a map of every mixed Strong-Kleene logic, that, in a way,extends part of the picture that Wintein presents in [7].(2) Show how their validities represent every formal epistemiccommitments involving (the attitudes, or types of attitudes, of)acceptance, rejection, and neither acceptance nor rejection.(3) Extend the new approach to a four-valued setting based on FOUR inorder to evaluate whether it is possible to define a mixed-related logic thatrecaptures every classical inferential validity.