Хинтикка. О Гёделе; Гедель К. Статьи

Составление, редакция и перевод: В.В. Целищев, В.А. Суровцев. — М.: «Канон+», РООИ «Реабилитация» 2014 — 256 с. — (Библиотека Аналитической Философии). — ISBN: 978-5-88373-420-4юМонография Я. Хинтикки «О Гёделе» представляет собой экспозицию основных результатов, достигнутых К. Гёделем в исследованиях по основаниям математики. В частности, рассматриваются знаменитые теоремы о неполноте и доказательство независимости континуум-гипотезы. При интерпретации этих результатов широко привлекаются взгляды Гёделя на философию математики, близкие платонизму, и анализируется его своеобразный подход к синтаксическим и семантическим аспектам формальных систем. При рассмотрении отдельных концепций Гёделя привлекается аппарат, разработанных Я. Хинтиккой дружественно-независимых логик.
В сборник также включены некоторые работы К. Гёделя по философии математики, позволяющие лучше понять его взгляды.