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

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