Propositional and Predicate Calculus: A Model of Argument

Găsim în Propositional and Predicate Calculus: A Model of Argument o abordare riguroasă a fundamentelor raționamentului modern, unde matematica se întâlnește cu logica formală și filosofia limbajului. Interdisciplinaritatea este elementul central, volumul explorând modul în care enunțurile matematice sunt traduse în limbaje formale și, ulterior, validate prin structuri matematice specifice. Apreciem modul în care Derek Goldrei reușește să transforme o materie adesea aridă într-un parcurs didactic accesibil, ancorat în experiența pedagogică a Open University.

Structura cărții urmărește o progresie logică naturală, reflectată clar în cuprins. Se începe cu studiul propozițiilor și al atribuirii valorilor de adevăr, trecând prin calculul propozițional formal, pentru ca în a doua jumătate a volumului să se concentreze pe predicate, modele și calculul predicatelor formal. Finalul este dedicat utilizărilor teoremei de compactitate și o introducere în teoria modelelor. Această organizare permite cititorului să înțeleagă nu doar cum se construiește o demonstrație, ci și relația profundă dintre consecința logică și proba formală, materializată prin teoremele de corectitudine și completitudine.

Cititorii familiarizați cu Logic: a Brief Course de Daniele Mundici vor aprecia în acest volum de față spațiul generos acordat studiului individual. În timp ce alte lucrări oferă o introducere succintă, Derek Goldrei integrează exerciții cu soluții detaliate direct în fluxul narativ, facilitând o învățare activă. Deși necesită o minimă experiență cu matematica bazată pe axiome, textul nu presupune cunoștințe anterioare de logică, fiind ideal pentru curriculumul de licență în matematică sau informatică.