Propositional Logics harmadik kiadás

Eredeti címe:

Propositional Logics Third Edition

Könyv tartalma:

A Propositional Logics bemutatja a főbb mondattani logikai rendszerek történetét, filozófiáját és matematikáját. A klasszikus logikát, a modális logikákat, a sokértékű logikákat, az intuicionizmust, a parakonszisztens logikákat és a függő implikációt külön fejezetekben vizsgáljuk.

Mindegyik a szerzők által megfogalmazott motivációval kezdődik, amelyet a szokásos formális szemantika, szintaxis és teljességi tétel követ. A különböző logikákról szóló fejezetek nagyrészt önállóak, így a könyv referenciaként is használható. Egy függelék összefoglalja a logikák formális szemantikáját és axiomatizációit.

A kifejtést egységesítő nézet az, hogy a propozíciós logikák egy spektrumot alkotnak. Ahogy a vizsgált tételek szempontja változik, úgy változik a logika is.

Mindegyik logika természetes módon illeszkedik egy általános szemantikai keretbe. Bemutatjuk a logikák közötti fordítások elméletét, amely további összehasonlításokat tesz lehetővé, és megadjuk a szükséges feltételeket ahhoz, hogy a fordítás megőrizze a jelentést.

A harmadik kiadáshoz az anyagot átszerveztük, hogy a szöveg könnyebben tanulmányozható legyen, és egy új, az egyszerű szemantikájú parakonszisztens logikákról szóló szakaszt adtunk hozzá, amely megkérdőjelezi a következménykapcsolatok természetéről alkotott szokásos nézeteket. A szöveg kidolgozott példákat és több száz feladatot tartalmaz, a rutinfeladatoktól a nyitott problémákig, így a világos és gondos kifejtéssel rendelkező könyv ideális tanfolyamokra vagy egyéni tanulásra.