Standard

On the Methodology of Paraconsistent Logic. / Wansing, Heinrich; Odintsov, Sergei P.

LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS. ed. / H Andreas; P Verdee. Springer International Publishing AG, 2016. p. 175-204 (Trends in Logic Studia Logica Library; Vol. 45).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Harvard

Wansing, H & Odintsov, SP 2016, On the Methodology of Paraconsistent Logic. in H Andreas & P Verdee (eds), LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS. Trends in Logic Studia Logica Library, vol. 45, Springer International Publishing AG, pp. 175-204. https://doi.org/10.1007/978-3-319-40220-8_12

APA

Wansing, H., & Odintsov, S. P. (2016). On the Methodology of Paraconsistent Logic. In H. Andreas, & P. Verdee (Eds.), LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS (pp. 175-204). (Trends in Logic Studia Logica Library; Vol. 45). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-40220-8_12

Vancouver

Wansing H, Odintsov SP. On the Methodology of Paraconsistent Logic. In Andreas H, Verdee P, editors, LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS. Springer International Publishing AG. 2016. p. 175-204. (Trends in Logic Studia Logica Library). doi: 10.1007/978-3-319-40220-8_12

Author

Wansing, Heinrich ; Odintsov, Sergei P. / On the Methodology of Paraconsistent Logic. LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS. editor / H Andreas ; P Verdee. Springer International Publishing AG, 2016. pp. 175-204 (Trends in Logic Studia Logica Library).

BibTeX

@inbook{f1e7b5af49a14fd5b297b3f5c159d069,
title = "On the Methodology of Paraconsistent Logic",
abstract = "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.",
keywords = "Paraconsistent logic, Methodology, Maximal paraconsistency, Classical logic, Constructive logic, Connexive logic, Absorption, Relevance logic, Separation of concepts, Minimal loss of expressiveness, NEGATION, PARADOX",
author = "Heinrich Wansing and Odintsov, {Sergei P.}",
year = "2016",
doi = "10.1007/978-3-319-40220-8_12",
language = "English",
isbn = "978-3-319-40218-5",
series = "Trends in Logic Studia Logica Library",
publisher = "Springer International Publishing AG",
pages = "175--204",
editor = "H Andreas and P Verdee",
booktitle = "LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS",
address = "Switzerland",

}

RIS

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 -

ID: 34913178