Matematická logika, přepracované vydání

Recenze čtenářů

Recenze Quinovy Matematické logiky naznačují smíšené přijetí, uznávají její historický význam a výmluvnost a zároveň kritizují její zápis a opomenutí v moderním kontextu. Kniha je oceňována pro svou jasnost a zpracování některých logických pojmů, ale je také považována za zastaralou a postrádající oblasti důležité pro současnou matematickou logiku.

Kniha je krásně napsaná a nabízí velkou historickou zajímavost. Poskytuje přehledné pojednání o pravdivostně-funkční a kvantifikační logice a obsahuje podrobnou a originální diskusi o Godelově neúplnosti. Je považována za povinnou četbu pro studenty logiky.

Notace může být obtížně srozumitelná, zejména pro mladší čtenáře, a kniha trpí nedostatky týkajícími se teorie modelů a rekurze. Je považována za zastaralou a na teoretické cestě, která se v moderní matematice stala méně relevantní. Při nákupu různých vydání se doporučuje opatrnost, protože první vydání je známé svými rozpory a může čtenáře uvést v omyl.

(na základě 5 hodnocení čtenářů)

Původní název:

Mathematical Logic, Revised Edition

Obsah knihy:

W.

Systematické rozvíjení matematické logiky od V. Quinea bylo široce oceňováno pro nový materiál, který předkládá, a pro jasnost jeho výkladu.

Toto revidované vydání, v němž byly odstraněny drobné nesrovnalosti zjištěné od jeho prvního vydání, uvítají všichni studenti a učitelé matematiky a filozofie, kteří se vážně zabývají moderní logikou. Max Black, in Mind, o této knize řekl: „Bude sloužit k tomu, aby se na základě pouček a příkladů vštípila měřítka jasnosti a přesnosti, která jsou i ve formální logice častěji sledována, než dosahována.“.