Hodnocení:
Kniha je dobře hodnoceným zdrojem informací o logice, zvláště efektivně spojuje matematickou logiku a lingvistiku. Přestože nabízí poznatky pro zkušené čtenáře a obsahuje užitečná cvičení, pro úplné začátečníky nemusí být kvůli své složitosti tou nejlepší volbou.
Klady:⬤ Neuvěřitelně srozumitelný jazyk
⬤ účinné zjednodušení složitých témat
⬤ vynikající cvičení, která posilují porozumění
⬤ cenné poznatky pro počítačovou lingvistiku a aplikovanou logiku
⬤ inspirativní a přístupná matematika.
Není nejlepším úvodním textem pro úplné začátečníky; může být matoucí a zastrašující pro ty, kteří nemají předchozí znalosti v logice.
(na základě 8 hodnocení čtenářů)
Logic, Language, and Meaning, Volume 1, 1: Introduction to Logic
Přestože oba svazky knihy Logika, jazyk a význam lze používat nezávisle na sobě, společně poskytují ucelený přehled moderní logiky, která se používá jako nástroj analýzy přirozeného jazyka. Oba svazky obsahují cvičení a jejich řešení.
Svazek 1, Úvod do logiky, začíná historickým přehledem a poté nabízí důkladný úvod do standardní výrokové logiky a predikátové logiky prvního řádu. Poskytuje jak syntaktický, tak sémantický přístup k odvozování a platnosti a diskutuje jejich vzájemný vztah. Přestože je zvláštní pozornost věnována jazyku a významu, je tento úvod přístupný i těm, kteří se o logiku zajímají obecněji.
Kromě toho svazek obsahuje přehled takových témat, jako jsou definiční deskripce, omezená kvantifikace, logika druhého řádu a mnohohodnotová logika. Diskutován je rovněž pragmatický přístup k nepravdivě podmíněným a konvenčním implikaturám. Nakonec je pojednáno o vztahu mezi logikou a formální syntaxí a jsou vysvětleny pojmy přepisovací pravidlo, automatizace, gramatická složitost a hierarchie jazyka.
