Философская бритва
Бритва Брауэра
Интуиционистский принцип, согласно которому утверждение о существовании требует осторожности, если его нельзя конструктивно доказать или построить.
Краткое введение
Бритва Брауэра связана с духом математического интуиционизма: недостаточно заявить, что нечто существует, если невозможно показать путь его построения. Она отсекает слишком дешёвые утверждения, основанные только на невозможности опровергнуть обратное.
Суть инструмента
Бритва Брауэра отсекает слишком лёгкое слово «существует». В классической логике можно доказать существование косвенно: предположить отсутствие, прийти к противоречию и сделать вывод, что объект есть. Брауэр и интуиционисты относились к такому ходу осторожно.
В философском смысле эта бритва спрашивает: ты знаешь или только не можешь опровергнуть обратное? Между возможным и доказанным лежит огромная дистанция. Фраза «никто не доказал, что этого нет» не делает утверждение знанием.
В повседневной жизни принцип полезен против подозрений. Если кто-то говорит, что человек скрывает дурные намерения, но не может конструктивно показать путь к этому выводу, обвинение остаётся тенью.
Принцип не убивает метафизику, надежду или поэзию. Он защищает знание от слишком дешёвого существования. Если утверждение претендует быть фактом, к нему должна вести дорога.