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 paraconsistentization of propositional classical logic. (shrink)

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.

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 (...) logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed. (shrink)

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.

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.

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.

Two kinds of justification logics are studied. Then, this article shows how the notion of quasi-truth can be defined in these systems.

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.

(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.

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 about 40 different countries. Many famous logicians were present there, such as Dov Gabbay, Krister Segerberg, Saul Kripke, Michael Dunn, Jouko Väännänen. Most of the papers in this book arose from talks - and discussions that follow - presented during this event. They are concerned with philosophical and historical approaches discussing the basic concepts of logic and reflecting the meaning of a universal approach to logic, the development and elaboration of general tools in order to construct frameworks useful for studying classes of logics, applications of logics to concrete problems through the universal perspective. (shrink)

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.

International Studies in the Philosophy of Science, Volume 25, Issue 2, Page 194-196, June 2011.

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.