On the Methodology of Paraconsistent Logic

Heinrich Wansing, Sergei P. Odintsov

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаярецензирование

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииLOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS
РедакторыH Andreas, P Verdee
ИздательSpringer International Publishing AG
Страницы175-204
Число страниц30
ISBN (печатное издание)978-3-319-40218-5
DOI
СостояниеОпубликовано - 2016

Серия публикаций

НазваниеTrends in Logic Studia Logica Library
ИздательSPRINGER INTERNATIONAL PUBLISHING AG
Том45
ISSN (печатное издание)1572-6126

Предметные области OECD FOS+WOS

  • 1.01 МАТЕМАТИКА
  • 6.03.UA ФИЛОСОФИЯ

Fingerprint

Подробные сведения о темах исследования «On the Methodology of Paraconsistent Logic». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать