Idea común a todas las opciones de la filosofía analítica: Los problemas filosóficos son problemas lingüísticos; problemas cuya solución exige enmendar, volver a esculpir nuestro lenguaje o, cuando menos, hacernos una idea más cabal de sus mecanismos y de su uso. Aceptar esto es aceptar que la filosofía se convierte en (o ser reduce a) análisis del lenguaje.
Ahora bien, el análisis del lenguaje no es exclusivo de los filósofos analíticos. Los filósofos han estado siempre interesados por investigar distintas especies de sistemas de conceptos. Desde los tiempos de Sócrates se ha supuesto que el análisis conceptual (o el análisis lingüístico) no sólo arroja luz sobre el modo como los seres humanos han ido describiendo la realidad, sino también sobre el mundo mismo y sus categorías, sobre las cosas que lo pueblan y sus propiedades. El Análisis clásico pregunta, entonces, cómo están organizados nuestros conceptos: de qué otros conceptos están formados y de qué manera estos componentes suyos se articulan entre sí.
Lo que la Filosofía Analítica añade a la empresa clásica del análisis del sistema conceptual es la doctrina de que los problemas filosóficos pueden solventarse a través de su disección, ya que derivan de una interpretación errónea de nuestro lenguaje o de la utilización de un sistema lingüístico inadecuado.
Quizá la única propiedad común que se puede señalar a esta orientación analítica tan amplia es la de asignar al lenguaje un papel fundamental en el planteamiento y resolución de los problemas filosóficos. En efecto, el lenguaje es, en buena parte de la filosofía de este siglo, el ámbito en que es relevante repensar los tradicionales problemas filosóficos, desde los epistemológicos a los ontológicos, desde los psicológicos a los morales y políticos.
En este sentido, afirma Manuel García-Carpintero que la filosofía analítica se distingue por mantener la tesis metodológicade
La prioridad filosófica del estudio del lenguaje, y de los conceptos tal y como se expresan en el lenguaje, sobre el estudio de los pensamientos. La filosofía, en esta concepción, es una actividad intelectual teórica, coincidente con la lexicografía en particular y la semántica de los lenguajes naturales en general en sus métodos y en su objetivo: la investigación del significado de las expresiones lingüísticas. La diferencia con estas disciplinas es doble. En primer lugar, el ámbito de la filosofía es más restringido: a la actividad filosófica interesa sólo el estudio de los significados de ciertas expresiones, a propósito de las cuales la tradición filosófica viene planteando (desde los presocráticos) genuinos problemas teóricos: términos tales como ‘saber’, y ‘opinión’; ‘objetivo’ y ‘subjetivo’; ‘causa’’; ‘realidad’ y ‘apariencia’; ‘mente’ y ‘cuerpo’, etc. De este modo, la filosofía sería, si acaso, una parte propia de la lexicografía o la semántica. Pero no cabe en rigor hablar de inclusión, como consecuencia de la segunda diferencia; pues las explicaciones que la filosofía pretende ofrecer al elucidar los significados de palabras como las mencionadas (o, como diremos alternativamente, al elucidar los conceptos expresados por estas palabras) no son meramente descriptivas(como ocurre en el caso de la semántica), sino críticas, regulativas. La actividad filosófica se arroga a sí misma la capacidad de corregir el uso que hacemos comúnmente de expresiones como las anteriores (Las palabras, las ideas y las cosas, pp. xvii-xviii)
Se puede, sin embargo, hacer una distinción general en la función o en la orientación del análisis del lenguaje como forma de resolución de problemas filosóficos. En este sentido, cabe distinguir entre dos grandes tendencias a las que se puede denominar como análisis clásico y críticos del análisis clásico, subdividiéndose éstos a su vez en constructivistas y deconstructivistas.
Dentro del análisis clásico, Fue Frege el primero en practicar esta forma de filosofía. En su Conceptografíaescribe que “es tarea de la filosofía romper la tiranía de las palabras sobre el pensamiento, trayendo a la luz las confusiones que son casi inevitables en el uso del lenguaje”.
Dummett afirma que para Frege, como para todos los filósofos analíticos posteriores, la filosofía del lenguaje es el fundamento del resto de la filosofía porque la única ruta para analizar el pensamiento va a través del análisis del lenguaje:
Sólo con Frege quedó finalmente establecido el objeto propio de la filosofía: a saber, primero, que la meta de la filosofía es el análisis de la estructura del pensamiento; segundo, que el estudio del pensamiento debe distinguirse tajantemente del estudio del proceso psicológico de pensar; y, finalmente, que el único método apropiado para analizar el pensamiento consiste en el análisis del lenguaje… la aceptación de estos tres principios es común a la escuela analítica entera (Dummett, M. “Can Analiytic Philopsophy be Systematic, and Ought it to Be?”,Hegel-Studien 17, 305-26; reimp. en Dummett, M., Truth and Other Enigmas, Duckworth, Londres, 1978, pp. 437-58, p. 458).
En Moore el objeto del análisis aparece bajo la forma de propiedades o universales unas veces, de conceptos otras y designificados las restantes. A su modo de ver, no había gran diferencia entre las tres cosas, pues pensaba que un concepto es el significado de una expresión y asimilaba conceptos a propiedades. Pero consideraba que el análisis no era del lenguaje sino de algo objetivo significado por las expresiones. Para Moore había una importante diferencia entre conocer el significado de una expresión, esto es, conocer su definición verbal y su uso, y conocer el análisis de su significado. Se puede conocer lo primero sin conocer lo segundo. Analizar el concepto por el que está una expresión es algo así como inspeccionar un objeto mental, distinguiendo sus partes componentes y su combinación y especificando cómo se relaciona con, y se distingue de, otros conceptos. Ahora bien, la práctica del análisis, en cuanto distinta de su teoría, llevaba a Moore hacia el análisis del lenguaje. El resultado del análisis era o bien la revelación de que un cierto concepto es simple o inanalizable o bien una combinación de conceptos equivalente al analysandum.
Russell también adoptó la concepción mooreana del análisis como descomposición de conceptos o de estructuras conceptuales en sus constituyentes simples, pero di a sus análisis un carácter más lógico y un propósito más reductivo. La lógica se convierte en la herramienta principal del análisis y éste está presidido por “la máxima suprema de todo filosofar científico”: siempre que sea posible, entidades inferidas han de sustituirse por construcciones lógicas. Aunque Russell presenta el análisis lógico como el resultado de la “filosofía científica”, lo consideraba sólo un instrumento para descubrir la forma lógica de la realidad, dado el supuesto en que en un lenguaje lógicamente perfecto las formas lógicas de las expresiones serían isomórficas con las formas lógicas de la realidad.
Wittgenstein, por su parte, consideraba que el lenguaje ordinario está en orden tal como está. Su sintaxis lógica es isomórfica con la estructura lógica de la realidad. El análisis debe desvelar las formas lógicas que están ocultas bajo el revestimiento del lenguaje. La filosofía pone límites al pensamiento poniendo límites al lenguaje –determinando los límites del sentido–. Consiste en el análisis lógico de las proposiciones, entendiendo por tales las oraciones con sentido. La tarea de la filosofía es la clarificación lógica de los pensamientos por medio de la clarificación de las proposiciones. El filósofo demuestra la ilegitimidad de la metafísica clarificando los modos en que el metafísico intenta decir algo que transgrede los límites del sentido. Mientras que Russell afirma la continuidad entre ciencia y filosofía y entiende el análisis lógico como el “método científico” en filosofía, Wittgenstein traza una tajante distinción entre ambas empresas. Para él la filosofía no es una disciplina al lado de las ciencias. Si la meta de las ciencias es hallar verdades, expresables en proposiciones, la tarea de la filosofía es clarificar esas proposiciones. Los resultados de la filosofía no son “proposiciones filosóficas” sino clarificaciones de proposiciones no filosóficas.
Esta concepción influyó en el Círculo de Viena. Para Schlick, mientras que la ciencia se ocupa de la verdad, la filosofía se ocupa del significado, elucida las proposiciones que la ciencia verifica. No es un “sistema de cogniciones”, sino un sistema de actos: la actividad a través de la cual se determina el significado de las proposiciones. Los positivistas lógicos compartían con el primer Wittgenstein y con Russell la idea de que el análisis lógico es el método de la filosofía. Veían dos usos en ese método. Su uso negativo consistía en eliminar pseudo-proposiciones metafísicas; para ello apelaban al principio de verificación, de acuerdo con el cual toda proposición significativa debería ser o bien una proposición analítica, o bien una proposición verificable mediante la observación empírica. Toda proposición que no satisfacía este criterio era considerada un sinsentido.
Las filosofías de Moore y Russell, el Tractatus de Wittgenstein y el positivismo lógico son variedades de lo que se ha denominado el análisis clásico. Este tipo de análisis se concibe como una especie de traducción.Ciertas proposiciones que contenían conceptos problemáticos, o conceptos no básicos, o ciertas proposiciones cuya forma gramatical patente resultase desorientadora en cuanto a su verdadera forma lógica latente, eran objeto de análisis. Y el análisis consistía en sustituirlas por otras proposiciones equivalentes que contuvieran conceptos menos problemáticos, o conceptos más básicos, o por otras proposiciones cuya forma lógica evidenciara la verdadera estructura de los hechos que representan. El análisis se entendía como descomposición, como el desmenuzamiento de un concepto o de una proposición en sus componentes elementales y la exhibición de la relación mutua que guardan esos componentes.
La meta del análisis clásico era reformular una proposición, el analysandum, por medio de otra, elanalisans, de manera que al término del proceso encontrásemos una proposición que cumpliese al menos dos requisitos. En primer lugar, ser sinónima o equivalente en algún sentido a la proposición original; de lo contrario, el análisis sería inadecuado. En segundo lugar, ser explicativa del significado de la proposición original; de lo contrario, el análisis no sería iluminador. Y sería explicativa de su significado bien por que lo desmenuzara en sus elementos lógicos últimos o porque expusiera patentemente su verdadera forma lógica subyacente. La mayoría de los analistas clásicos dieron por sentado que la nueva lógica de los Principia Mathematica de Whitehead y Russell suministraba el armazón o esqueleto formal del análisis y que el contenido de este armazón vendría dado por los datos sensoriales en los que se descompondría últimamente nuestra experiencia. Russell y otros acomodaron la teoría de los datos sensoriales, según la cual lo que nos es dado inmediatamente en la experiencia no son objetos físicos sino siempre datos de los sentidos fugaces, privados y ciertos, en una teoría fenomenista de la percepción. Las teorías representativas de la percepción suponen que la conexión entre la experiencia sensorial y los objetos del mundo externo es contingente, causal. Los contenidos de la experiencia nos proporcionan una evidencia inductiva de la existencia de objetos externos. Percibir un objeto material es tener un dato sensorial que es causado por el objeto en cuestión, de manera que la consciencia perceptiva es una inferencia desde el efecto a la causa. Así las creencias acerca de objetos físicos son equiparables a las hipótesis científicas. Pero los críticos de este tipo de teorías han señalado una desemejanza crucial entre hipótesis científicas y creencias sobre objetos. Pues una inferencia causal sólo es legítima si es en principio posible obtener a favor de la existencia de la causa una evidencia que sea independiente de los hechos para cuya explicación se postula. Pero en este caso no hay ningún control independiente que nos permita examinar los objetos físicos para ver si son representados fidedignamente o no por los datos sensoriales. Como consecuencia, los críticos de la teoría representativa se han visto llevados a afirmar una conexión necesaria entre experiencia sensorial y objetos: hablar de objetos es hablar de modo abreviado de ciertas regularidades o pautas que presenta nuestra experiencia. En expresión de Russell, los objetos físico no son sino “construcciones lógicas” a partir de datos sensoriales. La máxima suprema de la filosofía científica nos exige substituir las entidades inferidas, los objetos físicos, por construcciones lógicas a partir de los datos sensoriales. Reformulado lingüísticamente, el programa fenomenista consistía en reemplazar el lenguaje de objetos físicos por el lenguaje fenomenista.
Los críticos del análisis clásico concebía, por su parte, la filosofía como la clarificación lógica de las proposiciones. Ahora bien, esta labor de clarificación podía llevarse a cabo siguiendo dos caminos que se vieron como excluyentes: o bien el camino de la construcción lingüística o el camino de la descripción lingüística. Estas dos corrientes equivalen a lo que más arriba hemos denominado constructivismo y deconstructivismo.
Dentro de los críticos del análisis clásico, las tendencias constructivistas se caracterizan por el empleo de los recursos técnicos de la lógica moderna tanto en el planteamiento como en la resolución de problemas filosóficos. Las deconstructivistas se identificarían mediante la utilización de técnicas lingüísticasetológicas, esto es, por el análisis de los tradicionales problemas filosóficos en el hábitat natural en que se plantean, esto es, en el uso del lenguaje natural.
El supuesto que guía las actitudes constructivistas es básicamente el mismo que compartieron Frege, Russell y el primer Wittgenstein, que la construcción (y contemplación) de un mecanismo lingüístico ideal impide plantear ciertos problemas filosóficos, o los resuelve. Lo cual a su vez implica que la actitud constructivista considera que los problemas filosóficos se plantean irremediablemente en el lenguaje común, en el cual no pueden encontrar salida. En cambio, de acuerdo con la actitud deconstructivista, ocurren dos cosas que hacen inútil la estrategia del constructivista:
1. Las reconstrucciones ideales no son “artefactos” en la comunicación cotidiana, por lo que la resolución filosófica se ve desplazada a un reino lulliano. El deconstructivista ha considerado una desventaja (un error) esta remisión a una solución externa de los problemas filosóficos, al margen de los problemas internos de la reconstrucción lógica en cuestión: dudas sobre la sinonimia, insuficiencias de las equivalencias lógicas como elucidaciones conceptuales, etc.
2. Las reconstrucciones ideales no son unívocas: terminan reflejando las opciones filosóficas de sus autores, por lo que los problemas filosóficos que se habían arrojado por la puerta vuelven a entrar por la ventana. Ello se debe a que la relación con los conceptos del habla común es tan laxa (de hecho, ni se requiere el análisis previo de tales conceptos) y los criterios de adecuación tan problemáticos que se pueden ofrecer diferentes reconstrucciones de esos mismos términos o conceptos naturales. Por su parte, la actitud deconstruccionista parte de la necesidad de encontrar una resolución filosófica en el ámbito de la comunicación mediante el lenguaje común, no mediante la utilización de recursos técnicos, sino mediante una profundización en la comprensión del lenguaje común y de la comunicación humana, básicamente en el mismo sentido de lo propuesto por el segundo Wittgenstein. Los problemas filosóficos son ineliminables en la medida en que surgen naturalmente del lenguaje común, y éste es insustituible a los efectos, no solamente de la comunicación no cognitiva, sino también en los procesos de fijación y transmisión del conocimiento, científico o no científico.
Un supuesto compartido hasta cierto punto por las diferentes actitudes hasta los años 70 era que los problemas filosóficos tienen que ver con el mal uso del lenguaje por parte del filósofo. Lo que no compartían era el tratamiento a prescribir. La razón estaba en que unos ponían el énfasis en el propio lenguaje: el lenguaje natural es irremediablemente vago, impreciso, enmascarador de su auténtica forma, etc., y los otros, en cambio, insistían en la maldad del usuario: los problemas tienen que ver con el uso ilegítimo del lenguaje natural, con su utilización fuera de los contextos pertinentes, con la violación de reglas o convenciones sociales de empleo, etc.
Pero esta diferencia de énfasis resultó fundamental en el siguiente sentido: el constructivista se imponía una tarea de traza normativa, aunque no siempre la concibiera así. Proponía un nuevo uso lingüístico que se debe adoptar si se quieren evitar o solucionar los problemas filosóficos. Por ello, poco tiene que reprochar al filósofo tradicional que adopta un nuevo uso lingüístico para plantear problemas filosóficos. En definitiva, en lo que difieren es en su valoración de esos problemas: para el constructivista son cuestiones que hay que resolver, para el filósofo especulativo son asuntos que es interesante plantear. Las quejas del filósofo analítico están justificadas en la medida en que se da mala fe, esto es, cuando el especulativo trata de hacer pasar como descriptiva de los conceptos de la lengua natural la propuesta o estipulación de nuevos sentidos o contextos de uso para tales conceptos. Pero en la medida en que su actividad es lúcida y transparente, sus propuestas pueden ser tan legítimas como las del que ofrece una particular reconstrucción lógica de una familia de expresiones de la lengua oral.
En cambio, la orientación deconstructivista es voluntaria, metodológicamente descriptiva. Al insistir en la responsabilidad del usuario y no del lenguaje, el descriptivista no se ha sentido impelido a proponer normativamente ninguna construcción artificial carente de problemas. Su tarea ha tenido que ver con la descripción cuidadosa y veraz de los diferentes usos socialmente sancionados, esto es, considerados como legítimos en una comunidad de comunicación. Su posición y la orientación de sus argumentaciones, frente al filósofo de corte tradicional, son muy diferentes a las del constructivista. Su esfuerzo ha sido doble: por una parte, mostrar que el uso filosófico es un uso lingüístico desviado, esto es, carente de apoyos en las convenciones o reglas comunicativas. Y por otra demostrar que, como tal uso desviado, es ilegítimo, esto es, ajeno o extraño a las convenciones que rigen su comunidad comunicativa.
1. Los antecedentes: Frege
1.1 El proyecto de Frege
La Conceptografía presentaba una teoría de la inferencia deductiva apta para la argumentación en cualquier rama de la investigación científica y, muy especialmente, la matemática. También Frege pretendía realizar un servicio a la filosofía. Era su intención construir un instrumento que permitiera al filósofo detectar las trampas que el uso del lenguaje inevitablemente tiende al pensamiento.
Como matemático, la principal preocupación de la trayectoria intelectual de Frege fue la de dotar a la aritmética de unos sólidos fundamentos, tanto en el orden conceptual como en el orden demostrativo. En su opinión, los conceptos sobre los que se erige el edificio de la aritmética necesitaban de definiciones exactas, desprovistas de aditamentos innecesarios o equívocos. Las teorías mismas debían ser explícitamente formuladas para que su naturaleza y su estructura quedasen bien de manifiesto. Asimismo, todos y cada uno de los recursos empleados en la demostración de teoremas deberían investigarse, de modo que cada paso de ese proceso pudiera controlarse y simplificarse al máximo.
Al final, pretendía Frege, tanto los conceptos fundamentales de la aritmética, como los mecanismos necesarios para la demostración de sus verdades, descansarían sobre principios puramente lógicos. Este programa se conoce como programa logicista.
Frege propuso desarrollar el programa logicista en tres etapas, a la primera de las cuales corresponde la Conceptografía. (En la segunda etapa, cuyo trabajo se plasma en Los fundamentos de la aritmética, Frege definió la noción de número natural a partir de las nociones lógicas de concepto y propiedad. En la tercera, a la que pertenecen las Leyes básicas de la aritmética, intentó la reducción efectiva de las verdades aritméticas a verdades lógicas). En su primera obra, Frege presenta un simbolismo especial en dos dimensiones concebido para poder expresar en él cualquier contenido científico. A este simbolismo le dio le nombre de conceptografía. Su conceptografía es un medio en el que poder expresar los contenidos y el cálculo de la demostración de teoremas.
Frege ideó ese instrumento para poder representar e investigar eso que aparece en sus escritos bajo la denominación de el pensamiento puro. Para hacerse una idea de qué es esto, es necesario distinguir en todo aserto o enunciado dos componentes:
· el acto lingüístico, o el acto mental de asentimiento, y
· el contenido de tal acto.
En su simbolismo, cada uno de estos componentes viene representado por un trazo. El trazo del juicio o de la afirmación es vertical; el trazo del contenido es horizontal y conecta el trazo vertical con la representación del contenido.
El pensamiento puro (o pensamiento sin más) forma parte del contenido del acto de afirmación, enunciación o aserción, y no siempre puede identificarse con él. Esta identificación no es siempre posible porque en la expresión lingüística, además de haber los medios para la transmisión de pensamientos, se encuentran elementos con los cuales
se pretende actuar sobre los sentimientos, el estado de ánimo del oyente o estimular su imaginación. (El pensamiento, en Investigaciones lógicas, Madrid, Tecnos, 1984, p. 54)
Estos efectos o rasgos psicológicos, si bien son parte del contenido de la aserción, no pertenecen al ámbito de lo lógico. Constituye eltono del acto verbal. Podemos decir, pues, que el pensamiento es esa parte del contenido diferente del tono.
Hay otra forma más directa de indicar cual es el ámbito del pensamiento. Es el ámbito de lo verdadero y de lo falso. Sólo de los pensamientos puede decirse que son o verdaderos o falsos. Es más, sólo de los pensamientos valen las leyes o principios lógicos, pues únicamente ellos entran en el mundo de las relaciones lógicas. Es exclusiva de los pensamientos el ser contradictorios los unos con los otros, o el ser unos consecuencias lógicas de otros. Lo psicológico, por su parte, es el ámbito de lo que se juzga verdadero, de lo que se cree, de lo que se piensa, de lo que se toma por verdadero. Lógica y psicología son, consiguientemente, ciencias del todo independientes.
Los cálculos que la conceptografía permite simbolizar adoptan el ropaje de cadenas de expresiones cuyo rasgo más característico es su bidimensionalidad. En cada una de estas cadenas o sucesiones, todo elemento salvo el primero, o los dos primeros, se obtienen de uno o más de los que le preceden por la aplicación de una regla de inferencia. Una deducción o una inferencia deductiva se representa como una sucesión de expresiones del simbolismo (fórmulas) cuyos elementos o bien se obtienen de expresiones precedentes o bien son axiomas lógicos o axiomas de la teoría en cuestión.
¿Qué razón hay para no utilizar nuestra propia lengua, con el añadido de los conceptos y definiciones necesarias para el estudio del tema que nos ocupe, en vez de tal lenguaje de fórmulas? ¿No es, aprender tal simbolismo, una nueva dificultad que sumar a la que de por sí suponga el objeto de investigación? La contestación de Frege compara la relación que hay entre una lengua natural y su conceptografía con la que existe entre el ojo humano y el microscopio.
El ojo humano tiene un campo de aplicación incomparablemente mayor que el del microscopio. Mientras que con el ojo pueden verse muy diversas cosas en cuanto a tamaño y color, el microscopio sirve a unos fines muy específicos dentro de márgenes estrechos. Así, en lo referente a su adaptabilidad a situaciones muy diferentes, el microscopio es muy inferior al ojo. Sin embargo, debe decirse a cambio, en aquello para lo que el microscopio ha sido concebido, allí donde las exigencias científicas llevan la voz cantante, el ojo es un instrumento insuficiente, incapaz de proporcionar las observaciones precisas que se requieren.
Pues bien, algo análogo puede decirse de una lengua natural y de la conceptografía. Para la expresión de nuestros sentimientos y de nuestras opiniones en la práctica totalidad de nuestra vida cotidiana, la conceptografía sería algo más que un obstáculo engorroso. Sin embargo, cuando importa la formulación y el control estricto de inferencias válidas, la conceptografía es incomparablemente más sutil, exacta y adecuada que nuestro lenguaje.
1.2 Nuevos vinos para los viejos odres de la lógica
Entre las innovaciones de la Conceptografía está el abandono de las antiguas categorías lógicas de sujeto y predicadopor las nuevas de argumento y función.
En la conceptografía fregeana a cada expresión significativa le corresponde un elemento de la realidad; es decir, cada expresión significativa es nombre de, designa o refiere a una cierta entidad del universo. (Incluso las oraciones declarativas son, para Frege, nombres de algo. Ese algo son los valores de verdad: todas las oraciones declarativas o asertóricas verdaderas son nombres de un objeto llamado lo verdadero; las falsas son nombres de lo falso). De esto se sigue que todas las expresiones o son expresiones de objeto o son expresiones de función.
En un inventario del universo, un filósofo á la Fregesólo mencionaría objetos y funciones. Son objetos los números, las personas y otras entidades físicas como las gotas de agua y los granos de arena; lo son también las regiones geográficas y las ciudades y un largo etc. Entre las funciones, las aritméticas o las lógicas.
Una expresión de concepto es una expresión no-saturada a partir de la cual se forman oraciones declarativas. Y pasando del plano lingüístico al plano óntico (es decir, al plano de las cosas), podemos decir que los conceptos son aquellas funciones que tienen como valores lo verdadero o lo falso.
Los conceptos son una especie tan solo dentro del género de las funciones.
Entre las expresiones funcionales, las hay que tienen un destacado protagonismo lógico. Ese es el caso de expresiones como no, y, si, entonces, o, etc. A estas y a otras expresiones se las denomina constantes lógicas. Las constantes lógicas se caracterizan por la circunstancia de que, cuando una inferencia deductiva es lógicamente válida –y su conclusión se sigue de sus premisas–, su validez descansa en el significado de las constantes lógicas que en ellas se den. Las constantes lógicas mencionadas –pues esto no se aplica a todas– son nombres de funciones. De funciones de verdad, para ser más exactos.
1.3 La liberación de la mente del poder de la palabra
Frege pretende que con su lenguaje de fórmulaspodemos obviar algunos problemas, característicamente filosóficos, que surgen de un uso del lenguaje poco sensible para con sus sutilezas lógicas.
Si es una tarea de la filosofía quebrar el dominio de la palabra sobre la mente humana al descubrir los engaños que sobre las relaciones de los conceptos surgen casi inevitablemente en el uso del lenguaje, al liberar al pensamiento de aquéllos con que plaga la naturaleza de los medios lingüísticos de expresión, entonces mi conceptografía, más desarrollada para estos propósitos, podría ser un instrumento útil a los filósofos. (Conceptografía, México, UNAM, 1972, p. 10)
Es esta utilidad de la conceptografía la que autoriza a considerar a Frege el mentor de la Filosofía Analítica. Frege consideró que una gran parte de la labor filosófica venía a ser una lucha contra el lenguaje.
Dos de los éxitos en esta tarea de Frege fueron los siguientes:
1) Un apartado central del pensamiento de Frege es su crítica de la lógica tradicional. El principal reproche que le hace Frege a ésta es el de que confunde lo lógico con lo psicológico. Más en concreto, que emplea conceptos, como los de sujeto y predicado, que son conceptos psicológicos, disfrazados de otra cosa; pertenecen a la esfera del modo en que los hablantes de una lengua entienden las oraciones y proferencias que leen o que oyen, y no conceptos relevantes para la verdad o la falsedad de unas y otras. Así, el llamado sujeto de una oración indica de qué habla ésta, es decir, cuál es su tema. El predicado, por su parte, expresa lo que se dice o cuenta del tema. Entender una oración supone, entonces, identificar el tema y lo que se predica de él. La teoría tradicional es, por tanto, una teoría acerca de qué identificamos en las oraciones y proferencias cuando las entendemos cabalmente.
Esta mezcla de lo lógico con lo psicológico tiene, en ciertos casos, efectos fatales. Según la perspectiva lógica fregeana, a la vista de la oración
(1) César conquistó las Galias
habría que decir que su tema es César y que se dice de él que conquistó las Galias; y a la vista de
(2) Todos los españoles son europeos
habría que decir que su tema son los españoles, y que de ellos se dice que son europeos. Hasta el momento, por tanto, el modo de analizar ambas oraciones es el mismo. Sin embargo, ese análisis no distingue entre propiedad y característica. Lo primero, en la perspectiva de Frege, es lo que se tiene en (1). De lo segundo es de lo que se trata en (2). Esa confusión conduce a un problema insoluble.
En efecto, neguemos ahora ambas oraciones. Puesto que –ésta es la hipótesis que Frege combate– ambas atribuyen una propiedad a algo (o se dice algo de un tema), su negación debería expresar la ausencia de posesión de tal propiedad por parte de ese algo (o bien que se diga lo contrario del mismo tema). Es decir, la negación de (1) tendría que ser (1’), y la negación de (2) tendría que ser (2’):
(1’) César no conquistó las Galias
(2’) Los españoles no son europeos (= ningún español es europeo)
Sin embargo, aunque (1’) es la negación de (1), (2’) noes la negación de (2). Una oración y su negación deben expresar pensamientos contradictorios (es decir, que no pueden ser ambos verdaderos), pero (2) y (2’) no se encuentran en ese caso. La negación buscada de (2) es (2”):
(2”) No todos los españoles son europeos
Como la premisa que nos ha llevado a esa errónea conclusión es que (2) consta de una expresión de objeto (en función de sujeto) y una expresión de concepto (en función gramatical de predicado), esa premisa debe considerarse fundamentalmente errónea.
2) El segundo éxito tiene que ver con la cuestión del argumento ontológico de la existencia de Dios. Con el argumento ontológico se trata de demostrar la existencia de Dios partiendo de premisas que establecen que Dios posee todas las propiedades que supongan alguna perfección. San Anselmo parecía pensar que la existencia es una de esas propiedades, de modo que infería de una y otra cosa que Dios existe. Desde antiguo, se ha objetado al argumento ontológico que la existencia no es una propiedad y que, por tanto, en una oración declarativa como Dios existe, la expresión existeno puede considerarse un predicado.
Trasplantada al sistema conceptual de Frege, la objeción al argumento ontológico se expresa diciendo que, en la oración Dios existe,existe no es una expresión de concepto; y que al decir que Dios existe no estamos afirmando que el objeto Dios cae bajo el concepto de existencia. Si no es así, ¿cuál es el estatuto ontológico de una expresión como existe?
La tesis de Frege de que la existencia no es un predicado deriva de la siguiente reflexión en torno a oraciones como La Tierra tiene un satélite o como Frege escribió en vida tres libros. ¿Qué hacemos al afirmar la primera oración? Predicamos algo de un concepto, pues afirmamos que bajo el concepto satélite de la Tierra cae un objeto (que es la Luna). ¿Y qué afirmamos al proferir la segunda oración? Afirmamos que bajo el concepto libro publicado en vida por Frege caen tres objetos.
Un análisis análogo vale de asertos como el de que existen números primos mayores que 100. La oración
(3) Existen números primos mayores que 100
expresa el pensamiento de que bajo el concepto número primo mayor que 100 cae más de un objeto. Así, pues, los juicios de existencia expresan propiedades de conceptos, y no de individuos. Por ello, cuando decimos de algo que existe no se está atribuyendo propiedad ninguna de ese algo, sino que se está predicando algo de un concepto. Siendo esto así, el defecto del argumento ontológico –o mejor: uno de sus defectos– es que recurre a una premisa en la que se confunden propiedades de conceptos con propiedades de individuos, al malinterpretar los enunciados de existencia.
2. Russell: sobre las descripciones definidas y el problema de los nombres
Mientras que los intereses más primordiales de Frege eran de índole lógica, los de Russell eran, además, metafísicos. Así, Frege podía examinar el argumento ontológico y decir: ¿Lo veis? Se malinterpreta un enunciado de existencia al decir que en él se predica algo de un objeto cuando, de hecho, se dice que algo cae bajo un concepto. Y si el precio que hubiese que pagar por la claridad lógica fuese alto, Frege no dudaría en pagarlo. La actitud de Russell es bien distinta. La claridad lógica era importante para él, pero no lo era menos el que la descripción del mundo que pudiese resultar de esa claridad fuese razonable. En su opinión, el pensamiento de Frege no armonizaba ambos desideratum.
Un aspecto bien conocido de la obra de Frege es el de su distinción entre el sentido y la referencia de un signo. Esta distinción subraya la existencia en toda expresión de dos dimensiones de su significado. En primer lugar, los signos son nombres de, están en lugar de, representan a, o designan objetos. La relación en la que entra un signo con aquello que designa o representa hace a éste la referencia de aquel. Ahora bien, un signo no tiene o deja de tener referencia sin más, sino siempre de algún modo. La expresión designativa el autor del Quijote refiere a Cervantes en tanto que autor de una obra literaria; y el autor de las Novelas ejemplares tiene la misma referencia, aunque la presente de un modo distinto, a saber, como autor de otra obra. En una situación así, Frege diría que estas dos expresiones tienen la misma referencia, aunque un sentido diferente. El sentido es, así pues, el modo en que un signo presenta su referencia.
Aunque esta dimensión está presente en todo signo, un caso especialmente interesante lo proporcionan las oraciones asertóricas. Estas expresan, por sí solas, un pensamiento y refieren, por sí solas también, un valor de verdad. Pensamiento expresado y valor de verdad son, respectivamente, el sentido usual y la referencia usual de tales expresiones.
Estos principios generales tienen excepciones. Es más, estas expresiones ponen en serio aprieto la validez de algunas reglas de inferencia lógica. Una de esas reglas nos dice que si una oración es verdadera y cambiamos una de sus expresiones componentes por otra con su misma referencia, la nueva oración resultante seguirá siendo verdadera. Este principio lógico se enfrenta a oraciones complejas en las que una oración subordinada se encuentra subordinada por expresiones de actitud psicológica, tales como cree que, me parece que, se teme que, etc. En ejemplos como estos, la doctrina de Frege del sentido y la referencia parece verse entre la espada y la pared. Sea la oración c):
c) Copérnico creía que las órbitas planetarias eran circulares
en la cual tenemos la oración subordinada
d) Las órbitas planetarias son circulares.
La oración c) es verdadera, pues Copérnico creía efectivamente lo que en ella se afirma. Por tanto, c) refiere a lo verdadero. Por otro lado, d) refiere a lo falso. También refiere a lo falso la siguiente oración:
e) 7 + 5 = 13
Así, por el principio anterior, si cambiamos en c) la oración d) por la oración e), el resultado tendrá que ser una oración verdadera. Pero f) no es verdadera (pues Copérnico sabía sumar):
f) Copérnico creía que 7 + 5 = 13.
¿Qué falla aquí? Según Frege, el valor de verdad de c) no depende de cómo sean las órbitas planetarias, sino de qué creía efectivamente Copérnico; es decir, no de la referencia de d), sino de su sentido. Por ello, si reemplazamos en c) la oración d) por otra que exprese el mismo pensamiento que esta, la nueva oración tendrá que ser verdadera. En efecto, c) es verdadera y g) también lo es:
g) Copérnico creía que las trayectorias descritas por los planetas (al girar alrededor del Sol) eran circulares
Puesto que el valor de verdad se conserva, y puesto que, en el ejemplo desarrollado, el valor de verdad se mantiene al sustituir una oración por otra que exprese su mismo pensamiento, Frege concluyó que las oraciones subordinadas precedidas por cláusulas como cree que y otras tienen como referencia el pensamiento que expresarían por sí solas. A esta referencia Frege la denominó indirecta. La referencia usual de una oración declarativa (o asertórica) es su valor de verdad, pero su referencia indirectaes el pensamiento que por sí sola expresaría.
Ahora bien, esta conclusión iba más allá de lo que Russell estaba dispuesto a admitir. Las referencias de las expresiones son lo que hay en realidad, y admitir que las expresiones pueden tener referencia indirectas implica aceptar que, junto a personas, ríos, libros o bares donde se vende alcohol a menores, hay entidades como el pensamiento de que las órbitas planetarias son circulares o como el de que 7 + 5 = 13. La revuelta de Russell contra Frege es, por tanto, una revuelta contra la idea de realidad:
Suponer que haya en el mundo real de la naturaleza todo un conjunto de proposiciones falsas dando vueltas de un lado para otro resulta monstruoso para mi mentalidad. No puedo ni siquiera ponerme a suponerlo. No puedo creer que se den ahí, en el mismo sentido en que se dan los hechos. (Russell, B., “La filosofía del atomismo lógico”, en Muguerza, J. (comp.), La concepción analítica de la filosofía, Madrid, Alianza, 1974, p. 188)
Por realidad entiende Russell:
Todo aquello que habría de ser mencionado en una completa descripción del mundo.
En esa descripción habría que mencionar, sin duda, las creencias falsas, pero no incluir, pongamos por caso, los pensamientos fregeanos. Hace falta disfrutar de un instinto de realidad bien afinado para no dar entrada a entidades puramente fantásticas; y si el análisis del lenguaje las introdujera, ese análisis sería reprobable. Para evitar ese tipo de errores Russell construye su teoría de las descripciones.
2.1 La teoría de las descripciones
Según Russell,
Una teoría lógica debe ser puesta a prueba por su capacidad para enfrentarse con rompecabezas, y ejercitar a nuestra mente en el más amplio repertorio posible de rompecabezas constituye, por lo que hace a la lógica, un procedimiento sumamente recomendable, puesto que aquéllos desempeñan, en gran medida, idéntica función que los experimentos en física (Russell, B., “On denoting”, Mind 14, 479-93, reimp. en Russell, B., Lógica y conocimiento, Madrid, Tecnos, 1981, p. 62)
Russell enumera cuatro rompecabezas que una teoría de la denotación debe ser capaz de resolver; estos cuatro rompecabezas son:
1. El rompecabezas de Frege: ¿Cómo es posible que un enunciado de identidad de la forma “Clarín es Leopoldo Alas” sea más informativo que “Clarín es Clarín”?
2. El rompecabezas de los enunciados existenciales singulares: según Meinong, cuando decimos de la montaña de oro que no existe, en el enunciado “La montaña de oro no existe”, estamos afirmando la no existencia de un determinado objeto, a saber, la montaña de oro. Pero, ¿cómo podríamos afirmar algo de la montaña de oro si ésta no existiese? Por tanto, parece que la montaña de oro ha de existir, o al menos subsistir, según expresión de Meinong. ¿Es aceptable esto?
3. El rompecabezas de los términos singulares no denotativos: ¿cómo puede ser significativa una oración que contenga un nombre vacuo? Si el significado de un nombre es su portador, los nombres no denotativos carecerán de significado. Pero si carecen de significado, las oraciones en las que aparecen carecerán también de él. Esto es consecuencia del principio de composicionalidad, según el cual el significado de una expresión compleja es función de los significados de sus componentes y de su ordenación. Ahora bien, encontramos oraciones con nombres no referenciales que no sólo son significativas sino incluso verdaderas, como (2) anterior. Russell advierto que las oraciones que contienen términos singulares no referenciales parecen violar la Ley de Tercio Excluso. Consideremos (3) “El actual rey de Francia es calvo”. Parece que (3) no puede considerarse verdadera, en cuyo caso deberíamos poder decir que (4) “El actual rey de Francia no es calvo” es verdadera. Sin embargo, si hacemos una lista con todos los individuos calvos y otra con todos los no calvos, no encontraremos en ninguna de ellas al actual rey de Francia.
4. El rompecabezas de los contextos oblicuos: sea la oración (5) “Jorge IV quiso saber si Scott era el autor de Waverley”. De acuerdo con el principio leibniziano de Sustitutividad de los Idénticos, deberíamos poder sustituir en (5) ‘el autor de Waverley’ por ‘Scott’, dado que el enunciado de identidad (6) “Scott es el autor de Waverley” es verdadero. Pero esta sustitución arrojaría el enunciado falso (7) “Jorge IV quería saber si Scott era Scott”.
Según Russell, la teoría de las descripciones es capaz de resolver satisfactoriamente estos cuatro rompecabezas. De acuerdo con su teoría, las palabras son símbolos significativos en virtud de lo que simbolizan. Su significado es aquello que simbolizan. En Los principios de la matemáticausa la palabra “término” para todo aquello por lo que está, o indica, una palabra y distingue dos tipos de términos: cosas y conceptos–que más tarde llamará particulares y universales–. Así toda palabra indica un término y los términos son parte de la realidad. Todo término tieneser. Esto lleva a una ontología barroca, pues entre los términos se incluyen algunas cosas que no existen.
Para salvar esta ontología barroca introduce, en “Sobre el denotar”, la noción de “expresión denotativa” mediante los siguientes ejemplos: “un hombre, algún hombre, cualquier hombre, todo hombre, …”. Russell afirma que una expresión es denotativa exclusivamente en virtud de su forma. La cuestión de si una expresión constituye una descripción definida depende únicamente de su forma, no de si hay un individuo determinado que responda a esa descripción. Admite, pues, expresiones denotativas que no denotan nada –descripciones impropias–.
Además de las descripciones impropias, distingue otros dos tipos de descripciones: las que denotan un objeto determinado (expresiones de la forma “el tal-y-tal”, que llamará descripciones definidas) y las que denotan un objeto indeterminado (expresiones de la forma “un tal-y-tal”, llamadas descripciones indefinidas).
Cuando en un enunciado como:
(8) Encontré un hombre
aparece una descripción indefinida, Russell afirma que en el enunciado no “interviene” ningún nombre. A este respecto contrasta (8) con
(9) Encontré a Pérez
(8) y (9) tienen distinta forma lógica; (9) nombra una persona real, Pérez; en cambio (8) involucra sólo una función proposicional, la función
(10) Encontré a x y x es humano.
Lo que dice (8) realmente es que esa función es verdadera para al menos un individuo x. Así en (8) interviene un concepto. Según Russell, la carencia del aparato de las funciones proposicionales llevó a Meinong a postular la existencia de objetos irreales, tales como la montaña de oro (nuestro rompecabezas 2).
En tales teorías me parece que hay una carencia de ese sentido de la realidad que debe preservarse incluso en los estudios más abstractos. (Russell, B., “La filosofía del atomismo lógico” en Russell, Lógica y conocimiento, p. 148-9)
Obedeciendo a su “robusto sentido de la realidad”, Russell insiste en que en el análisis de la proposición no debe admitirse nada irreal. Para ello niega significación al grupo de símbolos “un unicornio” en la frase “Encontré un unicornio”. Tanto la oración completa, como la palabra “unicornio” son significativas, pero la descripción indefinida “un unicornio” no forma un grupo significativo por separado. De lo contrario, nos veríamos abocados a afirmar que debe haber algo que signifique. La teoría de Russell podría resumirse diciendo que las expresiones denotativas no denotan nada, sino que tienen significado sólo en el contexto; esto es, que son expresiones sincategoremáticas. En términos formales, sea un enunciado de la forma (11) Un tal-y-tal tiene esta-y-aquella propiedad. La tesis de Russell es que (11) no es de la forma sujeto-predicado ‘Fa’, sino de la forma
(12) $x (Gx & Fx),
donde ‘Gx’ representa la propiedad tal-y-tal y ‘Fx’ la propiedad ‘ésta-y-aquélla’.
Ahora podemos ver como una oración como “Una montaña de oro no existe” (rompecabezas dos) puede ser significativa y verdadera, sin comprometernos con la existencia o el ser de esa entidad fantástica. Esa oración es equivalente a “No hay nada que sea una montaña y sea de oro”, donde la expresión “una montaña de oro” no es un componente.
2.1.1 Las descripciones definidas como símbolos incompletos. Descripciones vs. Nombres
Russell define un nombre como
Un símbolo simple que designa directamente un individuo que es su significado y que tiene ese significado por derecho propio, independientemente de los significados de todas las demás palabras (Introducción a la filosofía de la matemática, Barcelona, Paidós, 1988, p. 152).
Por el contrario, las descripciones no tienen un significado por sí mismas, aunque contribuyen al significado de las oraciones en las que aparecen. La idea básica es que las descripciones no son auténticas expresiones singulares, no están por un objeto que es su significado, como sucede con los nombres. Así Russell pretende mantener a la vez una teoría referencial del significado y evitar la jungla meinongiana de los objetos irreales.
Russell ofrece una prueba de que las descripciones son símbolos incompletos. La prueba tiene dos partes. Primero, muestra que las descripciones definidas impropias como ‘el círculo cuadrado’ son símbolos incompletos. Una descripción como ésta no está por un objeto porque no hay un objeto así. Sea el enunciado ‘El círculo cuadrado no existe’. Ese enunciado es verdadero, pero no podemos concebirlo como la negación de la existencia de un cierto objeto determinado ‘el círculo cuadrado’. Si hubiese tal objeto, existiría. No podemos asumir que hay un objeto denotado por esa descripción y luego negar que lo haya. Pero, dado que el enunciado en cuestión es significativo y verdadero, la descripción que contiene no puede denotar el objeto descrito.
La segunda parte de la prueba trata de mostrar que todaslas descripciones definidas son símbolos incompletos, o lo que es lo mismo, que no son nombres. Para demostrar esto Russell da cinco argumentos:
(a) El argumento basado en la distinción simple/complejo: un nombre es un símbolo simple. Una descripción es un símbolo complejo: consta de partes que son símbolos. Así ‘el autor de Waverley’ consta de cuatro palabras cuyos significados ya están prefijados y determina a su vez el significado de la descripción. En cambio un nombre como ‘Scott’ es un símbolo simple cuyo significado no queda ya determinado al determinar el significado de las restantes palabras del lenguaje. Para entender el significado de ‘el autor de Waverley’ basta entender la lengua española; para entender el significado de ‘Scott’ hay que saber a quién se aplica.
(b) El argumento basado en la paradoja de la identidad: tomemos el enunciado
(1) Scott es el autor de Waverley.
Si en (1) intentamos sustituir la descripción por un nombre cualquier, ‘c’, obtenemos
(2) Scott es c.
Ahora bien, sólo hay dos posibilidades: que ‘c’ sea el nombre de alguien distinto de Scott, en cuyo caso (2) es falso, o que ‘c’ sea un nombre de Scott, en cuyo caso (2) se convertiría en una tautología. Pero (1) no es ni falso ni tautológico. Por tanto, ‘el autor de Waverley’ no significa nada; no es un nombre.
(c) El argumento basado en las descripciones impropias: según Russell, no hay nombres vacuos, pero hay descripciones vacuas. La función semántica de un nombre requiere que tenga un portador, pero la función de una descripción deja abierta la cuestión de si tiene o no tiene denotación. Pues podemos entender una descripción sin saber si tiene denotación o sin saber cuál es su denotación, pero no podemos entender un nombre sin saber cuál es su referente. La alternativa al punto de vista de que hay descripciones impropias es la posición que le atribuye a Meinong: distinguir entre ser y existencia de modo que podamos decir que algunas cosas que no existen sin embargo tienen ser o subsisten. Pero Russell objeta que esta posición infringe la Ley de Contradicción, porque comporta, por ejemplo, que el círculo cuadrado es cuadrado y también no cuadrado.
(d) El argumento basado en la noción de alcance: Russell afirma que las descripciones son sensibles a las distinciones de alcance, mientras que los nombres no lo son. En los Principia Mathematicase entiende por alcance de una expresión que no sea un paréntesis la fórmula más breve en la que ocurre. Diferencias relativas de alcance pueden conllevar diferencias de significado. Por ejemplo, ‘¬$x Fx’ y ‘$x ¬Fx’ significan cosas distintas debido a los alcances relativos diferentes del negador y del cuantificador existencial. En la primera el alcance del negador es toda la fórmula y el alcance del cuantificador es ‘$x Fx’. En la segunda sucede al revés: el negador cae dentro del alcance del cuantificador.
Sea el enunciado ‘El actual rey de Francia no es calvo’. Un enunciado así contiene una ambigüedad de alcance. O lo que es lo mismo, la descripción ‘el actual rey de Francia’ es sensible al alcance del negador. Decimos que una expresión es sensible al alcance cuando hay una expresión ambigua en la que aparece que puede desambiguarse en términos de los diferentes alcances de esa expresión en relación a otras expresiones. Según Russell, el enunciado ‘El actual rey de Francia no es calvo’ puede significar que no existe un individuo que sea actualmente rey de Francia y sea calvo, en cuyo caso tiene la forma
(1) ¬$x (Fx & “y (Fy ®y = x) & Gx).
(1) no entraña ‘El actual rey de Francia existe’. Aquí la negación tiene alcance largo y la descripción aparece en una intervención secundaria en el enunciado más amplio que empieza por el negador. Pero el enunciado en cuestión puede leerse también como afirmando que el individuo que es actualmente rey de Francia no es calvo, en cuyo caso tiene la forma
(2) $x (Fx & “y (Fy ® y = x) & ¬Gx).
(2) sí que entraña ‘El actual rey de Francia existe’. En este caso la negación tiene alcance corto y la descripción tiene intervención primaria.
Por el contrario, Russell afirma que los nombres propios son insensibles al alcance. Así, en ‘Scott no es humano’, no hay posibilidad de doble negación como la que existe en el caso de una expresión descriptiva.
(e) El argumento basado en los existenciales singulares: según Russell, no tiene sentido un enunciado existencial cuyo sujeto sea un nombre propio, pero sí podemos hacer enunciados existenciales rellenando con una descripción en blanco en ‘–– existe’ o en ‘–– no existe’.
2.1.2 Análisis de las descripciones definidas
La teoría de las descripciones definidas ofrece definiciones contextuales de las descripciones de la forma ‘el tal-y-tal’. Una descripción definida puede aparecer en un contexto existencial. Sea el enunciado ‘El autor de Waverley existe’. Según Russell este enunciado entraña, y es entrañado, por el siguiente par
- Al menos una persona escribió Waverley.
- A lo sumo una persona escribió Waverley.
(1) establece el requisito de existencia de por lo menos un individuo que satisfaga la propiedad en cuestión; (2) establece el requisito de unicidad –debe tratarse a lo sumo de un individuo que satisfaga la propiedad en cuestión–. Conjuntamente (1) y (2) exigen que una y sólo una persona escribiera Waverley.
En general, cualquier enunciado de la forma ‘El xtal que Fx existe’ entraña, y es entrañado por, el par
- $x Fx.
2. “x “y (Fx & Fy ® y = x).
La conjunción de (3) y (4) puede reescribirse en la forma
(5) $x (Fx & “y (Fy ® y = x),
que puede tomarse como definiens canónico de ‘El xtal que Fx existe’. A su vez, el enunciado ‘El x tal que Fx no existe’ es analizado como
(6) ¬$x (Fx & “y (Fy ® y = x).
Una descripción definida puede aparecer también en un contexto no predicativo. Sea ‘El autor de Waverley era un poeta’. Según Russell, este enunciado es equivalente a la conjunción de tres enunciados, los enunciados (1) y (2) más el enunciado
(7) Quienquiera que escribiese Waverley era un poeta.
(7) establece un requisito adicional: la subsunciónde quienquiera que satisfaga la primera propiedad en la clase de los individuos que satisfacen la segunda propiedad. Conjuntamente, (1), (2) y (7) exigen que un único individuo escribiera Waverley y que ese individuo fuera un poeta.
En general, cualquier enunciado de la forma ‘El xtal que Fx tiene la propiedad G’ entraña, y es entrañado por, el trío formado por (3), (4) y (8)
(8) “x (Fx ®Gx).
La conjunción de (3), (4) y (8) puede reescribirse como
(9) $x (Fx & “y (Fy ® y = x) & Gx),
que podemos tomar como definiens canónico de ‘El x tal que Fx tiene la propiedad G’.
2.1.3 Significación lógica y ontológica del análisis de Russell
El análisis de Russell tiene el efecto de asimilar las descripciones definidas a las expresiones cuantificacionales y de sacarlas de la clase de los términos singulares o expresiones referenciales singulares. Las expresiones de la forma ‘un F’ y ‘el F’ son cuantificadores. La primera contiene el cuantificador existencial. La segunda contiene lo que podríamos llamar el cuantificador singular ‘el x tal que Fx’. De modo que Fx es G’ dice que todo F es G y hay exactamente un F.
Ontológicamente, la teoría de las descripciones tuvo un efecto liberador. Al tratar las descripciones como símbolos incompletos, Russell ya no necesita asumir que designan entidades que deben incluirse en el “mobiliario de la realidad”.
La teoría de las descripciones también contribuyó a advertir sobre la posibilidad de que la forma gramatical superficial de una oración pueda ser desorientadora en cuanto a su forma lógica profunda. Si comparamos la forma lógica de ‘El autor de Waverley era un poeta’ [$x (Fx & “y (Fy ®y = x) & Gx)], con la que tiene la oración ‘Scott era un poeta’ (Ga), vemos que hay una enorme diferencia. Mientras que esta última es una oración de la forma sujeto-predicado, aquélla es una generalización existencial en la que no hay ningún símbolo que corresponda a la expresión descriptiva.
2.1.4 Soluciones a los rompecabezas
1. La paradoja de la identidad: para que un enunciado de identidad sea verdadero y a la vez informativo es necesario que al menos uno de los flancos del signo de identidad esté ocupado por una descripción definida. Si ambos flancos están ocupados por auténticos nombres propios, el enunciado es “sólo una tautología”. Sobre la base de este supuesto hecho, Russell argumentó que los nombres propios ordinarios son descripciones definidas disfrazadas, abreviadas, o truncadas.
2. Enunciados existenciales singulares: según Russell, no puede haber enunciados existenciales singulares cuyos sujetos sean nombres propios. Suponiendo que ‘a’ sea un nombre propio genuino, la afirmación ‘a existe’ sería trivial, redundante, puesto que el hecho mismo de usar el nombre ya presupone que su referente existe. A su vez, la afirmación ‘a no existe’ sería contradictoria: presuponemos que existe el portador del nombre usado y luego procedemos a decir que no existe. Russell considera que esto es un corolario de la idea de Frege según la cual la existencia es una propiedad de segundo orden, esto es, no una propiedad de objetos sino de conceptos. Según esto, cuando decimos que existe un satélite de la Tierra estamos afirmando que el concepto satélite de la tierra no es vacío, es satisfecho al menos por un individuo. Si tiene sentido decir que ‘Rómulo no existió’ es porque ‘Rómulo’ no es un nombre propio sino una descripción definida disfrazada. En esa proposición Rómulo no interviene como elemento constitutivo, pues, si lo hiciera, el enunciado de que no existió sería autocontradictorio. Una consecuencia de la posición de Russell en este punto es que el argumento ontológico de la existencia de Dios es inválido. La primera premisa del argumento dice que Dios es el ser más perfecto. ‘El ser más perfecto’ es una descripción definida. Por tanto, esta premisa entraña que el ser más perfecto existe. Pero esto es lo que el argumento pretende probar y asumirlo en la premisa es pedir la cuestión.
3. Términos singulares no denotativos: el enunciado ‘El actual rey de Francia es calvo’ es unívoco y tiene la forma ‘La propiedad G se predica del x tal que Fx’. Este enunciado entraña que el actual rey de Francia existe y por ello es falso. Por tanto, por tercio excluso, su negación debe ser verdadera. Pero el enunciado ‘El actual rey de Francia no es calvo’ es ambiguo. Si la descripción tiene incidencia primaria, entraña asimismo que el actual rey de Francia existe y por ello es también falso. Por tanto, bajo esta lectura, no es el contradictorio del ‘El actual rey de Francia es calvo’, ya que ambos son falsos, sino su subcontrario. El contradictorio de ‘El actual rey de Francia es calvo’ es aquel enunciado interpretado de manera que la descripción tenga intervención secundaria, pues entonces niega que una y sólo una persona sea a la vez rey de Francia y calva; y éste sí que es verdadero, si aquél era falso. Así pues, la Ley de Tercio Excluso no resulta dañada.
4. Contextos oblicuos: ‘Scott es el autor de Waverley’ no contiene como constituyente ‘el autor de Waverley’ y por ello no hay nada que podamos sustituir por ‘Scott’. Cuando reescribimos ‘Jorge IV quiso saber si Scott era el autor de Waverley’ y ‘Scott es el autor de Waverley’ empleando el análisis de las descripciones definidas, la descripción desaparece con el análisis y ya no hay descripción que reemplazar.
2.1.5 El principio de familiaridad y los nombres lógicamente propios
Russell concluye que los nombres ordinarios son en realidad descripciones definidas disfrazadas por dos razones: porque no puede haber enunciados existenciales singulares cuyos sujetos sean nombres propios y porque, de lo contrario, los enunciados de identidad entre nombres propios tendrían que ser o triviales o falsos.
Una tercera razón sería la siguiente. Russell distingue dos tipos de conocimiento de cosas, en cuanto distinto del conocimiento de verdades, el conocimiento por familiaridad y el conocimiento por descripción. El conocimiento del primer tipo es directo o inmediato, obtenido “sin el intermediario de proceso alguno de inferencia o de conocimiento alguno de verdades”. Se trata de una relación cognitiva directa con un objeto por la que tenemos apercepción directa del objeto mismo. Tenemos conocimiento directo solamente de ciertos particulares como nuestros datos sensoriales y de ciertos universales, como la rojez, que tienen ejemplificaciones particulares con las que estamos familiarizados y sobre cuya base abstraemos el universal. Al no depender de inferencia ninguna, el conocimiento así obtenido es indubitable, no está sujeto a error. En cambio, el conocimiento por descripción siempre involucra algún conocimiento de verdades como su fuente y fundamento. En este caso no se trata de una relación cognitiva directa con el objeto, sino que conocemos el objeto como “el tal-y-tal”, esto es, como el único objeto que satisface una cierta función proposicional. Russell cree que el conocimiento de las cosas ordinarias es por descripción.
En Los problemas de la filosofía formula así el principio de familiaridad:
Toda proposición que podamos entender debe componerse totalmente de constituyentes con los que estemos familiarizados.
Es decir, en último análisis toda proposición inteligible debe ser analizable en términos de proposiciones cuyos componentes tengan un significado que podamos captar por familiaridad. Del principio se desprende que la existencia de los portadores de los nombres propios ordinarios está sometida a duda y sólo tenemos garantía epistémica acerca de los objetos de conocimiento directo. Si a esto añadimos la teoría referencial del significado de los nombres, según la cual el significado de un nombre es su portador, se sigue que los nombres propios ordinarios no son auténticos nombres y que los únicos nombres lógicamente propios deben designar objetos de conocimiento directo.
Los nombres propios ordinarios no son nombres propios genuinos porque los objetos que parecen denotar no son particulares simples sino entidades complejas. Y no son conocidos sino por descripción. Los nombres lógicamente propios son signos puramente demostrativos, carentes de todo contenido descriptivo o connotación y se caracterizan porque su significatividad garantiza la existencia del objeto denotado. Y puesto que los únicos particulares garantizados epistémicamente son aquellos que nos son dados inmediatamente en la experiencia, sólo los signos que se refieran a nuestros datos sensoriales privados contarán como genuinos nombres propios. Esto reduce la categoría de esas expresiones a los demostrativos ‘esto’, ‘eso’ y ‘aquello’, pero sólo cuando se usan para referirse a nuestros datos sensoriales actuales. Sólo los datos sensoriales que percibimos están enteramente garantizados desde un punto de vista epistémico. De ahí que ‘esto’ sólo funcione como nombre auténtico cuando se refiere a los datos sensoriales presentes.
Otra consecuencia es que un lenguaje lógicamente perfecto será un lenguaje privado:
Un lenguaje perfecto, si fuera posible construirlo, sería no sólo intolerablemente prolijo, sino, en buena medida, y por lo que respecta a su vocabulario, del dominio privado del que habla, es decir, todos los nombres que en él intervinieran serían de la exclusividad de aquél último, y no podrían entrar a formar parte del lenguaje de otro interlocutor.
La razón es que en un lenguaje lógicamente perfecto los nombres propios ordinarios no tendrían ningún papel que desempeñar. Serían sustituidos por descripciones definidas. Y los únicos nombres serían los demostrativos usados para designar los datos sensoriales privados del hablante.
2.2 Nombres lógicamente propios
Russell excluye a las descripciones definidas de la categoría de expresiones referenciales. Sin embargo, Russell defiende la viabilidad de un nombrar genuino: el que viene posibilitado por el uso de lo que llama nombres lógicamente propios.
Las únicas palabras de que, de hecho, nos servimos como nombres, en el sentido lógico del término, son palabras como “esto” o “aquello”. Podremos hacer uso de “esto” como de un nombre referido a algún particular directamente conocido en este instante. Supongan que decimos “Esto es blanco”. Si convienen en que “esto es blanco” refiriéndose a “esto” que ven ustedes, estarán usando “esto” como un nombre propio. Pero si tratan de aprehender el sentido de la proposición por mí expresada al decir “Esto es blanco”, ya no podrán usarlo como tal. Si se refieren a este trozo de tiza en cuanto objeto físico, ya no estarán usando “esto” como un nombre propio. Sólo cuando usen “esto” refiriéndose al objeto inmediatamente presente a sus sentidos, funcionará de hecho aquel vocablo como un nombre propio. Y precisamente en este punto posee “esto” una propiedad bien extraña para ser un nombre propio, a saber, que raramente significa la misma cosa en dos momentos consecutivos ni significativa lo mismo para el que habla que para el que escucha. Se trata de un nombre propio ambiguo, mas no por ello es menos un auténtico nombre propio, y casi la única palabra que alcanzo a imaginar que se use estricta y lógicamente como un nombre propio en el sentido en que he venido hablando de los nombres propios (La filosofía del atomismo lógico, en J. Muguerza, La concepción analítica de la filosofía)
Según Russell, sólo el pronombre demostrativo neutro usado por el hablante para referirse a un dato sensorial en presencia de aquello que lo provoca es un nombre propio en sentido lógico. De acuerdo con el sentido común, un nombre propio es una palabra que sirve para referirse a un particular. Ahora bien, si se cuestiona que las cosas que se consideran como particulares desde el punto de vista del sentido común sean tales, y se conciben como entidades complejas, mientras se mantiene la definición de los nombres propios como “palabras que se refieren a particulares”, obviamente cambiarán el tipo de expresiones que pueden clasificarse como nombres propios. Éste es el punto de partida de la teoría de Russell. Russell define los particulares como “términos de relaciones de los hechos atómicos”.
Los hechos más simples imaginables son aquellos que consisten en la posesión de una cualidad por parte de una cosa particular. Hechos como, por ejemplo, “Esto es blanco”. Estos hechos habrán de interpretarse en un sentido un tanto rebuscado. No les pido que piensen en el trozo de tiza que tengo entre los dedos, sino en lo que ustedes ven cuando contemplan esta tiza (ibid.)
“Esto” tiene como referente el dato sensorial percibido por el hablante mientras contempla el trozo de tiza, y este dato sensorial es un particular. Si el pronombre demostrativo tuviera como referente el trozo de tiza que el hablante está mirando en ese momento, la oración “Esto es blanco” sería equivalente a “Este trozo de tiza es blanco”; en este caso, “esto” no sería un nombre propio, puesto que el trozo de tiza no es un particular. Los particulares son, por tanto, privados y evanescentes, difieren de un individuo a otro y sólo persisten lo que dura la experiencia del sujeto. Russell funda su epistemología sobre la distinción entre el conocimiento directo y el conocimiento por referencia (o descripción):
Diremos que tenemos conocimiento directo de algo cuando sabemos directamente de ello, sin el intermediario de ningún proceso de inferencia ni de ningún conocimiento de verdades. Así en presencia de mi mesa, conozco directamente los datos de los sentidos que constituyen su apariencia –su color, forma, dureza, suavidad, etc.–; de ello soy inmediatamente consciente cuando veo y toco mi mesa. […] Mi conocimiento de la mesa, como objeto físico, no es al contrario, un conocimiento directo. Es obtenido, tal como es, a través del conocimiento directo de los datos de los sentidos que constituyen la apariencia de la mesa […] Mi conocimiento de la mesa es de la clase que denominaremos “conocimiento por referencia”. La mesa es “el objeto físico que causa tales y cuales datos de los sentidos”. Así se describe la mesa por medio de los datos de los sentidos (Los problemas de la filosofía, pp. 47-48)
Sólo se puede nombrar un particular; no es posible nombrar nada de lo que no se tenga conocimiento directo; conocemos directamente los datos de los sentidos y éstos son los particulares que podemos nombrar. ¿Por qué sólo podemos nombrar aquello de lo que tenemos conocimiento directo? ¿Qué sucede con los nombres propios en sentido usual? Nombrar algo viene a ser equivalente a señalarlo mediante un signo lingüístico, siendo la relación entre el nombre y su portador directa, pues el nombre, en su mera calidad de signo, es suficiente para identificar al referente. Esta asociación directa entre el lenguaje y una entidad extralingüística sólo es posible cuando el nombre designa el dato sensorial que el hablante está experimentando; es decir, una entidad particular percibida directamente. A una entidad compleja “construida” a partir de particulares (datos sensoriales) resulta imposible nombrarla, puesto que sólo somos capaces de identificarla merced a las verdades, descripciones, que conocemos acerca de ella. Si decido poner un nombre propio a la mesa de mi estudio, “Frida”, lo único que conseguiré será poder aludir a ella de una manera más breve; en lugar de decir “la mesa de mi estudio” podré utilizar el nombre propio “Frida” que, de este modo, funcionará como una descripción definida abreviada. No identificamos el referente porque un signo lingüístico nos los señala, sino porque se ajusta a las descripciones que sabemos acerca de él.
Nosotros no conocemos directamente a Sócrates y, por tanto, no podemos nombrarlo. Cuando empleamos la palabra “Sócrates”, hacemos en realidad uso de una descripción. Lo que pensamos al decir “Sócrates” podría traducirse por expresiones como “El maestro de Platón”, “El filósofo que bebió la cicuta” o “La persona de quien los lógicos aseguran que es mortal”, mas no emplearemos ciertamente aquel nombre como un nombre en sentido propio (La filosofía del atomismo lógico)
La categoría de los nombres propios queda, pues, reducida a los pronombres demostrativos neutros usados por el hablante para designar sus datos sensoriales cuando los está experimentando. Ninguna información acerca del referente está asociada al nombre propio en sentido lógico; su función es exclusivamente la de estar por el referente, de ahí que su significado sea el portador del nombre y conocer este significado sea conocer el referente, tener conocimiento directo del particular nombrado. Los particulares se conciben como completamente autosubsistentes, existiendo cada uno de ellos con total independencia de los demás, y el reflejo semántico de esta tesis metafísica es al asignación a los nombres propios de un significado autónomo, independiente del contexto.
2.3 La lógica: características y fundamentos
Las características fundamentales de la lógica de Russell son dos: su identificación con la matemática y su planteamiento realista. Sobre el primer punto Russell ha dicho:
Si no existiese el deseo de atenernos al uso, podríamos identificar la matemática con la lógica y definir una y otra como la clase de proposiciones que contienen únicamente variantes y constantes lógicas; pero el respeto a la tradición me mueve preferiblemente a adherirme a la citada distinción, aun reconocido que ciertas proposiciones pertenecen a ambas ciencias (Los principios de las matemáticas, § 10).
La distinción a que alude es aquella por la cual la lógica está constituida por las “premisas de la matemática”. La posición de Russell es el logicismo que afirma cierta prioridad de la lógica sobre la matemática y admite la lógica como guía o disciplina intrínseca de la matemática. Russell define la matemática como «la clase de todas las proposiciones de la forma “p implica q” donde p y q son proposiciones que contienen una o más variables y ni p ni q contienen ninguna constante excepto las constantes lógicas» (ib., § 1). Constantes lógicas son las nociones definibles por medio de las siguientes: la implicación, la relación de un término con una clase a la que pertenece como elemento, la noción de tal que, la noción de relación y otras nociones parecidas que pueden entrar en la noción general de proposición en la forma antes expuesta. Son variableslos términos precedidos por cualquiera o alguno. Desde el punto de vista de Russell, la identidad entre matemática y lógica se puede afirmar en la forma más simple observando que ambas tienen por único objeto la teoría general de las relaciones.
La otra característica fundamental de la lógica de Russell es su planteamiento realista.
La aritmética hay que descubrirla en el mismo sentido en que Colón descubrió las Indicas Occidentales, y nosotros no podemos crear números como tampoco pudo Colón crear los indios. El número 2 no es puramente mental, sino una entidad a en la que se puede pensar. Todo lo que puede ser pensado tuene ser y su ser es una precondición, no un resultado, de su ser pensado (ib., § 427).
Russell compartía con Frege «la creencia en la realidad platónica de los números los cuales poblaban el reino del tiempo del ser». Pero este platónico “reino del ser” lo consideró siempre Russell como la estructura misma del mundo. «La lógica se ocupa del mundo real lo mismo que la zoología, por lo que hace a sus rasgos más generales y abstractos» (Introducción a la filosofía matemática). «No queremos que nuestros números verifiquen las fórmulas matemáticas sino que se apliquen de modo exacto a los objetos con los cuales se hallen en contacto» (o.c.). Y contra el formalismo de Hilbert afirmaba:
La aplicación del número al material empírico no forma parte ni de la lógica ni de la aritmética: pero no puede ser justa una teoría que a priori la haga imposible. La definición lógica de los números hace inteligible su relación con el mundo efectivo de los objetos que se pueden contar: no así la teoría formalista (Introducción a la segunda edición de los Principios de las matemáticas)
Las partes de la lógica son el cálculo de proposiciones, el cálculo de clases y el cálculo de relaciones. El cálculo de proposicionesestudia las relaciones de implicación material entre las proposiciones. Se entiende por implicación material la que es verdadera (por lo menos) si la conclusión es verdadera. La implicación “Sócrates es un hombre implica Sócrates es mortal” es una implicación formal que exige para su verdad que ambas proposiciones sean verdaderas: basándose en esta exigencia, en Sócrates, en aquella implicación, se puede sustituir algún hombre, no alguna otra entidad. En cambio, en la implicación material, en la variable se puede sustituir una entidad cualquiera, es decir, no sólo un hombre, sino un pastel, un árbol o una piedra. Este tipo de implicación es el único que hace posible la generalización matemática. Basadas en la implicación material, las proposiciones falsas implican todas las proposiciones y las proposiciones verdaderas están implicadas por todas las proposiciones. Además, entre dos proposiciones cualesquiera, habrá siempre una que implique a la otra.
En el cálculo de clases, Russell distingue la clase del concepto-clase o predicado con el que se define la misma: así los hombres son una clase, mientras el hombre es un concepto-clase. Russell afirma que de los dos aspectos considerados siempre por la lógica, la extensión y la intensión, el primero es el más importante, y que la clase se interpreta en el sentido de la extensión. Desde este punto de vista, la extensión es un término único (si se considera en su totalidad) o es aquel tipo de combinación de términos que se expresa conectando los términos con la conjunción Ú. Así, la frase “Sócrates es un hombre” puede interpretarse de alguna de las siguientes maneras: 1) “Sócrates es humano” o “Sócrates tiene humanidad”, que es la interpretación predicativa o intensional de la frase misma; 2) “Sócrates es un hombre”, que expresa la identidad entre Sócrates y uno de los términos denotados por un hombre; 3) “Sócrates es uno entre los hombres”; 4) “Sócrates pertenece a la raza humana”. Esta última expresa la relación de un individuo con su clase y considera la clase como uno y no como muchos, es decir, en el medio en que está requerido por la posibilidad de la relación. Esta constituye la expresión puramente extensional de aquella proposición y es la forma que más se da en la matemática simbólica, ya que ésta no puede prescindir del todo de los conceptos-clase y de la intensión. En el campo del cálculo de las clases se ha introducido también el concepto de función proposicional, que se obtiene poniendo en la proposición “Sócrates es un hombre” x en el lugar de Sócrates. La proposición “x es un hombre” será una función proposicional, verdadera para algunos valores de la variable y falsa para los demás. Los valores para los cuales es verdadera, introducen el concepto de tal que. Así: Sócrates es tal que, sustituyendo a x en la función “x es un hombre”, la hace verdadera.
La lógica de las relaciones establece la diferencia fundamental entre lógica antigua y lógica nueva: la lógica antigua consideraba una sola forma de proposición, la que resulta de un sujeto y de un predicado y se fundaba en el supuesto metafísico de que no existen en realidad más que cosas y sus cualidades. La lógica nueva toma como fundamento suyo las proposiciones que expresan una relación y niega que las relaciones puedan reducirse a cualidades de una cosa. Una relación puede ser simétrica o asimétrica, transitiva o intransitiva. Es simétrica si, mediando entre ay b, media también entre b y a; en el caso contrario es asimétrica. Una relación es transitiva si cada vez que existe entre a yb, y b y c, existe también entre a y c; es intransitiva cuando, existiendo entre a y b y b y c, no existe entre a y c. Ahora bien, si las relaciones simétricas, transitivas e intransitivas pueden expresar la posesión de cualidades comunes o diferentes, las relaciones asimétricas no expresan la posesión de ninguna cualidad y, por tanto, no son reducibles a cualidades de las cosas. La existencia de tales relaciones hace imposible el supuesto de la lógica antigua (y de la antigua metafísica) de que no existen sino las cosas y sus cualidades.
Una proposición que expresa que una cosa tiene una determinada cualidad o que unas cosas tienen una determinada relación, es una proposición atómica, es decir, la forma más simple de las proposiciones. Afirmar o negar una proposición atómica es cosa que sólo se puede hacer en virtud de la experiencia porque las proposiciones atómicas son indeducibles de otras proposiciones. Por otra parte, la lógica pura es independiente de los hechos expresados por las proposiciones atómicas (hechos atómicos); de modo que la lógica pura y los hechos atómicos son los dos polos opuestos entre los cuales existe una vasta región intermedia. En esta región intermedia se sitúan las proposiciones moleculares, las cuales incluyen el contenido de hechos atómicos, pero incluyen también una conexión entre estos hechos que no es reducible a un hecho atómico. Además, existen proposiciones generales que tampoco son deducibles de tales hechos. La fórmula de las proposiciones generales en lógica es la siguiente: «Si una cosa posee una propiedad determinada y si lo que posee esta propiedad posee otra propiedad, entonces la cosa en cuestión posee esta otra propiedad».
En la teoría general de las relaciones se identifican matemática y lógica. Contar significa establecer una relación de término a término entre la serie de los objetos contados y los números naturales. Y el número natural, como procedimiento empleado al contar, no es ni los diversos números particulares ni las varias colecciones de objetos a las cuales son aplicables los números particulares: es, más bien, lo que todos los números tienen en común. Por ejemplo, el número 12 no es ni los 12 apóstoles, ni las 12 tribus de Israel, ni los 12 signos del zodíaco, ni ninguna otra colección o clasede 12 objetos: es, más bien, lo que todas estas colecciones o clases tienen en común; por lo que puede definirse como «la clase de todas las clases parecidas a ella», esto es, la clase de todas las clases cuyos términos tienen una relación de uno a uno entre sí. Si tal es el número particular, el número general será simplemente un conjunto cualquiera que sea el número de uno de sus miembros, es decir, «número es aquella cosa que es el número de una clase dada». Sobre estas bases, y empleando el principio de inducción matemática de Peano (que Russell transforma en: «Toda propiedad de que gozan el cero y el sucesor de un número que goza de tal propiedad, pertenece a todos los números naturales») Russell logra transformar en enunciados lógicos los fundamentos de toda la teoría de los números reales y con ello realizar completamente la reducción de la matemática a la lógica (la matemática que es recudible a la teoría de los números reales). Russell llama inductivos a los números naturales, para indicar que su definición depende del uso de la inducción matemática; pero afirma que existen números no inductivos, para los cuales no valen todas las propiedades inductivas; tales son los números infinitos, a los que Russell define como una clase “reflexiva”; pero esto nos lleva a las antinomias.
2.4 La teoría de los tipos
En 1902 Russell comunicaba por carta a Frege el descubrimiento de una paradoja en la lógica fregeana. Esta paradoja (conocida desde entonces como paradoja de Russell) es similar a la paradoja del mentiroso. Russell la enuncia así en los Principios de las matemáticas (§ 101):
Un concepto-clase puede ser o no ser un término de la propia extensión [por ejemplo, la clase de los conceptos, siendo a su vez un concepto, es un término de la propia extensión; la clase de los hombres, no siendo un hombre, no es un término de la propia extensión]. La expresión “concepto-clase que no es un término de su propia extensión” es abiertamente un concepto-clase. Pero si ella es un término de la propia extensión, ella es un concepto-clase que no es un término de la propia extensión y viceversa.
En cristiano, la clase de todas las clases que no contienen a sí mismas como elemento (K) ¿contiene o no contiene a sí misma como elemento? Si K contiene a sí misma, contendrá una clase que contiene a sí misma como elemento y, por lo tanto, no será “la clase de las clases que no a sí mismas como elementos”. Si K no contiene a sí misma, entrará precisamente con ello en el ámbito de las clases que no contienen a sí mismas como elementos y, en consecuencia, deberá contener a sí misma. En un caso y en otro se produce una contradicción. Veámoslo con un ejemplo: la paradoja del barbero: Supongamos que existe un barbero que afeita a todos, y sólo a aquellos, barberos que no se afeitan a sí mismos. ¿Quién afeitará a este barbero?. Si decimos que se afeita a sí mismo caemos en contradicción, pues anteriormente hemos dicho que sólo afeita a los barberos que no se afeitan a sí mismos. Pero también caemos en contradicción si decimos que no se afeita a sí mismo, pues como hemos dicho que afeita a todos los barberos que no se afeitan a sí mismos, debería afeitarse a sí mismo. ¿Quién lo afeita pues?
La característica común de todas estas paradojas es, según Russell, la autorreferencia o reflexividad, por la cual derivan de creer que, cuando se considera una totalidad, por ejemplo la totalidad de las x, la totalidad misma está incluida entre las x y es otra x. Por lo cual, se pueden evitar las antinomias tomando como regla que cada vez que se habla de la totalidad de una colección no hay que considerar la totalidad misma como un miembro de la colección; pero este principio puramente negativo no muestra el modo en que pueda ser rectificada la antinomia. Para responder a este problema Russell elaboró la teoría de los tipos. Según esta teoría, se deben distinguir conceptos de tipo cero que son los conceptos individuales, es decir, los nombres propios; conceptos de tipo uno que son propiedades de individuos; conceptos de tipos dos que son propiedades de propiedades y así sucesivamente. Dado lo cual, la regla para evitar la antinomia es la siguiente: un concepto nunca puede hacer de predicado en una proposición cuyo sujeto sea de tipo igual o mayor que el concepto mismo.
2.5 Lenguaje, experiencia y crítica del neoempirismo
Russell nunca ha dudado de que el punto de partida del conocimiento es la experiencia individual, el dominio privado o egocéntrico de los datos inmediatos; pero tampoco ha dudado de que el conocimiento no se reduce a tal dominio sino que comprende otro dominio que sólo puede ser alcanzado mediante la inferencia, que se reconoce y se expresa de modo totalmente distinto del primero, como constituido por elementos tomados de aquél.
Como punto de partida de todo conocimiento, la experiencia no puede ser, en opinión de Russell, un método de comprobación. En esto se basa la crítica de Russell respecto al neoempirismo del Círculo de Viena. Cuando los neoempiristas afirman que el significado de una proposición es el método de su comprobación, el principio de verificación, dejan de considerar las proposiciones más ciertas, o sea, los juicios de percepción:para éstos no hay ningún método de comprobación porque ellos mismos constituyen la comprobación de todos las demás proposiciones empíricas que pueden ser conocidas de alguna manera. Además, los neoempiristas descuidan el hecho de que todas las palabras necesarias tienen definiciones ostensivas (que son aquellas con las que se aprende a captar una palabra sin el empleo de otras, es decir, con referencia al dato inmediato a que se refiere la palabra) y que un enunciado puede ser comprendido si está compuesto de palabras que comprendemos, aunque no tengamos una experiencia que corresponda al significado total del enunciado mismo.
Esta crítica confirma que, para Russell, la experiencia no es un método para la comprobación de los enunciados sino el punto de partida de donde nacen el conocimiento y el lenguaje. Pero como punto de partida, la experiencia es inmediata y privada. Los Problemas de la filosofía, de 1912, ya contenían una exposición completa y ordenada de lo que Russell entiende con estos términos. La experiencia es la esfera del conocimiento directo, de cuyos objetos somos directamente conscientes sin mediación de ningún proceso de inferencia ni de ningún conocimiento de verdad. Las cosas no son objetos del conocimiento directo, sino los datos sentibles por un lado, los datos de la introspección (es decir, de la reflexión en el sentido de Locke) por otro lado, y además los proporcionados por la memoria. También es probable, según Russell, que tengamos conocimiento inmediato de nosotros mismos, esto es, de nuestro yo, ya que no se ve cómo podremos conocer la verdad de la proposición: “Yo tengo conocimiento de los datos sensibles” si no tuviésemos un conocimiento inmediato de algo que llamamos “yo”. Además, Russell admite que se tiene un conocimiento inmediato de los universales (o sea, de las relaciones que entran como componentes esenciales de todo enunciado) y que tal conocimiento es el concepto.
Pero, además del conocimiento inmediato, existe lo que Russell llama conocimiento por descripción, que está constituido por el conocimiento de la verdad. En tal caso, lo que conocemos es precisamente una descripcióny conocemos además que hay un solo objeto al que se aplica la descripción y conocemos además que hay un solo objeto al que se aplica la descripción, aunque el objeto mismo no sea directamente conocido. Por ejemplo, “el ordenador que tenemos delante es el objeto fisico que causa este y aquel dato sentible”. Esta proposición describe el ordenador por medio de los datos sentibles. Tanto los objetos fisicos, como los espíritus de las demás personas no se conocen directarnente, sino sólo mediante el conocimiento por descripción. Pero, en todo caso, el conocimiento por descripción es finalmente reducible al reconocirniento directo. En esto se funda el principio que regula el análisis de las proposiciones: Toda proposición que nosotros podamos comprender ha (le estar compuesta totalmente por constituyentes (le los que tengamos conocimiento inmediato Este principio es la base de la lógica y de la teoría del lenguaje de Russell.
2.6 La teoría del conocimiento
El punto de partida del conocimiento es la experiencia individual, el dominio privado o “egocéntrico” de los datos inmediatos; pero el conocimiento no se reduce a tal dominio sino que comprende otro dominio que sólo puede ser alcanzado mediante la inferencia, que se reconoce y se expresa de modo totalmente distinto del primero, como constituido por elementos tomados de aquél. Como punto de partida de todo conocimiento, la experiencia no puede ser, en opinión de Russell, un método de comprobación. Cuando los neopositivistas afirman que «el significado de una proposición es el método de su comprobación», dejan de considerar las proposiciones más ciertas, o sea, los juicios de percepción: paraéstos no hay ningún método de comprobación porque ellos mismos «constituyen la comprobación de todas las demás proposiciones empíricas que pueden ser conocidas de alguna manera». Además, los neopositivistas descuidan el hecho de que todas las palabras necesarias tienen definiciones ostensivas y que un enunciado puede ser comprendido si está compuesto de palabras que comprendemos, aunque no tengamos una experiencia que corresponda al significado total del enunciado mismo.
Para Russell la experiencia no es un método para la comprobación de los enunciados sino el punto de partida de donde nacen el conocimiento y el lenguaje. Pero como punto de partida, la experiencia es inmediata y privada. La experiencia es la esfera del conocimiento directo, de cuyos objetos “somos directamente conscientes sin mediación de ningún proceso de inferencia ni de ningún conocimiento de verdad”. Las cosas no son objetos del conocimiento directo, sino los datos sensibles por un lado, los datos de la introspección por otro y los datos proporcionados por la memoria. Además, Russell, admite que se tiene conocimiento inmediato de universales(o sea, de las relaciones que entran como componentes esenciales de todo enunciado) y que tal conocimiento es el concepto.
Pero, además del conocimiento inmediato, existe el conocimiento por descripción, que está constituido por el conocimiento de la verdad; en tal caso, lo que conocemos es precisamente una descripción y conocemos además que hay un solo objeto al que se aplica la descripción, aunque el objeto mismo no sea directamente conocido. El conocimiento por descripción es reducibleal conocimiento directo. En esto se funda el principio que regula el análisis de las proposiciones: «Toda proposición que nosotros podamos comprender ha de estar compuesta totalmente por constituyentes de los que tengamos conocimiento inmediato».
2.7 El atomismo lógico
“Atomismo lógico” es el nombre que B. Russell da a su primera teoría filosófica, expuesta en unas conferencias dadas en 1918 y tituladas Lecciones sobre el atomismo lógico, cuyo origen atribuye a ideas de L. Wittgenstein, discípulo suyo, y que éste más adelante expondrá también en su Tractatus Logico Philosophicus (1921). También es el nombre que se da a la teoría filosófica sobre el mundo que aparece en el Tractatus de Wittgenstein; a la versión wittgensteiniana del atomismo lógico se le da el nombre de “teoría pictórica o figurativa de la realidad”.
Según esta teoría, el mundo consta de “hechos atómicos”, o simples, que son el referente de los enunciados simples o “enunciados atómicos”, de modo que el lenguaje viene a ser como una “pintura” (Bild en alemán Picture en inglés ) del mundo, a la manera como un mapa dibuja un terreno o región determinados; el mundo posee, igual que el lenguaje, una estructura lógica, cuyos elementos se manifiestan mediante el análisis lógico. Este isomorfismo entre lenguaje y mundo supone que a cada nombre corresponde, como referente, una entidad concreta, llamada en este caso dato sensorial (sense data), y a cada predicado, sea una cualidad o una relación, una propiedad real, absoluta o relativa. Con este isomorfismo, Russell pretendía superar las ambigüedades del lenguaje ordinario o natural, cuyo uso ha hecho que muchas de las proposiciones de la filosofía sobre todo, de la metafísica sean “sinsentidos”. El atomismo lógico lleva a la consideración de un lenguaje ideal, característica que no es posible hallar en los lenguajes ordinarios, y que es sólo propia de un lenguaje formalizado. Toda metáfora debe ser abandonada. El atomismo lógico influyó notablemente en el neopositivismo lógico, pero posteriormente tanto Russell como Wittgenstein abandonaron esta teoría.
El propósito de Russell es semejante al de Frege, y análoga la justificación de su interés por las condiciones que ha de cumplir un lenguaje para alcanzar la perfección lógica. Pero en Russell, la reflexión se da en un contexto filosófico más rico y logra un grado de elaboración más alto.En la doctrina de Russell, tanto los supuestos epistemológicos como las consecuencias metafísicas poseen una riqueza y tienen una explicación del todo ausente en Frege. Como hemos dicho antes, la teoría de Russell es denominada por él, en virtud de las razones que mencionaremos, “atomismo lógico”, y alcanza su madurez hacia 1918, año en que pronuncia las conferencias citadas sobre “La filosofia del atomismo lógico”.
Aquí caracteriza su tema como de gramática filosófica, y lo justifica así:
Creo que prácticamente toda la metafísica tradicional está llena de errores que se deben a la mala gramática, y que casi todos los problemas y resultados tradicionales de la metafísica se deben a no hacer, en lo que podemos llamar la gramática filosófica, el tipo de distinciones de las que nos hemos ocupado en estas conferencias.
Y unos años después, en un resumen de su teoría, escribiría:
Creo que la influencia del lenguaje en la filosofía ha sido profunda y casi no reconocida. Para que esta influencia no nos extravíe, es necesario que seamos conscientes de ella, y que deliberadamente nos preguntemos en qué medida es legítima. En este aspecto, el lenguaje nos extravía por su vocabulario y por su sintaxis. Debemos estar en guardia sobre ambas cosas para que nuestra lógica no nos conduzca a una falsa metafísica”.
En cumplimiento de estas advertencias, Russell desarrollará un tipo de análisis del lenguaje que aspira a poner de manifiesto sus imperfecciones lógicas, contrastándolas con las cualidades de un lenguaje lógicamente perfecto.
¿Cómo debe ser un lenguaje “lógicamente perfecto”? Lo primero que Russell va a decir hace referencia no tanto al lenguaje en sí y a su estructura formal cuanto a la relación entre el lenguaje y la realidad. La primera condición para que un lenguaje sea lógicamente perfecto es una condición semántica: que las palabras de cada proposición correspondan una por una a los componentes del hecho correspondiente. Se exceptúan palabras tales como “o”, “no”, “si… entonces”, las cuales tienen una función diferente, es decir, carecen de conexión directa con la realidad; son las palabras que expresan modos de componer oraciones, y que pueden traducirse a functores lógicos, y que, naturalmente, están incluidas en lo que antes hemos llamado “término sincategoremáticos”. Queda así establecido por Russell el principio de isomorfía semántica: “en un lenguaje lógicamente perfecto habrá una sola palabra para cada objeto simple, y todo lo que no sea simple será expresado por una combinación de palabras…”. Un lenguaje semejante tiene la ventaja de que muestra a simple vista la estructura lógica de los hechos que afirman o niegan. Según Russell, de esta clase pretende ser el lenguaje de los Principia Mathematica, con la única diferencia de que este lenguaje posee sintaxis, pero carece de vocabulario: es el tipo de lenguaje que, si le añadiéramos un vocabulario, sería un lenguaje lógicamente perfecto”.
Pero hay que entender adecuadamente lo que Russell quiere decir. Los Principia Mathematica, como todo cálculo lógico, tienen su vocabulario, a saber, el conjunto de signos con los que se componen sus fórmulas en aplicación de sus reglas. Pero lo que Russell quiere dar a entender es que un lenguaje lógicamente perfecto podría ser un lenguaje que, poseyendo un vocabulario, no de signos lógicos, sino de palabras, como las del lenguaje natural, tuviera una sintaxis, unas reglas de estructuración y composición de oraciones, como las de aquel cálculo lógico. Los lenguajes naturales, las lenguas humanas, no son de esa manera. Y esto, que es una desgracia desde el punto de vista filosófico, es una ventaja a efectos prácticos de comunicación. A diferencia de un lenguaje lógicamente perfecto, el lenguaje ordinario se caracteriza por la ambigüedad de sus palabras, de tal manera que, cuando alguien usa una palabra, no significa por medio de ella la misma cosa que otra persona. Esto, que a primera vista podría parecer un inconveniente, no lo es en realidad, y lo grave sería que todos los hablantes significaran con sus palabras las mismas cosas, pues la comunicación resultaría imposible.¿Por qué? Porque el significado que uno dé a sus palabras tiene que depender de la naturaleza de los objetos con los que esté familiarizado, y puesto que las diferentes personas están familiarizadas con diferentes objetos, no podrán hablar entre sí a menos que den a sus palabras significados muy diferentes.
2.8 El significado como conocimiento directo o “familiar”
El significado depende del conocimiento por familiaridad o conocimiento directo, que Russell contrapone al conocimiento por descripción. El conocimiento directo excluye la mediación de procesos de inferencia o de conocimiento de verdades. Los datos sensibles constituyen la apariencia de un objeto material, como color, forma, dureza, etc., son ejemplo de algo que se conocen directamente por familiaridad. El conocimiento del objeto como tal es, en cambio, un conocimiento por descripción: supone, no sólo mis datos sensibles actuales, sino además el recuerdo de otros, junto con el conocimiento de ciertas verdades físicas que están presupuestas por nuestro trato con los objetos materiales. Estos objetos no nos son, pues, conocidos directamente. Lo que conocemos directamente son los datos sensibles que ellos nos producen; los objetos, como tales, son sólo construcciones lógicas que hacemos sobre la base de nuestros datos sensibles, y los conocemos por descripción. El fundamento de nuestro conocimiento está, por consiguiente, en el conocimiento directo, en la familiaridad. Pero ésta no se limita a los datos sensibles. Russell amplía el conocimiento directo a los recuerdos, con lo que la memoria resulta ser, además de los sentidos, una vía para tal conocimiento; e incluye asimismo, en aquél, los estados psicológicos propios, objeto de familiaridad por autoconciencia, aunque duda sobre si incluir también el propio yo. Y no sólo son conocidos directamente estos fenómenos particulares; los conceptos universales son igualmente conocidos por descripción.
Del conocimiento directo quedan explícitamente excluidos por Russell los objetos físicos, en cuanto distintos de los datos sensibles que producen, así como los estados psicológicos ajenos. De aquello que conocemos, todo cuanto no es conocido por familiaridad es conocido por descripción, y esto se aplica tanto a los fenómenos particulares como a los conceptos universales. El conocimiento por descripción tiene una importante función de permitirnos sobrepasar los límites de nuestra experiencia personal. Pero el conocimiento por familiaridad es la base de todo conocimiento, y a él es reducible el conocimiento descriptivo, pues “toda proposición que podamos entender debe estar compuesta enteramente de constitutivos con los que estemos familiarizados”. La razón de esto ya la hemos visto: el significado que demos a nuestras palabras ha de ser algo con lo que estemos familiarizados.
3. Wittgenstein
La primera gran obra de Wittgenstein es el Tractatus Logico-Philosophicus. Tanto las conferencias de Russell (La filosofía del atomismo lógico) como el Tractatus de Wittgenstein contienen una nueva doctrina metafísica del mundo, una visión considerablemente abstracta de la naturaleza y de la composición última de la realidad.
Russell afirma que no hay un único concepto de significado, pues hay variadas relaciones entre los símbolos y lo representado por estos. En particular, la relación entre un nombre propio y el objeto nombrado por éste, y la relación entre una oración y lo que ésta representa son de índole totalmente diferente. Russell y Wittgenstein cuestionan las bases que Frege había sostenido en su análisis del lenguaje; así, cuestionan el que las frases asertóricas o declarativas refieran a valores de verdad, que toda expresión saturadasea nombre de algo (este principio se recusa para que en nuestra descripción del mundo no exista algo tal como el cuadrado redondo), … Incluso los nombres propios no son sino descripciones definidas abreviadas que indican la cosa nombrada sin añadir información alguna sobre ésta.
De lo que se trata es de distinguir entre la función de nombrar o referir y la función de describir o representar la realidad. La primera es propia de los nombres, y la segunda de las oraciones (proposiciones).
3.1 La teoría figurativa del sentido
El Tractatus contiene la teoría figurativa del significado, o del sentido. Según ella, una proposición es una figura (o representación) de una parcela de la realidad. Una proposición es una figura (una especie de mapa o dibujo peculiar) de una situación real (es decir, existente) o hipotética.
2.11 La figura representa los estados de cosas en el espacio lógico, la existencia y no existencia de los hechos atómicos
Comprender una proposición es conocer la situación o el estado de cosas que representa. Ser figura de una situación es lo mismo que describirla o ser un modelo de ella
4.023 La proposición es la descripción de un estado de cosas
4.024 Entender una proposición quiere decir, si es verdadera, saber lo que acaece
Quien entiende lo que dice una proposición sabe qué hecho describe esta proposición. En una proposición construimos una situación a modo de experimento, creamos un mundo con la ayuda de un armazón o andamiaje lógico, formado por palabras con significado.
4.023 La proposición construye un mundo con la ayuda de un armazón lógico; por ello es posible ver en la proposición, si es verdadera, el aspecto lógico de la realidad
Es de este modo que las proposiciones son modelos, son reproducciones de hechos o de situaciones imaginadas, forjadas a base de los recursos que nuestro lenguaje pone a nuestra disposición. Wittgenstein explica cómo una proposición es figura de la realidad. Parte de dos premisas: la primera es que una proposición es algo articulado lógicamente (como una pieza musical en la cual su composición exige un plan). La proposición sería un signo articulado.
4.032 La proposición es una figura de un estado de cosas sólo en cuanto está lógicamente articulada
La segunda premisa es que una proposición, así como el pensamiento que expresa, debe compartir con la situación que describa una misma estructura, a la cual Wittgenstein denomina forma pictórica o forma lógica
2.1513 … pertenece también a la figura la relación figurativa que hace de ella una figura
2.1514 La relación figurativa consiste en la coordinación de los elementos de la figura y de las cosas
Proposición y realidad comparte algo: la forma lógica. Hay dos correlaciones: a) la de los elementos de la proposición con cosas de la realidad, y b) la de las relaciones entre elementos de la proposición con relaciones entre las cosas de la situación representada.
Veamos un ejemplo de su Diario filosófico:
La proposición «A combate con B». El nombre A corresponde en el hecho imaginado al combatiente A. El nombre b le corresponde al otro combatiente B, y, finalmente, a «combate con», que conecta los nombres de la proposición, le corresponde en el hecho la relación de «combatir con» que A mantiene con B. De esta manera la coordinación entre proposición y estado de cosas es perfecta. De aquí se deduce que la relación entre los elementos de la proposición y los elementos de la realidad ha de ser isomórfica. Hay un isomorfismo entre el lenguaje y la realidad.
Esto significa que a cada elemento de la proposición debe corresponderle un único elemento de la realidad, y únicamente uno. Por otra parte, siempre que los elementos de una proposición guarden entre sí alguna relación, sus imágenes (los correspondientes elementos de la realidad) deben guardar entre sí la relación correspondiente.
3.2 El espacio lógico
Wittgenstein concibe el lenguaje como la totalidad de las proposiciones. Esto equivale a afirmar que el lenguaje es la totalidad de figuras de todas las situaciones existentes o inexistentes.
4.001 La totalidad de las proposiciones es el lenguaje
Ahora bien, si antes afirmaba que el lenguaje es figura o modelo de la realidad, habrá que determinar cuales son los correlatos extralingüísticos de la proposición. Los elementos de la proposición que tienen correlatos en el mundo o en las situaciones imaginarias son los signos simples o nombres. Su función en la proposición es la de servir de representantes de objetos. Los nombres tienen significado, su significado es el objeto en lugar del cual están en la proposición. Son elementos simples que no se pueden analizar. Su significado lo obtienen en el contexto de la proposición. Toda proposición acerca de un complejo puede resolverse mediante el análisis en una proposición en la que todo lo esencial se diga mediante combinación de nombres (no obstante, dentro de las proposiciones no todo son nombres, sino que hay también partículas lógicas que no son nombres de nada). Las proposiciones elementales son meras combinaciones de nombres. A una configuración de nombres en la proposición le corresponde una configuración de objetos en una situación. Pero, ¿qué son esos objetos? Antes que nada, decir que son simples, no compuestos. Son los átomos, no físicos, sino lógicos, del mundo (es decir, lo que el análisis del lenguaje exige). Son los últimos constituyentes de todo lo demás, y en especial de los hechos y situaciones posibles.
Cuando los objetos se combinan forman lo que Wittgenstein llama estados de cosas. A los signos le corresponden los objetos, y a las combinaciones de signos le corresponden los estados de cosas. Sólo falta que unas y otras combinaciones compartan una misma estructura formal para que el ajuste lenguaje-realidad sea perfecto.
La teoría de los estados de cosas tiene dos consecuencias:
– con independencia de que las situaciones sean o no existentes, los objetos que las forman son inalterables, son lo que subsiste. La substancia del mundo.
2.021 Los objetos forman la sustancia del mundo, por eso no pueden ser compuestos
– una vez que se han dado todos los objetos, se han dado todas las posibles situaciones. Tan pronto como se ha fijado la totalidad de objetos, se ha determinado también qué puede y qué no puede entrar en el conjunto de los posibles estados de cosas.
De entre los estados de cosas, algunos existen y otros no. La realidad está configurada por la existencia y la no existencia de los estados de cosas.
1. El mundo es todo lo que acaece
1.1 El mundo es la totalidad de los hechos, no de las cosas
2. Lo que acaece, el hecho, es la existencia de los estados de cosas
El mundo que dibuja el Tractatus es la suma total de la realidad, la suma total de unos y otros estados de cosas. El mundo es la totalidad de los hechos, no de las cosas
1.13 Los hechos, en el espacio lógico, son el mundo
El espacio lógico es el espacio de todos los mundos posibles. En este espacio, nuestro mundo, el mundo está unívocamente determinado por la existencia de algunos estados de cosas y por la inexistencia de los restantes. Si otros hubiesen sido los estados de cosas existentes, otro hubiera sido el mundo. Todas estas alternativas al mundo son denominadas mundos posibles. El espacio lógico es el conjunto de todos los mundos posibles, así como del mundo real.
Para Wittgenstein, el sentido de una proposición es la situación que describe.
2.22 La figura representa lo que representa, independientemente de su verdad o falsedad, por medio de la forma de figuración
4.06 La proposición puede ser verdadera o falsa sólo en cuanto es figura de la realidad
Con estas nociones podemos caracterizar el espacio lógico. Si la realidad pudiese ser descrita por una sola proposición tendríamos:
P |
V |
F |
Esto implica que “p” describe dos mundos posibles: uno en el que la proposición es verdadera y otro en el que es falsa. Si el mundo se describiera con dos proposiciones (por ejemplo P.1 «Hay orquídeas que viven enterradas» y P.2 «Marlowe escribió Otelo») tendríamos:
P | Q |
V | V |
V | F |
F | V |
F | F |
En general, podemos decir que el espacio lógico es el conjunto de posibilidades que podría tener el mundo cuando puede ser descrito de acuerdo con un número fijo de proposiciones elementales. El espacio lógico correspondiente a un número de proposiciones es lo que representa la tabla de atribución de los valores de verdad formada por todas las asignaciones de verdad simultáneas a las n proposiciones. Una vez dado un lenguaje (un conjunto de proposiciones) el espacio lógico correspondiente a este lenguaje contiene todo aquello que puede decirse con sentido mediante el lenguaje
2.202 La figura representa un estado de cosas posible en el espacio lógico
Más allá de este espacio lógico no queda ya nada que el lenguaje pueda representar
3.3 Lo que no puede decirse
Para Wittgenstein sólo los hechos pueden ser figuras de estados de cosas. El lenguaje pertenece al mundo, de ahí que deba haber algún error en esa imagen en la que el lenguaje y el mundo son cosas separadas y contrapuestas. El error radica en vernos a nosotros mismos fuera del mundo y fuera del lenguaje. No existe ese lugar fuera del mundo y del lenguaje. Por otra parte, no podemos decir por medio de nuestro lenguaje cual es la estructura o forma lógica de las proposiciones y, por consiguiente, tampoco podemos decir cual es la forma lógica o estructura de la realidad. Para hacer esto tendríamos que salirnos de la lógica y del mundo, y esto no puede hacerse. La lógica traza los límites del pensamiento humano, haciendo que éste sea posible.
5.61 La lógica llena el mundo; los límites del mundo son también sus límites.
Nosotros no podemos, pues, decir en lógica: en el mundo hay esto y lo de más allá; aquello y lo otro, no.
Esto parece, aparentemente, presuponer que excluimos ciertas posibilidades, lo que no puede ser, pues, de lo contrario, la lógica saldría de los límites del mundo; esto es, siempre que pudiese considerar igualmente estos límites también desde el otro lado.
Lo que no podemos pensar no podemos pensarlo. Tampoco, pues, podemos decir lo que no podemos pensar.
Salirse de la lógica sería poder pensar lo ilógico, lo cual no es posible. Los frutos del pensar son las proposiciones. Si el lenguaje es la totalidad de las proposiciones con sentido, salirse de la lógica es salirse del lenguaje, y los límites del lenguaje son los límites del mundo. El lenguaje define el espacio de todas las situaciones descritas por él. Por eso es un límite. Para Wittgenstein si se nos preguntase cómo sería un mundo ilógico, no podríamos decirlo.
Aunque no pueda decirse cual es la forma lógica de una proposición, nuestro lenguaje muestra esas cosas. El lenguaje no hace factible decirlas, pero unas y otras encuentran reflejo, se manifiestan en él. El lenguaje dicta las condiciones bajo las cuales es posible el mundo y bajo las cuales hablamos del espacio lógico. La principal consecuencia del Tractatuses la de investigar sistemáticamente las conexiones entre lenguaje y realidad, es decir, la imposibilidad de la teoría semántica. Esas conexiones entre nombres y objetos, entre proposiciones y situaciones, pueden aprenderse, pues se reflejan en el lenguaje y en el uso que hacemos de él.
Wittgenstein propone un criterio para distinguir las proposiciones con sentido de las que no lo tienen:
6.53 El verdadero método de la filosofía sería propiamente este: no decir nada, sino aquello que se puede decir; es decir, las proposiciones de la ciencia natural – algo, pues, que no tiene nada que ver con la filosofía –; y siempre que alguien quisiera decir algo de carácter metafísico, demostrarle que no ha dado significado a ciertos signos en sus proposiciones. Este método dejaría descontentos a los demás – pues no tendrían el sentimiento de que estábamos enseñándoles filosofía –, pero sería el único estrictamente correcto
La filosofía, pues, no es el conjunto de proposiciones verdaderas. La totalidad de las proposiciones verdaderas constituyen la ciencia natural. La misión de la filosofía es explorar esa posibilidad del espacio lógico que es el mundo. La filosofía es un esclarecimiento lógico del pensamiento, a saber, el análisis lógico del lenguaje.
El lenguaje oculta o disfraza el pensamiento. La filosofía está plagada de errores debido a la equivocidad de los signos. Hay que construir un sistema de signos regido por una adecuada sintaxis lógica en la que a cada símbolo le corresponda únicamente un signo. Desde un punto de vista filosófico, perseguir un sistema así es uno de los objetivos del análisis lógico. La filosofía tiene que fijar las fronteras del pensamiento (y de la ciencia natural), es decir, especificar las condiciones de lo que puede decirse.
Una consecuencia de esta concepción es que las proposiciones éticas son imposibles.
6.421Es claro que la ética no se puede expresar.
La ética es trascendental
(Etica y estética son lo mismo)
Por ejemplo, si yo digo que es bueno moralmente honrar a los padres, esta proposición es ilocalizable en el espacio lógico, ya que esta afirmación no describe ningún hecho del mundo. Los valores morales o éticos no son cualidades del mundo. Una máxima moral pretende ver el mundo desde fuera y compararlo con otros mundos posibles. Pero esto no puede hacerse ya que esto no lo podemos encontrar en el espacio lógico.
6.422 El primer pensamiento que surge cuando se propone una ley ética de la forma «tú debes» es: ¿y qué si no lo hago?
La odisea del filósofo es que sus doctrinas han traspasado los límites del sentido. Para la filosofía el único camino posible es el análisis lógico.
6.521La solución del problema de la vida está en la desaparición de este problema
(¿No es ésta la razón de que los hombres que han llegado a ver claro el sentido de la vida, después de mucho dudar, no sepan decir en qué consiste este sentido?)
6.54 Mis proposiciones son esclarecedoras de este modo; que quien me comprende acaba por reconocer que carecen de sentido, siempre que el que comprende haya salido a través de ellas fuera de ellas. (Debe, pues, por así decirlo, tirar la escalera después de haber subido).
Debe superar estas proposiciones; entonces tiene la justa visión del mundo
7. De lo que no se puede hablar, mejor es callarse
4. El sesgo empirista (el Círculo de Viena)
El Tractatus influyó en un numeroso grupo de filósofos: Moritz Schlick, Otto Neurath, Hans Hahn, Rudolf Carnap y Hans Reichenbach, conocidos o agrupados bajo el nombre de Círculo de Viena. Para el Tractatusel mundo está compuesto de hechos. Estos a su vez contienen a los objetos que son simples, átomos lógicos. Pero, ¿qué son esas clases de objetos del Tractatus? Wittgenstein no respondió, pero Russell tenía preparada la respuesta. Estos últimos elementos a los que conduce el análisis lógico son cosas tales como pequeñas manchas de color o sonidos, cosas fugaces y momentáneas (sense-data). Russell denomina a estas cosas particulares. Los particulares son los datos de la sensación, experiencias visuales, auditivas, táctiles, transmitidas por nuestras terminaciones nerviosas. Los particulares son lo único que nos es dado conocer con certeza. A pesar de todo, los particulares son momentáneos y los objetos que consideramos en nuestra experiencia cotidiana, como un cuadro, son perdurables. Russell considera que exigir a lo real perdurabilidad en el tiempo es un prejuicio metafísico. Explicamos los objetos cotidianos mediante sus componentes últimos, los particulares. En el mismo sentido frente a lo cotidiano, las entidades que la ciencia postula (átomos, genes, …) son ficciones, pero desempeñan un papel importante en el conocimiento humano. Russell cree que mediante los particulares se puede armonizar la imagen del mundo dada por la psicología y por la física. La física nos presenta un mundo que va más allá del sentido común. El mundo está formado no sólo por objetos físicos de tamaño medio, sino también por entidades inobservables: células, partículas,…, que son reales. Los subjetivo es irrelevante para la comprensión de nuestro mundo.
Para el psicólogo lo que vemos u oímos depende en gran parte de nuestra constitución física, de modo que nuestras convicciones acerca del mundo dependen o se hallan condicionadas por nuestros órganos sensoriales. La psicología enseña, pues, la subjetividad de nuestras experiencias del mundo.
Russell intenta armonizar estas dos visiones diciendo que tanto los objetos cotidianos como los que introduce el físico, son construcciones lógicas elaboradas a partir del material inicial que son los particulares (que son los elementos últimos de nuestra experiencia).
En mi interpretación del mundo, yo conecto unos particulares con otros en virtud de relaciones que se dan entre ellos. Una de las más importantes es la semejanza. Agrupo los particulares en cuerpos en función de cuan semejantes son los unos con los otros, y los tomo como apariencias distintas de la misma entidad. Russell compara cualquier entidad que se construya lógicamente a partir de un conjunto de particulares con la imagen de un hombre en una pantalla cinematográfica: parece que es un hombre en acción lo que está siendo proyectado, mientras que sólo se trata de una sucesión de imágenes fotográficas sin movimiento alguno. La ilusión de persistencia la produce la rápida sucesión de distintas imágenes. Análogamente, los libros, cuadros, las partículas elementales, …, son ficciones lógicas: conjuntos de particulares que guardan entre sí diversas relaciones y que se agrupan como si por debajo de ellas hubiera una entidad subsistente. El cuadro no es algo real, sino una construcción lógica llevada a cabo con el material de mis terminaciones nerviosas y de otras personas. El físico y el psicólogo hablan del mismo mundo, pero el físico construye objetos con los particulares de diferentes personas, mientras que el psicólogo con perspectivas, es decir, con las experiencias de un solo sujeto X en un instante del tiempo t.
4.1 El principio de verificabilidad
Russell, con su teoría de los particulares, introduce un cambio importante; intenta lograr una mayor claridad en la descripción del mundo, y para ello propone el llamado programa fenomenista, que trataría de mostrar que todo lo que decimos acerca del mundo son afirmaciones complejas en las cuales sólo se barajan los datos de la realidad.
Carnap dio al método constructivo de Russell un nuevo valor. Se trataría de reducir toda afirmación referida a ficciones lógicas a una que versara únicamente sobre particulares. En Los pseudoproblemas de la filosofíaCarnap distingue cuatro tipos de objetos:
– Nivel 1: autopsicológicos: coincidirían con los particulares
– Nivel 2: objetos físicos: un cuadro colgado frente a mí
– Nivel 3: objetos de la vida psíquica de los demás (heteropsicológicos)
– Nivel 4: productos culturales: Constitución de Cádiz.
Se trataría de reducir los objetos culturales a heteropsicológicos, estos a físicos y por último estos a autopsicológicos. Lo importante es traducir los enunciados de un nivel a los de otro nivel inmediatamente inferior (lenguaje fenomenalista). Si damos el nombre de significado empírico a la información que transmite una oración acerca del mundo, se identifica el significado empírico de un enunciado con la información que transmite su traducción a un lenguaje fenomenalista. Es decir, se traduce el lenguaje a las puras sensaciones. Para Wittgenstein, comprender una proposición significa saber lo que es el caso, saber si es verdadera. Esto se puede interpretar como una relación entre proposiciones y estados de cosas. Pero el neopositivismo lo entendió de otro modo: comprender una proposición es conocer qué experiencias sensoriales nos llevarían a juzgarla verdadera. El sentido de una proposición lo constituirían aquellas experiencias que nos permitirían verificarla. Se ha cambiado la noción de verdad por la de verificación. La condición de verdad es diferente a la de verificación (aunque ambas están relacionadas). Una cosa son las condiciones que hacen realmente a un enunciado verdadero y otra cosa es la condición de verificalibilidad, que remite a una experiencia realizada por un sujeto.
En el Tractatus, se dice que una proposición tiene significado si representa un estado de cosas en el espacio lógico; pues bien, el principio de verificabilidad, en su versión fuerte, parte de que los objetos del mundo son datos sensoriales, y, llevando a cabo el programa fenomenalista, exige que una proposición tenga significado empírico sólo si tiene un equivalente en un lenguaje de sensaciones. El principio de verificabilidad se fue atemperando y, para Carnap, por ejemplo, el principio significaría determinar las experiencias que confirmarían una proposición, en el sentido de que fuera probable su verdad (no hay verificación definitiva, hay conocimiento de las circunstancias que confirmarían la verdad de una proposición). La confirmación remite a que las leyes científicas hablan con proposiciones universales, mientras que nuestras experiencias nos remiten a lo singular. Por muchas experiencias que tengamos, la confirmación absoluta es imposible. Por eso se hablará del grado de confirmación de la proposición, o de su probabilidad.
El principio de verificación lleva a la conclusión de que la filosofía no es un conjunto de proposiciones con significado empírico, pues el conjunto de todas las proposiciones con significado empírico constituye la ciencia (véase el Tractatus). Ahora bien, hay otro campo del conocimiento que no tiene significado empírico, éste es el de la lógica y las matemáticas. El problema es diferencias estas disciplinas de la metafísica (cuyas proposiciones, además de no tener significado empírico alguno, son pseudoproblemas). Hume había distinguido entre afirmaciones de hecho y aquellas otras cuya verdad depende de relaciones entre ideas. En estas últimas se puede determinar la verdad o falsedad de la proposición por la mera operación del pensamiento. Wittgenstein llamó a la relaciones entre ideas tautologías(proposiciones lógicas y matemáticas) y las tautologías no dicen nada sobre el mundo. Las proposiciones lógicamente verdaderas son analíticas (no dependen de la experiencia). Las tautologías no pueden ser confirmadas ni refutadas por la experiencia; al no comprometerse con la verdad de ningún estado de cosas, ningún posible estado de cosas puede entrar en conflicto con ellas. En sentido estricto, ni tautologías (proposiciones que siempre son verdaderas), ni contradicciones, son proposiciones, pues las proposiciones son figuras de la realidad, mientras que aquellas no representan ninguna posible situación en particular. Las tautologías las representan todas, las contradicciones ninguna. Siendo más estrictos, podríamos decir que la tautología no es una combinación de signos; es un caso límite de combinación, como lo sería la contradicción.
La lógica no versa sobre objetos, sino sobre el lenguaje que hace posible hablar de esos objetos mediante proposiciones con significado empírico. Las tautologías expresan las reglas que rigen la aplicación de las palabras a los hechos. La tautología es verdadera en virtud de las constantes lógicas que en ella aparecen. Lógica y matemática son parte de la empresa gramatical que se requiere para poder después representar el mundo. Para los empiristas lógicos no hay proposiciones sintéticas a priori al modo de Kant. Las proposiciones a priori (lógica y matemática), verdaderas con independencia del mundo, son necesarias porque la única necesidad del conocimiento humano es lingüística. Hay pues dos tipos de proposiciones: sintéticas, que nos informan de cómo están las cosas y amplían nuestro conocimiento del mundo; analíticas, que dependen de los significados de ciertas constantes lógicas y no hablan del mundo. La verdad de las proposiciones sintéticas descansa en el lenguaje y el mundo, la de las analíticas sólo en el lenguaje.
Para el empirismo lógico, ni la ética ni la metafísica son verdades sintéticas; pero tampoco son verdades analíticas; de donde se deduce que las proposiciones metafísicas y éticas carecen de sentido (son pseudoproposiciones). El principio de verificación exige que el significado de una proposición sea aquello que supondría su verificación. Pues bien, ética y metafísica son inverificables y, por tanto, carecen de sentido.
Con el lenguaje podemos hacer dos cosas:
– describir o dar información acerca del mundo
– usarlo para dar salida a nuestros sentimientos, crear estados de ánimo.
Etica y metafísica pertenecen a la esfera expresiva del lenguaje. La ciencia empírica se mueve dentro de las coordenadas de la función representativa o descriptiva del lenguaje.
De este análisis se deduce que para los empiristas lógicos la filosofía es una actividad. El objetivo filosófico sería, no el de determinar la verdad o falsedad de las proposiciones de la ciencia empírica, sino la búsqueda de significado, las búsqueda de las condiciones de verificación de las proposiciones científicas. La filosofía se convierte en la lógica de la ciencia. La filosofía es un método de análisis lógico; el análisis filosófico es el análisis sintáctico del lenguaje científico. La filosofía tendría que someter a análisis el lenguaje científico y pasar las proposiciones de un modo material de hablar a un modo formal.
Por ejemplo: – 5 no es una cosa, es un número
– “5” no es un nombre de objeto, sino un nombre numérico.
5. Ryle y El concepto de lo mental
Ryle critica la teoría cartesiana de que el cuerpo es una máquina sujeta a leyes mecánicas, y que la mente humana está compuesta por otra sustancia que perdura y que el mundo mental es un mundo privado. El cuerpo sería un artefacto y la mente el fantasma en su interior. Ryle intenta librarse de la concepción cartesiana y de la de Russell que sostiene que lo físico y lo mental son organizaciones distintas de una misma sustancia (los particulares). Para Russell, los particulares son algo extramental. Pero lo natural sería verlos como algo privado en la interacción del mundo físico con mis terminaciones nerviosas. Entonces los particulares tendrían la estigmatización de lo mental (cosa que un materialista combatiría).
Schlick había rechazado que las cualidades sensoriales entraran a formar parte de la descripción del mundo que dan las teorías físicas. No obstante, para él no se trata de dos realidades, sino de una, designada por dos sistemas conceptuales diferentes: el físico y el psicológico. Schlick identifica la mente con el cerebro y así explica nuestra incapacidad verbal al ser dañado el nódulo occipital. Se reduce lo mental a lo fisiológico. Pero esta tesis fue un revulsivo para el empirismo lógico. Este reduccionismo tenía dos inconvenientes: 1) no hay conocimiento tal que nos lleve a correlacionar cada acto mental con su correspondiente estado fisiológico del cerebro; 2) un lenguaje así sería un lenguaje fisicalista, con lo cual se echaba por tierra el programa fenomenista.
El empirismo lógico aceptó un lenguaje fisicalista y la solución de Carnap fue la siguiente: un lenguaje fisicalista es público, y tiene que remitir a cosas observables. En este sentido, no remite solo a la neurofisiología, sino que se puede hacer una reducción de lo mental a una ciencia del comportamiento, hacer una ciencia de lo mental en lenguaje fisicalista. Si yo digo que «x está ruborizado» describo ese estado mental mediante proposiciones verificables (pulso, rubor de la cara, comportamiento anómalo, …).
Como Carnap, Ryle está de acuerdo con la opción conductista, los episodios mentales no son algo distinto de los actos y las disposiciones de las personas. No hay dimensión oculta ajena a la conducta que sea propia de lo mental (además del guante derecho y del izquierdo no existe «el par de guantes»).
Para Ryle, cuando ejercemos nuestras capacidades intelectuales, por citar una parte de la vida mental, no nos referimos a episodios ocultos que originan nuestras manifestaciones lingüísticas o nuestros actos públicos, sino a las manifestaciones y actos públicos mismos. El error consiste en que duplicamos el mundo físico, con sus causas mecánicas y su dimensión espacial, hasta obtener otro mundo distinto, con sus leyes y observadores propios. Las palabras se remiten a la conducta humana. Describir las operaciones mentales de una persona no es describir otro orden de realidades. Es describir cómo se comportan los seres humanos en circunstancias reales e hipotéticas de muchos tipos.
6. La crisis del análisis filosófico
6.1 El segundo Wittgenstein
6.1.1 Nombrar y jugar
En el Tractatus Wittgenstein distinguía únicamente dos relaciones semánticas, la nominación y la descripción figurativa. La primera era propia de las expresiones nominales y la segunda de las proposiciones. Wittgenstein fue abandonando la idea de que éstas son las dos únicas funciones semióticas de los signos lingüísticos. En efecto, que una expresión nominal denomine realmente un objeto (en el seno de una proposición) no depende de la propia naturaleza del nombre, sino de factores externos a sus propiedades estrictamente lingüísticas. Que un nombre denomine efectivamente un objeto depende de su aplicación como nombre, y ésta no está en una relación internacon el nombre, sino que es externa a él, puesto que depende de que efectivamente tal nombre sea utilizado en una ocasión concreta, con el propósito de nombrar un objeto. El supuesto de que los nombres se refieren a objetos independientes de los propósitos de su utilización, y de que éste es un hecho básico en el proceso de aprendizaje del lenguaje, es el primero de los cuestionados por Wittgenstein en las Investigaciones. Con ello, Wittgenstein criticó toda una tradición filosófica occidental. De acuerdo con esta tradición, los signos significan porque están en lugar de aquello que designan; su significación consiste en sustituir realidades; comprenderlos equivale a advertir que están en lugar de esas realidades. La nueva teoría del lenguaje que Wittgenstein esbozó en las Investigaciones consiste en la propuesta de un nuevo modo de entender lo que es la significación de un signo y su comprensión.
La estrategia seguida por Wittgenstein fue la siguiente: a) imaginar un conjunto de circunstancias comunicativas para las que fuera verdadera la imagen tradicional, la concepción nominativa del lenguaje; b) demostrar que el uso nominativo del lenguaje en esas circunstancias está intrínsecamenteunido a ellas, esto es, que sólo adquiere sentido en el seno de la situación descrita; c) mostrar que este hecho, la conexión entre lenguaje y situaciones concretas, no sólo es lo que da sentido a la función lingüística nominativa, sino también a cualquier función lingüística, de hecho tantas como (tipos de) situaciones imaginables en que se pueda o deba utilizar el lenguaje. El propósito tras esta estrategia expositiva y argumentativa era claro: demostrar que lo que el Tractatus y la tradición lingüística consideraban esencial en el lenguaje no lo es en absoluto; que constituye una extrapolación abusiva de un juego semántico muy simple, el de nombrar objetos.
#2. […] Ese concepto filosófico del significado reside en una imagen primitiva del modo y manera en que funciona el lenguaje. Pero también puede decirse que es la imagen de un lenguaje más primitivo que el nuestro.
#3. […] Esto debe decirse en muchos casos en que surge la cuestión: ¿Es esta representación apropiada o inapropiada? La respuesta es entonces: Sí, apropiada, pero sólo para este dominio estrictamente circunscrito, no para la totalidad de lo que pretendemos representar.
El juego nominativo no tiene un carácter paradigmático, ni es esencial a la comunicación lingüística: está al mismo nivel que otras formas de utilizar el lenguaje para la comunicación.
Tampoco el juego nominativo es esencial para el aprendizaje lingüístico, ni siquiera primario: de hecho, la imagen tradicional de lo que es aprender un lenguaje implica una circularidad. En efecto, si concebimos que el aprendizaje consiste en pensar (decirse) que ciertas palabras corresponden con objetos, el propio aprendizaje supone ya una forma de lenguaje, siquiera muy primitivo. Para aprender el lenguaje, el niño ya ha de dominar alguno.
#26. Se piensa que aprender el lenguaje consiste en dar nombres a objetos, a saber: a seres humanos, formas, colores, dolores, estados de ánimo, números, etc. Como se dijo: nombrar es algo similar a fijar un rótulo en una cosa. Se puede llamar a esa una preparación para el uso de una palabra. ¿Pero para qué es una preparación?
La imagen alternativa que presenta Wittgenstein subraya el aspecto social de tales juegos. Lo esencial es que el niño aprende a nombrar como una forma de comportamiento en un entorno social que le proporciona aprobación o reprobación. Practicar o dominar tales juegos elementales no es en principio diferente de la adquisición de otros hábitos o técnicas que se aprenden en el mismo lecho social. Cuando el niño aprende a nombrar un objeto no está aprendiendo en realidad lo que es la denominación. Eso sucederá después, cuando vaya adquiriendo conciencia de la heterogeneidad de los fines para los cuales se puede emplear el lenguaje. Lo que está aprendiendo es una forma (correcta, recompensada) de comportarse respecto a los objetos.
#6 […] Los niños son educados para realizar estas acciones, para usar con ellas estas palabras y para reaccionar así a las palabras de los demás.
Es una idea fundamental de las Investigaciones que aprender el significado del nombre no consiste en evocar las correspondientes imágenes o cualquier otro fenómeno mental concomitante. Aprender el significado de una palabra consiste en aprender una forma de conducta que, en diferentes individuos, puede estar asociada a diferentes representaciones o procesos psicológicos. Pero la referencia a hechos psicológicos no puede constituir una explicación de la homogeneidad necesaria para que se produzca la comunicación.
La clave de la nueva concepción de Wittgenstein es la noción general de juego y, en particular, la de juego lingüístico o juego de lenguaje.
Wittgenstein empleó la expresión “juego de lenguaje” con acepciones ligeramente diferentes, ya fuera para designar modelos simplificados de comportamiento lingüístico, como ciertos sistemas de comunicación inventados por él, ya fuera para indicar actividades lingüísticasreales, descritas con especificación de las circunstancias en que se producen.
#7. Podemos también imaginarnos que todo el proceso de uso de palabras en (2) [el juego nominativo] es uno de esos juegos por medio de los cuales aprenden los niños su lengua materna. Llamaré a esos juegos “juegos de lenguaje” y hablaré a veces de un lenguaje primitivo como un juego de lenguaje.
Y los procesos de nombrar las piedras y repetir las palabras dichas podrían llamarse también juegos de lenguaje. Piensa en muchos usos que se hacen de las palabras en juegos de corro.
Llamaré también “juego de lenguaje” al todo formado por el lenguaje y las acciones con las que está entretejido
Ello es así porque la noción de juego no sólo tiene un aspecto metodológicamente descriptivo (nos sirve para describir situaciones), sino también una dimensión heurística: como los modelos simplificados de otros ámbitos de la ciencia, nos permite captar con claridad los mecanismos esenciales de los fenómenos que estamos tratando de explicar.
Cuando se utiliza la noción de juego para entender nuestro lenguaje, lo primero que viene a la mente es la multiplicidad de clases de juegos. ¿Sucede lo mismo con nuestro lenguaje? Wittgenstein pensó que así era, que ése es uno de los rasgos en que son similares los juegos y el lenguaje humano: son internamente heterogéneos.
#43. ¿Pero cuántos géneros de oraciones hay? ¿Acaso aserción, pregunta y orden? Hay innumerables géneros: innumerables géneros diferentes de empleo de todo lo que llamamos ‘signos’, ‘palabras’, ‘oraciones’. Y esta multiplicidad no es algo fijo, dado de una vez por todas, sino que nuevos tipos de lenguaje, nuevos juegos de lenguaje, como podemos decir, nacen y otros se olvidan.
Captar el papel significativo de una expresión no equivale a ser consciente de algo tan abstracto como su virtualidad denominativa: supone el conocimiento concreto de su función en un juego de lenguaje, o en varios. Wittgenstein criticó en las Investigaciones la concepción mágicade la denominación, una concepción que concibe la conexión establecida entre la palabra y la realidad como un vínculo secreto y esencial.
#38. […] Si no se quiere provocar confusión, es mejor que no se diga en absoluto que estas palabras [‘esto’, ‘eso’] nombran algo. Y, curiosamente, se ha dicho una vez de la palabra ‘esto’ que es el nombre genuino. De modo que todo lo demás que llamamos ‘nombres’ lo son sólo en un sentido inexacto, aproximativo.
Esta extraña concepción proviene de una tendencia a sublimar la lógica de nuestro lenguaje […].
Esto está conectado con la concepción del nombrar como un proceso oculto, por así decirlo. Nombrar aparece como una extraña conexión de una palabra con un objeto […].
En particular sus críticas estaban dirigidas contra la idea de que existen expresiones lógicamente simples y básicas en todo lenguaje, que establecen una relación directa e inefable con la realidad. La falsa concepción del lenguaje básico es fruto de la forma peculiar de equivocarse los filósofos. La confusión filosófica consiste generalmente en extraer una expresión o conjunto de ellas del juego de lenguaje en el que tienen su propio sentido, y extrapolarlas a otro ámbito distinto, con pretensiones de generalidad o esencialidad.
#38. Pues los grandes problemas filosóficos surgen cuando el lenguaje hace fiesta. Y ahí podemos figurarnos ciertamente que nombrar es algún acto mental notable, casi un bautismo de un objeto. Y podemos también decirle la palabra ‘esto’ al objeto, dirigirle la palabra –un extraño uso de esta palabra que probablemente ocurra sólo al filosofar.
Esta ilegítima búsqueda de generalidad es el velo que impide ver la esencial complejidad y heterogeneidad del lenguaje, que no es sino una consecuencia de la heterogeneidad y complejidad de las formas en que vivimos.
6.1.2 Vivir el lenguaje
La noción de juego de lenguaje en las Investigacioneses correlativa con la de forma de vida.
#19. Puede imaginarse fácilmente un lenguaje que conste sólo de órdenes y parte de batalla –o un lenguaje que conste sólo de preguntas y de expresiones de afirmación y de negación. E innumerables otros– e imaginar un lenguaje significa imaginar una forma de vida.
Tanto los juegos de lenguaje como las formas de vida que Wittgenstein pone como ejemplos tienen una función metodológica. Están traídos a colación en la medida en que ilustran mecanismos y conexiones que se dan en las situaciones reales de comunicación, en general mucho más complejas. Por muy simples que parezcan, cumplen una misión fundamental en la concepción wittgensteiniana: hacen ver en una forma muy esquematizada la complejidad de nuestros usos lingüísticos y la estrecha conexión que tienen éstos con nuestras acciones sociales. No quiere esto decir que pongan de relieve ninguna “esencia” o lógica interna del lenguaje, general a todos los usos lingüísticos. Nada más contrario ni que más repugne a Wittgenstein en esta etapa que el ansia de generalidad. Los juegos de lenguaje mencionados no son sino una muestra de la inabarcabilidad de las formas en que utilizamos realmente el lenguaje. Ponen de relieve ante todo que, cuando preguntamos por el significado de una expresión, es inútil que demos vueltas tratando de encontrar una realidad (un objeto, un hecho) a que corresponda la expresión. Luchar contra esa imagen, la de que existe un reino de objetos no lingüísticos y otro de expresiones lingüísticas, y que la significación consiste en la relación entre ambos ámbitos, es uno de los principales propósitos de las Investigaciones. La declaración emblemática de la concepción que allí expone Wittgenstein es que el significado no es una cosa, sino un uso.
#43. Para una gran clase de casos de utilización de la palabra “significado” –aunque no para todos los casos de su utilización– puede explicarse esta palabra así: el significado de una palabra es su uso en el lenguaje.
Una explicación del significado de las expresiones lingüísticas implica también una descripción de actividades humanas, una especificación de su función en una determinada forma de vida. La explicación del significado de “¡jaque!” no puede consistir en señalar una determinada posición de las fichas de ajedrez en el tablero, ni mucho menos indicar un estado mental de quien profiere la expresión; tal expresión tiene sentido sólo cuando aclaramos cuál es su papel dentro del juego, el del ajedrez, por ejemplo.
Desde el punto de vista gramatical, existen varios tipos de oraciones que se distinguen por características estructurales; pero lo que es importante para Wittgenstein es dilucidar si los tipos de oraciones determinan tipos de significado, clases homogéneas de uso. La respuesta es rotundamente negativa: las aparentes homogeneidades estructurales esconden una infinita variedad de usos, unas indeterminadas posibilidades de que tales oraciones entren a formar parte de juegos lingüísticos. Lo interesante, en la medida en que queramos entender cómo funciona el lenguaje, es que los aspectos gramaticales o estructurales de la oración (la “gramática superficial” en la acepción de Wittgenstein) no determinan su significado. Suponiendo que sólo existieran oraciones indicativas, interrogativas e imperativas, ¿supondría eso que lo único que podemos hacer es realizar afirmaciones, preguntas o mandatos? No, podemos efectuar infinidad de (tipos de) acciones que, entretejidas, constituyen nuestra vida social y comunicativa. Cuando se concibe de este modo el lenguaje, como algo que se hace en el seno de una comunidad, la apertura y la historicidad de la vida social se trasladan al propio lenguaje. No sólo existe la libertad de inventar y vivir nuestras formas de comunicación que den lugar a nuevos juegos de lenguaje, a nuevos significados; también es preciso considerar el lenguaje bajo la óptica de la historia, como la acumulación de formas de vida inventadas, practicadas, quizás ya olvidadas. No sólo el lenguaje no determina la realidad, tampoco determina la vida.
6.1.3 El imperio de las reglas
El concepto clave que permite entender la concepción lingüística general del segundo Wittgenstein es el de regla. Este concepto es objeto de una indeterminación que, según Wittgenstein, es propia de todos los términos generales, e incluso de los nombres propios. Puesto que la tesis general que Wittgenstein mantuvo es que la fuente de donde mana el sentido de nuestros términos es funcional, esto es, relativa al contexto de la forma de vida de la que participan, el significado de un término no puede constituir una realidad fija, sino que es esencialmente abierto. Así sucede con el término “regla”. Existen muchas clases de reglas o, si se prefiere, numerosas acepciones del término “regla”.
#54 ¡Pensemos en qué casos decimos que un juego se juega según una regla definida!
La regla puede ser un recurso de la instrucción en el juego. Se le comunica al aprendiz y se le da su aplicación –o es una herramienta del juego mismo– o: Una regla no encuentra aplicación ni en la instrucción ni en el juego mismo; ni es establecida en un catálogo de reglas. Se aprende el juego observando cómo juegan otros. Pero decimos que se juega según tales y cuales reglas porque un espectador puede extraer esas reglas de la práctica del juego –como una ley natural que sigue el desarrollo del juego.
Por tanto, cualquier análisis del concepto en cuestión no ha de pretender sacar a la luz una esencia o núcleo general a todas las muestras de reglas que se nos ocurran. Es posible que las reglas lingüísticas no tengan mucho que ver con otros tipos de reglas.
Para el segundo Wittgenstein, las reglas lingüísticas son ante todo reglas del uso lingüístico, esto es, reglas que rigen la correctaaplicación de los términos en relación con situaciones comunicativas concretas. Delimitan, como las reglas del Tractatus, el ámbito de lo que tiene sentido, pero se diferencian de ellas en su variedad y en su contingencia. Las reglas de uso lingüístico pueden admitir diferentes modalidades de formulación o enunciación (ostensión, elucidación, paráfrasis, ilustración mediante ejemplos… todos los movimientos admitidos en el juego de explicar el significado) y no son universales, sino relativas a comunidades de comunicación concretas. Tampoco son homogéneas en el sentido de adoptar una misma forma o ser reducibles a un mismo tipo de formulación. Guardan entre sí lo que Wittgenstein denominó un aire de familia, esto es, relaciones de parecido o similaridad no transitivas. Se puede decir de ellas que constituyen un conjunto, pero no un sistema. Lo que Wittgenstein denominó “gramática” en las Investigaciones no es una totalidad estructurada internamente por propiedades formales ni genera una realidad homogénea.
#65. En vez de indicar algo que sea común a todo lo que llamamos lenguaje, digo que no haya nada en absoluto común a estos fenómenos por lo cual empleamos la misma palabra para todos, sino que están emparentados entre sí de muchas maneras diferentes. Y a causa de este parentesco, o de estos parentescos, los llamamos a todos “lenguaje”
A diferencia de la lógica del Tractatus, la gramáticade las Investigaciones no es trascendental.
El papel de las reglas es el de inducir regularidades en la conducta que posibiliten la comunicación. Siempre que una actividad está regulada, existe una homogeneidad en la conducta de los que participan en ella. El lenguaje exige esa homogeneidad. Por otro lado, el concepto de regularidad está lógicamente unido al de identidad (relativa): cuando afirmamos que existe una regularidad, queremos decir que se produce una misma conducta o que se hace lo mismo. Por eso, el análisis del concepto de regla implica el análisis de la identidad de conductas y una respuesta a una eventual postura escéptica acerca de la observancia de reglas. La primera parte del análisis consiste pues en una elucidación de lo que es observar una regla y de la conexión que se establece entre creencias y conducta, si es que es ésa la forma correcta de concebir la observancia de reglas. En cambio, la segunda parte entraña una especie de argumento trascendental: consiste en la demostración de que la observancia de reglas es necesariamente un proceso público, controlable y valorable intersubjetivamente. Esta segunda parte constituyó el argumento de Wittgenstein en contra del lenguaje privado, una noción que hacen viable e incluso entrañan diversas posiciones filosóficas.
Seguir una regla ha de conceptualizarse como una práctica. Es preciso distinguir cuidadosamente entre las reglas y las formulacionesde reglas, sin confundir éstas con aquéllas. En realidad, el hecho de que una expresión sea considerada como la formulación de una regla depende de la forma en que se use la expresión, no de ninguna propiedad de la expresión misma. En segundo lugar, tampoco hay que confundir la regla con lo expresadopor la formulación de la regla. No sólo ello conduciría a un platonismo desaforado, que admitiría un reino ideal de entidades abstractas como las reglas, sino que además conduciría a un callejón sin salida. Si la regla es lo que la formulación expresa, la regla es el resultado de interpretaresa formulación. Pero, ¿cuáles son los criterios que determinan la interpretación correcta? Uno podría sentirse tentado a responder: la conducta. Pero Wittgenstein se adelantó observando que toda regla se puede interpretar de tal modo que concuerde con la conducta (#58). Además, si se distingue entre la regla y su aplicación, se abre una especie de regreso al infinito: para saber cuándo es correcta la aplicación de una regla, deberíamos dominar otra regla, para aplicar la cual nos sería precisa una de orden superior, y así sucesivamente. Es preciso concebir las reglas de forma que sean inseparables de sus aplicaciones, esto es, hay que pensarlas como prácticas sociales, objeto de adiestramiento y de transmisión cultural.
De aquí se siguen dos importantes consecuencias:
1. Seguir una regla es diferente, e independiente, de pensar que se sigue una regla (#202) y,
2. No se puede seguir una regla privadamente (#199)
El concepto de observancia de una regla es lógicamente inseparable del concepto de corrección. Es consubstancial a la gramática de “regla”, a las condiciones que definen el uso de esa expresión, que podamos enjuiciar y estar de acuerdo en que alguien (incluso nosotros mismos) estamos observando una regla. Así es como en muchas ocasiones explicamosla conducta nuestra y de los demás. Y es una explicación precisamente porque es parcial, esto es, porque no se aplica correctamente a todas nuestras acciones. Pero, si la observancia de una regla fuera lo mismo que la creencia de que se sigue la regla, la posibilidad de desacuerdo, evaluación o corrección desaparecería.
6.1.4 Gramática y filosofía
Las Investigaciones siguen la misma línea del Tractatusen los siguientes aspectos:
1. la filosofía sigue concibiéndose como un conjunto de técnicas de análisis del lenguaje;
2. la aplicación de esas técnicas ha de tener como consecuencia una aclaración de la propia naturaleza del lenguaje;
3. tal iluminación permite trazar un límite a lo que se puede decir con sentido;
4. la filosofía es una práctica que no es equiparable a la ciencia: su objetivo no es proponer teorías que expliquen un cierto dominio de los fenómenos, sino de profundización en nuestra comprensión del lenguaje y de la comunicación, y
5. esa mejora en nuestra comprensión nos ha de permitir desembarazarnos de los problemas filosóficos, ha de suprimir el desasosiego que, en una u otra forma, esos problemas provocan.
En cuanto a las diferencias entre las dos obras, se pueden situar en dos planos: el del diagnóstico y el de la metodología filosófica. En cuanto al primero, Wittgenstein compartió con Frege y Russell la idea de que la causa de los problemas filosóficos es la incomprensión de la naturaleza lógica del lenguaje. Las expresiones de la lengua natural, y en particular las que parecen enunciar profundos problemas filosóficos, ocultan su auténtica naturaleza lógica: una vez que el correspondiente análisis ha sido efectuado, desvelando la forma lógica real de la expresión, el problema queda resuelto. El lenguaje toma contacto con la realidad a través de esa estructura lógica que, entre otras cosas, especifica cuáles son los componentes lógicamente elementales de la proposición que están en contacto directo, pero simbólico, con la realidad.
En cambio, al abandonar la teoría del lenguaje como representación, Wittgenstein también abandonó la idea de que los problemas filosóficos surgieran de la incomprensión de la lógica de nuestro lenguaje. Es más, llegó a la conclusión de que el lenguaje natural no tiene una forma lógica que el análisis pueda o deba descubrir. El análisis ha de tener entonces como objetivo el lenguaje tal como se nos presenta, sin pretensiones reductoras ni reformistas. Los problemas filosóficos no surgen de la naturaleza del propio lenguaje, sino del uso que hacemos de él; tienen su origen en nuestra utilización desordenada de las expresiones, esto es, de su empleo fuera del juego de lenguaje de que son parte, aisladas de la forma de vida que les da sentido.
El método que propone el Tractatus es el del análisis lógico, básicamente intervencionista: consiste en analizar las proposiciones hasta que sus últimos componentes (los nombres) y las conexiones lógicas entre ellos queden completamente claras.
Por el contrario, el método de las Investigaciones no es lógico, sino elucidativo. Como el lenguaje natural está en orden, no hay que reformarlo, ni sustituirlo por otro más preciso: se trata de comprenderlo mejor. Para ello, el camino fundamental es la captación de la gramáticade las expresiones. La filosofía es una investigación gramatical, entendiendo por tal la investigación que consiste en averiguar cuáles son las reglas que regulan la aplicación correcta de una expresión. Por supuesto, estas reglas incluyen las gramaticales en sentido tradicional, pero también las que se pueden considerar lexicográficas en sentido amplio, esto es, las que rigen el uso correcto de una expresión. Para descubrir tales reglas, es preciso analizar los diferentes juegos de lenguaje en que puede entrar la expresión, determinar la función que desempeña en esos juegos y elucidar las relaciones, si las hay, entre unos usos y otros.
Los problemas filosóficos tienen la forma típica de preguntas por realidades ocultas o misteriosas (¿qué es el tiempo? ¿qué es el color? ¿qué es el lenguaje?). Son resultado de pulsiones lingüísticas: el tratamiento adecuado consiste en reformular tales preguntas como si fueran preguntas referentes a la gramática de las expresiones correspondientes (¿cómo utilizamos “tiempo”? ¿en qué circunstancias empleamos “color”? ¿cuándo hablamos de “lenguaje”?). Cuando realizamos tal reconsideración, observamos que los problemas filosóficos no se resuelven, sino que se disuelven: su irrealidad queda puesta de manifiesto en el análisis del funcionamiento comunicativo de las expresiones.
6.2 Goodman
La teoría verificacionista del significado pasó de su versión dura de una verificación concluyente a una versión más atemperada basada en la confirmación, en conocer qué observaciones verificarían una proposición. El problema que subyace en el empirismo es el problema de la inducción. El empirista asiente su conocimiento en la observación empírica. Una ley científica se considera el resultado final de un proceso de inducción en el que se organizan los datos de la experiencia. Los conceptos de inducción y confirmaciónguardan una relación estrecha. Los datos D permiten inducir la hipótesis H, pero, a su vez, los datos D confirman la hipótesis H. Hay pues una relación. El problema está en pasar de un (o miles) caso observable a una proposición general. Si yo digo
a) b es una esmeralda y b es verde (b es cualquier esmeralda)
b) toda esmeralda es verde
pasar de a) a b) es problemático. En el caso de una consecuencia lógica, la verdad depende de los símbolos lógicos, y de la verdad de las premisas se deduce la verdad de la conclusión.
Ahora bien, la relación de confirmación no es una relación formal. No depende de la peculiar disposición de los símbolos lógicos. Imaginemos, dice Goodman, el predicado verdul, que se aplica a todas las cosas verdes que hayan sido examinadas antes de un tiempo t y a todas las cosas azules que se examinen después de t. Tenemos que todas las proposiciones que confirman b) confirman también la proposición
c) todas las esmeraldas son verdules
Sin embargo, el que las esmeraldas sean verdules es para nosotros algo increíble. c) estaría en relación de confirmación con a) (lo cual es inédito). Y los datos D podrían respaldar tanto una hipótesis genuina H como una accidental H’. Los datos respaldarán igual a b) que a c). Ahora bien, nosotros consideramos a verdul como inédito, porque los conceptos han sido forjados a lo largo del tiempo y se han organizado lenta y trabajosamente. Esta biografía nos decantaría por usar verde en lugar de verdul, y esta biografía es la que la lógica inductiva no puede recoger.
6.3 Quine
Critica lo que bajo su punto de vista son los dos dogmas centrales del empirismo lógico:
1. Que para cada proposición o enunciado existe el conjunto de experiencias que lo confirmarían (y el conjunto de aquellas otras que lo desconfirmarían)
2. Que hay dos clases de proposiciones: las analíticas, que son verdaderas según los signos del lenguaje, y las sintéticas, que se confirmarían o desconfirmarían por la experiencia.
En “Dos dogmas del empirismo”, Quine abandona el punto de vista tradicional según el cual la verificación sucede entre enunciados atómicos y moleculares y hechos. Quine apuesta por un verificacionismo holista, según el cual, el proceso de revisión de la asignación de verdad a nuestros enunciados y de reconocimiento de aquella verdad que debe ser mantenida a la luz de la experiencia recalcitrante, no hacemos intervenir a los enunciados tomados de uno en uno e independientemente, sino desde consideraciones implícitas del conjunto de enunciados que constituye nuestro lenguaje como sistema.
La clave de este ensayo reside en que términos como analítico o sintético, intensión y extensión, no son traducibles a un lenguaje neutral, como podría ser el lenguaje de la vida cotidiana. La tesis final del ensayo dice que la vinculación de la semántica al lenguaje cotidiano, como ámbito en el que las teorías deben ser comprendidas por un nativo de otra tribu diferente a la tribu de los filósofos del lenguaje, siempre es ambigua e insegura. De hecho, las palabras de la tribu de los filósofos del lenguaje no pueden traducirse a las palabras de la tribu del hombre común. Afortunadamente, sus prácticas sí que eran traducibles.
Las tesis de Quine no dicen nada acerca de si los nativos delfach “filosofía del lenguaje” pueden seguir usando o no sus palabras preferidas. Dice simplemente que cuando estos nativos quieren explicar a los nativos de la tribu “lenguaje común” de qué están hablando, no se hacen entender.
Quine realizó una breve y sorprendente historia de la metafísica en este pequeño artículo. Con agudeza denunció al platonismo como ontología dependiente de una teoría extensionalista del significado, fácil de resolver desde una teoría de clases. Tal teoría extensionalista dice que el significado de una palabra es la clase o el conjunto de entidades de las que éste es verdadero. El significado-extensión de la frase “criatura con corazón” es la clase de todos los seres con corazón. Si ahora comprendemos esta clase como un ente más, hacemos que la palabra tenga significado por este ente que, justo porque no es uno de los entes que pertenecen a su conjunto, es elevado a idea. Así, la palabra puede separarse de cada uno de los entes dados y sin embargo tener significado en relación con la idea.
Para definir el significado de esta palabra, de una manera separada de estos entes, se requiere establecer una ecuación entre ella y otra palabra. Esta ecuación es la relación de sinonimia o analiticidad. Así, la problemática de la significación reclama saber qué es la sinonimia o la analiticidad. La consecuencia de ello es que resulta muy difícil saber qué es la significación de una palabra. Pues no hay manera de definir la sinonimia sin la analiticidad y viceversa.
Quine está interesado en las relaciones discursivas, esto es, en el paso de unas palabras a otras. Por eso, supone que las palabras forman parte de un sistema de relaciones que parece muy fluido, pero que resulta muy difícil de explicar realmente. El atomismo lógico, al especializarse en los enunciados atómicos directamente referidos a los hechos, estaba muy interesado en esos momentos en que la palabra apunta al hecho, y, desde su perspectiva, la discursividad, en tanto que mero juego de identidad lógica, no ofrecía ningún problema. El positivismo jugaba con la analiticidad del tipo “Ningún hombre no casado es casado”, donde, sea cual sea la interpretación que se dé a casado, la frase es verdadera. De hecho esta fórmula es semejante a “Ningún A e No-A”. pero cuando en el juicio candidato a definir una palabra mediante la analiticidad aparecen dos palabras distintas, como por ejemplo, “Ningún soltero es casado”, no es sin más evidente que sea verdadero para cualquier interpretación de soltero y de casado.
Desde el punto de vista del positivismo lógico, esta frase no podía ser analítica. Pues con su teoría de la verificación de enunciados atómicos con hechos independientes, el positivismo tenía que establecer dos enunciados diferentes “Juan es soltero” y “Juan es casado”, con lo que la frase “Ningún soltero es casado” sería un enunciado sintético. Carnap, por tanto, había establecido un criterio de analiticidad para lenguajes no atravesados por relaciones de discursividad, en los que había que suponer relaciones perfectas de sinonimia y una teoría de las tautologías, pero no tenía noción alguna de analiticidad en el sentido de discursividad interna a un lenguaje.
Este problema de la ecuación propia de la discursividad reproduce el viejo problema de la definición. Pero lo que Quine deseaba extraer de este giro era una conclusión muy elemental: la definición misma no podía ser empleada para definir la sinonimia ni la analiticidad. Lo que se seguía desde aquí, no era que no existiese la discursividad lingüística, o que no existiese la definición de las palabras. Quería decir que era imposible tratar de establecer un programa de filosofía del lenguaje fundacionalista que explicara de una manera técnica – con el lenguaje de la semántica – lo que de hecho hacemos todos los días. Existen definiciones de palabras: las que hace el lexicógrafo. Éstas, sin embargo, no pueden ser aclaradas a su vez desde una teoría de la sinonimia, sino “presumiblemente, en términos referentes al comportamiento lingüístico”. Hacemos interconexiones de sinonimia entre formas lingüísticas, pero no sabemos lo que hacemos. Ahora bien, “cualesquiera que sean, esas interconexiones están ordinariamente basadas en el uso”. Las definiciones son pues informaciones acerca del uso de las palabras. Si una definición quería establecer el significado de una palabra, el significado de una palabra es una información sobre su uso.
Pretender llegar a un límite en el proceso infinito de la discursividad constituía una empresa absurda. Toda sinonimia descansa en una preexistente. No hay una senda privilegiada y única, jerarquizada de ningún tipo, que nos permita recorrer las calles de la sinonimia. La consecuencia era que nosotros no recorremos los canales de sinonimia por deporte, por afición o por el placer de ver hasta qué punto están despejadas las interconexiones lingüísticas, sino que lo hacemos dentro de ciertos contextos de necesidad y de uso, y cuyo criterio fundamental es que la invocación de una sinonimia pueda resultar útil. “El objeto de la explicación es preservar el uso de esos contextos privilegiados y afinar el uso de otros contextos”.
Al referir sus diferencias a un mero asunto de definición, o de economía, Quine estaba desmitificando la pretendida exactitud de la lógica o de la matemática, y con ello estaba haciendo gratuita la preferencia que el positivismo lógico había mostrado por estas disciplinas. Para él era algo así como si se diese preferencia a unas tijeras sobre una azada. En realidad, la verdadera cuestión es que tenemos necesidad de ambas cosas. En los sistemas naturales del lenguaje común se busca la facilidad de la práctica, con lo que se requieren muchos elementos individuales, y un gran número de palabras. Este vocabulario tan amplio permite mucha complejidad para caracterizar relaciones y, mediante compuestos únicos de elementos, da expresión a contextos muy diferenciados de uso. En los sistemas lógicos, por su parte, se requiere poca gramática y poco vocabulario, mínimo número de conceptos básicos y facilidad para establecer relaciones complejas mediante mera combinación y repetición de los pocos elementos. Este lenguaje no tiene utilidad para los contextos prácticos porque todas las particularidades del mismo sólo podrían expresarse mediante una enorme reiteración de elementos. El lenguaje común reúne muchísimos de estos posibles elementos en una palabra y simplifica la expresión. Sin embargo, la utilidad mayor del lenguaje lógico es que simplifica el discurso teórico acerca de sus elementos: no sólo minimiza el número de términos, sino que los define con más claridad.
Ambos lenguajes son económicos a su manera: uno en su capacidad comunicativa expresiva, otro en la precisión de su gramática y vocabulario. Si llamamos al lenguaje de la lógica la “notación primitiva”, entonces podemos caer en la tentación de pretender que cada una de las expresiones del lenguaje común más amplio puedan hallar una ecuación en el lenguaje de la notación primitiva. Esta ecuación sería una definición. Éste fue de hecho el proyecto en el que se embarcó el positivismo lógico. Pero este proyecto tenía ciertos problemas. En efecto, en el lenguaje de la lógica, simple y sencillo, se daban ciertas relaciones que, de ser traducidas al lenguaje natural, o de tener algún tipo de relación epistemológica, deberían ser traducidas al lenguaje natural con el adverbio “necesariamente”. Todos los problemas del empirismo, y de Hume, emergen aquí; pues si afirmamos “necesariamente” de una relación de sinonimia o analiticidad, “no hay ninguna seguridad de que … descanse en la significación y no en circunstancias fácticas accidentales”. En este sentido, no había que mitificar el lenguaje de la lógica. Tiene poca necesidad de lenguaje teórico para aplicarse, pero éste no carece de problemas y sobre todo no es traducible al lenguaje natural.
Quine sabe que el lenguaje funciona, o algo así, y que lo hace pragmáticamente, pero no sabe realmente ni cuando ni cómo, y por tanto no hay casos paradigmáticos en los que podamos confiar para seguir haciendo lo mismo. la regla “lo mismo” es un caso más de expresión que no tiene traducción.
Cuando Quine analiza la propuesta de que un enunciado analítico, como última salida, ha de ser aquel cuya verdad no se establece en virtud de la verificación, ni en virtud de lógica, sino en virtud de la regla semántica, recuerda que no está claro qué sea una regla semántica. Su comprensión como un postulado que hay que cumplir en el seno de la comunicación, cae dentro de la visión pragmática de la ciencia. Un postulado o una regla es relativa a un actoconcreto de investigación o de regulación. Lo que subyace a la tesis es que no hay un código cerrado done estén escritas todas las reglas.
A veces Quine acepta que ciertos enunciados cumplen las funciones que los positivistas lógicos dicen que cumplen. Lo que discute es que esos enunciados sean una clase.
Quine concluía sus, por él mismo llamadas, sombrías reflexiones con las siguientes palabras:
Es obvio que la verdad en sentido general depende a la vez del lenguaje y del hecho extralingüístico. El enunciado ‘Bruto mató a Cesar’ sería falso si el mundo hubiera sido diverso en algunos aspectos de lo que ha sido, y también lo sería si resultara que la palabra ‘mató’ tuviera el sentido de ‘procreó’. Por eso se presenta la tentación de suponer que la verdad de un enunciado es algo analizable en una componente lingüística y en una componente fáctica. Dada esa suposición, parece a continuación razonable que en algunos enunciados la componente fáctica se considere nula. Y esto son los enunciados analíticos. Pero por razonable que sea todo eso a priori, sigue sin trazarse una línea de separación entre enunciados analíticos y enunciados sintéticos. La convicción de que esa línea debe ser trazada ‘es un dogma nada empírico de los empiristas, un metafísico artículo de fe’
Una vez criticados los enunciados analíticos, Quine la emprende con los enunciados sintéticos. Quine entiende el proceso de la verificación a la manera de Peirce, no a la manera de los atomistas lógicos. Para éstos, cierta semejanza estructural permitía que la vinculación de una proposición y un estado de cosas se mostrase por sí misma. Peirce, por el contrario, hablaba de “método de confirmación o confutación empírica” de las expresiones. Enunciado analítico sería aquel que resultase confirmado bajo cualquier resultado de este método de confirmación. Sinónimos serían los enunciados que resultaran confirmados por el mismo proceder o método.
Quine no es tan ingenuo como para asumir la viabilidad del proyecto reduccionista radical del positivismo lógico – verificar consiste en traducir todo el lenguaje de objetos físicos a lenguaje de percepciones –. No sólo señaló la ambigüedad con la que los positivistas hablaban de datos sensibles como acontecimientos de los sentidos y como cualidades sensibles. También se refirió al carácter gratuito de tal empresa, que no mejora nuestras disposiciones pragmáticas comunicativas. Además, tal lenguaje de las percepciones no era tal, sino que estaba estructurado alrededor de entidades procedentes del lenguaje sofisticadamente matemático, de lógica de clases, etc. Por último, la reducción no era posible por cuestiones de principio. Cualquier lenguaje mínimo que desease expresar aquellos enunciados fundamentales en los que reducir el lenguaje de objetos físicos, incorporaba conectivas no definidas en el lenguaje elemental. Así el enunciado reducido “la cualidad c se encuentra en x,y,z,t”, donde z, y, z, t, son realmente las coordenadas de lugar y de tiempo, no puede prescindir de “se encuentra”, que no es definible de forma empirista, o “cualidad” que tampoco lo es.
Aunque el programa reduccionista no se mantuvo mucho tiempo en su forma más radical, se mantuvo su espíritu en relación con los enunciados sintéticos. Se creyó que todo enunciado sintético, tomado por sí mismo, independientemente de toda otra consideración, está asociado a un único campo posible de acontecimientos sensoriales. Una ocurrencia en ese campo supone aumentar o disminuir su probabilidad. Contra esta tesis, Quine opone la tesis pragmática tradicional de que “nuestros enunciados acerca del mundo externo se someten como cuerpo total al tribunal de la experiencia sensible, y no individualmente”. Al llegar aquí, Quine demostraba que, de hecho, el dogma de la diferencia radical entre enunciados analíticos y sintéticos dependía, a su vez, de este otro dogma de que la confirmación o la refutación es un asunto de un enunciado aislado. Pues si se trata de verificar o refutar un enunciado, parece que en el caso límite puede haber algunos enunciados que son verificados o refutados sea cual sea el estado de cosas del mundo, y éstos serían los enunciados analíticos. La clave entonces consistía en dejar de creer en la especialización de trabajo estable entre los enunciados: unos para referirse a los hechos y otros sólo interesados en las palabras. Quine concluyó que “la unidad de significación empírica es el todo de la ciencia”.
En el § 6 de su ensayo Empirismo sin dogmas, afirmaba que lo definitivo de la ciencia era justamente la frontera que separaba el interior del exterior. Aquí se hablaba de conflicto en la periferia sensible. La experiencia era la noticia de este conflicto que, para garantizar la supervivencia del sistema, exige redistribuir el peso de nuestras creencias y expectativas, a fin de dar cuenta de los nuevos sucesos y anticiparse a ellos. Lo decisivo, lo que pone en tela de juicio el criterio de verificación o falsación, es que los conflictos de la periferia no deciden por sí solos qué enunciados del interior del sistema debemos eliminar o alterar. Esta decisión no es unívoca, ni depende de que exista una relación de uno a uno entre enunciados y estados de cosas. La relación entre hecho y enunciado que debe eliminarse, alterarse, corregirse, etc., “se establece a través de consideraciones de equilibrio que afectan al campo como un todo”.
Si nuestra capacidad de hacer reajustes dentro del sistema fuese absolutamente libre, ninguna experiencia falsearía una de nuestras creencias. Si nuestra soberanía sobre las palabras fuera absoluta y tuvieran claramente definido el criterio de uso en todos sus casos, al decir “Todos los cisnes son blancos”, estaríamos asumiendo que cualquier animal exactamente igual al cisne, pero negro, se llamara de otra manera. De hecho, las cosas no son tan simples. Hay margen de elección en la reestructuración de nuestras palabras y creencias, pero, sobre todo, este asunto está determinado, más que por una decisión racional, por una “tendencia natural a perturbar lo menos posible el sistema en su conjunto”.
7. Bibliografía
- Acero Fernández, J. J., Filosofía y análisis del lenguaje, Madrid, Ediciones Pedagógicas, 1994
- —-, “Wittgenstein, la definición ostensiva y los límites del lenguaje”, Teorema, vol. XVIII/2, 1999, pp. 5-17
- Acero, J.J., Bustos, E. y Quesada, D., Introducción a la filosofía del lenguaje, Madrid, Cátedra, 1982
- Alston, W.P., Filosofía del lenguaje, Madrid, Alianza, 1974
- Austin, J. L., Palabras y acciones, Buenos Aires, Piados, 1971
- Ayer, A.J., El positivismo lógico, México, F.C.E.
- Blasco, J. L., Grimaltos, T., Sánchez, D., Signo y pensamiento. Una introducción filosófica a los problemas del lenguaje, Barcelona, Ariel, 1999
- Bustos Guadaño, E., “Wittgenstein y la razón analítica”, en González García, M. (comp.), Filosofía y cultura, Madrid, Siglo XXI, 1992, pp. 483-513
- Cruz, Manuel, Filosofía contemporánea, Madrid, Taurus, 2002
- Frege, G., Escritos lógico-semánticos, Madrid, Tecnos, 1974
- —-, Estudios sobre semántica, Barcelona, Ariel, 1971
- García Carpintero, M., Las palabras, las ideas y las cosas: Una presentación de la filosofía del lenguaje, Barcelo-na, Ariel, 1996
- García Suárez, A., Modos de significar. Una introducción temática a la filosofía del lenguaje, Madrid, Tecnos, 1997
- Garciadiego Dantán, A., Bertrand Russell y los orígenes de las “paradojas” de la teoría de conjuntos, Madrid, Alianza, 1992
- Hartnack, J., Wittgenstein y la filosofía contemporánea, Barcelona, Ariel, 1972
- Izuzquiza, I., Caleidoscopios. La filosofía occidental en la segunda mitad del siglo XX, Madrid, Alianza, 2000
- Moore, G.E., “La ‘teoría de las descripciones’ de Russell, en Moore, G.E., Defensa del sentido común y otros ensayos, Barcelona, Orbis, 1983, pp. 161-202
- —-, “Conferencias de Wittgenstein 1930-1933” en Moore, G.E., Defensa del sentido común y otros ensayos, pp. 255-322
- Moulines, C.U. (ed.), Homenaje a Bertrand Russell, Barcelona, Oikos-Tau, 1968
- Muguerza, J., La concepción analítica de la filosofía, Madrid, Alianza, 1974
- Pecellín, M., Reguera, I. (eds.), Wittgenstein-Heidegger, Diputación Provincial de Badajoz, 1990
- Prades Celma, J.L., Wittgenstein: mundo y lenguaje, Madrid, Cincel, 1990
- Quine, W.v.O., Desde un punto de vista lógico, Barcelona, Orbis, 1982,
- —-, Filosofía de la lógica, Madrid, Alianza, 1973,
- —-, La relatividad ontológica y otros ensayos, Madrid, Tecnos, 1974
- Russell, B., Escritos básicos, Planeta, Barcelona, 1983
- —-, “La filosofía del atomismo lógico” en J. Muguerza, La concepción analítica de la filosofía
- —-, La evolución de mi pensamiento filosófico, Madrid, Alianza, 1982
- —-, Lógica y conocimiento, Madrid, Taurus, 21981
- —-, Los principios de la matemática, Madrid, Espasa-Calpe, 1983
- —-, Los problemas de la filosofía, Barcelona, Labor, 1970
- —-, Significado y verdad, Barcelona, Ariel, 1983
- —-, El conocimiento humano, Barcelona, Orbis, 1983
- —-, Ensayos filosóficos, Madrid, Alianza, 21991
- —-, Fundamentos de filosofía, Barcelona, Plaza & Janés, 1985
- —- y Whitehead, A.N., Principia Mathematica, Madrid, Paraninfo, 1981
- Ryle, G., Dilemas, México, UNAM, 1979
- —-, El concepto de lo mental, Buenos Aires, Piados, 1967
- Sádaba, J., Conocer Wittgenstein y su obra, Barcelona, Dopesa, 1980
- Strawson, P. F., Individuos, Madrid, Taurus, 1989
- Valdés Villanueva, M. (ed.), La búsqueda del significado, Madrid, Tecnos, 1992
- Waismann, F., Ludwig Wittgenstein y el Círculo de Viena, México, FCE, 1973
- Wittgenstein, L., Investigaciones Filosóficas, Barcelona, Grijalbo, 1991
- —-, Tractatus logico-philosophicus, Madrid, Alianza
- —-, Diario filosófico (1914-1916), Barcelona, Planeta, 1986
- —-, Los cuadernos azul y marrón, Madrid, Tecnos, 1989
- —-, Sobre la certeza, Buenos Aries, Tiempo Nuevo, 1973
- —-, Cartas a Russell, Keynes y Moore, Madrid, Taurus, 1979
- —-, Vermischte Bemerkugen, Basil