personas, o de cualquier otra clase de cosas de las cuales no conocemos ningún ejemplo por familiaridad.
Podemos ahora pasar revista a las fuentes de nuestro conocimiento, tal como han aparecido en el curso de nuestro análisis.
Tenemos primeramente que distinguir entre el conocimiento de las cosas y el conocimiento de las verdades. En cada uno hay dos clases, una inmediata y otra derivada.
- Nuestro conocimiento inmediato de las cosas, al que hemos llamado «familiaridad», consta de dos tipos, según que las cosas conocidas sean particulares o universales.
- Entre los particulares, tenemos familiaridad con los datos de los sentidos y (probablemente) con nosotros mismos.
- Entre los universales, no parece haber ningún principio por el cual podamos decidir cuáles pueden conocerse por familiaridad, pero es evidente que entre los que pueden conocerse de este modo se cuentan las cualidades sensibles, las relaciones de espacio y tiempo, la semejanza y ciertos universales lógicos abstractos.
- Nuestro conocimiento derivado de las cosas, al que llamamos conocimiento por «descripción», implica siempre tanto la familiaridad con algo como el conocimiento de verdades.
Nuestro conocimiento inmediato de las verdades puede llamarse conocimiento «intuitivo», y las verdades así conocidas pueden llamarse verdades «evidentes por sí mismas». Entre tales verdades se incluyen aquellas que simplemente enuncian lo que es dado en los sentidos, así como ciertos principios lógicos y aritméticos abstractos y (aunque con menor certeza) algunas proposiciones éticas.
Nuestro conocimiento «derivado» de las verdades consiste en todo aquello que podemos deducir de las verdades evidentes por sí mismas mediante el uso de principios de deducción evidentes por sí mismos.