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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/260767
Ver los metadatos del registro completo
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 |