Wprowadzenie do logiki formalnej

Opinie czytelników

Książka jest chwalona za jasne i kompleksowe wprowadzenie do logiki formalnej, obejmujące dobrze zorganizowane przejście od podstawowych pojęć do bardziej zaawansowanych tematów. Użytkownicy doceniają szczegółowe wyjaśnienia, liczne przykłady i praktyczne ćwiczenia. Niektórzy czytelnicy zauważają jednak niespójności w złożoności poszczególnych rozdziałów i uważają określone sekcje za potencjalnie zbyt zaawansowane dla początkujących.

Zwięzłe i pouczające omówienie podstaw logiki, kompleksowe omówienie tematów, łatwe do odczytania dla początkujących, szczegółowe wyjaśnienia z przykładami, doskonały stan książki, dobrze zorganizowana struktura, dodatkowe zasoby, dobrze napisane i wciągające.

⬤ Niektóre rozdziały różnią się znacznie pod względem złożoności, przy czym niektóre sekcje są łatwiejsze, a inne wymagają więcej wysiłku, aby je zrozumieć
⬤ może być zbyt zaawansowany dla niektórych początkujących
⬤ może być nieco rozwlekły.

(na podstawie 15 opinii czytelników)

Oryginalny tytuł:

An Introduction to Formal Logic

Zawartość książki:

Logika formalna zapewnia nam potężny zestaw technik krytykowania niektórych argumentów i wykazywania, że inne są ważne. Techniki te są istotne dla nas wszystkich, którzy chcą być sprawnymi i dokładnymi argumentatorami.

W tej bardzo przystępnej książce, gruntownie zmienionej i przeredagowanej do drugiego wydania, Peter Smith przedstawia przewodnik po fundamentalnych celach i podstawowych elementach logiki formalnej. Wprowadza czytelnika w języki logiki zdań i logiki predykatów oraz rozwija systemy dedukcji naturalnej do oceny argumentów przetłumaczonych na te języki.

Jego dyskusja jest bogato ilustrowana praktycznymi przykładami i ćwiczeniami, a obok formalnej pracy znajduje się pouczający komentarz filozoficzny. Ta książka, poprawiony przedruk wydania opublikowanego po raz pierwszy przez CUP, będzie idealnym tekstem na pierwszy kurs logiki i zapewni solidną podstawę do dalszej pracy w logice formalnej i filozoficznej.