TWO-VALUED WEAK KLEENE LOGICS
| Autor: | Damián Enrique Szmuc, Bruno Da Ré |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
Unary operation
Computer science Bivaluations 050905 science studies 0603 philosophy ethics and religion Semantics Logical connective Calculus lcsh:BC1-199 lcsh:B1-5802 purl.org/becyt/ford/6 [https] lcsh:Philosophy (General) 05 social sciences 06 humanities and the arts purl.org/becyt/ford/6.3 [https] Weak Kleene Logics lcsh:Logic Conjunction (grammar) Weak Kleene Philosophy TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES 060302 philosophy Logics of nonsense 0509 other social sciences Hardware_LOGICDESIGN |
| Zdroj: | Manuscrito, Vol 42, Iss 1, Pp 1-43 (2019) CONICET Digital (CONICET) Consejo Nacional de Investigaciones Científicas y Técnicas instacron:CONICET Manuscrito v.42 n.1 2019 Manuscrito Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
| Popis: | 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 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|