Étapes vers un nominalisme constructif

Nous ne croyons pas aux entités abstraites. Personne ne suppose que les entités abstraites—classes, relations, propriétés, etc.— existent dans l'espace-temps ; mais nous voulons dire plus que cela. Nous y renonçons complètement. Nous ne renoncerons pas à toute utilisation de prédicats et d'autres mots qui sont souvent pris pour nommer des objets abstraits. Nous pouvons encore écrire ‘ x est un chien,’ ou ‘ x est entre y et z ’ ; car ici ‘est un chien’ et ‘est entre … et’ peuvent être interprétés comme syncategoremiques : significatifs dans le contexte mais ne nommant rien. Mais nous ne pouvons pas utiliser des variables qui appellent des objets abstraits comme valeurs. Dans ‘ x est un chien,’ seuls des objets concrets sont des valeurs appropriées de la variable. En revanche, la variable dans ‘ x est une espèce zoologique’ appelle des objets abstraits comme valeurs (à moins, bien sûr, que nous puissions d'une manière ou d'une autre identifier les diverses espèces zoologiques avec certains objets concrets). Tout système qui tolère des entités abstraites nous semble insatisfaisant comme philosophie finale.