Ernest Nagel Pořadí knih

Published in 1946, this volume does not purpose to be a treatise on logic. The author's contributions to the substance of logical doctrine have been made in his other works. What he has attempted in the studies that form this volume is an exploration of the periphery of logic, the relation of logic to the rest of the universe, the philosophical presuppositions which give logic its meaning and the applications which give it importance. It is his belief that formal logic is the heart of philosophy, since the subject matter of logic is the formal aspect of all being. From this standpoint he explores the relation of logic to such fields of study as natural science, ethics, history and general philosophy.

Již z dálky viděl Pat O'Mulligan jjezdce, který sjížděl s kopce, poznal dlouhonohého, ocelově šedého hřebce, běžícího nenapodobitelným mírným, ale plynulým tryskem.

V roce 1931 publikoval teprve 25letý Kurt Gödel, rodák z Brna, revoluční článek, v němž se kriticky vypořádal s určitými předpoklady tvořícími základ tradičního zkoumání v matematice a logice. V současnosti je jeho průzkum této terra incognita jedním z důležitých příspěvků moderní vědě. Knížka Gödelův důkaz je nově redakčně přehlédnuta, je rozšířena a aktualizována. Představuje svého druhu první čtivý výklad hlavních myšlenek Gödelova důkazu i některých z něj plynoucích důsledků. Kniha je určena studentům, vědcům, učitelům, odborníkům v mate- matice, kybernetice, logice, filozofii.