Úvod do formální logiky

Recenze čtenářů

Kniha je oceňována za jasný a ucelený úvod do formální logiky, který se vyznačuje dobře strukturovaným postupem od základních pojmů k pokročilejším tématům. Uživatelé oceňují podrobné vysvětlení, četné příklady a praktická cvičení. Někteří čtenáři si však všímají nekonzistence ve složitosti jednotlivých kapitol a považují určité části za potenciálně příliš pokročilé pro začátečníky.

Stručné a informativní pojednání o základech logiky, komplexní pokrytí témat, snadné čtení pro začátečníky, podrobné vysvětlení s příklady, výborný stav knihy, přehledná struktura, poskytnuté další zdroje, dobře napsané a poutavé.

⬤ Některé kapitoly se výrazně liší ve složitosti, některé části jsou jednodušší a jiné vyžadují více úsilí k pochopení
⬤ mohou být pro některé začátečníky příliš pokročilé
⬤ mohou být poněkud heslovité.

(na základě 15 hodnocení čtenářů)

Původní název:

An Introduction to Formal Logic

Obsah knihy:

Formální logika nám poskytuje mocný soubor technik, jak některé argumenty kritizovat a jiné dokazovat jako platné. Tyto techniky jsou důležité pro všechny, kdo mají zájem být obratnými a přesnými argumentátory.

V této velmi přístupné knize, která byla pro druhé vydání rozsáhle revidována a přepracována, Peter Smith představuje průvodce základními cíli a základními prvky formální logiky. Seznamuje čtenáře s jazyky výrokové a predikátové logiky a rozvíjí systémy přirozené dedukce pro vyhodnocování argumentů přeložených do těchto jazyků.

Jeho pojednání je bohatě ilustrováno řešenými příklady a cvičeními a vedle formální práce je připojen poučný filozofický komentář. Tato kniha, opravený reprint vydání, které poprvé vyšlo v nakladatelství CUP, bude ideálním textem pro první kurz logiky a poskytne pevný základ pro další práci ve formální a filozofické logice.