7 found
Order:
Disambiguations
Edson Bezerra [6]Edson Vinícius Bezerra [1]
  1.  22
    The logics of a universal language.Eduardo Alejandro Barrio & Edson Bezerra - 2024 - Asian Journal of Philosophy 3 (1):1-22.
    Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, we argue (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    A Non-Standard Kripke Semantics for the Minimal Deontic Logic.Edson Bezerra & Giorgio Venturi - forthcoming - Logic and Logical Philosophy:1.
    In this paper we study a new operator of strong modality ⊞, related to the non-contingency operator ∆. We then provide soundness and completeness theorems for the minimal logic of the ⊞-operator.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    Paraconsistency, Evidence and Semantic Incompleteness.Edson Bezerra - 2024 - Análisis Filosófico 44 (1):117-140.
    In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence. More especifically, we argue that the connective o of the logic LETJ fails to validate intuitive principles about conclusive evidence.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  14
    Society semantics for four-valued Łukasiewicz logic.Edson Vinícius Bezerra - 2020 - Logic Journal of the IGPL 28 (5):892-911.
    We argue that many-valued logics (MVLs) can be useful in analysing informational conflicts by using society semantics (SSs). This work concentrates on four-valued Łukasiewicz logic. SSs were proposed by Carnielli and Lima-Marques (1999, Advances in Contemporary Logic and Computer Science, 235, 33–52) to deal with conflicts of information involving rational agents that make judgements about propositions according to a given logic within a society, where a society is understood as a collection $\mathcal{A}$ of agents. The interesting point of such semantics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  7
    On validity paradoxes and (some of) their solutions.Edson Bezerra - 2023 - Principia: An International Journal of Epistemology 27 (3):519-538.
    Many semantic theories become trivial when extended with a naïve validity predicate due to the validity paradoxes. The non-classical semantic theories are the ones that allegedly preserve the naïveté of the validity predicate while being capable of avoiding the validity paradoxes. This blocking, on the other hand, usually comes at a high cost. In this paper, we argue that the pre-theoretical notion of validity that the naïve validity predicate intends to capture is unattainable.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Semantic Closure and Classicality.Edson Bezerra - 2023 - Revista de Humanidades de Valparaíso 22:85-103.
    Las paradojas semánticas muestran que las teorías semánticas que internalizan sus propios conceptos semánticos, como la verdad y la validez, no pueden validar toda la lógica clásica. Es decir, es necesario debilitar algún conectivo del lenguaje objeto, tomado como culpable de las paradojas, o renunciar a alguna propiedad de la relación de consecuencia de la teoría lógica. Ambas estrategias pueden alejarnos de la lógica clásica, que es la lógica comúnmente utilizada en nuestras teorías matemáticas actuales. Por tanto, una solución deseable (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  20
    Many-Valued Logics and Bivalent Modalities.Edson Bezerra & Giorgio Venturi - forthcoming - Logic and Logical Philosophy:1-26.
    In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark