Ф.П. Рамсей и программа логицизма


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