A hatékony tételes parakonszisztens logikák elmélete

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Theory of Effective Propositional Paraconsistent Logics

Könyv tartalma:

A klasszikus logika (és leghíresebb riválisának, az intuitív logikának) talán legellentmondásosabb tulajdonsága az, hogy lehetővé teszi bármely tétel következtetését egyetlen ellentmondó állításpárból. Az évek során rengeteg munkát és erőfeszítést fordítottak arra, hogy a klasszikus logikának olyan alternatíváit dolgozzák ki, amelyeknek nincs ez a hátránya. Ezeket az alternatívákat manapság parakonszisztens rendszereknek nevezik, és a megfelelő kutatási terület --- parakonszisztens következtetés.

E könyv célja, hogy átfogó módszertani bemutatását nyújtsa annak a gazdag matematikai elméletnek, amely mára a legtöbbre vonatkozóan létezik.

A parakonszisztens érvelés alapvető része: a tételes (monoton) logikák. E logikák közül elsősorban azokra koncentrál, amelyek hatékonyak.

(abban az értelemben, hogy dekidálhatóak, konkrét szemantikával rendelkeznek, és implementálható analitikus bizonyítási rendszerekkel láthatók el).

A könyv első része a szükséges előzmények áttekintése után pontosan meghatározza a parakonszisztenciával kapcsolatos összes alapfogalmat. A többi rész részletesen ismerteti a témával kapcsolatos összes főbb megközelítést. Ide tartozik a véges értékű szemantika (mind az igazságfüggvényes, mind a nemdeterminisztikus)

A formális inkonzisztencia logikája.

Releváns logikák.

Konstruktív parakonszisztens logikák, amelyek a pozitív intuitív logikán alapulnak.

És parakonszisztens logikák, amelyek modális logikákon alapulnak. A könyv több ezer parakonszisztens logikát tárgyal, amelyek mindegyikét szemantikai és bizonyítási szempontból is vizsgálja.

Elméleti szempontok alapján. Ezen kívül a legtöbb ilyen logikát jellemzi az általuk esetlegesen birtokolt minimalitási vagy maximalitási tulajdonságok szempontjából.