Людвиг Витгенштейн — критик логицизма

Аннотация

Показывается, что в «Логико-философском трактате» Витгенштейн не придерживается фреге-расселовского логицизма: не основывает арифметику на логике, а представляет их параллельно на основе идей «формального понятия», «формальной операции» и «формального ряда». В среднем периоде своей творческой эволюции Витгенштейн прямо критикует и логицизм как идею, и его конкретные воплощения в «Principia Mathematica», стремясь показать, что эти построения не заменяют нашу обычную арифметику. Попытки доказать, что формализм «Principia» можно развить до десятичной записи чисел и обычной практики сложения и умножения «в столбик», потребуют доказательства того, что получилась действительно та же самая арифметика. Эти доказательства потребуют использования той же самой арифметики.