ЛОГИЗМ

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