Symbolic Languages and Ars Combinatoria
arXiv:1411.3188
Abstract
This article analyses some paragraphs of the Dissertatio de Arte Combinatoria (1666) where G.W. Leibniz considers the syntax of a language with a given number of primitive terms. We propose a new formulation which generalizes the philosopher conception of such a formal system.
10 pages, 2 figures