Математика и логика

Критическому разбору идей «логицизма» - направления, ставящего целью обосновать математику сведением ее исходных понятий к понятиям логики, - выдающийся французский математик и философ А. Пуанкаре (1854-1912) посвятил работу «Математика и логика», печатавшуюся в XIII и XIV томах журнала «Revue de Methaphysique et de Morale» (русский перевод появился в 1915 г.). В отличие от «логицистов» Пуанкаре не отмежевывается от философии и не скрывает связи своих идей с идеями философов, в частности с учением Канта об априорных синтетических суждениях математики. Но, как и «логицисты», Пуанкаре в своих рассуждениях по вопросу об интуиции в математике не отделяет ясно то, что в его аргументации вызвано его философскими предубеждениями, от того, что в ней определяется специально математическими обоснованиями и что имеет значение и ценность независимо от его философских позиций. Задачу этого разграничения Пуанкаре предоставляет своим читателям и критикам. Выступая против «логицизма», Пуанкаре имел в...