Ф П Рамсей и программа логицизма (Суровцев) ; Ленанд, 2021

В монографии рассматривается программа логицизма в основаниях математики. Анализируется, каким образом Ф. П. Рамсей предлагает модифицировать эту программу, чтобы освободить ее от нежелательных следствий в виде аксиом сводимости, бесконечности и мультипликативности. Исследуются взгляды Ф. П. Рамсея на философию математики и то, каким образом на эти взгляды повлияли идеи Г. Фреге, Б. Рассела и Л. Витгенштейна. Особое внимание уделено переориентации взглядов Ф. П. Рамсея от логицизма к умеренному интуиционизму под влиянием работ Г. Вейля.
Для философов, логиков, специалистов в области оснований математики и всех интересующихся рассматриваемой проблематикой.

Смотри также Характеристики.