Introducere în logica simbolică și aplicațiile sale

Recenzii ale cititorilor

Cartea este considerată un clasic al logicii simbolice, lăudată pentru profunzimea sa și pentru integrarea diferitelor subiecte conexe. Cu toate acestea, se remarcă faptul că este dificilă, în special pentru cei care nu au o pregătire matematică solidă.

⬤ Prezentare puternică a logicii simbolice
⬤ acoperă multe subiecte conexe cu claritate
⬤ considerat un clasic și o contribuție semnificativă la filosofie
⬤ util pentru înțelegerea conceptelor mai profunde în logică
⬤ tratament cuprinzător al teoriilor axiomatice.

⬤ Dificil de înțeles pentru nonmatematicieni
⬤ unii o consideră pedantă și învechită
⬤ nu acoperă anumite metode moderne în logică
⬤ nu include aplicații practice precum deducția naturală sau recursiunea.

(pe baza a 8 recenzii ale cititorilor)

Titlul original:

Introduction to Symbolic Logic and Its Applications

Conținutul cărții:

Această carte este una dintre cele mai clare, cuprinzătoare și riguroase introduceri la logica simbolică modernă, disponibilă în orice limbă. Profesorul Carnap, o autoritate mondială în domeniul logicii simbolice, dezvoltă subiectul pornind de la concepte elementare și exerciții simple până la construirea și analiza unui număr de limbaje logice relativ complexe.

El analizează apoi, în mare detaliu, aplicarea logicii simbolice la clarificarea și axiomatizarea diferitelor teorii din matematică, fizică și biologie. Sunt abordate subiecte precum natura și utilizarea constantelor și variabilelor, predicatele, conectivele sentențiale, tabelele de adevăr, propozițiile universale și existențiale, definițiile, identitatea, izomorfismul, sistemele sintactice și semantice și relațiile dintre ele, sistemul de tipuri, varietățile de relații, ordinea liniară, operatorii speciali, structurile și numerele cardinale, descrierile, conceptele finite și infinite, continuitatea, limbajele lucrurilor, limbajele de coordonate, sistemele de axiome pentru teoria seturilor, aritmetică, geometrie, topologia spațiu-timp, conceptele biologice și multe alte subiecte sunt tratate în detaliu.

Logica relațiilor este tratată în mod special pe larg. Sute de probleme, exemple și exerciții sunt incluse pentru a le oferi studenților practică în tehnicile logicii simbolice și utilizarea lor.