Hume dividió todo el conocimiento humano en dos categorías: relaciones de ideas y asuntos de hecho (ver también la distinción analítica-Sintética de Kant). Las propuestas matemáticas y lógicas (por ejemplo, que la plaza de la hipotenusa es igual a la suma de las plazas de las dos partes) son ejemplos de la primera, mientras que las propuestas que implican alguna observación contingente del mundo (por ejemplo, el sol se levanta en el este) son ejemplos de la segunda. Todas las ideas de la gente, a su vez, se derivan de sus impresiones. para hume, una impresión corresponde aproximadamente con lo que llamamos una sensación. Recordar o imaginar tales impresiones es tener una idea... las ideas son, pues, las débiles copias de sensaciones.
Qué tipo de conocimiento humano son las matemáticas?
relaciones de ideas