Expresión de propiedades en un lenguaje formal

Abstract

El objetivo de este trabajo es realizar una descripción sintáctica de propiedades, según son consideradas por las distintas teorías existentes en el ámbito de la metafísica de propiedades. A este efecto, utilizamos ideas pertenecientes a la teoría de tropos, tal como se presenta en [1], al nominalismo mereológico [2], y a la caracterización de propiedades que hace Lewis en [3] tomando en cuenta la relación entre propiedad y semejanza. Una vez propuestas algunas descripciones posibles de propiedades en un modelo A de un lenguaje formal L, identificamos entre si a aquellos individuos que comparten cierta propiedad P. Esto produce un nuevo universo formado por clases al cual llamamos modelo cociente. Intentamos algunas interpretaciones razonables que hacen de este nuevo universo un modelo de L, y finalmente utilizamos esta visión "cocientada" de un •conjunto para obtener caracterizaciones nuevas de propiedades.