Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
Tento text, prvý zväzok dvojdielneho diela, podrobne skúma štandardnú (nazývanú aj klasická) výrokovú logiku.
Ide o teoretickú prácu, ktorej cieľom je filozoficky objavná a technicky dôsledná prezentácia. Podrobné príklady a cvičenia slúžia na vyzdvihnutie technických drobností, upevnenie porozumenia a poukázanie na logicko-filozofické hádanky a problémy; vďaka tejto vlastnosti možno text použiť aj na rigorózne štúdium formálnej logiky.
Štúdium výrokovej logiky môže odmeniť oddaného a trpezlivého študenta tým, že odhalí technické tajomstvá kritického myslenia a riešenia problémov, osvetlí relevantné pojmy v oblasti štúdia uvažovania, ukáže, ako fungujú mocné formálne nástroje a metódy v aplikáciách, a odhalí krypty logickej analýzy. Môže zdokonaliť poznatky, ktoré ďalej prispievajú k pochopeniu fungovania logiky aj k príprave na budúce pokračovanie v štúdiu formálneho usudzovania.
Tento text zahŕňa určité témy a rozhodovacie mechanizmy, ktoré v logických textoch zvyčajne chýbajú a ktoré možno preskúmať len prostredníctvom oboznámenia sa so stále väčšími časťami existujúcej bibliografie. Medzi zriedkavo obsiahnuté témy tohto textu patria: analýza možných svetov, analytickosť a nekognitivizmus, podrobné skúmanie logických vzťahov, alternatívne gramatické a výpočtové systémy, pravdivostné tabuľky pre dynamický tok informácií a opravené pravdivostné tabuľky, negatívne a pozitívne sémantické stromy, normálne formy a Karnaughove mapy, intuicionistická prirodzená dedukcia, normalizácia a harmónia v dôkazovo-teoretických systémoch a dialogická logika.
