Logika prvního řádu

Recenze čtenářů

Kniha Raymonda Smullyana „Logika prvního řádu“ se setkává se smíšenými ohlasy, přičemž mnozí chválí její hloubku a jedinečný přístup k logice, zatímco někteří kritizují její stručnost a složitost pro začátečníky. Je považována za skvělou příručku pro ty, kteří se již s formální logikou seznámili, ale není vhodná pro opravdové nováčky.

⬤ Nabízí důkladné pokrytí důležitých témat logiky prvního řádu
⬤ efektivně prezentuje tabulkové metody
⬤ vysoce ceněna pro svou originalitu a stručný styl
⬤ slouží jako vynikající příručka pro zkušené čtenáře
⬤ vhled do pokročilých logických teorií.

⬤ Nevhodná pro začátečníky nebo ty, kteří nejsou obeznámeni s formální logikou
⬤ příliš stručná a předpokládá předchozí znalosti, takže některé pojmy zůstávají nevysvětleny
⬤ některým čtenářům připadala hutná a náročná na pochopení
⬤ může být vnímána jako příliš zaměřená na booleovskou logiku.

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

Původní název:

First-Order Logic

Obsah knihy:

Tato zcela samostatná studie, všeobecně považovaná za nejlepší knihu v oboru, má sloužit jako úvod do teorie kvantifikace i jako výklad nových výsledků a technik v analytických metodách nebo metodách bez řezu. Autor je ohromen jednoduchostí a matematickou elegancí tabulkového hlediska, a proto se zde na něj zaměřuje.

Po úvodním materiálu o tresech (nezbytném pro tableau metodu) se první část zabývá výrokovou logikou z hlediska analytických tableau a zahrnuje témata jako formule nebo výroková logika, booleovské valuace a pravdivostní množiny, metoda tableau a kompaktnost.

Část II se zabývá logikou prvního řádu a nabízí podrobné zpracování takových otázek, jako jsou analytické tabulky prvního řádu, analytická konzistence, teorie kvantifikace, magické množiny a analytické versus syntetické konzistentní vlastnosti.

Část III pokračuje ve výkladu logiky prvního řádu. Mezi probíraná témata patří Gentzenovy systémy, eliminační věty, prenexové tabulky, věty o symetrické úplnosti a systémové lineární uvažování.

Raymond M. Smullyan je známý logik a vynálezce matematických a logických hádanek. V této knize napsal podnětný a náročný výklad logiky prvního řádu, který uvítají logici, matematici i všichni, kdo se o tuto oblast zajímají.