Methods of Logic

Relevanța acestei lucrări pentru examenele de logică formală și pentru fundamentarea riguroasă a filozofiei analitice rămâne incontestabilă, fiind un text de referință în programele universitare internaționale. În această a patra ediție a Methods of Logic, Willard van Orman Quine rafinează prezentarea sistemelor logice, introducând notații moderne și o tratare mai amplă a deducției naturale. Suntem de părere că forța acestui volum rezidă în capacitatea de a face tranziția de la conceptele elementare la subiecte complexe, precum logica predicat-functor și relația dintre teoria mulțimilor superioare și logica termenilor. Putem afirma că stilul lui Quine este unul de o precizie chirurgicală, eliminând ambiguitățile și oferind cititorului instrumentele necesare pentru o analiză logică autonomă prin includerea răspunsurilor selective la exerciții. Acest titlu acoperă aceeași arie tematică precum The Elements of Formal Logic de G. E. Hughes, dar cu o abordare care pune un accent mai mare pe evoluția sistemelor formale și pe integrarea lor într-un cadru filozofic unitar, spre deosebire de concentrarea pe proceduri de decizie și axiomatizare a lui Hughes. Față de An Introduction to Logic de Peter Alexander, care pornește de la discursul cotidian, lucrarea lui Quine este mult mai tehnică și orientată spre rigoarea matematică a logicii simbolice moderne.