Úvod do symbolické logiky a její aplikace

Recenze čtenářů

Kniha je považována za klasiku symbolické logiky a je oceňována pro svou hloubku a integraci různých souvisejících témat. Je však poznamenáno, že je náročná, zejména pro ty, kteří nemají silné matematické zázemí.

⬤ Silná prezentace symbolické logiky
⬤ srozumitelně pokrývá mnoho souvisejících témat
⬤ považována za klasiku a významný příspěvek k filozofii
⬤ užitečná pro pochopení hlubších pojmů v logice
⬤ komplexní zpracování axiomatických teorií.

⬤ Obtížně srozumitelná pro nematematiky
⬤ některým připadá pedantská a zastaralá
⬤ postrádá pokrytí některých moderních metod v logice
⬤ nezahrnuje praktické aplikace, jako je přirozená dedukce nebo rekurze.

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

Původní název:

Introduction to Symbolic Logic and Its Applications

Obsah knihy:

Tato kniha je jedním z nejjasnějších, nejobsáhlejších a nejpřísnějších úvodů do moderní symbolické logiky v jakémkoli jazyce. Profesor Carnap, světová autorita v oblasti symbolické logiky, rozvíjí téma od základních pojmů a jednoduchých cvičení až po konstrukci a analýzu řady poměrně složitých logických jazyků.

Velmi podrobně se pak zabývá aplikací symbolické logiky na objasnění a axiomatizaci různých teorií v matematice, fyzice a biologii. Taková témata jako povaha a použití konstant a proměnných, predikáty, větné spojky, pravdivostní tabulky, univerzální a existenční věty, definice, identita, izomorfismus, syntaktické a sémantické systémy a vztahy mezi nimi, systém typů, odrůdy relací, lineární uspořádání, speciální operátory, struktury a kardinální čísla, deskripce, konečné a nekonečné pojmy, spojitost, jazyky věcí, souřadnicové jazyky, axiomové systémy pro teorii množin, aritmetiku, geometrii, časoprostorovou topologii, biologické pojmy a mnoho dalších témat.

Zvláště rozsáhlé pojednání je věnováno logice vztahů. Součástí jsou stovky problémů, příkladů a cvičení, které studentům umožní procvičit si techniky symbolické logiky a jejich použití.