Logica predicatelor

Recenzii ale cititorilor

Cartea este o examinare formală și riguroasă a logicii predicatelor, concentrându-se mai degrabă pe fundamentele sale filosofice decât pe aplicarea practică. Deși poate fi valoroasă pentru studiul avansat în filosofie sau logică, îi lipsesc exercițiile practice și instrumentele de învățare care sunt esențiale pentru începători sau pentru cei care doresc să aplice direct logica predicatelor.

⬤ Oferă informații ample despre fundamentele filosofice ale logicii cu predicate.
⬤ Potrivit pentru cursuri de licență sau de absolvire de nivel superior.
⬤ Ar putea fi interesant pentru cei profund implicați în logică și ipotezele sale.

⬤ Nu este un ghid practic pentru a învăța cum să utilizeze logica predicatelor.
⬤ Exercițiile sunt insuficient conectate la aplicarea practică și nu sunt furnizate răspunsuri.
⬤ Preț ridicat în comparație cu alte texte de logică mai accesibile și mai practice.

(pe baza a 3 recenzii ale cititorilor)

Titlul original:

Predicate Logic

Conținutul cărții:

Formele și domeniul de aplicare ale logicii se bazează pe presupuneri privind modul în care limbajul și raționamentul se conectează la experiență. În acest volum, o analiză a semnificației și adevărului oferă o bază pentru studierea logicii propoziționale și a logicii predicatului moderne.

Capitolele despre logica propozițională, analiza propozițiilor și sens, adevăr și referință oferă o bază pentru criteriile care pot fi utilizate pentru a judeca formalizările argumentelor din limbajul obișnuit. Peste 120 de exemple lucrate de formalizări ale propozițiilor și argumentelor ilustrează domeniul de aplicare și limitele logicii moderne, astfel cum sunt analizate în capitolele privind identitatea, cuantificatorii, numele descriptive, funcțiile și logica ordinii a doua.

Capitolul despre logica de ordinul al doilea ilustrează modul în care concepțiile diferite despre predicate și propoziții nu conduc la o bază comună pentru cuantificarea asupra predicatelor, așa cum se întâmplă pentru cuantificarea asupra lucrurilor. Remarcabil pentru claritatea prezentării sale și completat de numeroase exerciții, acest volum este potrivit pentru filosofi, lingviști, matematicieni și informaticieni care doresc să înțeleagă mai bine instrumentele pe care le folosesc în formalizarea raționamentului.