Uma definição de Deus ou de um Ser Independente (1676)

(Definitio Dei Seu Entis A Se)
G.W. Leibniz
A. nº84 dezembro (?) de 1676 1,2

Deus é um ser de cuja possibilidade (ou, de cuja essência) segue-se Sua existência.

Se um Deus, definido de tal modo, é possível, segue-se que Ele existe.

Para a existência, é o mesmo resultar da possibilidade de alguma coisa, como resultar da essência de alguma coisa. Pois a essência de uma coisa é o mesmo que uma razão singular para a possibilidade, ou seja, é da noção do que é entendido nitidamente, ou a priori, que a coisa é possível. Eu digo “a priori”; isto é, não a partir da experiência, mas da própria natureza da coisa, exatamente como concebemos ser possível o número 3, ou uma linha circular e outras coisas desse tipo, mesmo que nunca as experimentemos existir na realidade ou, de qualquer modo, não levando essa experiência em consideração.

Um ser independente é o mesmo que um ser de cuja essência resulta a existência, a saber, um ser para o qual a existência é essencial, ou, que existe através de sua própria essência.

Novamente, um ser necessário é o mesmo que um ser de cuja essência resulta a existência. Pois um ser necessário é aquele que necessariamente existe, tal que sua não existência implicaria uma contradição e, assim, estaria em conflito com a noção ou essência desse ser. De fato, a existência pertence a sua noção ou essência.

Disto extraio um teorema excelente que é o píncaro da doutrina modal [doctrinae Modalium] e por meio do qual posso mover-me da potencialidade para o ato: se um ser necessário é possível, segue-se que ele realmente existe, ou, que um tal ser é realmente encontrado no universo.

Notas:
1. A data desse texto não pode ser determinada com precisão. Seu conteúdo relaciona-se com as discussões sobre a existência de Deus que tiveram início com as notas sobre ciência e metafísica de 22 de março de 1676 (A 395) e que culminaram em textos escritos em associação com a visita de Leibniz a Espinosa;
2. Título de Leibniz;