logo search
Kotsuba

Бертран Артур Уильям Рассел

Рассел начинал с попыток обоснования математики логически. Он считает, что матема­ тика есть ничто иное, как логика. Особенно важной Рассел считает разработку теорию языка науки, для чего он обратился к теме логических парадоксов. Для разрешения парадоксов он предложил теорию типов высказываний: высказывания о объектах, высказывания о вы­ сказываниях (метавысказывания) и т. д. Например, парадокс лжеца есть метавысказывание, с которым обращаются как с высказыванием.

Рассел сформулировал свою концепцию как логический атомизм. Эта идея заключалась в том, что все высказывания делятся на атомарные и молекулярные. Атомарные высказывания

констатирует некий факт, который мы наблюдаем. Молекулярные высказывания связывают несколько атомарных высказываний.