Two-valued Weak Kleene logics

Autores
Da Re, Bruno; Szmuc, Damián Enrique
Año de publicación
2019
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming thatevery logic can be presented in a two-valued fashion. In this paper, we providetwo-valued semantics for the Weak Kleene logics and for a number of four-valuedsubsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of theWeak Kleene logics with unary operators that allow looking at them as Logics of Formal Inconsistency (LFIs) and Logics of Formal Underterminedness (LFUs). Our aim with this work, rather than arguing for Suszko´s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems ofWeak Kleene logics reveal the conjunctive flavor of the disjunction.
Fil: Da Re, Bruno. 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: Szmuc, Damián Enrique. 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
Weak Kleene
Bivaluations
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by/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/124492

id CONICETDig_5659814df05ffa7269894aefcdc0928d
oai_identifier_str oai:ri.conicet.gov.ar:11336/124492
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Two-valued Weak Kleene logicsDa Re, BrunoSzmuc, Damián EnriqueWeak KleeneBivaluationshttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming thatevery logic can be presented in a two-valued fashion. In this paper, we providetwo-valued semantics for the Weak Kleene logics and for a number of four-valuedsubsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of theWeak Kleene logics with unary operators that allow looking at them as Logics of Formal Inconsistency (LFIs) and Logics of Formal Underterminedness (LFUs). Our aim with this work, rather than arguing for Suszko´s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems ofWeak Kleene logics reveal the conjunctive flavor of the disjunction.Fil: Da Re, Bruno. 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: Szmuc, Damián Enrique. 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; ArgentinaUniversidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência2019-05info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/zipapplication/zipapplication/pdfhttp://hdl.handle.net/11336/124492Da Re, Bruno; Szmuc, Damián Enrique; Two-valued Weak Kleene logics; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 42; 1; 5-2019; 1-430100-60452317-630XCONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://www.scielo.br/pdf/man/v42n1/2317-630X-man-42-01-1.pdfinfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:07:07Zoai:ri.conicet.gov.ar:11336/124492instacron: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 10:07:07.279CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Two-valued Weak Kleene logics
title Two-valued Weak Kleene logics
spellingShingle Two-valued Weak Kleene logics
Da Re, Bruno
Weak Kleene
Bivaluations
title_short Two-valued Weak Kleene logics
title_full Two-valued Weak Kleene logics
title_fullStr Two-valued Weak Kleene logics
title_full_unstemmed Two-valued Weak Kleene logics
title_sort Two-valued Weak Kleene logics
dc.creator.none.fl_str_mv Da Re, Bruno
Szmuc, Damián Enrique
author Da Re, Bruno
author_facet Da Re, Bruno
Szmuc, Damián Enrique
author_role author
author2 Szmuc, Damián Enrique
author2_role author
dc.subject.none.fl_str_mv Weak Kleene
Bivaluations
topic Weak Kleene
Bivaluations
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 the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming thatevery logic can be presented in a two-valued fashion. In this paper, we providetwo-valued semantics for the Weak Kleene logics and for a number of four-valuedsubsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of theWeak Kleene logics with unary operators that allow looking at them as Logics of Formal Inconsistency (LFIs) and Logics of Formal Underterminedness (LFUs). Our aim with this work, rather than arguing for Suszko´s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems ofWeak Kleene logics reveal the conjunctive flavor of the disjunction.
Fil: Da Re, Bruno. 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: Szmuc, Damián Enrique. 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 the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming thatevery logic can be presented in a two-valued fashion. In this paper, we providetwo-valued semantics for the Weak Kleene logics and for a number of four-valuedsubsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of theWeak Kleene logics with unary operators that allow looking at them as Logics of Formal Inconsistency (LFIs) and Logics of Formal Underterminedness (LFUs). Our aim with this work, rather than arguing for Suszko´s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems ofWeak Kleene logics reveal the conjunctive flavor of the disjunction.
publishDate 2019
dc.date.none.fl_str_mv 2019-05
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/124492
Da Re, Bruno; Szmuc, Damián Enrique; Two-valued Weak Kleene logics; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 42; 1; 5-2019; 1-43
0100-6045
2317-630X
CONICET Digital
CONICET
url http://hdl.handle.net/11336/124492
identifier_str_mv Da Re, Bruno; Szmuc, Damián Enrique; Two-valued Weak Kleene logics; Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência; Manuscrito; 42; 1; 5-2019; 1-43
0100-6045
2317-630X
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://www.scielo.br/pdf/man/v42n1/2317-630X-man-42-01-1.pdf
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/zip
application/zip
application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência
publisher.none.fl_str_mv Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência
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_ 1844613927325925376
score 13.070432