Leibniz se esforzó por ofrecer un relato de la inferencia y el juicio que implicara el juego mecánico de símbolos y muy poco más. Las listas de comprobación resultantes son los primeros artefactos intelectuales de la humanidad. Expresan, explican y, por tanto, ratifican un poder de la mente. Y, por supuesto, son artefactos en proceso de convertirse en algoritmos.