Historia Aristóteles

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 bajo el punto de vista lógico.

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.

Historia[editar · editar fuente]

Aristóteles[editar · editar fuente]

Aristoteles Louvre

Aristóteles consideró que en el juicio hay cinco modos o κατηγορούμενα que fueron traducidos al latín, predicabilia, y en español predicables.2

Lo propio es lo que sin expresar la esencia de la cosa pertenece a esta cosa sola y puede reciprocicarse con ella

Aristóteles. Top. I,5,102a, 18-30

Por ejemplo, dice Aristóteles: "Si A es un hombre es capaz de aprender la gramática; si es capaz de aprender la gramática A es un hombre".

Añade Aristóteles3 las distintas formas de propiedad:

Por sí o por siempre. Por ejemplo "reír" respecto al hombre

Relativamente a otra cosa y por un tiempo: Por ejemplo, "tener un carácter suave"

Edad Media[editar · editar fuente]

Porfirio en su Isagoge elabora y desarrolla el tema de los predicables, y define la propiedad como lo que se afirma de la especie de la cual es la propiedad y de los individuos que pertenecen a la especie; y establece respecto a la propiedad cuatro posibles sentidos que se ejemplifican en su aplicación a la especie humana:

Lo que pertenece accidentalmente a una especie aun sin pertenecer a toda la especie. "Ser gramático".

Lo que pertenece accidentalmente a la especie entera sin pertenecer a ella sola. "Ser bípedo".

Lo que pertenece a una sola especie, a toda ella y solo en un momento determinado. "Volverse cano en la vejez".

Pertenecer a una sola especie, a toda ella y siempre. "Reír".4

La doctrina de Porfirio es la que prevalece en la Escolástica.

Avicena sin embargo da una nueva interpretación a los predicables, porque los considera bajo el punto de vista de un universal que se predica de los particulares o casos concretos.5 Las esencias como seres posibles, "son algo" y la existencia deviene un accidente de la esencia. "Equinitas est equinitas tantum".6 Lo que según Duns Scoto hace necesaria una haecceitas o principio de individuación como principio esencial, que no depende de la materia (materia signata quantitate) como determinaba la escolástica y el mismo Santo Tomás.7 8

De este modo se suscita la importante polémica acerca de los conceptos universales entre el realismo y el nominalismo.9

Edad Moderna[editar · editar fuente]

La crítica empirista a la noción de sustancia y el planteamiento analítico del método racionalista hizo concebir a Leibniz que las sustancias no eran más que una colección de propiedades y modos. La realidad de la sustancia estaba constituida por la relación unitaria de todos sus infinitos posibles predicados que son interpretados como atributos y modos según la lógica racionalista de Port Royal. Leibniz distinguía según dicha lógica entre propiedades (propietates sunt perpetuae) y modos (modificationes sunt transitoriae). Es posible, entonces, un análisis de los infinitos o posibles predicados de cualquier sustancia, basándose en la identidad como realidad necesaria, sujeto de todos sus predicados.10

Para Leibniz dicho análisis sólo es posible para una inteligencia infinita como es la de Dios. Leibniz, borra así la distinción real entre verdades de hecho y verdades de razón siendo las primeras una limitación propia de las condiciones del conocimiento humano.

De este modo la propiedad pasa a ser interpretada en la lógica como el conjunto de los atributos que "tiene", es decir posee como propiedad, cualquier cosa, en tanto que predicados de ella.

Las propiedades en la lógica formal[editar · editar fuente]

Mi primer intento de exponer las creencias metafísicas implícitas en mi simbolismo lógico quedó establecido en el capítulo IV de los Principios de la matemática, titulado "Nombres propios, adjetivos y verbos". Hablando en general, lo que pensaba entonces tenía que ver con los valores que podían asignarse a las variables. Las variables, para las que empleaba minúsculas latinas, iban a tener como valores posibles entidades con propiedades o relaciones. Una letra griega servía para designar una propiedad o la clase de cosas que tenían esa propiedad. Las versales latinas servían para representar las relaciones. Pensaba en aquella época que asignar un valor a una minúscula consistía en sustituir la variable por un nombre propio -por ejemplo, si sabemos que, sea x lo que fuere, si x es un hombre, x es mortal, podemos sustituir x por el nombre de "Sócrates". Del mismo modo, podemos sustituir una letra griega por una propiedad, y una versal latina por una relación. Esta sustitución de una variable por una constante es el

...