Se puede aducir que 'el Ser es inmóvil' es un enunciado completamente bien estructurado, gramaticalmente hablando; pero los empiristas lógicos establecen que solo se pueden calificar como "proposiciones" aquellas que son producto de la lógica, de la matemática o que pueden ser empíricamente comprobadas -o, para Popper, susceptibles a la falsacion.