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.

Abstract. 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 chapter introduces some concepts that help exploring the ontological import of universal logic. It studies the notions of an antilogic and counterlogic associated with 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.

A formalization of Fermi paradox inside the environment of classical propositional logic is proposed. The notion of Silentium Universi set is launched in order to establish that the Fermi paradox is truly paradoxical. Combining consistent explanatory hypotheses is taken into consideration and discussed inside this framework explaining what would count as a solution to the paradox. By the end, it is argued that Fermi paradox is an unsolvable problem in the domain of science.

No abstract

The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one.

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 abstract