En filosofía, lógica y matemática, una propiedad es un atributo o cualidad de un objeto. Por ejemplo, la sangre tiene la propiedad de ser roja. Las propiedades también se pueden considerar objetos, y pueden por lo tanto tener otras propiedades. Por ejemplo, el rojo tiene la propiedad de ser un color.
Las propiedades se expresan mediante un concepto universal,[1]​ que significan formalmente una clase desde el punto de vista lógico.
Para Mario Bunge la propiedad lógica, lo mismo que individuo, es un concepto primitivo que no admite definición y es la base de la determinación de cualquier y toda cosa; siendo por tanto equivalente a lo elemental de un sistema.[2]​ Si el sistema es conceptual entonces lo elemental no es individuo sino constructo.[3]​ 
En la lógica aristotélica, las propiedades son uno de los modos de relación que puede haber entre el sujeto y el predicado de una proposición según el juicio categórico aristotélico.