O introducere în logica formală

Recenzii ale cititorilor

Cartea este lăudată pentru introducerea sa clară și cuprinzătoare în logica formală, oferind o progresie bine structurată de la conceptele de bază la subiecte mai avansate. Utilizatorii apreciază explicațiile detaliate, numeroasele exemple și exercițiile practice. Cu toate acestea, unii cititori observă inconsecvențe în complexitate între capitole și consideră anumite secțiuni ca fiind potențial prea avansate pentru începători.

Discuție concisă și informativă a bazelor logicii, acoperire cuprinzătoare a subiectelor, ușor de citit pentru începători, explicații detaliate cu exemple, stare excelentă a cărții, structură bine organizată, resurse suplimentare furnizate, bine scrisă și captivantă.

⬤ Unele capitole variază semnificativ în complexitate, anumite secțiuni fiind mai ușoare, iar altele necesitând mai mult efort pentru a fi înțelese
⬤ poate fi prea avansată pentru unii începători
⬤ poate fi oarecum stufoasă.

(pe baza a 15 recenzii ale cititorilor)

Titlul original:

An Introduction to Formal Logic

Conținutul cărții:

Logica formală ne oferă un set puternic de tehnici pentru a critica unele argumente și a demonstra validitatea altora. Aceste tehnici sunt relevante pentru toți cei care sunt interesați să fie raționatori pricepuți și preciși.

În această carte foarte accesibilă, revizuită extensiv și rescrisă pentru a doua ediție, Peter Smith prezintă un ghid al obiectivelor fundamentale și al elementelor de bază ale logicii formale. El îl introduce pe cititor în limbajele logicii propoziționale și ale logicii cu predicate și dezvoltă sisteme de deducție naturală pentru evaluarea argumentelor traduse în aceste limbaje.

Discuția sa este bogat ilustrată cu exemple de lucru și exerciții, iar alături de lucrarea formală există comentarii filosofice lămuritoare. Această carte, o reimprimare corectată a unei ediții publicate inițial de CUP, va fi un text ideal pentru un prim curs de logică și va oferi o bază solidă pentru lucrările ulterioare în logica formală și filosofică.