•  4
    Measuring and Classifying Levels of Futures
    Philosophy and Cosmology 31 13-20. 2023.
    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.
  •  238
    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 scales to classify levels of future with respect to a certain time interval relevant to measure the future of humanity are suggested.
  •  160
    Esta nota mostra como reduzir o quadrado bidimensional de oposições ao segmento de oposições (uma dimensão) e ao ponto de oposições (objeto sem dimensão).
  •  9
    Paraconsistentization and many-valued logics
    with Edelcio G. de Souza and Diogo H. B. Dias
    Logic Journal of the IGPL. forthcoming.
    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.
  •  26
    Paraconsistent Orbits of Logics
    with Edelcio G. de Souza and Diogo H. B. Dias
    Logica Universalis 15 (3): 271-289. 2021.
    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 pe…Read more
  •  259
    Conjunctive and Disjunctive Limits: Abstract Logics and Modal Operators
    with Edelcio G. de Souza
    Studia Humana 9 (3-4): 66-71. 2020.
    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.
  •  665
    Edelcio G. de Souza is a Brazilian logician and philosopher who has researches in the domains of abstract logic, non-classical systems, philosophy of science and the foundations of mathematics. This book is in his honor with the purpose of celebrating his 60th birthday. It contains some articles connected with the above topics and other subjects in logical investigations.
  •  129
    Oppositions in a point
    Perspectiva Filosófica 47 (2): 113-119. 2020.
    Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which logical oppositions are defined in a line segment, this article goes one step further and proposes a method defining them using a zero-dimensional object: a point.
  •  2
    Paradeduction in axiomatic formal systems
    with Edelcio Gonçalves de Souza and Diogo Henrique Bispo Dias
    Logique Et Analyse 246 (62): 161-176. 2019.
  •  330
    Construções sistêmicas e leis de interação
    Cognitio Revista de Filosofia 10 (2): 209-220. 2009.
    A partir de uma definição específica de sistema filosófico, este texto apresenta princípios condutores gerais para guiar o filósofo que deseja criar e propor sistemas. Além disso, este artigo mostra como tais complexos conceituais podem ser definidos com o uso de leis interativas, ligando noções de diferentes naturezas e esclarecendo a estrutura lógica dos sistemas filosóficos. Este artigo contém ainda comparações entre a presente abordagem e a recente desenvolvida por Puntel.
  •  191
    Fronteiras contingentes e conhecimento limitado
    Revista Brasileira de Filosofia 238 (61): 179-187. 2012.
    Este artigo mostra que combinando as noções lógicas de 'contingência' e 'conhecimento' nós podemos formular uma tese cética de acordo com a qual 'o mundo não pode ser conhecido'. Além disso, ele mostra que tal tese é plausível do ponto de vista epistemológico.
  •  560
    Logics and Their Galaxies
    In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic, Birkhauser. pp. 243-252. 2015.
    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.
  •  425
    De modo geral, este texto é uma incursão em lógica filosófica e filosofia da lógica. Ele contém reflexões originais acerca dos conceitos de paraconsistência, modalidades e cognoscibilidade e suas possíveis relações. De modo específico, o texto avança em quatro direções principais: inicialmente, uma definição genérica de lógicas não clássicas utilizando a ideia de lógica abstrata é sugerida. Em seguida, é mostrado como técnicas manuais de paraconsistentização de lógicas são usadas para ger…Read more
  •  169
    Oppositions in a line segment
    South American Journal of Logic 4 (1): 185-193. 2018.
  •  510
    Seminário Lógica no Avião, 2013-2018 (edited book)
    with Edgar Almeida and Rodrigo A. Freire
    Universidade de Brasilia. 2019.
  •  222
    Une sémantique générale des croyances justifiées
    with Fabien Schang
    CLE-Prints 16 (3): 1-24. 2016.
    Nous proposons une logique épistémique quadrivalente AR4
  •  14
    Implications and Limits of Sequences
    with Edelcio G. de Souza
    Studia Humana 6 (1): 18-24. 2017.
    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.
  •  45
    Logical Properties of Imagination
    Abstracta 6 (1): 103-116. 2010.
    Inspired by Niiniluoto’s account of the logic of imagination, this work proposes a combined logic able to deal with interactions of imagination, conception and possibility. It combines Descartes’ view according to which imagination implies conception with Hume’s view according to which both imagination and conception imply possibility.
  •  13
    Lógicas da justificação e quase-verdade
    Principia: An International Journal of Epistemology 18 (2): 175. 2014.
    Two kinds of justification logics are studied. Then, this article shows how the notion of quasi-truth can be defined in these systems
  •  36
    On a paraconsistentization functor in the category of consequence structures
    with Edelcio G. de Souza and Diogo H. B. Dias
    Journal of Applied Non-Classical Logics 26 (3): 240-250. 2016.
    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, we study the case of paraconsiste…Read more
  •  42
    Fusions of Modal Logics and Fitch’s Paradox
    Croatian Journal of Philosophy 6 (2): 281-290. 2006.
    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.
  •  11
    Interplays of knowledge and non-contingency
    Logic and Logical Philosophy 25 (4): 521-534. 2016.
    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.
  •  40
    Perspectives on Universal Logic (edited book)
    Polimetrica. 2007.
    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 gathered more than 200 people from …Read more
  •  49
    Aspects of Universal Logic
    with Jean-Yves Béziau and A. Facchini