Predikátová logika

Recenzie čitateľov

Kniha je formálnym a dôsledným skúmaním predikátovej logiky, pričom sa zameriava skôr na jej filozofické základy než na praktické použitie. Hoci môže byť cenná pre pokročilé štúdium filozofie alebo logiky, chýbajú v nej praktické cvičenia a učebné pomôcky, ktoré sú nevyhnutné pre začiatočníkov alebo tých, ktorí sa snažia predikátovú logiku priamo aplikovať.

⬤ Poskytuje rozsiahle informácie o filozofických základoch predikátovej logiky.
⬤ Vhodná pre bakalárske alebo magisterské kurzy vyššieho stupňa.
⬤ Môže byť zaujímavý pre tých, ktorí sa hlboko zaoberajú logikou a jej predpokladmi.

⬤ Nie je to praktická príručka na učenie sa používať predikátovú logiku.
⬤ Cvičenia nie sú dostatočne prepojené s praktickým použitím a nie sú uvedené žiadne odpovede.
⬤ Vysoká cena v porovnaní s inými prístupnejšími a praktickejšími textami o logike.

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

Pôvodný názov:

Predicate Logic

Obsah knihy:

Formy a rozsah logiky vychádzajú z predpokladov, ako sa jazyk a uvažovanie spájajú so skúsenosťou. V tomto zväzku poskytuje analýza významu a pravdy základ pre štúdium modernej výrokovej a predikátovej logiky.

Kapitoly o výrokovej logike, rozbore výrokov a o význame, pravde a referencii poskytujú základ pre kritériá, ktoré možno použiť na posudzovanie formalizácií argumentov bežného jazyka. Viac ako 120 spracovaných príkladov formalizácií výrokov a argumentov ilustruje rozsah a obmedzenia modernej logiky, ktoré sú analyzované v kapitolách o identite, kvantifikátoroch, deskriptívnych menách, funkciách a logike druhého rádu.

Kapitola o logike druhého rádu ilustruje, ako rôzne koncepcie predikátov a propozícií nevedú k spoločnému základu pre kvantifikáciu nad predikátmi, ako je to v prípade kvantifikácie nad vecami. Tento zväzok, ktorý je pozoruhodný svojou prehľadnosťou a doplnený mnohými cvičeniami, je vhodný pre filozofov, lingvistov, matematikov a informatikov, ktorí chcú lepšie pochopiť nástroje, ktoré používajú pri formalizácii uvažovania.