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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.