A Hierarchy of Classical and Paraconsistent Logics

Journal of Philosophical Logic - In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a...     

Substructural logics,pluralism and collapse

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper.

     

Sequent-Calculi for Metainferential Logics

Studia Logica - In recent years, some theorists have argued that the clogics are not only defined by their inferences, but also by their metainferences. In this sense, logics that coincide in their...     

Validities,antivalidities and contingencies: A multi-standard approach

Journal of Philosophical Logic - It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view...