En la óptica de Peirce, el estilo algebraico de notación del cálculo de predicados de primer orden, totalmente nuevo en su época y que él mismo había contribuido a desarrollar,