Two-valued weak kleene logics
Autor(a) principal: | |
---|---|
Data de Publicação: | 2019 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Manuscrito (Online) |
Texto Completo: | https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8656455 |
Resumo: | 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 that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak 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 specifically, the twovalued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems of Weak Kleene logics reveal the conjunctive flavor of the disjunction. |
id |
UNICAMP-17_ede324af1bd19c4d84724f68bd2a38d2 |
---|---|
oai_identifier_str |
oai:ojs.periodicos.sbu.unicamp.br:article/8656455 |
network_acronym_str |
UNICAMP-17 |
network_name_str |
Manuscrito (Online) |
repository_id_str |
|
spelling |
Two-valued weak kleene logicsWeak kleene logicsBivaluationsLogics of nonsense.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 that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak 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 specifically, the twovalued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems of Weak Kleene logics reveal the conjunctive flavor of the disjunction.Universidade Estadual de Campinas2019-09-03info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/otherapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8656455Manuscrito: Revista Internacional de Filosofia; v. 42 n. 1 (2019): jan./mar.; 1-43Manuscrito: International Journal of Philosophy; Vol. 42 No. 1 (2019): jan./mar.; 1-43Manuscrito: Revista Internacional de Filosofía; Vol. 42 Núm. 1 (2019): jan./mar.; 1-432317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8656455/21241Brazil; 2019Copyright (c) 2019 Manuscritoinfo:eu-repo/semantics/openAccessDa Ré, BrunoSzmuc, Damian2019-09-03T17:58:24Zoai:ojs.periodicos.sbu.unicamp.br:article/8656455Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2019-09-03T17:58:24Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
Two-valued weak kleene logics |
title |
Two-valued weak kleene logics |
spellingShingle |
Two-valued weak kleene logics Da Ré, Bruno Weak kleene logics Bivaluations Logics of nonsense. |
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 |
author |
Da Ré, Bruno |
author_facet |
Da Ré, Bruno Szmuc, Damian |
author_role |
author |
author2 |
Szmuc, Damian |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Da Ré, Bruno Szmuc, Damian |
dc.subject.por.fl_str_mv |
Weak kleene logics Bivaluations Logics of nonsense. |
topic |
Weak kleene logics Bivaluations Logics of nonsense. |
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 that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak 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 specifically, the twovalued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems of Weak Kleene logics reveal the conjunctive flavor of the disjunction. |
publishDate |
2019 |
dc.date.none.fl_str_mv |
2019-09-03 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/other |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8656455 |
url |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8656455 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8656455/21241 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2019 Manuscrito info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2019 Manuscrito |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
Brazil; 2019 |
dc.publisher.none.fl_str_mv |
Universidade Estadual de Campinas |
publisher.none.fl_str_mv |
Universidade Estadual de Campinas |
dc.source.none.fl_str_mv |
Manuscrito: Revista Internacional de Filosofia; v. 42 n. 1 (2019): jan./mar.; 1-43 Manuscrito: International Journal of Philosophy; Vol. 42 No. 1 (2019): jan./mar.; 1-43 Manuscrito: Revista Internacional de Filosofía; Vol. 42 Núm. 1 (2019): jan./mar.; 1-43 2317-630X reponame:Manuscrito (Online) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Manuscrito (Online) |
collection |
Manuscrito (Online) |
repository.name.fl_str_mv |
Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br |
_version_ |
1800216567064035328 |