On the Methodology of Paraconsistent Logic
Heinrich Wansing
Ruhr University Bochum
In this talk I will critically discuss some widely shared methodological assumptions about paraconsistent logic. I will argue that there exist several reasons not to consider classical logic as the reference logic for developing systems of paraconsistent logic and will suggest to weaken a certain maximality condition. Moreover, I will argue that the guiding motivation for the development of paraconsistent logics should be neither epistemological nor ontological, but informational, and I will, from this perspective, discuss the idea of “ex contradictione nihil sequitur”.
Prof. Dr. Wansing (M.A. Phil., Free University of Berlin, 1988; D. Phil., Free University of Berlin, 1992; Habilitation in Logic and Analytical Philosophy, University of Leipzig, 1997) is Professor of Logic and Epistemology at the Ruhr University Bochum, and conducts research in philosophical logic, modal logic, non-classical logic and
epistemology.