В краткой статье 'Об универсальной науке или философском исчислении' Лейбниц мечтал: 'В результате, когда возникали бы споры, нужда в дискуссии между двумя философами была бы не большей, чем между двумя вычислителями. Ибо достаточно было бы им взять в руки перья, сесть за свои счетные доски и сказать друг другу (как бы дружески приглашая): давайте посчитаем!' На этот счет увидел объявление о конференции в следующем году, организуемой мюнхенским центром математической философии 'Синтаксис и семантика формализации в философии' (The Syntax and Semantics of Formalisations in Philosophy, June 2025) с целью обсудить возможности формализации философии. Интересно, что из этого получится. Готфрид Лейбниц