Gaiada, M. G. Leibniz 1686. Un análisis de las modalidades lógicas: posible, imposible, necesario y contingente