Um argumento sobre a existência de propriedades abstractas

Este é um argumento sobre a existência de propriedades abstractas, que não são físicas, espaço-tempo, que não mudam. Tinha acrescentado "necessariamente" a partir da consequente da primeira premissa, mas a necessidade não se estendia à conclusão e, por isso, simplesmente abandonei a modalidade:

Se tudo muda,
Tudo muda em relação a mudar,
E se tudo muda em relação a mudar,
Tudo, em algum momento da sua existência, não muda,
E se tudo, em algum momento da sua existência, não muda,
As propriedades físicas e as mentais, em algum momento da sua existência, não mudam.
Mas as propriedades físicas e as mentais estão sempre a mudar.
Nem tudo muda.
Há propriedades que não são físicas nem mentais.

Candidatas: lógicas, matemáticas, metafísicas (Formas, Universais).

É de notar que este post leva-nos à tese de que nem todas as propriedades perduram. Havendo propriedades que não são espaço-tempo, dizemos delas que nem perduram, nem duram. Todas as que são espaço-tempo, perduram, pelas razões já adiantadas (porque mudam, continuando, no entanto, a ser a mesma propriedade ou colecção de propriedades - ex. uma pessoa ou um computador que se tornam melhores, o bem excessivo que se torna mal, etc.).