Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

Autores
Borzi, Agustina; Pailos, Federico Matias; Toranzo Calderón, Joaquín Santiago
Año de publicación
2024
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Borzi, Agustina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Fil: Pailos, Federico Matias. Eberhard Karls Universität Tübingen.; Alemania. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Fil: Toranzo Calderón, Joaquín Santiago. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Materia
EPISTEMIC ATTITUDES
FORMAL COMMITMENTS
BRIDGE PRINCIPLES
THREE-VALUED LOGICS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nd/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/260767

id CONICETDig_90baa48b82ce84416a42be829edb240f
oai_identifier_str oai:ri.conicet.gov.ar:11336/260767
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Strong Kleene Logics as a Tool for Modelling Formal Epistemic NormsBorzi, AgustinaPailos, Federico MatiasToranzo Calderón, Joaquín SantiagoEPISTEMIC ATTITUDESFORMAL COMMITMENTSBRIDGE PRINCIPLESTHREE-VALUED LOGICShttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6In 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.Fil: Borzi, Agustina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaFil: Pailos, Federico Matias. Eberhard Karls Universität Tübingen.; Alemania. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaFil: Toranzo Calderón, Joaquín Santiago. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaNicolaus Copernicus University2024-11info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/260767Borzi, Agustina; Pailos, Federico Matias; Toranzo Calderón, Joaquín Santiago; Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms; Nicolaus Copernicus University; Logic And Logical Philosophy; 33; 4; 11-2024; 615-6481425-3305CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://apcz.umk.pl/LLP/article/view/45641info:eu-repo/semantics/altIdentifier/doi/10.12775/LLP.2024.029info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nd/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:42:04Zoai:ri.conicet.gov.ar:11336/260767instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:42:04.545CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
title Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
spellingShingle Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
Borzi, Agustina
EPISTEMIC ATTITUDES
FORMAL COMMITMENTS
BRIDGE PRINCIPLES
THREE-VALUED LOGICS
title_short Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
title_full Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
title_fullStr Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
title_full_unstemmed Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
title_sort Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms
dc.creator.none.fl_str_mv Borzi, Agustina
Pailos, Federico Matias
Toranzo Calderón, Joaquín Santiago
author Borzi, Agustina
author_facet Borzi, Agustina
Pailos, Federico Matias
Toranzo Calderón, Joaquín Santiago
author_role author
author2 Pailos, Federico Matias
Toranzo Calderón, Joaquín Santiago
author2_role author
author
dc.subject.none.fl_str_mv EPISTEMIC ATTITUDES
FORMAL COMMITMENTS
BRIDGE PRINCIPLES
THREE-VALUED LOGICS
topic EPISTEMIC ATTITUDES
FORMAL COMMITMENTS
BRIDGE PRINCIPLES
THREE-VALUED LOGICS
purl_subject.fl_str_mv https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
dc.description.none.fl_txt_mv 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.
Fil: Borzi, Agustina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Fil: Pailos, Federico Matias. Eberhard Karls Universität Tübingen.; Alemania. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
Fil: Toranzo Calderón, Joaquín Santiago. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina
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.
publishDate 2024
dc.date.none.fl_str_mv 2024-11
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/260767
Borzi, Agustina; Pailos, Federico Matias; Toranzo Calderón, Joaquín Santiago; Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms; Nicolaus Copernicus University; Logic And Logical Philosophy; 33; 4; 11-2024; 615-648
1425-3305
CONICET Digital
CONICET
url http://hdl.handle.net/11336/260767
identifier_str_mv Borzi, Agustina; Pailos, Federico Matias; Toranzo Calderón, Joaquín Santiago; Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms; Nicolaus Copernicus University; Logic And Logical Philosophy; 33; 4; 11-2024; 615-648
1425-3305
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://apcz.umk.pl/LLP/article/view/45641
info:eu-repo/semantics/altIdentifier/doi/10.12775/LLP.2024.029
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nd/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nd/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Nicolaus Copernicus University
publisher.none.fl_str_mv Nicolaus Copernicus University
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844613326449934336
score 13.070432