Formal Logic

Analizând bazele de date academice și structura propusă de Prior în Formal Logic, descoperim un manual riguros, publicat de OUP Oxford, care reușește să sintetizeze evoluția logicii de la formele tradiționale la cele moderne. Considerăm că forța acestui volum rezidă în organizarea sa tripartită: începem cu fundamentele calculului propozițional și teoria cuantificării, trecem prin logica formală clasică și finalizăm cu o explorare a sistemelor modale și trivalente. Găsim aici o abordare care nu se limitează la regulile de bază, ci oferă context pentru dezvoltările care au derivat din logica silogistică. Ediția de față, în format hardback, este concepută special pentru a susține parcursul unui student la filozofie, menținând totodată un nivel de detaliu tehnic care va atrage cercetătorii interesați de logica non-clasică. Această lucrare este o alternativă solidă la The Elements of Formal Logic de G. E. Hughes pentru cursurile de filozofie și logică deductivă, cu avantajul că Formal Logic extinde analiza dincolo de calculul predicatelor, incluzând secțiuni dedicate sistemelor trivalente și extensionale, oferind astfel o perspectivă mai cuprinzătoare asupra alternativelor la sistemele clasice.