TY - CHAP

T1 - On the Methodology of Paraconsistent Logic

AU - Wansing, Heinrich

AU - Odintsov, Sergei P.

PY - 2016

Y1 - 2016

N2 - The present note contains a critical discussion of the methodology of paraconsistent logic in general and "the central optimisation problem of paraconsistent logics" in particular. It is argued that there exist several reasons not to consider classical logic as the reference logic for developing systems of paraconsistent logic, and it is suggested to weaken a certain maximality condition that may be seen as essential for "optimisation", which is a methodology in the tradition of Newton da Costa. It is argued that the guiding motivation for the development of paraconsistent logics should be neither epistemological nor ontological, but informational. Moreover, it is pointed out that there are other notions of maximality and other methodologies. A methodology due to Graham Priest and Richard Routley and another methodology that focuses on a minimal shrinkage of expressiveness relative to a given reference logic are considered in some detail.

AB - The present note contains a critical discussion of the methodology of paraconsistent logic in general and "the central optimisation problem of paraconsistent logics" in particular. It is argued that there exist several reasons not to consider classical logic as the reference logic for developing systems of paraconsistent logic, and it is suggested to weaken a certain maximality condition that may be seen as essential for "optimisation", which is a methodology in the tradition of Newton da Costa. It is argued that the guiding motivation for the development of paraconsistent logics should be neither epistemological nor ontological, but informational. Moreover, it is pointed out that there are other notions of maximality and other methodologies. A methodology due to Graham Priest and Richard Routley and another methodology that focuses on a minimal shrinkage of expressiveness relative to a given reference logic are considered in some detail.

KW - Paraconsistent logic

KW - Methodology

KW - Maximal paraconsistency

KW - Classical logic

KW - Constructive logic

KW - Connexive logic

KW - Absorption

KW - Relevance logic

KW - Separation of concepts

KW - Minimal loss of expressiveness

KW - NEGATION

KW - PARADOX

U2 - 10.1007/978-3-319-40220-8_12

DO - 10.1007/978-3-319-40220-8_12

M3 - Chapter

SN - 978-3-319-40218-5

T3 - Trends in Logic Studia Logica Library

SP - 175

EP - 204

BT - LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS

A2 - Andreas, H

A2 - Verdee, P

PB - Springer International Publishing AG

ER -