LOGIKA PRVÉHO RÁDU

Krátky popis:

Prvky modernej matematickej logiky prenikajú čím ďalej tým viac nielen do ostatných matematických disciplín, ale veľmi často sa s nimi v súčasnosti stretneme aj v ďalších vedných odboroch.

Smullyanova kniha sa zaoberá logikou prvého rádu, teda výrokovou logikou a teóriou kvantifikátorov prvého rádu bez identity, ktoré vysvetľuje pomocou metódy analytických tabiel. Táto metóda svojou originalitou a jednoduchosťou umožňuje dokázať platnosť formúl logiky prvého rádu veľmi ľahko a elegantne. Pritom nevzniká dojem, že ide iba o populárny výklad logiky na elementárnej úrovni Naopak, kniha je prísne budovaná formálnymi prostriedkami, s veľkým počtom definícií, tém, teorém a dôkazov. Pri výklade v nej autor využíva veľké množstvo moderných aj starších výsledkov, pričom poukazuje najmä na ich aplikácie. Kniha patrí medzi špičkové diela na svete z tejto oblasti.

Svojím obsahom i formou spracovania kniha zaujme nielen odborníkov — logikov. ale aj tých, ktorí logiku používajú pri svojej práci ako jednu z metód. Veľa materiálu z nej môžu čerpať aj vysokoškolskí pedagógovia a študenti, najmä pri príprave seminárov.