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