Идеи Лейбница в жизнь!

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