Fathoming Formal Logic: Vol 1: Teoria și procedurile de decizie pentru logica propozițională

Titlul original:

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

Conținutul cărții:

Acest text, volumul I al unei lucrări în două volume, examinează în profunzime logica propozițională standard (numită și clasică).

Aceasta este o lucrare teoretică care vizează o prezentare exploratorie din punct de vedere filosofic și riguroasă din punct de vedere tehnic. Exemplele și exercițiile detaliate sunt utilizate pentru a scoate la iveală detaliile tehnice, pentru a consolida înțelegerea și pentru a evidenția enigmele și provocările logico-filosofice; datorită acestei caracteristici, textul poate fi utilizat și pentru a studia logica formală într-un mod riguros.

Studiul logicii propoziționale poate recompensa studentul dedicat și răbdător prin dezvăluirea misterelor tehnice ale gândirii critice și rezolvării problemelor, prin punerea în lumină a conceptelor relevante în studiul raționamentului, prin arătarea modului în care instrumentele și metodele formale puternice funcționează în aplicații și prin deblocarea criptelor analizei logice. Ea poate perfecționa perspective care să contribuie în continuare atât la înțelegerea modului în care funcționează logica, cât și la pregătirea pentru viitoarele demersuri în studiul raționamentului formal.

Acest text cuprinde anumite subiecte și mecanisme decizionale care sunt de obicei absente din textele de logică și pot fi abordate doar prin cunoașterea unor părți tot mai mari din bibliografia existentă. Printre subiectele rareori abordate în textul de față se numără: analiza lumilor posibile, analiticitatea și non-cognitivismul, investigații detaliate ale relațiilor logice, sisteme gramaticale și computaționale alternative, tabele de adevăr pentru fluxul dinamic de informații și tabele de adevăr corectate, arbori semantici negativi și pozitivi, forme normale și hărți Karnaugh, deducția naturală intuiționistă, normalizarea și armonia în sistemele teoretice de dovezi și logica dialogică.