Análise infinita e estrutura lógica das proposições contingentes segundo Leibniz

Este artigo destina-se a investigar que consequências a tese leibniziana de que a distinção modal entre proposições necessárias e contingentes pode ser tratada em termos da distinção entre análise finita e análise infinita acarreta para a estrutura lógica das proposições contingentes. Veremos que, por força daquela tese, a estrutura de uma proposição contingente ganha contornos muito peculiares, de tal modo que não apenas as condições de verdade desse tipo de proposição, mas mesmo suas condições de sentido envolvem uma série infinita, em que pese a experiência nos dispense de percorrer essa série para compreender aquele sentido. Veremos também que a verdade ou a falsidade de uma proposição contingente se determina por sua comparação com o que sucede efetivamente, sendo que sua contingência não requer e não remete a nenhum pretenso outro mundo possível no qual seu valor de verdade fosse supostamente diferente de seu valor de verdade neste mundo existente.