Contudo, a argumentação contra o RI, não invalida por si só as teses do Realismo Aristotélico. Este afirma, na sua versão standard, que Toda a propriedade universal de ordem 1 tem pelo menos um particular concreto como exemplo em pelo menos uma ocasião, cf. p 7 acima.
Ora, na investigação da ciência, pode ser necessário reconhecer propriedades e relações de objectos abstractos. Este procedimento é assim inconsistente com o RA, em que todas as propriedades estão ancoradas no mundo físico. A única forma de contornar esta objecção parece ser a de reduzir os objectos abstractos a outros tipos de entidades, ao modo nominalista. Mas, já o dissemos, o preço a pagar é o de tornar mais complexa a linguagem. A matemática, disciplina que opera em supremo grau com relações, p.e., a soma de ... com --- , lida com abstracta, sem ter qualquer localização no mundo físico.
Acresce que, propriedades e relações não exemplificadas em nenhuma ocasião, podem ser indispensáveis do ponto de vista da explicação causal, científica. ----> Aliás, como mostrou Hume e Quine[1], o nexo causal entre dois acontecimentos, não sendo nem uma necessidade lógica, nem uma relação observável intrinsecamente, é sempre uma relação abstracta que obtém satisfação na conjunção constante observada do par ordenado causa-efeito.
Também, na sua versão standard, o RA não exclui universais de ordem superior (>1), ainda que os restrinja à ordem 2 ou superior, com condições especificadas de modo a serem exemplificados por universais de ordem inferior e, como tal, estarem ancorados no mundo físico; p.e., peso, cor, forma, universais de ordem 2, exemplificados por universais de ordem 1, p.e., 1 kg, vermelho, círculo.
Ora, os particulares concretos localizados no espaço-tempo apenas exemplificam propriedades determinadas (p.e., vermelho) e não propriedades determináveis (cor), pelo que os universais de ordem 2 não são localizáveis no e-t.
[1] Refere Dagfinn Follesdal no seu artigo Indeterminacy and Mental States (1988) a propósito do sentido (meaning) das expressões linguísticas: «As Quine has pointed out, the situation ( ) is parallel to the situation of empirical science, where scientific theory is underdetermined by the evidence.This is simply a general feature of the hypothetico-deductive method: as long as our evidence does not pertain directly to the individual hypothesis, but only to their observational consequences, the hypothesis are underdetermined by the evidence.(sublinhados nossos)
Os meus links