Observações sobre matemática e comprometimento ontológico

Abstract

Análise de um possível comprometimento ontológico da matemática padrão (construída numa teoria de conjuntos como ZFC) com uma noção de indivíduo. A validade da Lei de Leibniz neste contexto faz com que o tratamento de entidades indistinguíveis seja possível somente se relativizado a determinadas estruturas, erigidas em ZFC. Desse modo, se partículas elementares forem absolutamente indiscerníveis, então um tratamento 'conjuntista' (filosoficamente adequado) de coleções de tais entidades se afigura como uma questão relevante.