Leibniz acreditava que a verdade poderia ser estabelecida por meio de uma análise lógica das proposições. Esse tipo de análise foi uma das bases de sua teoria do: