En este artículo se van a explicar cuáles han sido los hitos de esta evolución histórica, desde el rechazo frontal a la metafísica en el neopositivismo lógico a su recuperación. Se van a explicar las metodologías principales que se utilizan en metafísica analítica, así como las críticas que esas metodologías han recibido. En tercer lugar, se presentarán algunas de las áreas principales en las que se ha concentrado la discusión filosófica entre quienes cultivan la disciplina.

En la ''Metafísica'', Aristóteles caracteriza al tipo de indagación que está realizando como “ciencia” o “teoría del ente en cuanto ente” (IV, 1, 1003a 21). La forma en que se hace esta indagación de qué sea el ente es considerando los diferentes sentidos en que se dice el verbo “ser”, cuyo caso focal de aplicación es la ''ousía'' o sustancia (VII, 1, 1028a 14-15). Por esto, la indagación acerca de qué sea el ente viene a ser la indagación de qué sea la ''ousía'' (VII, 1, 1028b 3-4). Diferentes categorías de entidades admiten la atribución del verbo “ser” (VII, 1, 1028a 10). Estas diferentes categorías, sin embargo, no están a la par en cuanto a su prioridad ontológica. Cualidades, cantidades y relaciones son ontológicamente dependientes de la sustancia y, por ello, ‘son’ en un sentido derivativo (VII, 1, 1028a 23-25). Las líneas centrales de este tipo de indagación no resultan muy diferentes de lo que pretende hacer un metafísico contemporáneo. Típicamente, un metafísico va a proponer categorías de entidades y, luego, va a describir y justificar relaciones de dependencia entre ellas, de manera de generar una estructura en la que se pueda discriminar lo que es ontológicamente prioritario y lo que es ontológicamente derivativo. Por supuesto, muchos metafísicos contemporáneos no admitirán que existan ‘sustancias’ –tal como las entendía Aristóteles– o no admitirán la existencia de cualidades, cantidades y relaciones como entidades numéricamente diferentes de los objetos particulares. Esos metafísicos propondrán otras categorías como prioritarias, o postularán la reducción de algunas de ellas respecto de otras. En cualquier caso, van a proponer un catastro de tipos básicos de cosas que existen y cuáles de ellas dependen de cuáles otras, o cuáles de ellas fundan cuáles otras, tal como lo ha hecho Aristóteles. Si esto es así, si el tipo de indagación que hace un metafísico contemporáneo no difiere –en lo sustantivo– de lo que se ha hecho tradicionalmente al hacer metafísica, ¿por qué razón se requiere caracterizar una disciplina como ‘metafísica analítica’ y no llamarla simplemente ‘metafísica’ a secas? La razón para ello es principalmente histórica y tiene que ver con la evolución que ha experimentado la tradición filosófica analítica el siglo pasado.

<br />

Los padres fundadores de la tradición filosófica analítica tenían en común una gran valoración de los logros de la lógica moderna y de su utilidad para la clarificación de cuestiones filosóficas, pero también tenían en común la pretensión de ofrecer una imagen global de la realidad que contrastaba con varias corrientes idealistas o psicologistas dominantes. Moore y Russell, por ejemplo, reaccionaban contra los hegelianos ingleses de fines del siglo XIX quienes, por cierto, tenían una concepción metafísica acerca de la estructura básica del mundo. Al reaccionar contra estas corrientes, sin embargo, no estaban criticando el proyecto de hacer metafísica, sino proponiendo otra diferente. Mientras los idealistas tendían a postular la dependencia de todas las entidades respecto del ‘todo’, Moore y Russell tendían a postular una ontología ‘atomista’ en la que –al contrario– las entidades ontológicamente prioritarias son independientes entre sí y es su existencia la que funda la existencia del mundo como un todo (cf. Russell 1918; Soames 2003a, 4-11, 182-193; 2014a, 133-171, 568-629). Frege, por su parte, proponía una distinción ontológica entre ‘objetos’ (''Gegenstande''), ‘funciones’ (''Funktionen'') y ‘conceptos’ (''Begriffe'') (cf. Frege 1892a, 1892b; Soames 2014a, 3-59). Un ‘concepto’ es un tipo de función que se caracteriza porque su valor es siempre un valor de verdad. Objetos y funciones son, entonces, las categorías fundamentales en la metafísica de Frege. Para efectuar esta distinción entre categorías ontológicas, sin embargo, Frege se orienta por una distinción semántica entre ‘nombres propios’ y ‘predicados’. Los predicados resultan de sustituir por variables los nombres propios que aparezcan en oraciones completas. Si se tiene la oración “Micifuz es un gato”, sustituir el nombre propio “Micifuz” por una variable libre ''x'' arroja el predicado “''x'' es un gato”. Estos constituyentes de una oración completa han de poseer un valor semántico, de manera que su estructuración genere condiciones de verdad determinadas para las oraciones que puedan ser formadas. Un ‘objeto’ es todo aquello a lo que hace referencia un nombre propio. Un ‘concepto’ es todo aquello a lo que hace referencia un predicado (cf. Frege 1892b). Un nombre propio no puede ser sustituido por un predicado, ni viceversa. Un predicado posee un carácter ‘incompleto’ o ‘insaturado’ que no posee un nombre propio. Para Frege, esta diferencia entre nombres y predicados determina una diferencia igualmente marcada entre ‘objetos’ y ‘conceptos’. De esta manera, por ejemplo, una de las razones para sostener que los números son objetos es que se hace referencia a ellos mediante nombres. Esto muestra de entrada ciertas características del enfoque ‘analítico’ de cuestiones ontológicas que fue común hasta la década del 70 del siglo pasado. Frege insiste en que para dilucidar la ontología de las matemáticas no debemos orientarnos por aquello que nos resulte evidente a nuestra percepción sensible o a nuestra intuición imaginativa. Los números no son entidades –si es que lo son– accesibles por percepción. La forma adecuada de acceder a la ontología de los números es considerar, en cambio, la ‘objetividad’ de los enunciados matemáticos (cf. Frege 1884, §§ 58-61). Si un enunciado posee un valor de verdad determinado, entonces las expresiones que conforman tal enunciado deben tener valores semánticos definidos, esto es, referencia. Si se considera una ecuación matemática como 2 + 3 = 5, parece evidente que es objetivamente verdadera. Los numerales “2”, “3” y “5”, por lo tanto, deben tener referentes. Esos referentes, para Frege, deben ser objetos.

==== ''Horror metaphysicus'' ====

A la actitud de filósofos como Quine, que da completa preeminencia a la ciencia natural, debe oponerse la de otros filósofos que tienen una actitud más ‘ecuménica’ hacia nuestro acceso ordinario al mundo. Peter Strawson es quizás el ejemplo más notorio de esta actitud (cf. Strawson 1959). La corriente de filosofía del lenguaje ordinario conduce a una valorización de los presupuestos ontológicos que hacemos normalmente. No se requiere una reforma de la perspectiva ordinaria por lo que sea que nos muestre la ciencia natural, sino simplemente comprender mejor cuál es la metafísica que sustenta tal perspectiva. Esto es lo que se ofrece en lo que Strawson denomina una “metafísica descriptiva” por oposición a una “metafísica revisionaria”. La ‘metafísica descriptiva’ pone de relieve cuáles son los esquemas conceptuales que utilizamos para pensar sobre el mundo y cuáles son sus presupuestos. No pretende reducir ese esquema a uno que se considere más ‘científico’, sino sólo mostrar cómo es que sus nociones básicas están conectadas entre sí. La comprensión adecuada de tal esquema no es un análisis reductivo, sino que es la comprensión de esa red de conexiones conceptuales mutuas. Mientras que la perspectiva naturalista representada especialmente en Quine ganó prevalencia en Estados Unidos, en Reino Unido es la perspectiva de filósofos como Strawson la que resulta dominante. Esto incide también en que los filósofos en Reino Unido tengan un mayor aprecio por una tradición filosófica más amplia en la que Aristóteles y Kant son relevantes.

En un período que se inicia aproximadamente a mediados de la década de 1960 del siglo pasado pero que tiene su cénit en la década de 1970, los supuestos centrales que habían sido asociados a la filosofía analítica son abandonados por buena parte de los filósofos que se inscriben en la tradición. En diferentes áreas de discusión los temas y problemas de filosofía del lenguaje pasan a tener un lugar secundario. Convergen en este período varias líneas de desarrollo paralelas: una nueva concepción de la modalidad metafísica, una nueva valoración del ‘realismo científico’ y de sus presupuestos, y una nueva libertad especulativa que no está constreñida por exigencias formales, sino que se vale de las construcciones formales para pensar hipótesis metafísicas de gran alcance. Filósofos decisivos para esta transformación son Saul Kripke, David Lewis y David Armstrong, entre otros. Al llegar al cambio de milenio, “metafísica” ya no es un nombre vergonzante, sino que designa una disciplina filosófica perfectamente respetable y cultivada con pasión por nuevas generaciones de filósofos.

Aparece, entonces, que lo que denominamos “metafísica analítica” ha surgido por la evolución histórica interna de una tradición filosófica que se ha iniciado con la pretensión de hacer una reconstrucción racional de las matemáticas y las ciencias naturales usando las herramientas de la ‘nueva’ lógica. Esta tradición ha supuesto que una comprensión adecuada de la estructura lógico-semántica de nuestros lenguajes permitiría ‘disolver’ las cuestiones metafísicas tradicionales. La constatación del fracaso de este programa, esto es, la constatación de que los problemas metafísicos no se pueden adjudicar como cuestiones lógico-semánticas ha conducido a una reapropiación de las cuestiones ontológicas sustantivas. Tal como se va a explicar más abajo, sin embargo, aunque se ha abandonado la suposición de que los problemas metafísicos sustantivos se pueden resolver mediante análisis lógico-semántico, sí hay una selección de problemas que está determinada, en buena medida, por la atención a las condiciones de verdad para tipos de enunciados y la atención a qué es lo que debería hacer verdaderos esos enunciados, cuando lo son.

Podemos distinguir al menos tres metodologías prominentes dentro de la metafísica analítica: (i) la metodología del compromiso ontológico, (ii) la metodología del ''Truthmaking'' y (iii) la metodología de la estructura y la fundación. La primera de ellas, como se anticipó en la sección §1.2, proviene del método del ‘compromiso ontológico’ propuesto por Willard V. O. Quine (cf. Quine 1948; 1969, 91-113). Esta metodología, huelga decir, tomó con el tiempo un camino propio, distante hasta cierto punto del lugar que ocupa dentro del proyecto empirista de Quine. No quisiéramos detenernos extensamente en explicar esta metodología dado el tratamiento ofrecido en §1.2, pero nos gustaría explicar su compresión de la ontología como el tratamiento de cuestiones de existencia. De acuerdo con la aproximación quineana a este tipo de problemas, expresiones como el verbo “existir” o “haber”, o expresiones cuantificacionales como “algo” o “alguno”, deben ser tratadas como expresiones que indican un cierto compromiso ontológico. De este modo, consideremos la siguiente proposición:

Esta precisión nos lleva, a su vez, a otro asunto aquí relevante, a saber, ¿en qué consiste exactamente esta relación de fundación a la cual ha apelado el partidario de la metodología del ''Truthmaking''? La noción de ‘fundación’ es comúnmente introducida como un tipo de relación explicativa que nos provee explicaciones metafísicas no-causales acerca del mundo. Se volverá sobre esta noción más abajo (cf. § 4). Ejemplos populares que ilustrarían el trabajo que esta noción realizaría serían capturados por enunciados como:

          Una acción es querida por los dioses porque es piadosa; o

Las relaciones de fundación se consideran relaciones modalmente necesarias y constituyen para muchos (si bien el consenso no es unánime) un orden parcial estricto por el hecho de ser irreflexivas, asimétricas y transitivas. Dicho esto, hay dos distinciones adicionales que es importante hacer aquí. La primera es que debemos distinguir entre la noción de fundación como una relación explicativa y la relación de fundación como una relación no-explicativa que respalda las explicaciones de esta naturaleza que podamos ofrecer (Bliss y Trogdon 2014). Quienes han defendido la primera comprensión de la noción de fundación articulan nuestro discurso acerca de la noción de fundación por medio de un conector sentencial que carece de condiciones de verdad extensionales. (Correia 2010, Fine 2012). Los defensores de esta comprensión de la noción de fundación permanecen neutrales respecto a la existencia de entidades, tales como hechos o proposiciones, que podrían conectarse cuando invocamos esta noción en nuestras explicaciones acerca de la estructura del mundo. Por otra parte, quienes favorecen la segunda comprensión de la noción de fundación articulan nuestro discurso acerca de esta noción por medio de un predicado relacional que la designa. Hechos, proposiciones o cosas han sido propuestos como los ''relata'' de esta relación (Schaffer 2009, Rosen 2010, Audi 2012). En el caso de Schaffer, más aun, lo que encontramos es una actitud bastante laxa respecto a la categoría de entidades que pueden figurar como ''relata'' de la relación de fundación, siendo incluso posible que entidades que pertenecen a distintas categorías ontológicas estén conectados por ésta.

Una vez precisadas estas dos cuestiones, estamos ahora en una posición tal que podemos caracterizar adecuadamente a la tercera metodología empleada dentro de la tradición de la metafísica analítica, a la cual en el inicio de esta sección hemos denominado la metodología de la estructura y la fundación. De acuerdo con esta metodología, el propósito de la metafísica debiera ser establecer con precisión qué funda o fundamenta exactamente a qué (Schaffer 2009) o, dicho de otro modo, qué entidades son fundamentales y qué entidades serían no fundamentales y por tanto dependientes de entidades fundamentales. Así, las preguntas ontológicas tal como las entiende la metodología del compromiso ontológico devienen hasta cierto punto triviales para el defensor de la metodología de la estructura y de la fundación. Si acaso entonces los números existen, si acaso existe una entidad divina tal como sostiene el teísmo clásico, si acaso existen objetos materiales ordinarios como árboles o sillas, son todas preguntas que podemos eventualmente responder afirmativamente sin mayor disquisición. Lo relevante será determinar cuáles de estas entidades existen fundamentalmente y sin fundarse en la existencia de otras entidades, y cuáles existen en virtud de las relaciones de dependencia que tienen con entidades fundamentales. Se volverá a insistir sobre estos puntos más abajo (cf. § 4).

En esta sección se hará una presentación sucinta de algunas áreas de discusión que han llegado a ser centrales en la metafísica analítica contemporánea. Se podrá apreciar en la consideración de estas áreas más acotadas cómo es que ha producido la evolución explicada –en términos generales– en el § 1, así como se podrán apreciar en acción las maniobras metodológicas discutidas en el § 2.

El llamado ‘problema de los universales’ es la cuestión acerca de cómo pueden diferentes objetos llegar a ser –en algún sentido– algo unificado. Se lo ha llamado, por esto, como el problema de ‘lo uno en lo múltiple’. Si dos objetos particulares son cubos perfectos, entonces parece haber algo que esos objetos comparten. Esto es, que dos objetos sean cubos perfectos parece implicar que hay una entidad de cierto tipo, a saber, ''ser un cubo perfecto''. Desde Platón se ha pensado que esto es una razón para postular características o propiedades numéricamente diferentes de los objetos que las instancien y que –por su naturaleza– pueden encontrarse ejemplificadas en diferentes objetos particulares. Una entidad de este tipo es lo que ha sido denominado tradicionalmente un ‘universal’. Durante todo el siglo pasado se siguió discutiendo acerca de los universales, pero con diferentes énfasis. El enfoque de partida fue, como es de esperar, el del compromiso ontológico. Señala D. F. Pears:

¿Existen los universales? Esta pregunta fue debatida por tanto tiempo y con vehemencia, porque se la consideró equivocadamente como una cuestión fáctica acerca de un dominio etéreo de ser. ¿Pero por qué se cometió este error? Un diagnóstico es que los términos generales fueron asimilados tácitamente a nombres propios, y que, una vez que esta práctica es denunciada, se vuelve inocua, pero ya no hay razón para mantenerla. (Pears, 1951, 44).