En filosofía , una relación es un tipo de hecho que es verdadero o falso respecto de dos cosas. Por ejemplo, "ser más alto que" es una relación que es verdadera respecto de " Shaquille O'Neal y Ross Perot " y falsa respecto de "el Empire State Building y el monte Everest". Las sustancias o cosas tienen propiedades ("este punto es rojo"). Por otro lado, las relaciones se dan entre dos sustancias ("este punto es más grande que ese punto") o entre dos propiedades ("este rojo es de un tono más oscuro que ese rojo").
Existen dos tipos principales de relaciones: [1] ontológicas y epistemológicas. Las relaciones ontológicas son entidades como "padre", que es una persona considerada en su relación con un hijo. Las relaciones epistemológicas son a menudo conexiones lógicas que se dan entre dos conceptos o ideas, como la "consecuencia". El hecho de que todos los hombres sean mortales y que Sócrates sea un hombre implica que Sócrates es mortal: la relación entre la mortalidad de Sócrates y la mortalidad de todos los hombres es una relación de implicación.
La relación de ideas , en el sentido humeano , es el tipo de conocimiento que puede caracterizarse como el que surge del pensamiento conceptual puro y de las operaciones lógicas (en contraste con una cuestión de hecho). Por ejemplo, en matemáticas: 8 x 10 = 80. O en lógica: todas las islas están rodeadas de agua (por definición).
En la filosofía kantiana , una relación es equivalente al a priori analítico . A diferencia de Hume, Kant negó, en la introducción a su "Crítica de la razón pura", que las verdades matemáticas fueran analíticas. [2] Más bien, "un soltero no está casado" es verdadero por la relación de las definiciones de los conceptos de "soltero" y "soltero".
En Leibniz , las relaciones de ideas también son similares a las llamadas Verdades de la Razón, que se definen como aquellos enunciados cuyas negaciones son autocontradictorias .