medida a resolver nuestras dificultades anteriores relativas al conocimiento a priori.
El único caso en el que podría parecer, a primera vista, que nuestra proposición no es cierta, es aquel en el que una proposición a priori afirma que toda una clase de particulares pertenece a alguna otra clase, o (lo que viene a ser lo mismo) que todos los particulares que poseen una propiedad poseen también otra.
En este caso podría parecer que estamos tratando con los particulares que tienen la propiedad en lugar de con la propiedad misma. La proposición «dos y dos son cuatro» es realmente un caso ilustrativo, ya que puede expresarse en la forma «cualesquiera dos y cualesquiera otros dos son cuatro», o «cualquier colección formada por dos doses es una colección de cuatro».
Si podemos demostrar que afirmaciones de este tipo tratan en realidad únicamente sobre universales, nuestra proposición podrá considerarse probada.
Una manera de descubrir de qué trata una proposición es preguntarnos qué palabras debemos comprender —en otras palabras, con qué objetos debemos estar familiarizados— para ver qué significa la proposición. Tan pronto como vemos lo que significa la proposición, aun cuando todavía no sepamos si es verdadera o falsa, resulta evidente que debemos estar familiarizados con aquello de lo que realmente trata la proposición. Al aplicar esta prueba, parece que muchas proposiciones que podrían parecer referirse a particulares en realidad se refieren únicamente a universales. En el caso especial de «dos y dos son cuatro», incluso cuando lo interpretamos en el sentido de «cualquier colección formada por dos dos es una colección de cuatro», es evidente que podemos comprender la proposición, es decir, podemos ver lo que afirma, tan pronto como sabemos qué significan «colección», «dos» y «cuatro». Es