Моё отношение к формализму и к идее «полной модели»

Исходная позиция

Я не принимаю тезис о том, что реальность в принципе может быть полностью исчерпана финальной формальной моделью.
Это не позиция «я пока не знаю», а позиция о логической несостоятельности самой идеи финальности модели.

Как я это переживаю

Для меня всегда было естественным видеть предел формализации как норму мышления.
Поэтому открытие, что существует много людей, искренне верящих в полную объяснимость реальности схемой, стало сильным шоком.

Ключевые основания моей позиции

  1. Финальная формальная модель принципиально проблематична.
    Любая система опирается на аксиомы и рамки, которые не выводятся целиком из неё же.

  2. Формализм не является «нулевой» позицией.
    Формализм — это отдельная гипотеза о мире, а не нейтральная стартовая точка.

  3. Формализуемость не должна приниматься по умолчанию.
    Если утверждается, что «всё формализуемо», это требует самостоятельного обоснования.

  4. Редукция реальности к форме — это дополнительное допущение.
    Успех формальных методов в частных задачах не доказывает, что реальность тождественна формальной схеме.

  5. Неформализуемое дано в наблюдении и переживании.
    Опыт показывает остаток, который не исчерпывается символической фиксацией.

Главный тезис

Мы наблюдаем неформализуемую реальность.
Формализация — полезный инструмент описания, но не основание бытия и не универсальный критерий того, что «существует на самом деле».

Личностная формулировка

Меня радикально не убеждает установка «всё в принципе можно доформализовать».
Я исхожу из того, что открытость, неполнота и неустранимый остаток — не временный дефект знания, а структурная черта реальности и мышления.

Прокрутить вверх