Consideraremos três hipóteses
Qualificação 2.1 Valores de x = particulares concretos.
A tese (A) fica então:
(A*) Toda a propriedade universal é exemplificada por, pelo menos, um particular concreto, em alguma ocasião.
Esta versão é vulnerável a contra-exemplos imediatos: não permite universais de ordem 1, exemplificados por particulares abstractos (p.e., conjuntos de números); nem permite propriedades universais de ordem superior a 1 (p.e., peso, massa, forma, etc.)
Qualificação 2.2 Valores de x = particulares concretos;
Valores de P = propriedades de ordem 1.
A tese fica:
(A**) Toda a propriedade universal de ordem 1 tem pelo menos um particular concreto como exemplo em pelo menos uma ocasião.
Esta é considerada a formulação standard do realismo aristotélico, mas continua a excluir os universais de ordem 1 exemplificados por particulares abstractos (p.e., a propriedade de ser um número primo).
Qualificação 2.3 Valores de x = particulares concretos;
Valores de P = sem restrições.
A tese fica:
(A***) Para qualquer propriedade universal ou ela é exemplificada por particulares concretos, ou há uma cadeia de exemplos com ela associada cujo términus são particulares concretos.
Os meus links