The universal characteristic of G. W. Leibniz and the prospective developments in the foundations of mathematics

Исследуются идеи Лейбница об универсальной характеристике и отражение этих идей в современной философии математики. Рассматриваются контекст возникновения концепции универсального языка, идея универсальной характеристики и варианты её реализации у Лейбница, два принципиально различных пути развития идей Лейбница и отражение идей Лейбница в современных подходах к основаниям математики (в частности, в унивалентных основаниях математики и гомотопической теории типов)