15 found
Order:
  1.  59
    On a paraconsistentization functor in the category of consequence structures.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2016 - Journal of Applied Non-Classical Logics 26 (3):240-250.
    This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Logics and Their Galaxies.Hilan Bensusan, Alexandre Costa-Leite & Edélcio De De Souza - 2015 - In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziauvol. 1, Cham, Heidelberg, etc.: Springer-Birkhäuser. Springer-Birkhäuser. pp. 243-252.
    This article introduces some concepts that help exploring the ontological import of universal logic. It studies the notions of an antilogic and counterlogic associated to each logic and shows some of their properties. It presents the notion of galaxy, as the class of possible worlds compatible with a given logic.We explore some consequences of these developments.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  46
    Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2021 - Logica Universalis 15 (3):271-289.
    Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  30
    Implications and Limits of Sequences.Alexandre Costa-Leite & Edelcio G. de Souza - 2017 - Studia Humana 6 (1):18-24.
    This paper analyzes the problem of implication and attempts to characterize conditionals by a criterion of adequacy. A definition of implication based on the notion of limit of an infinite sequence is proposed.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  20
    Interplays of knowledge and non-contingency.Alexandre Costa-Leite - 2016 - Logic and Logical Philosophy 25 (4):521-534.
    This paper combines a non-contingency logic with an epistemic logic by means of fusions and products of modal systems. Some consequences of these interplays are pointed out.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  55
    Fusions of Modal Logics and Fitch’s Paradox.Alexandre Costa-Leite - 2006 - Croatian Journal of Philosophy 6 (2):281-290.
    This article shows that although Fitch’s paradox has been extremely widely studied, up to now no correct formalization of the problem has been proposed. The purpose of this article is to present the paradox front the viewpoint of combining logics. It is argued that the correct minimal logic to state the paradox is composed by a fusion of modal frames, and a fusion of modal languages and logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  36
    Lógicas da justificação e quase-verdade.Alexandre Costa-Leite - 2014 - Principia: An International Journal of Epistemology 18 (2):175.
    Two kinds of justification logics are studied. Then, this article shows how the notion of quasi-truth can be defined in these systems.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators.Edelcio G. de Souza & Alexandre Costa-Leite - 2020 - Studia Humana 9 (3-4):66-71.
    Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    (1 other version)Measuring and Classifying Levels of Futures.Alexandre Costa-Leite - 2023 - Philosophy and Cosmology 31:13-20.
    This is a paper dealing with methodological and foundational issues in the realm of Futures Studies. It provides possible metrics for the temporal coordinate in the cone of plausibility. As a consequence, some adaptable scales to classify levels of future with respect to a certain time interval relevant to measure the future of humanity are suggested.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  22
    Paraconsistentization and many-valued logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - forthcoming - Logic Journal of the IGPL.
    This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Aftermath of the Logical Paradise.Jean-Yves Beziau, Alexandre Costa-Leite & Itala M. Loffredo D’Ottaviano (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  12.  41
    Foreword.Jean-Yves Béziau & Alexandre Costa-Leite - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):1-1.
    (2012). Foreword. Journal of Applied Non-Classical Logics: Vol. 22, SPECIAL ISSUE 1: Uses of Non-Classical Logic: Foundational Issues; SPECIAL ISSUE 2: Formal Models of Norm Change, pp. 1-1. doi: 10.1080/11663081.2012.682433.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  47
    Perspectives on Universal Logic.Jean-Yves Béziau & Alexandre Costa-Leite (eds.) - 2007 - Milan, Italy: Polimetrica.
    Universal logic is to logic what universal algebra is to algebra. It is not a specific system of logic that would apply to everything but a general theory of all existing and possible logics. This new field has been slowly emerging through the new directions of research in logic of the past decades and the name was coined 15 years ago. In the Spring of 2005 was organized in Montreux, Switzerland, the First World Congress on Universal Logic. This exciting event (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  34
    Modalities and Multimodalities.Alexandre Costa-Leite - 2013 - Manuscrito 36 (1):191-195.
  15.  53
    New Essays on the Knowability Paradox.Alexandre Costa-Leite - 2011 - International Studies in the Philosophy of Science 25 (2):194 - 196.
    International Studies in the Philosophy of Science, Volume 25, Issue 2, Page 194-196, June 2011.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark