Visual Reasoning with Diagrams

Relevanța acestei lucrări pentru cercetarea academică și studiile avansate de logică constă în legitimarea raționamentului vizual ca formă riguroasă de demonstrație. Visual Reasoning with Diagrams, editată de Amirouche Moktefi și Sun-Joo Shin, marchează o etapă importantă în reevaluarea diagramelor, care au fost mult timp retrogradate la statutul de simple ilustrații în favoarea sistemelor simbolice abstracte impuse de Russell și Frege la începutul secolului XX.

Subliniem modul în care volumul este structurat pentru a acoperi atât fundamentele istorice, cât și aplicațiile contemporane. Primele capitole reiau geometria silogismelor, trecând prin sistemul lui Lewis Carroll, pentru ca ulterior să exploreze conexiunile dintre diagrame și logica fuzzy sau teoria grafurilor. Această progresie permite cititorului să înțeleagă cum diagramele de tip „spider” sau „venn” pot fi dotate cu o sintaxă și semantică proprie, devenind sisteme formale complete. Suntem de părere că abordarea interdisciplinară este punctul forte al volumului, integrând perspective din informatică și științe cognitive pentru a demonstra validitatea universală a logicii, indiferent de forma de reprezentare.

Această ediție din 2013 reprezintă o alternativă la The Logical Status of Diagrams de Sun-Joo Shin pentru cursurile de logică formală, cu avantajul că aduce o perspectivă colectivă și actualizată asupra calculului diagramatic modern. În contextul operei editorului, cartea continuă direcția explorată în Logic in Question și analizele asupra lui Lewis Carroll din The Mathematical World of Charles L. Dodgson, consolidând ideea că logica este un domeniu viu, în continuă expansiune dincolo de granițele notației pur liniare.