En sus investigaciones, Padilla Gálvez ha intentado aplicar el método analítico para estudiar dichas estructuras formales en la filosofía antigua como por ejemplo en las propuestas de Parménides, Gottfried Leibniz, Kurt Gödel, etc.