Admite dos tipos de verdades: «verdades de hecho» y «relación de ideas» Toda idea ha de poder ser reducida a una impresión correspondiente.