Úvod do formálnej logiky

Recenzie čitateľov

Kniha je oceňovaná za jasný a komplexný úvod do formálnej logiky, ktorý sa vyznačuje dobre štruktúrovaným postupom od základných pojmov k pokročilejším témam. Používatelia oceňujú podrobné vysvetlenia, početné príklady a praktické cvičenia. Niektorí čitatelia však upozorňujú na nekonzistentnosť v zložitosti jednotlivých kapitol a považujú určité časti za potenciálne príliš pokročilé pre začiatočníkov.

Stručná a informatívna diskusia o základoch logiky, komplexné pokrytie tém, ľahké čítanie pre začiatočníkov, podrobné vysvetlenia s príkladmi, výborný stav knihy, dobre organizovaná štruktúra, poskytnuté ďalšie zdroje, dobre napísané a pútavé.

⬤ Niektoré kapitoly sa výrazne líšia v zložitosti, pričom niektoré časti sú jednoduchšie a iné si vyžadujú viac úsilia na pochopenie
⬤ môžu byť pre niektorých začiatočníkov príliš pokročilé
⬤ môžu byť trochu zdĺhavé.

(na základe 15 čitateľských recenzií)

Pôvodný názov:

An Introduction to Formal Logic

Obsah knihy:

Formálna logika nám poskytuje silný súbor techník na kritiku niektorých argumentov a dokazovanie platnosti iných. Tieto techniky sú dôležité pre všetkých, ktorí majú záujem byť zručnými a presnými argumentátormi.

V tejto veľmi prístupnej knihe, ktorá bola pre druhé vydanie rozsiahle prepracovaná a prepísaná, Peter Smith predstavuje sprievodcu základnými cieľmi a základnými prvkami formálnej logiky. Uvádza čitateľa do jazykov výrokovej a predikátovej logiky a rozvíja systémy prirodzenej dedukcie na vyhodnocovanie argumentov preložených do týchto jazykov.

Jeho diskusia je bohato ilustrovaná riešenými príkladmi a cvičeniami a popri formálnej práci je tu aj poučný filozofický komentár. Táto kniha, ktorá je opraveným reprintom vydania, ktoré prvýkrát vyšlo vo vydavateľstve CUP, bude ideálnym textom pre prvý kurz logiky a poskytne pevný základ pre ďalšiu prácu v oblasti formálnej a filozofickej logiky.