En su Investigación sobre el entendimiento humano , Hume proporciona la siguiente definición:
Todos los objetos de la razón humana o de la investigación pueden dividirse naturalmente en dos tipos, a saber, las relaciones de ideas y las cuestiones de hecho. Del primer tipo son las ciencias de Geometría, Álgebra y Aritmética; y, en suma, toda afirmación que sea intuitiva o demostrativamente cierta.
No va más allá en la explicación de este concepto (al menos hasta donde he leído), y no estoy seguro de haber entendido bien qué es una "relación de ideas". ¿Es lo mismo que el juicio analítico a priori?
Sí. Ambas características de las relaciones de ideas, analiticidad y a-prioridad, se explican en detalle en el § 30 de la Investigación , un poco después del que usted citó.
Hume asocia las relaciones de ideas con el razonamiento demostrativo :
Todos los razonamientos pueden dividirse en dos tipos, a saber, el razonamiento demostrativo, o el relativo a las relaciones de ideas, y el razonamiento moral, o el relativo a la cuestión de hecho y existencia.
Luego asocia el razonamiento demostrativo con la ley de no contradicción :
Que no hay argumentos demostrativos en el caso parece evidente; ya que no implica contradicción que el curso de la naturaleza pueda cambiar, y que un objeto, aparentemente como los que hemos experimentado, pueda estar acompañado de efectos diferentes o contrarios.
Esto implica que las relaciones de ideas son analíticas , en el sentido kantiano de la palabra. Hume luego asocia los argumentos demostrativos y la no contradicción, también con el razonamiento abstracto a priori :
Ahora bien, todo lo que es inteligible y puede concebirse distintamente no implica contradicción y nunca puede probarse que es falso mediante ningún argumento demostrativo o razonamiento abstracto a priori .
Mozibur Ullah
virmaior