Úvod do symbolickej logiky a jej aplikácií

Recenzie čitateľov

Kniha je považovaná za klasiku v oblasti symbolickej logiky, oceňovaná pre svoju hĺbku a integráciu rôznych súvisiacich tém. Poznamenáva sa však, že je náročná, najmä pre tých, ktorí nemajú silné matematické zázemie.

⬤ Silná prezentácia symbolickej logiky
⬤ prehľadne pokrýva mnohé súvisiace témy
⬤ považuje sa za klasiku a významný príspevok k filozofii
⬤ užitočná na pochopenie hlbších pojmov v logike
⬤ komplexné spracovanie axiomatických teórií.

⬤ Ťažko zrozumiteľná pre nematematikov
⬤ niektorí ju považujú za pedantnú a zastaranú
⬤ chýba pokrytie niektorých moderných metód v logike
⬤ nezahŕňa praktické aplikácie, ako je prirodzená dedukcia alebo rekurzia.

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

Pôvodný názov:

Introduction to Symbolic Logic and Its Applications

Obsah knihy:

Táto kniha je jedným z najjasnejších, najkomplexnejších a najprísnejších úvodov do modernej symbolickej logiky v akomkoľvek jazyku. Profesor Carnap, svetová autorita v oblasti symbolickej logiky, rozvíja túto tému od základných pojmov a jednoduchých cvičení až po konštrukciu a analýzu viacerých relatívne zložitých logických jazykov.

Potom sa podrobne zaoberá aplikáciou symbolickej logiky na objasnenie a axiomatizáciu rôznych teórií v matematike, fyzike a biológii. Také témy ako povaha a použitie konštánt a premenných, predikáty, vetné spojky, pravdivostné tabuľky, univerzálne a existenčné vety, definície, identita, izomorfizmus, syntaktické a sémantické systémy a vzťahy medzi nimi, systém typov, odrody vzťahov, lineárny poriadok, špeciálne operátory, štruktúry a kardinálne čísla, deskripcie, konečné a nekonečné pojmy, spojitosť, jazyky vecí, súradnicové jazyky, axiómové systémy pre teóriu množín, aritmetiku, geometriu, časopriestorovú topológiu, biologické pojmy a mnoho ďalších tém.

Zvlášť rozsiahle je spracovanie logiky vzťahov. Súčasťou sú stovky problémov, príkladov a cvičení, ktoré študentom umožňujú precvičiť si techniky symbolickej logiky a ich použitie.