Ocena:
Książka jest formalnym i rygorystycznym badaniem logiki predykatów, koncentrującym się raczej na jej filozoficznych podstawach niż na praktycznych zastosowaniach. Chociaż może być cenna dla zaawansowanych studentów filozofii lub logiki, brakuje w niej praktycznych ćwiczeń i narzędzi do nauki, które są niezbędne dla początkujących lub tych, którzy chcą bezpośrednio zastosować logikę predykatów.
Zalety:⬤ Zawiera obszerne informacje na temat filozoficznych podstaw logiki predykatów.
⬤ Nadaje się do kursów na poziomie licencjackim lub magisterskim.
⬤ Może być interesująca dla osób głęboko zaangażowanych w logikę i jej założenia.
⬤ Nie jest to praktyczny przewodnik do nauki posługiwania się logiką predykatów.
⬤ Ćwiczenia są niewystarczająco powiązane z praktycznymi zastosowaniami i nie zawierają odpowiedzi.
⬤ Wysoka cena w porównaniu do innych, bardziej przystępnych i praktycznych tekstów z zakresu logiki.
(na podstawie 3 opinii czytelników)
Predicate Logic
Formy i zakres logiki opierają się na założeniach dotyczących tego, w jaki sposób język i rozumowanie łączą się z doświadczeniem. W tym tomie analiza znaczenia i prawdy stanowi podstawę do studiowania współczesnych logik zdań i predykatów.
Rozdziały poświęcone logice propozycjonalnej, parsowaniu propozycji oraz znaczeniu, prawdzie i referencji dają podstawę dla kryteriów, które można wykorzystać do oceny formalizacji argumentów w języku potocznym. Ponad 120 praktycznych przykładów formalizacji twierdzeń i argumentów ilustruje zakres i ograniczenia współczesnej logiki, analizowane w rozdziałach poświęconych tożsamości, kwantyfikatorom, nazwom opisowym, funkcjom i logice drugiego rzędu.
Rozdział poświęcony logice drugiego rzędu ilustruje, w jaki sposób różne koncepcje predykatów i propozycji nie prowadzą do wspólnej podstawy kwantyfikacji nad predykatami, tak jak w przypadku kwantyfikacji nad rzeczami. Wyróżniający się przejrzystością prezentacji i uzupełniony wieloma ćwiczeniami, tom ten jest odpowiedni dla filozofów, językoznawców, matematyków i informatyków, którzy chcą lepiej zrozumieć narzędzia, których używają w formalizowaniu rozumowania.
