Teoria efektywnych parakonsystentnych logik propozycjonalnych

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Theory of Effective Propositional Paraconsistent Logics

Zawartość książki:

Być może najbardziej sprzeczną z intuicją własnością logiki klasycznej (a także jej najsłynniejszego rywala, logiki intuicjonistycznej) jest fakt, że pozwala ona na wnioskowanie o dowolnej tezie z pojedynczej pary sprzecznych stwierdzeń. Na przestrzeni lat poświęcono wiele pracy i wysiłków, aby opracować alternatywy dla logiki klasycznej, które nie mają tej wady. Alternatywy te są obecnie nazywane systemami parakonsystentnymi, a odpowiadający im obszar badań --- rozumowaniem parakonsystentnym.

Celem tej książki jest dostarczenie kompleksowej metodologicznej prezentacji bogatej teorii matematycznej, która istnieje do tej pory w odniesieniu do większości z nich.

Podstawową częścią rozumowania parakonsystentnego są logiki propozycjonalne (monotoniczne). Wśród tych logik koncentruje się głównie na tych, które są efektywne.

(w tym sensie, że są rozstrzygalne, mają konkretną semantykę i mogą być wyposażone w implementowalne analityczne systemy dowodowe).

Pierwsza część książki definiuje w precyzyjny sposób wszystkie podstawowe pojęcia związane z parakonsystencją, po dokonaniu przeglądu wszystkich niezbędnych elementów wstępnych. Pozostałe części szczegółowo opisują wszystkie główne podejścia do tematu. Obejmuje to semantykę skończoną (zarówno funkcjonalną, jak i niedeterministyczną)

Logiki niespójności formalnej.

Logiki relewantne.

Konstruktywne logiki parakonsystentne oparte na pozytywnej logice intuicjonistycznej.

Oraz logiki parakonsystentne oparte na logikach modalnych. Książka obejmuje tysiące logik parakonsystentnych, z których każda jest badana zarówno od strony semantycznej, jak i dowodowej.

Teoretyczny punkt widzenia. Ponadto większość tych logik jest scharakteryzowana pod względem minimalności lub maksymalności, które mogą posiadać.