Contenido

La ontología está estrechamente asociada con la cuestión de Aristóteles sobre el "ser en cuanto ser": la cuestión de qué tienen en común todas las entidades en el sentido más amplio.[4]​[5]​ El principio eleático es una respuesta a esta cuestión: afirma que el ser está inseparablemente ligado a la causalidad, que "el poder es la marca del Ser".[4]​ Un problema con esta respuesta es que excluye los objetos abstractos. Otra respuesta explícita pero poco aceptada se puede encontrar en el eslogan de Berkeley de que "ser es ser percibido".[6]​ Íntimamente relacionado pero no idéntico a la cuestión del "ser enquanto ser" es el problema de las categorías.[4]​ Las categorías generalmente se consideran los tipos o géneros más altos.[7]​ Un sistema de categorías proporciona una clasificación de entidades que es exclusiva y exhaustiva: cada entidad pertenece exactamente a una categoría. Se han propuesto varias clasificaciones de este tipo, a menudo incluyen categorías de sustancias "Sustancia (filosofía)"), propiedades "Propiedad (lógica)"), relaciones, estados de cosas") y eventos "Acontecimiento (filosofía)").[4]​[8]​ En el núcleo de la diferenciación entre categorías se encuentran diversos conceptos y distinciones ontológicas fundamentales, por ejemplo, los conceptos de particularidad y universalidad, de abstracción y concreción, de dependencia ontológica, de identidad y de modalidad.[4]​[8]​ Estos conceptos a veces se tratan como categorías en sí mismos, se utilizan para explicar la diferencia entre categorías o desempeñan otros papeles centrales para caracterizar diferentes teorías ontológicas. Dentro de la ontología, hay una falta de consenso general sobre cómo deben definirse las diferentes categorías.[7]​ Diferentes ontólogos a menudo no están de acuerdo sobre si una categoría determinada tiene miembros o si cierta categoría es fundamental.[8]​.

Particulares y universales

Los particulares o individuos generalmente se contrastan con los universales "Universal (filosofía)").[9]​[10]​ Los universales se refieren a características que pueden ser ejemplificadas por varios particulares diferentes.[11]​ Por ejemplo, un tomate y una fresa son dos particulares que ejemplifican el universal del color rojo. Los universales pueden estar presentes en varios lugares distintos del espacio al mismo tiempo, mientras que los particulares están restringidos a un lugar en un momento dado. Además, los universales pueden estar completamente presentes en diferentes momentos, razón por la cual a veces se les denomina repetibles (repeatables) en contraste con los particulares no repetibles.[8]​ El llamado problema de los universales es el problema de explicar cómo cosas diferentes pueden coincidir en sus características, por ejemplo, cómo un tomate y una fresa pueden ambos ser rojos.[4]​[11]​ Los realistas sobre los universales creen que hay universales. Pueden resolver el problema de los universales explicando lo común a través de un universal compartido por ambas entidades.[8]​ Los realistas están divididos entre ellos sobre si los universales pueden existir independientemente de ser ejemplificados por algo ("ante res") o no ("in rebus").[12]​ Los nominalistas, en cambio, niegan que haya universales. Tienen que recurrir a otras nociones para explicar cómo una característica puede ser común a varias entidades, por ejemplo, postulando relaciones de semejanza "Semejanza (filosofía)") fundamentales entre las entidades (nominalismo de semejanza) (resemblance nominalism) o una membresía compartida a una clase natural común (nominalismo de clases) (class nominalism).[8]​.

Abstracto y concreto

Muchos filósofos están de acuerdo en que existe una distinción exclusiva y exhaustiva entre objetos concretos y objetos abstractos.[8]​ Algunos filósofos consideran que esta es la división más general del ser.[13]​ Ejemplos de objetos concretos incluyen plantas, seres humanos y planetas, mientras que cosas como números, conjuntos y proposiciones son objetos abstractos.[14]​ Pero a pesar del acuerdo general sobre los casos paradigmáticos, hay menos consenso en cuanto a cuáles son las marcas características de concreción y abstracción. Sugerencias populares incluyen definir la distinción en términos de la diferencia entre (1) existencia dentro o fuera del espacio-tiempo, (2) tener causas y efectos o no y (3) tener existencia contingente o necesaria.[15]​[16]​.

Dependencia ontológica

Una entidad depende ontológicamente de otra entidad si la primera entidad no puede existir sin la segunda entidad. Las entidades ontológicamente independientes, por otro lado, pueden existir por sí mismas.[17]​ Por ejemplo, la superficie de una manzana no puede existir sin la manzana y, por lo tanto, depende ontológicamente de ella.[18]​ Las entidades a menudo caracterizadas como ontológicamente dependientes incluyen propiedades, que dependen de sus portadores, y límites, que dependen de la entidad que demarcan de su entorno.[19]​ Como sugieren estos ejemplos, la dependencia ontológica") debe distinguirse de la dependencia causal, en la que un efecto depende para su existencia de una causa. A menudo es importante establecer una distinción entre dos tipos de dependencia ontológica: rígida y genérica.[19]​[8]​ La dependencia rígida se refiere a la dependencia de una entidad específica, como la superficie de una manzana depende de su manzana específica.[20]​ La dependencia genérica, por otro lado, implica una forma más débil de dependencia: dependencia de un cierto tipo de entidad. Por ejemplo, la electricidad depende genéricamente de que haya partículas cargadas, pero no depende de ninguna partícula cargada específica.[19]​ Las relaciones de dependencia son relevantes para la ontología, ya que a menudo se sostiene que las entidades ontológicamente dependientes tienen una forma de ser menos robusta. De esta manera se introduce una jerarquía en el mundo que trae consigo la distinción entre entidades más y menos fundamentales.[19]​.

Identidad

La identidad "Identidad (filosofía)") es un concepto ontológico básico que a menudo se expresa con la palabra "mismo".[8]​[21]​ Es importante distinguir entre identidad cualitativa#Semejanza_exacta_e_identidad "Semejanza (filosofía)") e identidad numérica. Por ejemplo, considere a dos niños con bicicletas idénticas participando en una carrera mientras su madre está mirando. Los dos niños tienen la misma bicicleta en un sentido (identidad cualitativa) y la misma madre en otro sentido (identidad numérica).[8]​ A menudo se dice que dos cosas cualitativamente idénticas son indiscernibles. Los dos sentidos de identidad están vinculados por dos principios: el principio de indiscernibilidad de los idénticos y el principio de identidad de los indiscernibles. El principio de indiscernibilidad de los idénticos es indiscutido y afirma que si dos entidades son numéricamente idénticas entre sí, entonces se parecen exactamente entre sí.[21]​ El principio de identidad de los indiscernibles, por otro lado, es más discutido al hacer la afirmación inversa de que si dos entidades se parecen exactamente entre sí, entonces deben ser numéricamente idénticas.[21]​ Esto implica que "no hay dos cosas distintas que se parezcan exactamente".[22]​ Un contraejemplo muy conocido proviene de Max Black, quien describe un universo simétrico que consta de solo dos esferas con las mismas características.[23]​ Black sostiene que las dos esferas son indiscernibles pero no idénticas, constituyendo así una violación del principio de identidad de los indiscernibles.[24]​.

El problema de la identidad a lo largo del tiempo se refiere a la cuestión de la persistencia: si, o en qué sentido, dos objetos en diferentes momentos pueden ser numéricamente idénticos. Esto suele denominarse identidad diacrónica, en contraste con la identidad sincrónica.[21]​[25]​ La afirmación de que "la mesa de la habitación contigua es idéntica a la que compraste el año pasado" afirma la identidad diacrónica entre la mesa de ahora y la mesa de entonces.[25]​ Un ejemplo famoso de la negación de la identidad diacrónica proviene de Heráclito, quien sostiene que es imposible entrar en el mismo río dos veces debido a los cambios que ocurrieron en el medio.[21]​[26]​ La posición tradicional sobre el problema de la persistencia es el endurantismo, la tesis de que la identidad diacrónica en un sentido estricto es posible. Un problema con esta posición es que parece violar el principio de indiscernibilidad de los idénticos: el objeto puede haber sufrido cambios entretanto, resultando en que es discernible de sí mismo.[8]​ El perdurantismo o cuadridimensionalismo (four-dimensionalism) es un enfoque alternativo que sostiene que la solo es posible en un sentido laxo: aunque los dos objetos difieren entre sí en sentido estricto, ambos son partes temporales que pertenecen al mismo todo temporalmente extendido.[8]​[27]​ El evita muchos problemas filosóficos que aquejan al , pero el parece estar más en contacto con la forma en que normalmente concebimos la .[25]​[26]​.

Modalidad

La modalidad se refiere a los conceptos de posibilidad, realidad y necesidad. En el discurso contemporáneo, estos conceptos suelen definirse en términos de mundos posibles.[8]​ Un mundo posible es una manera completa de cómo podrían haber sido las cosas.[28]​ El mundo real es un mundo posible entre otros: las cosas podrían haber sido diferentes de lo que realmente son. Una proposición es posiblemente verdadera si hay al menos un mundo posible en el que es verdadera; es necesariamente verdadera si es verdadera en todos los mundos posibles.[29]​ Los actualistas y los possibilistas no están de acuerdo en el estatus ontológico de los mundos posibles.[8]​ Los actualistas sostienen que la realidad es en su núcleo real y que los mundos posibles deben entenderse en términos de entidades reales, por ejemplo, como ficciones o como conjuntos de oraciones.[30]​ Los posibilistas, por otro lado, asignan a los mundos posibles el mismo estatus ontológico fundamental que al mundo real. Esta es una forma de realismo modal, que sostiene que la realidad tiene características irreductiblemente modales.[30]​ Otro tema importante en este campo se refiere a la distinción entre seres contingentes y seres necesarios.[8]​ Los seres contingentes son seres cuya existencia es posible pero no necesaria. Los seres necesarios, por otro lado, no podrían haber fallado de existir.[31]​[32]​ Se ha sugerido que esta distinción es la división más alta del ser.[8]​[33]​.

Sustancias

La categoría de sustancias ha jugado un papel central en muchas teorías ontológicas a lo largo de la historia de la filosofía.[34]​[35]​ "Sustancia" es un término técnico dentro de la filosofía que no debe confundirse con el uso más común en el sentido de sustancias químicas como el oro o el azufre. Se han dado varias definiciones, pero entre las características más comunes atribuidas a sustancias en el sentido filosófico es que son particulares que son ontológicamente independientes: son capaces de existir por sí mismos.[34]​[4]​ Al ser ontológicamente independientes, las sustancias pueden desempeñar el papel de entidades fundamentales en la jerarquía ontológica.[19]​[35]​ Si la "independencia ontológica" se define como que incluye la independencia causal, entonces solo las entidades autocausadas, como el Dios de Spinoza, pueden ser sustancias. Con una definición específicamente ontológica de "independencia", muchos objetos cotidianos, como libros o gatos, pueden considerarse sustancias.[4]​[34]​ Otra característica definitoria que a menudo se atribuye a sustancias es su capacidad de sufrir cambios. Los cambios implican algo que existe antes, durante y después del cambio. Pueden describirse en términos de una sustancia persistente que gana o pierde propiedades, o de una materia cambiando su forma.[34]​ Desde esta perspectiva, la maduración de un tomate puede describirse como un cambio en el que el tomate pierde su color verde y gana su color rojo. A veces se sostiene que una sustancia puede tener una propiedad de dos maneras: esencialmente y accidentalmente. Una sustancia puede sobrevivir a un cambio de propiedades accidentales, pero no puede perder sus propiedades esenciales, que constituyen su naturaleza.[35]​[36]​.

Propiedades y relaciones

La categoría de propiedades consiste en entidades que pueden ser ejemplificadas por otras entidades, por ejemplo, por sustancias.[37]​ Las propiedades caracterizan a sus portadores, expresan cómo es su portador.[4]​ Por ejemplo, el color rojo y la forma redonda de una manzana son propiedades de esta manzana. Se han sugerido varias maneras de concebir las propiedades en sí mismas y su relación con las sustancias.[8]​ El punto de vista tradicionalmente dominante es que las propiedades son universales que se encuentran en sus portadores.[4]​ Como universales, pueden ser compartidas por diferentes sustancias. Los nominalistas, por otro lado, niegan la existencia de universales.[11]​ Algunos nominalistas tratan de explicar las propiedades en términos de relaciones de semejanza o de membresía a una clase.[8]​ Otra alternativa para los nominalistas es conceptualizar las propiedades como particulares simples, los llamados tropos.[4]​ Esta posición implica que tanto la manzana como su color rojo son particulares. Diferentes manzanas todavía pueden parecerse exactamente entre sí con respecto a su color pero no comparten la misma propiedad particular desde este punto de vista: los dos tropos de color son numéricamente distintos.[11]​ Otra cuestión importante para cualquier teoría de propiedades es cómo concebir la relación entre un portador y sus propiedades.[8]​ Los teóricos del sustrato sostienen que hay algún tipo de sustancia, sustrato o particular desnudo (bare particular) que actúa como portador.[38]​ La teoría de los paquetes") (bundle theory) es un punto de vista alternativo que prescinde por completo de un sustrato: los objetos se consideran simplemente un paquete de propiedades.[35]​[39]​ Se mantienen unidos no por un sustrato sino por la llamada relación de compresencia (compresence relation) responsable de la agrupación. Tanto la teoría del sustrato como la teoría de los paquetes pueden combinarse con la conceptualización de propiedades como universales o como particulares.[38]​.

Una distinción importante entre las propiedades es entre propiedades categóricas y propiedades disposicionales.[4]​[40]​ Las propiedades categóricas se refieren a cómo algo es, por ejemplo, qué cualidades tiene. Las propiedades disposicionales, por otro lado, involucran qué poderes tiene algo, qué es capaz de hacer, incluso si en realidad no lo está haciendo.[4]​ Por ejemplo, la forma de un terrón de azúcar es una propiedad categórica, mientras que su tendencia a disolverse en agua es una propiedad disposicional. Para muchas propiedades hay una falta de consenso sobre cómo deben clasificarse, por ejemplo, si los colores son propiedades categóricas o disposicionales.[41]​[42]​ El categoricalismo") es la tesis de que en un nivel fundamental solo hay propiedades categóricas, que las propiedades disposicionales son inexistentes o dependen de propiedades categóricas. El disposicionalismo") es la teoría opuesta, dando primacía ontológica a las propiedades disposicionales.[41]​[40]​ Entre estos dos extremos, hay dualistas que permiten propiedades tanto categóricas como disposicionales en su ontología.[37]​.

Estados de cosas y eventos

Los estados de cosas") son entidades complejas, a diferencia de las sustancias y propiedades, que generalmente se conciben como simples.[4]​[48]​ Las entidades complejas están construidas a partir de o constituidas por otras entidades. Los estados de cosas atómicos están constituidos por un particular y una propiedad ejemplificada por este particular.[8]​[49]​ Por ejemplo, el estado de cosas de que Sócrates es sabio está constituido por el particular "Sócrates" y la propiedad "sabio". Los estados de cosas relacionales implican varios particulares y una relación que los conecta. Los estados de cosas que se dan efectivo se conocen como hechos "Hecho (filosofía)").[49]​ Es controvertido cuál estatus ontológico debe atribuirse a estados de cosas que no se dan efectivo.[8]​ Los estados de cosas han sido prominentes en la ontología del siglo , ya que se propusieron varias teorías para describir el mundo como compuesto de estados de cosas.[4]​[50]​[51]​ A menudo se sostiene que los estados de cosas desempeñan el papel de hacedores de verdad"): los juicios o afirmaciones son verdaderos porque el estado de cosas correspondiente se da efectivo.[49]​[52]​.

Los eventos "Acontecimiento (filosofía)") ocurren en el tiempo, a veces se piensa que involucran un cambio en la forma de adquirir o perder una propiedad, como que el césped se está secando.[53]​ Pero desde un punto de vista liberal, la retención de una propiedad sin ningún cambio también puede considerarse un evento, por ejemplo, el césped se mantiene húmedo.[53]​[54]​ Algunos filósofos ven los eventos como universales que pueden repetirse en diferentes momentos, pero la opinión más dominante es que los eventos son particulares y, por lo tanto, no repetibles.[54]​ Algunos eventos son complejos en el sentido de que se componen de una secuencia de eventos, lo que a menudo se denomina proceso.[55]​ Pero incluso los eventos simples pueden concebirse como entidades complejas que involucran un objeto, un tiempo y la propiedad ejemplificada por el objeto en ese momento.[56]​[57]​ La llamada filosofía del proceso u ontología de los procesos atribuye primacía ontológica a los cambios y procesos en oposición al énfasis en el ser estático en la metafísica de sustancias tradicionalmente dominante.[58]​[59]​.

Las teorías ontológicas pueden dividirse en varios tipos según sus compromisos teóricos. Teorías ontológicas particulares o tipos de teorías suelen denominarse "ontologías" (singular o plural). Este uso contrasta con el significado de "ontología" (solo singular) como una rama de la filosofía: la ciencia del ser en general.[81]​[82]​.

Plano vs policategórico vs jerárquico

Una forma de dividir las ontologías es por el número de categorías básicas que utilizan. Las ontologías monocategóricas sostienen que solo hay una categoría básica, mientras que las ontologías policategóricas implican que hay varias categorías básicas distintas.[83]​[84]​[85]​ Otra forma de dividir ontologías es a través de la noción de jerarquía ontológica. Las ontologías jerárquicas (hierarchical ontologies) afirman que algunas entidades existen en un nivel más fundamental y que otras entidades dependen de ellas. Las ontologías planas (flat ontologies), en cambio, niegan tal estatus privilegiado a cualquier entidad.[86]​[87]​ Jonathan Schaffer proporciona una visión general de estas posiciones distinguiendo entre ontologías planas (no jerárquicas), ontologías clasificadas (sorted ontologies) (policategóricas no jerárquicas) y ontologías ordenadas (ordered ontologies) (policategóricas jerárquicas).[88]​.

Las ontologías planas solo están interesadas en la diferencia entre existencia y no existencia. Son planas porque cada ontología plana puede ser representada por un conjunto simple que contiene todas las entidades a las que esta ontología se compromete. Una exposición influyente[89]​ de este enfoque proviene de Willard Van Orman Quine, razón por la cual se lo ha denominado el enfoque quineano de la meta-ontología.[88]​[90]​ Esta perspectiva no niega que las entidades existentes pueden subdividirse aún más y pueden tener varias relaciones entre sí. Estos asuntos son cuestiones para las ciencias más específicas, pero no pertenecen a la ontología en el sentido quineano.

Las ontologías policategóricas se preocupan por las categorías del ser. Cada ontología policategórica postula un número de categorías. Estas categorías son exclusivas y exhaustivas: cada entidad existente pertenece exactamente a una categoría.[88]​ Un ejemplo reciente de una ontología policategórica es la ontología de cuatro categorías de E. J. Lowe.[91]​ Las cuatro categorías son objeto, género, modo y atributo (object, kind, mode and attribute). La estructura cuádruple se basa en dos distinciones. La primera distinción es entre entidades sustanciales (objetos y géneros) y entidades no sustanciales (modos y atributos). La segunda distinción es entre entidades particulares (objetos y modos) y entidades universales (géneros y atributos). La realidad se construye a través de la interacción de entidades pertenecientes a diferentes categorías: entidades particulares instancian a entidades universales y entidades no sustanciales caracterizan a entidades sustanciales.[91]​[92]​.

Las ontologías jerárquicas están interesadas en el grado de fundamentalidad de las entidades que postulan. Su objetivo principal es descubrir qué entidades son fundamentales y cómo las entidades no fundamentales dependen de ellas. El concepto de fundamentalidad generalmente se define en términos de fundamentación metafísica (metaphysical grounding).[93]​ Las entidades fundamentales son diferentes de las entidades no fundamentales porque no están basadas en otras entidades.[88]​[94]​ Por ejemplo, a veces se sostiene que las partículas elementales son más fundamentales que los objetos macroscópicos (como sillas y mesas) que componen. Esta es una afirmación sobre la relación de fundamentación entre los objetos microscópicos y macroscópicos. El monismo prioritario de Schaffer es una forma reciente de una ontología jerárquica. Sostiene que en el nivel más fundamental solo existe una cosa: el mundo como un todo. Esta tesis no niega nuestra intuición de sentido común de que los distintos objetos que encontramos en nuestros asuntos cotidianos, como los automóviles u otras personas, existen. Solo niega que estos objetos tengan la forma más fundamental de existencia.[95]​ Un ejemplo de una ontología jerárquica en la filosofía continental proviene de Nicolai Hartmann. Afirma que la realidad se compone de cuatro niveles: lo inanimado, lo biológico, lo psicológico y lo espiritual.[96]​ Estos niveles forman una jerarquía en el sentido de que los niveles más altos dependen de los niveles más bajos, mientras que los niveles más bajos son indiferentes a los niveles más altos.[97]​.

Ontologías de cosas vs ontologías de hechos

Ontologías de cosas (thing ontologies) y ontologías de hechos (fact ontologies) son ontologías monocategoriales: ambas sostienen que todas las entidades fundamentales pertenecen a la misma categoría. No están de acuerdo sobre si esta categoría es la categoría de cosas o de hechos.[98]​[99]​[100]​ Un eslogan para las ontologías de hechos proviene de Ludwig Wittgenstein: "El mundo es la totalidad de los hechos, no de las cosas".[101]​.

Una dificultad para caracterizar esta disputa es clarificar qué son las cosas y los hechos, y cómo se diferencian entre sí. Las cosas se contrastan comúnmente con las propiedades y relaciones que instancian.[102]​ Los hechos, por otro lado, suelen caracterizarse por tener estas cosas y propiedades/relaciones como constituyentes.[103]​ Esto se refleja en una caracterización lingüística aproximada de esta diferencia, en la que los sujetos y objetos de una afirmación se refieren a cosas mientras que la afirmación en su conjunto se refiere a un hecho.[104]​.

El reísmo en la filosofía continental es una forma de ontología de cosas. Franz Brentano desarrolló una versión del reísmo en su filosofía posterior. Sostuvo que solo existen cosas particulares concretas. Las cosas pueden existir de dos formas: como cuerpos espacio-temporales o como almas temporales. Brentano era consciente del hecho de que muchas expresiones de sentido común parecen referirse a entidades que no tienen un lugar en su ontología, como propiedades u objetos intencionales. Por eso desarrolló un método para parafrasear estas expresiones con el fin de evitar estos compromisos ontológicos.[105]​.

David Malet Armstrong es un conocido defensor de la ontología de hechos. Él y sus seguidores se refieren a los hechos como estados de cosas.[103]​ Los estados de cosas son los bloques de construcción básicos de su ontología: tienen particulares y universales como sus constituyentes, pero son primarios en relación con los particulares y universales. Estados de cosas tienen una existencia ontológicamente independiente, mientras que "particulares sin propiedades y universales sin instancia son falsas abstracciones".[103]​.

Ontologías constituyentes vs teorías de blob

Las ontologías constituyentes (constituent ontologies) y las teorías de blob (blob theories), a veces denominadas ontologías relacionales, se ocupan de la estructura interna de los objetos. Las ontologías constituyentes sostienen que los objetos tienen una estructura interna compuesta por constituyentes. Esto es negado por las teorías de blobs: sostienen que los objetos son "blobs" sin estructura.[102]​[106]​[83]​[107]​.

Las teorías de los paquetes (bundle theories) son ejemplos de ontologías constituyentes. Los teóricos de los paquetes afirman que un objeto no es más que las propiedades que "tiene". Según esta teoría, una manzana normal podría caracterizarse como un paquete de color rojo, redondez, dulzura, etc. Los defensores de la teoría de los paquetes no están de acuerdo sobre la naturaleza de las propiedades empaquetadas. Algunos afirman que estas propiedades son universales, mientras que otros sostienen que son particulares, los llamados "tropos".[102]​[108]​.

El nominalismo de clase (class nominalism), por otro lado, es una forma de teoría de blob. Los nominalistas de clase sostienen que las propiedades son clases de cosas. Instanciar una propiedad es simplemente ser un miembro de la clase correspondiente. Por lo tanto, las propiedades no son constituyentes de los objetos que las tienen.[102]​[109]​.

El primero en usar la expresión «ontología» en sentido filosófico fue el filósofo alemán Jacob Lorhard en su obra Ogdoas Scholastica (1606)[110]​ seguido de Rodolfo Goclenio en su obra Lexicon philosophicum, (Léxico Filosófico, en idioma castellano), en el año 1613 con caracteres griegos.[111]​ Se afirma allí que la ontología es la filosofía del ente.

Después de diversos usos y su paso a caracteres latinos, el matemático y filósofo alemán Gottfried Leibniz usó la expresión en su libro Introductio ad Encyclopaediam arcanam (1683) y la define como «ciencia de lo que es y de la nada, del ente y del no ente, de las cosas y de sus modos, de la sustancia y del accidente».

Ya como término técnico, es hallada en la obra Ontologia sive de ente in genere de Jean Le Clerc publicada en 1692 y el filósofo alemán Christian Wolff la populariza definiéndola como «ciencia del ente en general, en cuanto que ente». Afirma que usa un método demostrativo o deductivo y analiza los predicados que corresponden al ente en cuanto ente. Todos estos sentidos contribuyeron a identificarla en la práctica con la metafísica.

Filosofía hindú

La ontología desempeña un papel en la escuela Samkhya de la filosofía hindú desde el primer milenio a. C.[112]​ La filosofía Samkhya considera que el universo consta de dos realidades independientes: puruṣa (conciencia pura, sin contenido) y prakṛti (materia). El dualismo de sustancias entre puruṣa y prakṛti es similar, pero no idéntico, al dualismo de sustancias entre mente y cuerpo que, siguiendo las obras de Descartes, ha sido central en muchas disputas de la tradición filosófica occidental.[113]​ Samkhya considera que la mente es la parte sutil de prakṛti. Se compone de tres facultades: la mente sensorial (manas), el intelecto (buddhi) y el ego (ahaṁkāra")). Estas facultades realizan diversas funciones, pero por sí mismas son incapaces de producir conciencia, que pertenece a una categoría ontológica distinta y de la cual solo puruṣa es responsable.[114]​[113]​ La escuela Yoga está de acuerdo con la filosofía Samkhya sobre el dualismo fundamental entre puruṣa y prakṛti, pero difiere de la posición atea de Samkhya al incorporar el concepto de una "deidad personal, pero esencialmente inactiva" o "dios personal" (Ishvara).[115]​[116]​[117]​[118]​ Estas dos escuelas contrastan con el Advaita Vedanta, que está comprometido con una forma estricta de monismo al sostener que la aparente pluralidad de cosas es una ilusión (Maya "Maya (ilusión)")) que oculta la verdadera unidad de la realidad en su nivel más fundamental (Brahman "Brahman (divinidad impersonal hinduista)")).[119]​[120]​.

Edad Antigua

Los discípulos de Aristóteles utilizaron el término metafísica por primera vez para referirse a lo que su maestro describió como "filosofía primera", posteriormente conocida como ontología. La ontología es la investigación del ser en tanto que es, o del ser en general, más allá de cualquier cosa en particular que es o existe. Algunos filósofos, sobre todo de la escuela de Platón, sostienen que todos los sustantivos se refieren a entidades existentes. Otros afirman que los sustantivos no siempre nombran entidades, sino que ofrecen una forma de referencia a una colección de objetos o sucesos. En este sentido, la mente, en lugar de referirse a una entidad, se refiere a una colección de sucesos mentales experimentados por una persona.

Edad Media

La ontología medieval estuvo fuertemente influenciada por las enseñanzas de Aristóteles. Los pensadores de este período a menudo se basaban en categorías aristotélicas como sustancia, acto y potencia o materia y forma para formular sus propias teorías. Entre los ontólogos importantes de esta época se encuentran Avicena, Tomás de Aquino, Duns Scotus y Guillermo de Ockham.[121]​[122]​[123]​.

Fundamental para la ontología de Tomás de Aquino es su distinción entre esencia y existencia: todas las entidades se conciben como compuestos de esencia y existencia.[124]​[125]​[126]​ La esencia de una cosa es lo que esta cosa es, significa la definición de esta cosa.[127]​ Dios tiene un estatus especial, ya que Él es la única entidad cuya esencia es idéntica a su existencia. Pero para todas las demás entidades finitas existe una distinción real entre esencia y existencia.[128]​ Esta distinción se manifiesta, por ejemplo, en nuestra capacidad de comprender la esencia de algo sin conocer su existencia.[129]​ Tomás concibe la existencia como un acto de ser que actualiza la potencia dada por la esencia. Diferentes cosas tienen diferentes esencias, que imponen diferentes límites al acto correspondiente de ser.[124]​ Los ejemplos paradigmáticos de compuestos de esencia y existencia son sustancias materiales como gatos o árboles. Tomás incorpora la distinción de Aristóteles entre materia y forma al sostener que la esencia de las cosas materiales, en oposición a la esencia de las cosas inmateriales como los ángeles, es la composición de su materia y forma.[124]​[130]​ Así, por ejemplo, la esencia de una estatua de mármol sería la composición del mármol (su materia) y la figura que tiene (su forma). La forma es universal, ya que las sustancias hechas de materia diferente pueden tener la misma forma. Las formas de una sustancia pueden dividirse en formas sustanciales y accidentales. Una sustancia puede sobrevivir a un cambio de forma accidental, pero deja de existir al cambiar la forma sustancial.[124]​.

Edad Moderna

La ontología se considera más y más como un dominio separado de la filosofía en el período moderno.[123]​[131]​ Muchas teorías ontológicas de este período eran racionalistas en el sentido de que consideraban la ontología en gran medida como una disciplina deductiva que parte de un pequeño conjunto de primeros principios o axiomas, una posición mejor ejemplificada por Baruch Spinoza y Christian Wolff. Este racionalismo en la metafísica y la ontología fue fuertemente opuesto por Immanuel Kant, quien insistió en que muchas afirmaciones a las que se llega de esta manera deben ser descartadas ya que van más allá de cualquier experiencia posible que pueda justificarlas.[132]​[133]​ Kant puede afirmar — trasladando esta noción a su propia filosofía — que la ontología es el estudio de los conceptos a priori que residen en el entendimiento y tienen su uso en la experiencia, llevando la noción hacia un sentido más inmanente.

La distinción ontológica entre mente y cuerpo de René Descartes ha sido una de las partes más influyentes de su filosofía.[134]​[133]​ En su opinión, las mentes son cosas pensantes, mientras que los cuerpos son cosas extensas. El pensamiento y la extensión son dos atributos que cada uno viene en varios modos de ser. Los modos de pensamiento incluyen juicios, dudas, voliciones, sensaciones y emociones, mientras que las formas de las cosas materiales son modos de extensión. Los modos vienen con un menor grado de[135]​ realidad, ya que dependen para su existencia de una sustancia.[136]​ Las sustancias, en cambio, pueden existir por sí mismas.[135]​ El dualismo de sustancias de Descartes afirma que toda sustancia finita es una sustancia pensante o una sustancia extensa.[137]​[138]​ Esta posición no implica que las mentes y los cuerpos realmente estén separados entre sí, lo que desafiaría la intuición de que tenemos un cuerpo y también una mente. En cambio, implica que las mentes y los cuerpos pueden, al menos en principio, estar separados, ya que son sustancias distintas y, por lo tanto, son capaces de existir de forma independiente.[134]​[139]​ Un problema de larga data para el dualismo de sustancias desde su inicio ha sido explicar cómo las mentes y los cuerpos pueden interactuar causalmente entre sí, como aparentemente lo hacen, cuando una volición hace que un brazo se mueva o cuando la luz que cae sobre la retina causa una impresión visual.[134]​.

Baruch Spinoza es bien conocido por su monismo de la sustancia: la tesis de que solo existe una sustancia.[140]​[133]​ Se refiere a esta sustancia como "Dios o la Naturaleza", enfatizando tanto su panteísmo como su naturalismo "Naturalismo (filosofía)").[141]​ Esta sustancia tiene una cantidad infinita de atributos, que él define como "aquello que el intelecto percibe de la sustancia como constituyente de su esencia".[142]​ De estos atributos, solo dos son accesibles a la mente humana: pensamiento y extensión. Los son propiedades de una sustancia que se derivan de sus atributos y, por lo tanto, solo tienen una forma de existencia dependiente.[143]​ Spinoza ve las cosas cotidianas, como rocas, gatos o nosotros mismos, como meros modos y se opone así a la concepción tradicional aristotélica y cartesiana de categorizarlas como sustancias.[144]​ Los modos componen sistemas deterministas en los que los diferentes modos están vinculados entre sí como causa y efecto.[140]​ Cada sistema determinista corresponde a un atributo: uno para cosas extensas, otro para cosas pensantes, etc. Las relaciones causales solo ocurren dentro de un sistema mientras que los diferentes sistemas funcionan en paralelo sin interactuar causalmente entre sí.[144]​ Spinoza llama al sistema de modos ("la naturaleza creada") y lo opone a ("la naturaleza creadora"), los atributos responsables de los modos.[145]​ Todo en el sistema de Spinoza es necesario: no hay entidades contingentes. Esto es así porque los atributos son necesarios en sí mismos y porque el sistema de modos se deriva de ellos.[140]​.

Siglo XX

Los enfoques dominantes de la ontología en el siglo fueron la fenomenología, el análisis lingüístico y el naturalismo. La ontología fenomenológica, ejemplificada por Edmund Husserl y Martin Heidegger, basa su método en la descripción de la experiencia. El análisis lingüístico asigna al lenguaje un papel central para la ontología, como se ve, por ejemplo, en la tesis de Rudolf Carnap de que el valor de verdad de las afirmaciones de existencia depende del marco lingüístico en el que se hacen. El naturalismo da una posición prominente a las ciencias naturales con el propósito de encontrar y evaluar las afirmaciones ontológicas. Esta posición está ejemplificada por el método ontológico de Quine, que involucra analizar los compromisos ontológicos de las teorías científicas.[133]​[123]​.

Edmund Husserl ve la ontología como una ciencia de esencias (science of essences).[123]​ Las ciencias de esencias se contrastan con las ciencias fácticas (factual sciences): las primeras son conocibles a priori y proporcionan el fundamento para las segundas, que son conocibles a posteriori.[133]​[155]​ La ontología como ciencia de esencias no se interesa por los hechos reales, sino por las esencias mismas, si tengan instancias o no.[156]​ Husserl distingue entre la ontología formal, que investiga la esencia de la objetividad en general,[157]​ y las ontologías regionales, que estudian las esencias regionales que son compartidas por todas las entidades pertenecientes a la región.[123]​[158]​ Las regiones corresponden a los géneros más altos de entidades concretas: la naturaleza material, la conciencia personal y el espíritu interpersonal.[159]​[160]​ El método de Husserl para estudiar la ontología y las ciencias de la esencia en general se llama variación eidética").[155]​ Consiste en imaginar un objeto del tipo investigado y variar sus rasgos.[161]​ El rasgo cambiado es inesencial para este tipo si el objeto puede sobrevivir a su cambio, en caso contrario pertenece a la esencia del tipo. Por ejemplo, un triángulo sigue siendo un triángulo si uno de sus lados se extiende, pero deja de ser un triángulo si se agrega un cuarto lado. La ontología regional consiste en aplicar este método a las esencias correspondientes a los géneros más altos.[162]​.

En el centro de la filosofía de Martin Heidegger está la noción de diferencia ontológica: la diferencia entre el ser como tal y los entes específicos.[163]​[164]​ Acusa a la tradición filosófica de haber olvidado esta distinción, lo que ha llevado al error de entender el como una especie de entidad última, por ejemplo como "idea, energeia, sustancia, mónada o voluntad de poder".[163]​[123]​[165]​ Heidegger trata de rectificar este error en su propia "ontología fundamental" centrándose en cambio en el sentido del ser, un proyecto que es similar a la meta-ontología contemporánea.[166]​[167]​ Un método para lograr esto es mediante el estudio del ser humano, o Dasein (Ser-ahí), en la terminología de Heidegger.[133]​ Desarrolla así una ontología originaria llamada “analítica de la existencia” que se encarga de descubrir “la constitución del ser de la existencia”. La ontología se refiere entonces a las condiciones de posibilidad de las existencias o al ser mismo en su apertura originaria.[168]​ La razón por estudiar ontologia a través del ser humano es que ya tenemos un del que moldea cómo experimentamos el mundo. La fenomenología "Fenomenología (filosofía)") puede utilizarse para hacer explícito este entendimiento implícito, pero tiene que ir acompañada de la hermenéutica para evitar las distorsiones debidas al .[163]​ En su filosofía posterior, Heidegger intentó reconstruir la "historia del ser" con el fin de mostrar cómo las diferentes épocas en la historia de la filosofía estuvieron dominadas por diferentes concepciones del .[169]​ Su objetivo es recuperar la presente en el pensamiento de los primeros pensadores griegos que fue obnubilado por los filósofos posteriores.[165]​ Heidegger critica la ontología de la tradición como "onto-teología". Además, insiste en diferenciar la metafísica de la ontología, alegando que son radicalmente distintas, pues la primera confunde ser con ente, mientras que la segunda parte precisamente del hecho de que son diferentes.

• - Wikcionario tiene definiciones y otra información sobre ontología.

• - Congreso Internacional de Ontología, ;.

• - Ontología, guía de recurso para filósofos;.

Contenido

La ontología está estrechamente asociada con la cuestión de Aristóteles sobre el "ser en cuanto ser": la cuestión de qué tienen en común todas las entidades en el sentido más amplio.[4]​[5]​ El principio eleático es una respuesta a esta cuestión: afirma que el ser está inseparablemente ligado a la causalidad, que "el poder es la marca del Ser".[4]​ Un problema con esta respuesta es que excluye los objetos abstractos. Otra respuesta explícita pero poco aceptada se puede encontrar en el eslogan de Berkeley de que "ser es ser percibido".[6]​ Íntimamente relacionado pero no idéntico a la cuestión del "ser enquanto ser" es el problema de las categorías.[4]​ Las categorías generalmente se consideran los tipos o géneros más altos.[7]​ Un sistema de categorías proporciona una clasificación de entidades que es exclusiva y exhaustiva: cada entidad pertenece exactamente a una categoría. Se han propuesto varias clasificaciones de este tipo, a menudo incluyen categorías de sustancias "Sustancia (filosofía)"), propiedades "Propiedad (lógica)"), relaciones, estados de cosas") y eventos "Acontecimiento (filosofía)").[4]​[8]​ En el núcleo de la diferenciación entre categorías se encuentran diversos conceptos y distinciones ontológicas fundamentales, por ejemplo, los conceptos de particularidad y universalidad, de abstracción y concreción, de dependencia ontológica, de identidad y de modalidad.[4]​[8]​ Estos conceptos a veces se tratan como categorías en sí mismos, se utilizan para explicar la diferencia entre categorías o desempeñan otros papeles centrales para caracterizar diferentes teorías ontológicas. Dentro de la ontología, hay una falta de consenso general sobre cómo deben definirse las diferentes categorías.[7]​ Diferentes ontólogos a menudo no están de acuerdo sobre si una categoría determinada tiene miembros o si cierta categoría es fundamental.[8]​.

Particulares y universales

Los particulares o individuos generalmente se contrastan con los universales "Universal (filosofía)").[9]​[10]​ Los universales se refieren a características que pueden ser ejemplificadas por varios particulares diferentes.[11]​ Por ejemplo, un tomate y una fresa son dos particulares que ejemplifican el universal del color rojo. Los universales pueden estar presentes en varios lugares distintos del espacio al mismo tiempo, mientras que los particulares están restringidos a un lugar en un momento dado. Además, los universales pueden estar completamente presentes en diferentes momentos, razón por la cual a veces se les denomina repetibles (repeatables) en contraste con los particulares no repetibles.[8]​ El llamado problema de los universales es el problema de explicar cómo cosas diferentes pueden coincidir en sus características, por ejemplo, cómo un tomate y una fresa pueden ambos ser rojos.[4]​[11]​ Los realistas sobre los universales creen que hay universales. Pueden resolver el problema de los universales explicando lo común a través de un universal compartido por ambas entidades.[8]​ Los realistas están divididos entre ellos sobre si los universales pueden existir independientemente de ser ejemplificados por algo ("ante res") o no ("in rebus").[12]​ Los nominalistas, en cambio, niegan que haya universales. Tienen que recurrir a otras nociones para explicar cómo una característica puede ser común a varias entidades, por ejemplo, postulando relaciones de semejanza "Semejanza (filosofía)") fundamentales entre las entidades (nominalismo de semejanza) (resemblance nominalism) o una membresía compartida a una clase natural común (nominalismo de clases) (class nominalism).[8]​.

Abstracto y concreto

Muchos filósofos están de acuerdo en que existe una distinción exclusiva y exhaustiva entre objetos concretos y objetos abstractos.[8]​ Algunos filósofos consideran que esta es la división más general del ser.[13]​ Ejemplos de objetos concretos incluyen plantas, seres humanos y planetas, mientras que cosas como números, conjuntos y proposiciones son objetos abstractos.[14]​ Pero a pesar del acuerdo general sobre los casos paradigmáticos, hay menos consenso en cuanto a cuáles son las marcas características de concreción y abstracción. Sugerencias populares incluyen definir la distinción en términos de la diferencia entre (1) existencia dentro o fuera del espacio-tiempo, (2) tener causas y efectos o no y (3) tener existencia contingente o necesaria.[15]​[16]​.

Dependencia ontológica

Una entidad depende ontológicamente de otra entidad si la primera entidad no puede existir sin la segunda entidad. Las entidades ontológicamente independientes, por otro lado, pueden existir por sí mismas.[17]​ Por ejemplo, la superficie de una manzana no puede existir sin la manzana y, por lo tanto, depende ontológicamente de ella.[18]​ Las entidades a menudo caracterizadas como ontológicamente dependientes incluyen propiedades, que dependen de sus portadores, y límites, que dependen de la entidad que demarcan de su entorno.[19]​ Como sugieren estos ejemplos, la dependencia ontológica") debe distinguirse de la dependencia causal, en la que un efecto depende para su existencia de una causa. A menudo es importante establecer una distinción entre dos tipos de dependencia ontológica: rígida y genérica.[19]​[8]​ La dependencia rígida se refiere a la dependencia de una entidad específica, como la superficie de una manzana depende de su manzana específica.[20]​ La dependencia genérica, por otro lado, implica una forma más débil de dependencia: dependencia de un cierto tipo de entidad. Por ejemplo, la electricidad depende genéricamente de que haya partículas cargadas, pero no depende de ninguna partícula cargada específica.[19]​ Las relaciones de dependencia son relevantes para la ontología, ya que a menudo se sostiene que las entidades ontológicamente dependientes tienen una forma de ser menos robusta. De esta manera se introduce una jerarquía en el mundo que trae consigo la distinción entre entidades más y menos fundamentales.[19]​.

Identidad

La identidad "Identidad (filosofía)") es un concepto ontológico básico que a menudo se expresa con la palabra "mismo".[8]​[21]​ Es importante distinguir entre identidad cualitativa#Semejanza_exacta_e_identidad "Semejanza (filosofía)") e identidad numérica. Por ejemplo, considere a dos niños con bicicletas idénticas participando en una carrera mientras su madre está mirando. Los dos niños tienen la misma bicicleta en un sentido (identidad cualitativa) y la misma madre en otro sentido (identidad numérica).[8]​ A menudo se dice que dos cosas cualitativamente idénticas son indiscernibles. Los dos sentidos de identidad están vinculados por dos principios: el principio de indiscernibilidad de los idénticos y el principio de identidad de los indiscernibles. El principio de indiscernibilidad de los idénticos es indiscutido y afirma que si dos entidades son numéricamente idénticas entre sí, entonces se parecen exactamente entre sí.[21]​ El principio de identidad de los indiscernibles, por otro lado, es más discutido al hacer la afirmación inversa de que si dos entidades se parecen exactamente entre sí, entonces deben ser numéricamente idénticas.[21]​ Esto implica que "no hay dos cosas distintas que se parezcan exactamente".[22]​ Un contraejemplo muy conocido proviene de Max Black, quien describe un universo simétrico que consta de solo dos esferas con las mismas características.[23]​ Black sostiene que las dos esferas son indiscernibles pero no idénticas, constituyendo así una violación del principio de identidad de los indiscernibles.[24]​.

El problema de la identidad a lo largo del tiempo se refiere a la cuestión de la persistencia: si, o en qué sentido, dos objetos en diferentes momentos pueden ser numéricamente idénticos. Esto suele denominarse identidad diacrónica, en contraste con la identidad sincrónica.[21]​[25]​ La afirmación de que "la mesa de la habitación contigua es idéntica a la que compraste el año pasado" afirma la identidad diacrónica entre la mesa de ahora y la mesa de entonces.[25]​ Un ejemplo famoso de la negación de la identidad diacrónica proviene de Heráclito, quien sostiene que es imposible entrar en el mismo río dos veces debido a los cambios que ocurrieron en el medio.[21]​[26]​ La posición tradicional sobre el problema de la persistencia es el endurantismo, la tesis de que la identidad diacrónica en un sentido estricto es posible. Un problema con esta posición es que parece violar el principio de indiscernibilidad de los idénticos: el objeto puede haber sufrido cambios entretanto, resultando en que es discernible de sí mismo.[8]​ El perdurantismo o cuadridimensionalismo (four-dimensionalism) es un enfoque alternativo que sostiene que la solo es posible en un sentido laxo: aunque los dos objetos difieren entre sí en sentido estricto, ambos son partes temporales que pertenecen al mismo todo temporalmente extendido.[8]​[27]​ El evita muchos problemas filosóficos que aquejan al , pero el parece estar más en contacto con la forma en que normalmente concebimos la .[25]​[26]​.

Modalidad

La modalidad se refiere a los conceptos de posibilidad, realidad y necesidad. En el discurso contemporáneo, estos conceptos suelen definirse en términos de mundos posibles.[8]​ Un mundo posible es una manera completa de cómo podrían haber sido las cosas.[28]​ El mundo real es un mundo posible entre otros: las cosas podrían haber sido diferentes de lo que realmente son. Una proposición es posiblemente verdadera si hay al menos un mundo posible en el que es verdadera; es necesariamente verdadera si es verdadera en todos los mundos posibles.[29]​ Los actualistas y los possibilistas no están de acuerdo en el estatus ontológico de los mundos posibles.[8]​ Los actualistas sostienen que la realidad es en su núcleo real y que los mundos posibles deben entenderse en términos de entidades reales, por ejemplo, como ficciones o como conjuntos de oraciones.[30]​ Los posibilistas, por otro lado, asignan a los mundos posibles el mismo estatus ontológico fundamental que al mundo real. Esta es una forma de realismo modal, que sostiene que la realidad tiene características irreductiblemente modales.[30]​ Otro tema importante en este campo se refiere a la distinción entre seres contingentes y seres necesarios.[8]​ Los seres contingentes son seres cuya existencia es posible pero no necesaria. Los seres necesarios, por otro lado, no podrían haber fallado de existir.[31]​[32]​ Se ha sugerido que esta distinción es la división más alta del ser.[8]​[33]​.

Sustancias

La categoría de sustancias ha jugado un papel central en muchas teorías ontológicas a lo largo de la historia de la filosofía.[34]​[35]​ "Sustancia" es un término técnico dentro de la filosofía que no debe confundirse con el uso más común en el sentido de sustancias químicas como el oro o el azufre. Se han dado varias definiciones, pero entre las características más comunes atribuidas a sustancias en el sentido filosófico es que son particulares que son ontológicamente independientes: son capaces de existir por sí mismos.[34]​[4]​ Al ser ontológicamente independientes, las sustancias pueden desempeñar el papel de entidades fundamentales en la jerarquía ontológica.[19]​[35]​ Si la "independencia ontológica" se define como que incluye la independencia causal, entonces solo las entidades autocausadas, como el Dios de Spinoza, pueden ser sustancias. Con una definición específicamente ontológica de "independencia", muchos objetos cotidianos, como libros o gatos, pueden considerarse sustancias.[4]​[34]​ Otra característica definitoria que a menudo se atribuye a sustancias es su capacidad de sufrir cambios. Los cambios implican algo que existe antes, durante y después del cambio. Pueden describirse en términos de una sustancia persistente que gana o pierde propiedades, o de una materia cambiando su forma.[34]​ Desde esta perspectiva, la maduración de un tomate puede describirse como un cambio en el que el tomate pierde su color verde y gana su color rojo. A veces se sostiene que una sustancia puede tener una propiedad de dos maneras: esencialmente y accidentalmente. Una sustancia puede sobrevivir a un cambio de propiedades accidentales, pero no puede perder sus propiedades esenciales, que constituyen su naturaleza.[35]​[36]​.

Propiedades y relaciones

La categoría de propiedades consiste en entidades que pueden ser ejemplificadas por otras entidades, por ejemplo, por sustancias.[37]​ Las propiedades caracterizan a sus portadores, expresan cómo es su portador.[4]​ Por ejemplo, el color rojo y la forma redonda de una manzana son propiedades de esta manzana. Se han sugerido varias maneras de concebir las propiedades en sí mismas y su relación con las sustancias.[8]​ El punto de vista tradicionalmente dominante es que las propiedades son universales que se encuentran en sus portadores.[4]​ Como universales, pueden ser compartidas por diferentes sustancias. Los nominalistas, por otro lado, niegan la existencia de universales.[11]​ Algunos nominalistas tratan de explicar las propiedades en términos de relaciones de semejanza o de membresía a una clase.[8]​ Otra alternativa para los nominalistas es conceptualizar las propiedades como particulares simples, los llamados tropos.[4]​ Esta posición implica que tanto la manzana como su color rojo son particulares. Diferentes manzanas todavía pueden parecerse exactamente entre sí con respecto a su color pero no comparten la misma propiedad particular desde este punto de vista: los dos tropos de color son numéricamente distintos.[11]​ Otra cuestión importante para cualquier teoría de propiedades es cómo concebir la relación entre un portador y sus propiedades.[8]​ Los teóricos del sustrato sostienen que hay algún tipo de sustancia, sustrato o particular desnudo (bare particular) que actúa como portador.[38]​ La teoría de los paquetes") (bundle theory) es un punto de vista alternativo que prescinde por completo de un sustrato: los objetos se consideran simplemente un paquete de propiedades.[35]​[39]​ Se mantienen unidos no por un sustrato sino por la llamada relación de compresencia (compresence relation) responsable de la agrupación. Tanto la teoría del sustrato como la teoría de los paquetes pueden combinarse con la conceptualización de propiedades como universales o como particulares.[38]​.

Una distinción importante entre las propiedades es entre propiedades categóricas y propiedades disposicionales.[4]​[40]​ Las propiedades categóricas se refieren a cómo algo es, por ejemplo, qué cualidades tiene. Las propiedades disposicionales, por otro lado, involucran qué poderes tiene algo, qué es capaz de hacer, incluso si en realidad no lo está haciendo.[4]​ Por ejemplo, la forma de un terrón de azúcar es una propiedad categórica, mientras que su tendencia a disolverse en agua es una propiedad disposicional. Para muchas propiedades hay una falta de consenso sobre cómo deben clasificarse, por ejemplo, si los colores son propiedades categóricas o disposicionales.[41]​[42]​ El categoricalismo") es la tesis de que en un nivel fundamental solo hay propiedades categóricas, que las propiedades disposicionales son inexistentes o dependen de propiedades categóricas. El disposicionalismo") es la teoría opuesta, dando primacía ontológica a las propiedades disposicionales.[41]​[40]​ Entre estos dos extremos, hay dualistas que permiten propiedades tanto categóricas como disposicionales en su ontología.[37]​.

Estados de cosas y eventos

Los estados de cosas") son entidades complejas, a diferencia de las sustancias y propiedades, que generalmente se conciben como simples.[4]​[48]​ Las entidades complejas están construidas a partir de o constituidas por otras entidades. Los estados de cosas atómicos están constituidos por un particular y una propiedad ejemplificada por este particular.[8]​[49]​ Por ejemplo, el estado de cosas de que Sócrates es sabio está constituido por el particular "Sócrates" y la propiedad "sabio". Los estados de cosas relacionales implican varios particulares y una relación que los conecta. Los estados de cosas que se dan efectivo se conocen como hechos "Hecho (filosofía)").[49]​ Es controvertido cuál estatus ontológico debe atribuirse a estados de cosas que no se dan efectivo.[8]​ Los estados de cosas han sido prominentes en la ontología del siglo , ya que se propusieron varias teorías para describir el mundo como compuesto de estados de cosas.[4]​[50]​[51]​ A menudo se sostiene que los estados de cosas desempeñan el papel de hacedores de verdad"): los juicios o afirmaciones son verdaderos porque el estado de cosas correspondiente se da efectivo.[49]​[52]​.

Los eventos "Acontecimiento (filosofía)") ocurren en el tiempo, a veces se piensa que involucran un cambio en la forma de adquirir o perder una propiedad, como que el césped se está secando.[53]​ Pero desde un punto de vista liberal, la retención de una propiedad sin ningún cambio también puede considerarse un evento, por ejemplo, el césped se mantiene húmedo.[53]​[54]​ Algunos filósofos ven los eventos como universales que pueden repetirse en diferentes momentos, pero la opinión más dominante es que los eventos son particulares y, por lo tanto, no repetibles.[54]​ Algunos eventos son complejos en el sentido de que se componen de una secuencia de eventos, lo que a menudo se denomina proceso.[55]​ Pero incluso los eventos simples pueden concebirse como entidades complejas que involucran un objeto, un tiempo y la propiedad ejemplificada por el objeto en ese momento.[56]​[57]​ La llamada filosofía del proceso u ontología de los procesos atribuye primacía ontológica a los cambios y procesos en oposición al énfasis en el ser estático en la metafísica de sustancias tradicionalmente dominante.[58]​[59]​.

Las teorías ontológicas pueden dividirse en varios tipos según sus compromisos teóricos. Teorías ontológicas particulares o tipos de teorías suelen denominarse "ontologías" (singular o plural). Este uso contrasta con el significado de "ontología" (solo singular) como una rama de la filosofía: la ciencia del ser en general.[81]​[82]​.

Plano vs policategórico vs jerárquico

Una forma de dividir las ontologías es por el número de categorías básicas que utilizan. Las ontologías monocategóricas sostienen que solo hay una categoría básica, mientras que las ontologías policategóricas implican que hay varias categorías básicas distintas.[83]​[84]​[85]​ Otra forma de dividir ontologías es a través de la noción de jerarquía ontológica. Las ontologías jerárquicas (hierarchical ontologies) afirman que algunas entidades existen en un nivel más fundamental y que otras entidades dependen de ellas. Las ontologías planas (flat ontologies), en cambio, niegan tal estatus privilegiado a cualquier entidad.[86]​[87]​ Jonathan Schaffer proporciona una visión general de estas posiciones distinguiendo entre ontologías planas (no jerárquicas), ontologías clasificadas (sorted ontologies) (policategóricas no jerárquicas) y ontologías ordenadas (ordered ontologies) (policategóricas jerárquicas).[88]​.

Las ontologías planas solo están interesadas en la diferencia entre existencia y no existencia. Son planas porque cada ontología plana puede ser representada por un conjunto simple que contiene todas las entidades a las que esta ontología se compromete. Una exposición influyente[89]​ de este enfoque proviene de Willard Van Orman Quine, razón por la cual se lo ha denominado el enfoque quineano de la meta-ontología.[88]​[90]​ Esta perspectiva no niega que las entidades existentes pueden subdividirse aún más y pueden tener varias relaciones entre sí. Estos asuntos son cuestiones para las ciencias más específicas, pero no pertenecen a la ontología en el sentido quineano.

Las ontologías policategóricas se preocupan por las categorías del ser. Cada ontología policategórica postula un número de categorías. Estas categorías son exclusivas y exhaustivas: cada entidad existente pertenece exactamente a una categoría.[88]​ Un ejemplo reciente de una ontología policategórica es la ontología de cuatro categorías de E. J. Lowe.[91]​ Las cuatro categorías son objeto, género, modo y atributo (object, kind, mode and attribute). La estructura cuádruple se basa en dos distinciones. La primera distinción es entre entidades sustanciales (objetos y géneros) y entidades no sustanciales (modos y atributos). La segunda distinción es entre entidades particulares (objetos y modos) y entidades universales (géneros y atributos). La realidad se construye a través de la interacción de entidades pertenecientes a diferentes categorías: entidades particulares instancian a entidades universales y entidades no sustanciales caracterizan a entidades sustanciales.[91]​[92]​.

Las ontologías jerárquicas están interesadas en el grado de fundamentalidad de las entidades que postulan. Su objetivo principal es descubrir qué entidades son fundamentales y cómo las entidades no fundamentales dependen de ellas. El concepto de fundamentalidad generalmente se define en términos de fundamentación metafísica (metaphysical grounding).[93]​ Las entidades fundamentales son diferentes de las entidades no fundamentales porque no están basadas en otras entidades.[88]​[94]​ Por ejemplo, a veces se sostiene que las partículas elementales son más fundamentales que los objetos macroscópicos (como sillas y mesas) que componen. Esta es una afirmación sobre la relación de fundamentación entre los objetos microscópicos y macroscópicos. El monismo prioritario de Schaffer es una forma reciente de una ontología jerárquica. Sostiene que en el nivel más fundamental solo existe una cosa: el mundo como un todo. Esta tesis no niega nuestra intuición de sentido común de que los distintos objetos que encontramos en nuestros asuntos cotidianos, como los automóviles u otras personas, existen. Solo niega que estos objetos tengan la forma más fundamental de existencia.[95]​ Un ejemplo de una ontología jerárquica en la filosofía continental proviene de Nicolai Hartmann. Afirma que la realidad se compone de cuatro niveles: lo inanimado, lo biológico, lo psicológico y lo espiritual.[96]​ Estos niveles forman una jerarquía en el sentido de que los niveles más altos dependen de los niveles más bajos, mientras que los niveles más bajos son indiferentes a los niveles más altos.[97]​.

Ontologías de cosas vs ontologías de hechos

Ontologías de cosas (thing ontologies) y ontologías de hechos (fact ontologies) son ontologías monocategoriales: ambas sostienen que todas las entidades fundamentales pertenecen a la misma categoría. No están de acuerdo sobre si esta categoría es la categoría de cosas o de hechos.[98]​[99]​[100]​ Un eslogan para las ontologías de hechos proviene de Ludwig Wittgenstein: "El mundo es la totalidad de los hechos, no de las cosas".[101]​.

Una dificultad para caracterizar esta disputa es clarificar qué son las cosas y los hechos, y cómo se diferencian entre sí. Las cosas se contrastan comúnmente con las propiedades y relaciones que instancian.[102]​ Los hechos, por otro lado, suelen caracterizarse por tener estas cosas y propiedades/relaciones como constituyentes.[103]​ Esto se refleja en una caracterización lingüística aproximada de esta diferencia, en la que los sujetos y objetos de una afirmación se refieren a cosas mientras que la afirmación en su conjunto se refiere a un hecho.[104]​.

El reísmo en la filosofía continental es una forma de ontología de cosas. Franz Brentano desarrolló una versión del reísmo en su filosofía posterior. Sostuvo que solo existen cosas particulares concretas. Las cosas pueden existir de dos formas: como cuerpos espacio-temporales o como almas temporales. Brentano era consciente del hecho de que muchas expresiones de sentido común parecen referirse a entidades que no tienen un lugar en su ontología, como propiedades u objetos intencionales. Por eso desarrolló un método para parafrasear estas expresiones con el fin de evitar estos compromisos ontológicos.[105]​.

David Malet Armstrong es un conocido defensor de la ontología de hechos. Él y sus seguidores se refieren a los hechos como estados de cosas.[103]​ Los estados de cosas son los bloques de construcción básicos de su ontología: tienen particulares y universales como sus constituyentes, pero son primarios en relación con los particulares y universales. Estados de cosas tienen una existencia ontológicamente independiente, mientras que "particulares sin propiedades y universales sin instancia son falsas abstracciones".[103]​.

Ontologías constituyentes vs teorías de blob

Las ontologías constituyentes (constituent ontologies) y las teorías de blob (blob theories), a veces denominadas ontologías relacionales, se ocupan de la estructura interna de los objetos. Las ontologías constituyentes sostienen que los objetos tienen una estructura interna compuesta por constituyentes. Esto es negado por las teorías de blobs: sostienen que los objetos son "blobs" sin estructura.[102]​[106]​[83]​[107]​.

Las teorías de los paquetes (bundle theories) son ejemplos de ontologías constituyentes. Los teóricos de los paquetes afirman que un objeto no es más que las propiedades que "tiene". Según esta teoría, una manzana normal podría caracterizarse como un paquete de color rojo, redondez, dulzura, etc. Los defensores de la teoría de los paquetes no están de acuerdo sobre la naturaleza de las propiedades empaquetadas. Algunos afirman que estas propiedades son universales, mientras que otros sostienen que son particulares, los llamados "tropos".[102]​[108]​.

El nominalismo de clase (class nominalism), por otro lado, es una forma de teoría de blob. Los nominalistas de clase sostienen que las propiedades son clases de cosas. Instanciar una propiedad es simplemente ser un miembro de la clase correspondiente. Por lo tanto, las propiedades no son constituyentes de los objetos que las tienen.[102]​[109]​.

El primero en usar la expresión «ontología» en sentido filosófico fue el filósofo alemán Jacob Lorhard en su obra Ogdoas Scholastica (1606)[110]​ seguido de Rodolfo Goclenio en su obra Lexicon philosophicum, (Léxico Filosófico, en idioma castellano), en el año 1613 con caracteres griegos.[111]​ Se afirma allí que la ontología es la filosofía del ente.

Después de diversos usos y su paso a caracteres latinos, el matemático y filósofo alemán Gottfried Leibniz usó la expresión en su libro Introductio ad Encyclopaediam arcanam (1683) y la define como «ciencia de lo que es y de la nada, del ente y del no ente, de las cosas y de sus modos, de la sustancia y del accidente».

Ya como término técnico, es hallada en la obra Ontologia sive de ente in genere de Jean Le Clerc publicada en 1692 y el filósofo alemán Christian Wolff la populariza definiéndola como «ciencia del ente en general, en cuanto que ente». Afirma que usa un método demostrativo o deductivo y analiza los predicados que corresponden al ente en cuanto ente. Todos estos sentidos contribuyeron a identificarla en la práctica con la metafísica.

Filosofía hindú

La ontología desempeña un papel en la escuela Samkhya de la filosofía hindú desde el primer milenio a. C.[112]​ La filosofía Samkhya considera que el universo consta de dos realidades independientes: puruṣa (conciencia pura, sin contenido) y prakṛti (materia). El dualismo de sustancias entre puruṣa y prakṛti es similar, pero no idéntico, al dualismo de sustancias entre mente y cuerpo que, siguiendo las obras de Descartes, ha sido central en muchas disputas de la tradición filosófica occidental.[113]​ Samkhya considera que la mente es la parte sutil de prakṛti. Se compone de tres facultades: la mente sensorial (manas), el intelecto (buddhi) y el ego (ahaṁkāra")). Estas facultades realizan diversas funciones, pero por sí mismas son incapaces de producir conciencia, que pertenece a una categoría ontológica distinta y de la cual solo puruṣa es responsable.[114]​[113]​ La escuela Yoga está de acuerdo con la filosofía Samkhya sobre el dualismo fundamental entre puruṣa y prakṛti, pero difiere de la posición atea de Samkhya al incorporar el concepto de una "deidad personal, pero esencialmente inactiva" o "dios personal" (Ishvara).[115]​[116]​[117]​[118]​ Estas dos escuelas contrastan con el Advaita Vedanta, que está comprometido con una forma estricta de monismo al sostener que la aparente pluralidad de cosas es una ilusión (Maya "Maya (ilusión)")) que oculta la verdadera unidad de la realidad en su nivel más fundamental (Brahman "Brahman (divinidad impersonal hinduista)")).[119]​[120]​.

Edad Antigua

Los discípulos de Aristóteles utilizaron el término metafísica por primera vez para referirse a lo que su maestro describió como "filosofía primera", posteriormente conocida como ontología. La ontología es la investigación del ser en tanto que es, o del ser en general, más allá de cualquier cosa en particular que es o existe. Algunos filósofos, sobre todo de la escuela de Platón, sostienen que todos los sustantivos se refieren a entidades existentes. Otros afirman que los sustantivos no siempre nombran entidades, sino que ofrecen una forma de referencia a una colección de objetos o sucesos. En este sentido, la mente, en lugar de referirse a una entidad, se refiere a una colección de sucesos mentales experimentados por una persona.

Edad Media

La ontología medieval estuvo fuertemente influenciada por las enseñanzas de Aristóteles. Los pensadores de este período a menudo se basaban en categorías aristotélicas como sustancia, acto y potencia o materia y forma para formular sus propias teorías. Entre los ontólogos importantes de esta época se encuentran Avicena, Tomás de Aquino, Duns Scotus y Guillermo de Ockham.[121]​[122]​[123]​.

Fundamental para la ontología de Tomás de Aquino es su distinción entre esencia y existencia: todas las entidades se conciben como compuestos de esencia y existencia.[124]​[125]​[126]​ La esencia de una cosa es lo que esta cosa es, significa la definición de esta cosa.[127]​ Dios tiene un estatus especial, ya que Él es la única entidad cuya esencia es idéntica a su existencia. Pero para todas las demás entidades finitas existe una distinción real entre esencia y existencia.[128]​ Esta distinción se manifiesta, por ejemplo, en nuestra capacidad de comprender la esencia de algo sin conocer su existencia.[129]​ Tomás concibe la existencia como un acto de ser que actualiza la potencia dada por la esencia. Diferentes cosas tienen diferentes esencias, que imponen diferentes límites al acto correspondiente de ser.[124]​ Los ejemplos paradigmáticos de compuestos de esencia y existencia son sustancias materiales como gatos o árboles. Tomás incorpora la distinción de Aristóteles entre materia y forma al sostener que la esencia de las cosas materiales, en oposición a la esencia de las cosas inmateriales como los ángeles, es la composición de su materia y forma.[124]​[130]​ Así, por ejemplo, la esencia de una estatua de mármol sería la composición del mármol (su materia) y la figura que tiene (su forma). La forma es universal, ya que las sustancias hechas de materia diferente pueden tener la misma forma. Las formas de una sustancia pueden dividirse en formas sustanciales y accidentales. Una sustancia puede sobrevivir a un cambio de forma accidental, pero deja de existir al cambiar la forma sustancial.[124]​.

Edad Moderna

La ontología se considera más y más como un dominio separado de la filosofía en el período moderno.[123]​[131]​ Muchas teorías ontológicas de este período eran racionalistas en el sentido de que consideraban la ontología en gran medida como una disciplina deductiva que parte de un pequeño conjunto de primeros principios o axiomas, una posición mejor ejemplificada por Baruch Spinoza y Christian Wolff. Este racionalismo en la metafísica y la ontología fue fuertemente opuesto por Immanuel Kant, quien insistió en que muchas afirmaciones a las que se llega de esta manera deben ser descartadas ya que van más allá de cualquier experiencia posible que pueda justificarlas.[132]​[133]​ Kant puede afirmar — trasladando esta noción a su propia filosofía — que la ontología es el estudio de los conceptos a priori que residen en el entendimiento y tienen su uso en la experiencia, llevando la noción hacia un sentido más inmanente.

La distinción ontológica entre mente y cuerpo de René Descartes ha sido una de las partes más influyentes de su filosofía.[134]​[133]​ En su opinión, las mentes son cosas pensantes, mientras que los cuerpos son cosas extensas. El pensamiento y la extensión son dos atributos que cada uno viene en varios modos de ser. Los modos de pensamiento incluyen juicios, dudas, voliciones, sensaciones y emociones, mientras que las formas de las cosas materiales son modos de extensión. Los modos vienen con un menor grado de[135]​ realidad, ya que dependen para su existencia de una sustancia.[136]​ Las sustancias, en cambio, pueden existir por sí mismas.[135]​ El dualismo de sustancias de Descartes afirma que toda sustancia finita es una sustancia pensante o una sustancia extensa.[137]​[138]​ Esta posición no implica que las mentes y los cuerpos realmente estén separados entre sí, lo que desafiaría la intuición de que tenemos un cuerpo y también una mente. En cambio, implica que las mentes y los cuerpos pueden, al menos en principio, estar separados, ya que son sustancias distintas y, por lo tanto, son capaces de existir de forma independiente.[134]​[139]​ Un problema de larga data para el dualismo de sustancias desde su inicio ha sido explicar cómo las mentes y los cuerpos pueden interactuar causalmente entre sí, como aparentemente lo hacen, cuando una volición hace que un brazo se mueva o cuando la luz que cae sobre la retina causa una impresión visual.[134]​.

Baruch Spinoza es bien conocido por su monismo de la sustancia: la tesis de que solo existe una sustancia.[140]​[133]​ Se refiere a esta sustancia como "Dios o la Naturaleza", enfatizando tanto su panteísmo como su naturalismo "Naturalismo (filosofía)").[141]​ Esta sustancia tiene una cantidad infinita de atributos, que él define como "aquello que el intelecto percibe de la sustancia como constituyente de su esencia".[142]​ De estos atributos, solo dos son accesibles a la mente humana: pensamiento y extensión. Los son propiedades de una sustancia que se derivan de sus atributos y, por lo tanto, solo tienen una forma de existencia dependiente.[143]​ Spinoza ve las cosas cotidianas, como rocas, gatos o nosotros mismos, como meros modos y se opone así a la concepción tradicional aristotélica y cartesiana de categorizarlas como sustancias.[144]​ Los modos componen sistemas deterministas en los que los diferentes modos están vinculados entre sí como causa y efecto.[140]​ Cada sistema determinista corresponde a un atributo: uno para cosas extensas, otro para cosas pensantes, etc. Las relaciones causales solo ocurren dentro de un sistema mientras que los diferentes sistemas funcionan en paralelo sin interactuar causalmente entre sí.[144]​ Spinoza llama al sistema de modos ("la naturaleza creada") y lo opone a ("la naturaleza creadora"), los atributos responsables de los modos.[145]​ Todo en el sistema de Spinoza es necesario: no hay entidades contingentes. Esto es así porque los atributos son necesarios en sí mismos y porque el sistema de modos se deriva de ellos.[140]​.

Siglo XX

Los enfoques dominantes de la ontología en el siglo fueron la fenomenología, el análisis lingüístico y el naturalismo. La ontología fenomenológica, ejemplificada por Edmund Husserl y Martin Heidegger, basa su método en la descripción de la experiencia. El análisis lingüístico asigna al lenguaje un papel central para la ontología, como se ve, por ejemplo, en la tesis de Rudolf Carnap de que el valor de verdad de las afirmaciones de existencia depende del marco lingüístico en el que se hacen. El naturalismo da una posición prominente a las ciencias naturales con el propósito de encontrar y evaluar las afirmaciones ontológicas. Esta posición está ejemplificada por el método ontológico de Quine, que involucra analizar los compromisos ontológicos de las teorías científicas.[133]​[123]​.

Edmund Husserl ve la ontología como una ciencia de esencias (science of essences).[123]​ Las ciencias de esencias se contrastan con las ciencias fácticas (factual sciences): las primeras son conocibles a priori y proporcionan el fundamento para las segundas, que son conocibles a posteriori.[133]​[155]​ La ontología como ciencia de esencias no se interesa por los hechos reales, sino por las esencias mismas, si tengan instancias o no.[156]​ Husserl distingue entre la ontología formal, que investiga la esencia de la objetividad en general,[157]​ y las ontologías regionales, que estudian las esencias regionales que son compartidas por todas las entidades pertenecientes a la región.[123]​[158]​ Las regiones corresponden a los géneros más altos de entidades concretas: la naturaleza material, la conciencia personal y el espíritu interpersonal.[159]​[160]​ El método de Husserl para estudiar la ontología y las ciencias de la esencia en general se llama variación eidética").[155]​ Consiste en imaginar un objeto del tipo investigado y variar sus rasgos.[161]​ El rasgo cambiado es inesencial para este tipo si el objeto puede sobrevivir a su cambio, en caso contrario pertenece a la esencia del tipo. Por ejemplo, un triángulo sigue siendo un triángulo si uno de sus lados se extiende, pero deja de ser un triángulo si se agrega un cuarto lado. La ontología regional consiste en aplicar este método a las esencias correspondientes a los géneros más altos.[162]​.

En el centro de la filosofía de Martin Heidegger está la noción de diferencia ontológica: la diferencia entre el ser como tal y los entes específicos.[163]​[164]​ Acusa a la tradición filosófica de haber olvidado esta distinción, lo que ha llevado al error de entender el como una especie de entidad última, por ejemplo como "idea, energeia, sustancia, mónada o voluntad de poder".[163]​[123]​[165]​ Heidegger trata de rectificar este error en su propia "ontología fundamental" centrándose en cambio en el sentido del ser, un proyecto que es similar a la meta-ontología contemporánea.[166]​[167]​ Un método para lograr esto es mediante el estudio del ser humano, o Dasein (Ser-ahí), en la terminología de Heidegger.[133]​ Desarrolla así una ontología originaria llamada “analítica de la existencia” que se encarga de descubrir “la constitución del ser de la existencia”. La ontología se refiere entonces a las condiciones de posibilidad de las existencias o al ser mismo en su apertura originaria.[168]​ La razón por estudiar ontologia a través del ser humano es que ya tenemos un del que moldea cómo experimentamos el mundo. La fenomenología "Fenomenología (filosofía)") puede utilizarse para hacer explícito este entendimiento implícito, pero tiene que ir acompañada de la hermenéutica para evitar las distorsiones debidas al .[163]​ En su filosofía posterior, Heidegger intentó reconstruir la "historia del ser" con el fin de mostrar cómo las diferentes épocas en la historia de la filosofía estuvieron dominadas por diferentes concepciones del .[169]​ Su objetivo es recuperar la presente en el pensamiento de los primeros pensadores griegos que fue obnubilado por los filósofos posteriores.[165]​ Heidegger critica la ontología de la tradición como "onto-teología". Además, insiste en diferenciar la metafísica de la ontología, alegando que son radicalmente distintas, pues la primera confunde ser con ente, mientras que la segunda parte precisamente del hecho de que son diferentes.

• - Wikcionario tiene definiciones y otra información sobre ontología.

• - Congreso Internacional de Ontología, ;.

• - Ontología, guía de recurso para filósofos;.