Формализовывать или не формализовывать, вот в чём вопрос: формальные методы в философии