Bevezetés a szimbolikus logikába és alkalmazásai

Olvasói vélemények

A könyvet a szimbolikus logika klasszikusának tekintik, és dicsérik mélységéért és a különböző kapcsolódó témák integrálásáért. Ugyanakkor megjegyzik, hogy kihívást jelent, különösen azok számára, akik nem rendelkeznek erős matematikai háttérrel.

⬤ A szimbolikus logika erős bemutatása
⬤ számos kapcsolódó témát áttekinthetően tárgyal
⬤ klasszikusként tartják számon, és jelentős hozzájárulás a filozófiához
⬤ hasznos a logika mélyebb fogalmainak megértéséhez
⬤ az axiomatikus elméletek átfogó kezelése.

⬤ Nehezen érthető a nem matematikusok számára
⬤ egyesek pedánsnak és elavultnak találják
⬤ nem tárgyalja a logika egyes modern módszereit
⬤ nem tartalmaz olyan gyakorlati alkalmazásokat, mint a természetes következtetés vagy a rekurzió.

(8 olvasói vélemény alapján)

Eredeti címe:

Introduction to Symbolic Logic and Its Applications

Könyv tartalma:

Ez a könyv az egyik legvilágosabb, legátfogóbb és legszigorúbb bevezetés a modern szimbolikus logikába, amely bármilyen nyelven elérhető. Carnap professzor, a szimbolikus logika világszaktekintélye, az elemi fogalmaktól és egyszerű feladatoktól kezdve számos viszonylag összetett logikai nyelv felépítésén és elemzésén keresztül fejleszti a témát.

Ezután részletesen megvizsgálja a szimbolikus logika alkalmazását a matematika, a fizika és a biológia különböző elméleteinek tisztázására és axiomatizálására. Olyan témák, mint az állandók és változók természete és használata, predikátumok, mondattani kötőszavak, igazságtáblák, univerzális és egzisztenciális mondatok, definíciók, azonosság, izomorfizmus, szintaktikai és szemantikai rendszerek és a köztük lévő kapcsolatok, a típusok rendszere, a relációk fajtái, lineáris rend, speciális operátorok, struktúrák és kardinális számok, leírások, véges és végtelen fogalmak, folytonosság, dologi nyelvek, koordinátanyelvek, halmazelméleti axiómarendszerek, aritmetika, geometria, tér-idő topológia, biológiai fogalmak és sok más téma részletes tárgyalása.

A relációk logikája különösen kiterjedt kezelést kap. Több száz probléma, példa és gyakorlat szerepel a könyvben, hogy a hallgatók gyakorolhassák a szimbolikus logika technikáit és azok használatát.