Leibniz
“Verdadeira é uma afirmação cujo predicado está incluído no sujeito” (Leibiniz; Verdades necessárias e Contingentes); em toda proposição verdadeira e afirmativa, necessária ou contingente, a noção de predicado está contida na noção do sujeito.
Uma proposição logicamente necessária é concernente a um ser de essência e é demonstrada pela análise de seus termos. É aquela que pode se resolver em proposições idênticas, cujo oposto implica contradição: necessidade metafísica ou geométrica. O princípio mais importante que determina as verdades de razão é o Princípio de Identidade que diz respeito às primeiras verdades, fundamento de todas as outras. O princípio lógico intrínseco às verdades é de caráter objetivo e independe do arbítrio divino: Deus pensa as verdades lógicas a partir da conexão lógica intrínseca a própria verdade. O que carece de tal necessidade lógica é contingente. Para as verdades de fato o princípio de identidade já não é mais demonstrável, uma vez que são verdades mais complexas, formadas de elementos heterogêneos, relativos ao mundo físico. Neste âmbito trabalha-se com outros princípios, dentre os quais o mais importante é o Princípio de Razão