Prédikátumok logikája

Olvasói vélemények

A könyv a predikátumlogika formális és szigorú vizsgálata, amely inkább a filozófiai alapokra, mint a gyakorlati alkalmazásra összpontosít. Bár a könyv értékes lehet a filozófia vagy a logika haladó tanulmányaihoz, hiányoznak belőle a gyakorlati gyakorlatok és tanulási eszközök, amelyek nélkülözhetetlenek a kezdők vagy a predikátumlogikát közvetlenül alkalmazni kívánók számára.

⬤ Kiterjedt információkat nyújt a predikátumlogika filozófiai alapjairól.
⬤ Alkalmas felső tagozatos alap- vagy mesterképzésre.
⬤ Érdekes lehet azok számára, akik mélyen foglalkoznak a logikával és annak feltételezéseivel.

⬤ Nem gyakorlati útmutató a predikátumlogika használatának elsajátításához.
⬤ A gyakorlatok nem kapcsolódnak eléggé a gyakorlati alkalmazáshoz, és nem adnak válaszokat.
⬤ Magas ár más, könnyebben hozzáférhető és gyakorlatias logikai szövegekhez képest.

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

Eredeti címe:

Predicate Logic

Könyv tartalma:

A logika formái és hatóköre azon feltételezéseken alapul, hogy a nyelv és az érvelés hogyan kapcsolódik a tapasztalathoz. Ebben a kötetben a jelentés és az igazság elemzése adja az alapot a modern tételes és predikátumlogikák tanulmányozásához.

A tételes logikáról, a tételek tagolásáról, valamint a jelentésről, az igazságról és a referenciáról szóló fejezetek olyan kritériumokat alapoznak meg, amelyek segítségével megítélhetők a hétköznapi nyelvi érvek formalizációi. Az állítások és érvek formalizációinak több mint 120 kidolgozott példája szemlélteti a modern logika hatókörét és korlátait, ahogyan azt az azonosságról, a kvantorokról, a leíró nevekről, a függvényekről és a másodrendű logikáról szóló fejezetek elemzik.

A másodrendű logikáról szóló fejezet bemutatja, hogy a predikátumok és a tételek különböző felfogásai nem vezetnek közös alapra a predikátumok feletti kvantifikációhoz, ahogyan a dolgok feletti kvantifikációhoz sem. Az áttekinthető előadásmódja miatt figyelemre méltó, és számos gyakorlattal kiegészített kötet alkalmas filozófusok, nyelvészek, matematikusok és informatikusok számára, akik jobban meg akarják érteni az általuk az érvelés formalizálásához használt eszközöket.