Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic (I. kötet: A tételes logika elmélete és döntési eljárásai)

Eredeti címe:

Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic

Könyv tartalma:

Ez a szöveg, egy kétkötetes mű I. kötete, alaposan megvizsgálja a standard (más néven klasszikus) propozíciós logikát.

Ez egy elméleti munka, amely filozófiailag feltáró és technikailag szigorú bemutatásra törekszik. Részletes példák és feladatok segítségével bontja ki a technikai apróságokat, szilárdítja meg a megértést, és mutat rá a logikai-filozófiai rejtvényekre és kihívásokra; e tulajdonsága miatt a szöveg a formális logika szigorú tanulmányozására is alkalmas.

Az állítólogika tanulmányozása megjutalmazhatja az elkötelezett és türelmes tanulót azzal, hogy feltárja a kritikai gondolkodás és a problémamegoldás technikai rejtelmeit, hogy megvilágítja az érvelés tanulmányozásának releváns fogalmait, hogy megmutatja, hogyan működnek a nagy teljesítményű formális eszközök és módszerek az alkalmazásokban, és hogy feltárja a logikai analízis rejtekhelyeit. Olyan meglátásokat csiszolhat, amelyek tovább járulnak hozzá mind a logika működésének megértéséhez, mind a formális érvelés tanulmányozásával kapcsolatos jövőbeli törekvések előkészítéséhez.

Ez a szöveg olyan témákat és döntési mechanizmusokat ölel fel, amelyek általában hiányoznak a logikai szövegekből, és csak a meglévő bibliográfia egyre nagyobb részeinek megismerése révén ismerhetők meg. A jelen szöveg ritkán tárgyalt témái: lehetséges-világok elemzése, analitikusság és nem-kognitivizmus, logikai relációk részletes vizsgálata, alternatív nyelvtani és számítási rendszerek, igazságtáblák a dinamikus információáramláshoz és korrigált igazságtáblák, negatív és pozitív szemantikus fák, normálformák és Karnaugh-térképek, intuitív természetes dedukció, normalizáció és harmónia bizonyításelméleti rendszerekben, dialogikus logika.