6 Metaphor and Argument Quine on Convention

(p.218): Este captulo examina el papel de la metfora de la red de creencias en los diferentes argumentos de Quine contra el convencionalismo, particularmente, en su temprana crtica del convencionalismo en Truth by Convention. (p.219): Quine usa una versin del convencionalismo (IT) para criticar otra (VD).

I.

Regresando a las dos versiones del convencionalismo

(IT) Convencionalismo basado en la indeterminacin de la teora cientfica (VN) Doctrina de que las verdades, tradicionalmente concebidas como necesarias, son en realidad convenciones.

(p.220) El ncleo de sta concepcin [(IT) representada en la metfora de la red de creencias] es el reconocimiento del problema de la induccin. Enunciados observacionales (empricos) no implican teoras, pero al menos estn implicados por ellas, por tanto, la posibilidad de teoras incompatibles, implicando los mismos enunciados observacionales, es el paradigma de la indeterminacin. Estrictamente hablando, las teoras implican observaciones condicionales u observaciones categricas, ms bien que enunciados observacionales. Teoras que implican las mismas observaciones categricas tienen el mismo contenido emprico, y son, entonces, empricamente equivalentes. Teoras que son empricamente equivalentes que consideran un conjunto dado de observaciones, pueden volverse diferentes cuando nuevas observaciones son hechas. [Problema de la induccin]

Problema de la induccin [distincin de Reichenbach] Limitada indeterminacin indeterminacin de la teora por una clase especfica de observaciones. (Y, que es resuelta por observaciones adicionales)

Fuerte subdeterminacin por todas las observaciones posibles. 3 conceptos claves induccin, holismo y subdeterminacin *(p.221) Desde el punto de vista de Quine, el contenido de una teora no es agotado por las observaciones categricas que ella implica. Entonces, incluso la totalidad de todas las observaciones posibles, una totalidad que fija el valor de verdad de cada observacin categrica, no precisa el valor de verdad de todos los enunciados tericos. Tomando teoras para superar su base evidencial [emprica], la tesis de indeterminacin reclama convencin: Si las teoras son indeterminadas por todas las observaciones posibles, es decir, si nosotros siempre podremos confrontar teoras empricamente equivalentes pero incompatibles, debemos ejercer discrecin [convencin] en cuanto a la teora de preferencia.

*(p.221) La indeterminacin de la teora (IT) no implica que teoras empricamente equivalentes son igualmente confirmadas. La eleccin de la teora debe estar guiada por valores cognitivos [como la simplicidad], y, por ende, su eleccin no tiene un carcter arbitrario; debido a que representa una decisin basada en razones pragmticas obtenidas por la confirmacin.

*(p.223) Concepcin de Quine Fuerte indeterminacin Concede discrecin [eleccin por convencin de una teora, dentro de dos teoras empricamente equivalentes, pero incompatibles] no slo con respecto a un conjunto limitado de observaciones, sino con el inventario completo de las posibles observaciones. El criterio que Quine recomienda como una gua para la eleccin racional entre alternativas, es su mxima de la mnima mutilacin; menores cambios en la red son preferibles que los ms radicales. Tambin la simplicidad es mencionada. [Todo esto en relacin con la metfora de la red de creencias.] **(p.223) Lo que la metfora falla en ilustrar, es la relacin lgica entre alternativas empricamente equivalentes. (pp.223-224) La segunda versin del convencionalismo (VN), tiene su origen en la interpretacin de Poincar de los axiomas como definiciones disfrazadas, y en el mtodo de Hilbert de la definicin por axiomas. Cuando un conjunto de axiomas es tomado para definir implcitamente los trminos que aparecen en esos axiomas, ni la verdad de los axiomas, ni la existencia de las entidades a las que los trminos definidos refieren, estn presupuestas.

***(p.224) El trmino convencin funciona de manera distinta en las dos versiones del convencionalismo. En la (IT) implica discrecin, mltiples alternativas, tolerancia. Si elecciones convencionales son tomadas a medida que avanzamos, confrontados con la indeterminacin y la equivalencia emprica, las convenciones no son establecidas previamente, y pierden sus caractersticas distintivas. La locucin verdad por convencin es raramente usada en este contexto, y cuando lo es, significa que la teora elegida llega a ser verdadera para nosotros, mientras las otras son rechazadas por razones metodolgicas. En (VN), sin embargo, convencin, involucra un conjunto ms o menos fijado de reglas y definiciones que establece el marco bsico con el cual verdades ordinarias pueden ser formuladas. En este contexto, la frase verdad por convencin es frecuentemente aunque errneamente invocada. Estrictamente hablando, las convenciones fundadas, como requisitos previos para el discurso sobre la verdad, no expresan ellas mismas verdad o falsedad, al menos no verdades o falsedades sobre el mundo. Tomar la locucin verdades necesarias demasiado literal, es el gran error que (VN) busca evitar. ***(p.225) Reconocer la regla lingstica detrs de una verdad aparente (verdad necesaria) no es hacer una eleccin o ejercicio de discrecin. Es simplemente ser consciente de las diferencias importantes entre las diferentes funciones del lenguaje, diferencias que pueden ser obscurecidas por similitudes superficiales. A diferencia de (IT), por tanto, (VN) no afirma que los cientficos o los hablantes ordinarios estn conscientemente involucrados en la toma de decisiones convencionales. Ms bien, llama la atencin sobre las tcitas convenciones presupuestas en el razonamiento y en el habla.

II.

Verdad y Convencin: Primera fase

Truth by Convention 1936 primera crtica al convencionalismo de Carnap World and Object 1951 Segunda crtica, base del argumento de la indeterminacin de la traduccin **(p.225) En 1934 Quine acepta (VN) [Lectures], pero viene a rechazarlas en 1936 por razones independientes a la (IT) [Truth by Convention y World and Object]. Pero en 1951 Quine se adscribe a (IT) [Two Dogmas], introduciendo la metfora holstica de la red y extrayendo de ella un nuevo argumento contra (VN).

*(p.226) Lectures Quine, abriendo con una discusin de la verdad analtica, mantiene que lo analtico no depende sobre nada ms que definiciones, o convenciones como los usos de las palabras. Las definiciones pueden ser explcitas o implcitas, la ltima consiste en un conjunto de reglas que especifican cuales enunciados contienen el trmino nuevamente definido son para ser aceptados como una cuestin de convencin. Dada la

necesidad de dar cuenta de un nmero infinito de enunciados por medios finitos, definiciones contextuales esquema de enunciados generales son usados. Cuando todos los enunciados conteniendo materialmente un trmino particular, pueden ser generados a partir de un pequeo nmero de esquemas, esos esquemas pueden ser aceptados como materia de convencin, y considerados como una definicin implcita del trmino en cuestin. Como resultado, enunciados que estn en acuerdo con los esquemas, y materialmente slo envuelven los trminos definidos, se convierten en analticos.

*(p.228) La sinonimia es otro punto sobre el cual Quine anticipa su argumentos posteriores. Construyendo la sinonimia como igualdad del significado, l nota, nos deja con una nocin ms difcil en nuestras manos que la sinonimia en s misma. En su lugar, siguiendo la aproximacin sintctica de Carnap, el toma dos signos como sinnimos si, cuando nosotros reemplazamos cada signo por el otro en cualquier enunciado dado, el enunciado resultante es una consecuencia del enunciado dado.

*(p.229) Si tuviramos que tomar verdad por convencin para significar la doctrina pragmtica de que el mbito de lo analtico puede ser variadamente delimitado, Quine podra ser, en efecto, un convencionalista, tanto en las Lectures como en sus ltimos trabajos. Pero no es as como los convencionalistas, y Carnap en particular, entienden su interpretacin de la necesidad. En su comprensin, la interpretacin convencionalista nos da una herramienta sobre la divisin tradicional entre dos tipos de verdad, conceptual por una parte, emprica por otra. Quine, temprana y posteriormente, se opone a esta doctrina.

*(p.229) Lo que parece haber ocurrido entre las Lectures y Truth by Convention no es tanto un cambio filosfico rotundo de parte de Quine, como una consolidacin de sus ya incipientes ideas. Por otra parte, Quine debe haberse dado cuenta de que esas ideas, ms que meramente tiles para la elaboracin del punto de vista de Carnap, contenan las semillas de una nueva concepcin. En efecto, en Truth by Convention est mucho ms claro para Quine de lo que lo era en las Lectures, que una interpretacin en la cual cualquier verdad puede ser hecha verdadera por convencin, no alcanza el objetivo convencionalista de arrojar luz sobre el a priori.

(p.229) La separacin del convencionalismo de Carnap, naciente en las Lectures, todava no es admitida. Slo es gradualmente percibida como tal, y no completamente reconocida hasta Two Dogmas y Carnap Logical Truth.

(p.230) Argumento de la regresin Cmo proporcionar un infinito nmero de enunciados, a partir de medios finitos? Los trminos lgicos propiamente definidos (definiciones implcitas) por los esquemas, resultan presupuestos o en los esquemas o en el metalenguaje que los introduce.

**(p.231) Concediendo que Carnap ha tenido xito en dar una definicin sintctica de la verdad lgica, Quine evala la importancia filosfica de su interpretacin. El mero hecho de que uno pueda caracterizar un conjunto de de verdades sintcticamente no excluye la posibilidad de que el origen o la justificacin de esas verdades es extralingstico. No podemos, por tanto, argumentar que a partir de la definibilidad sintctica de la verdad se concluya que la lgica est fundada en sintaxis, verdadera a causa de la sintaxis Uno puede an mantener que la lgica y la matemtica son verdaderas por alguna necesidad antecedente de tipo no-sintctico. En los ltimos aos, Quine es ms claro: La interpretacin convencionalista de la lgica colapsa en la observacin no explicativa de que las verdades lgicas estn profundamente arraigadas, o parecen tan obvias para nosotros que casi nunca estamos dispuestos a revisarlas.

*(p.231) La principal objecin de Quine a la interpretacin convencionalista de la verdad lgica (o la analiticidad en general) es que es insuficiente para llegar a dar cuenta explicativamente, ms all de la creencia en que las verdades lgicas son obvias para nosotros.

III.

Verdad por convencin: Segunda fase

***(p.232) Two Dogmas se centra en la distincin analtico-sinttico ms bien que en la nocin de verdad por convencin, esos problemas, y, por ende, los trabajos que los discuten, estn ntimamente relacionados. El inters en la nocin de verdad por convencin deriva de su supuesto papel en la fundamentacin de lo analtico. Si, como Quine argumenta en Two Dogmas, all no hay manera de circunscribir lo analtico, la crtica explcita del convencionalismo expresada en Carnap Logical Truth contina como una cuestin obvia. Nosotros podemos notar que en esta conexin que a pesar de este pragmtico, nofundacional entendimiento de la verdad lgica, Quine otorga a las verdades lgicas un status diferente del que les da a las verdades analticas en general. Las verdades analticas se suponen que son convertibles en verdades lgicas substituyndolas por expresiones

sinnimas. Pero la sinonimia, al igual que el significado, es, desde la perspectiva de Quine, sospechosa. Nuestra inclinacin a materializar tales abstracciones, el teme, obscurece el hecho de que all no est bien definida la entidad significado, y no est bien definida la relacin de sinonimia igualdad de significado. Por tanto, lo analtico, concebido generalmente, carece de una extensin bien definida. Por una parte, las verdades lgicas pueden ser delimitadas, pero sin embargo, frustrando los intentos para explicar la naturaleza de su verdad. La crtica de lo analtico difiere entonces de la crtica de la verdad lgica. La verdad lgica est bien definida, pero no puede y no necesita estar fundada en un nivel explicativo ms bsico de sintaxis o convencin; lo analtico no solamente est inexplicado sino tambin mal definido. Consecuentemente, la nocin de convencin, incapaz de explicar cualquiera de las dos categoras, pierde su inters filosfico.

***(pp.232-233) Una de las ms sorprendentes caractersticas de Carnap Logical Truth es que parece perder el punto central del convencionalismo. Desde el punto de vista convencionalista, verdad por convencin es una denominacin errnea, porque all no hay tales verdades. El convencionalista no cree, ms de lo que cree el realista, que la verdad pueda ser creada o postulada por mandato. Ms bien, lo que el convencionalista afirma es que las presuntas verdades son, en efecto, convenciones. Ms especficamente, las llamadas verdades necesarias, concebidas tradicionalmente como verdades particularmente rgidas universalmente, son en realidad definiciones y reglas de un lenguaje que son fundadas en convenciones ms bien que en hechos. Esas reglas constituyen el marco con el cual las verdades propiamente dichas pueden entonces ser formuladas y establecidas.

(p.233) Recordando el problema de Poincar en relacin con las geometras no-Eucldeas: Si los axiomas de la geometra son concebidos como verdades (necesarias), all habrn verdades (necesarias) incompatibles, tomados en sentido literal, los axiomas de diferentes geometras sern claramente incompatibles. Atribuyndoles necesidad se intensifica la dificultad, para las verdades necesarias, supuestamente verdaderas en todos los mundos posibles, no pueden concebirse teniendo otras posibles verdades como alternativas, o, posteriormente, verdades necesariamente alternativas. La solucin de Poincar fue declarar que esos axiomas son definiciones disfrazadas en vez de verdades. Claramente, en esta interpretacin no hay verdad por convencin.

****(p.233) La interpretacin sintctica de Carnap, de la lgica y la matemtica, no deja lugar alguno para la nocin de verdad analtica.

***(p.233-234) En los ejemplos paradigmticos aportados por Poincar y Carnap, entonces, la exposicin convencionalista de la naturaleza convencional de las reglas y de las definiciones disfrazadas como verdaderas, nos advierte de la confluencia de verdad y convencin. All no hay un malentendido ms serio de sta posicin que tomar la nocin de verdad por convencin literalmente. Pero esto es precisamente lo que Quine parece hacer.

***(p.234) Entonces, en la lectura de Quine, la cuestin es si hay enunciados que son tanto verdaderos como convencionales, o verdaderos porque son convencionales. Por una parte, para el convencionalista clsico, las convenciones no son ni verdaderas ni falsas, y deben ser cuidadosamente distinguidas de las verdades. En general, el paradjico epteto verdad por convencin es usado frecuentemente por los crticos del convencionalismo, y tiende a perpetuar la concepcin comnmente errnea de que el convencionalismo, en efecto, propone establecer la verdad por convencin. (p.234) Cuatro argumentos contra el convencionalismo: (p.234-235) a) Regresin: [En Truth by Convention y expuesto nuevamente en Carnap Logical Truth]: Como vimos, este argumento no hace uso de la (IT) y del holismo, y es entonces independiente de los detalles especficos de la epistemologa de Quine. Debemos notar tambin que, debido a su carcter formal, el argumento de regresin tambin es independiente del status atribuido a las convenciones: Si las convenciones son entendidas como verdades, a la par de las verdades empricas, o interpretadas como reglas, definiciones, o algo de esa clase, el argumento de regresin se dirige contra la afirmacin de que la lgica puede fundarse sobre un finito nmero de convenciones explcitamente establecidas.

(p.235-236) b) Naturaleza de las definiciones implcitas: El segundo argumento es frecuentemente olvidado, pero, sin embargo, es crucial para una apropiada comprensin de la crtica de Quine al convencionalismo. Consideremos el ejemplo convencionalista original, la geometra. La propuesta de Poincar era que los axiomas eran definiciones implcitas de los trminos primitivos, punto, lnea recta, plano, distancia, etc. Ya que unos conjuntos de axiomas aparentemente incompatibles son, en consecuencia, satisfechos por diferentes tipos de entidades, all no se encuentra un conflicto real entre diferentes conjuntos de verdades (verdades necesarias). Quine argumenta que tal recurso a la definicin implcita no hace convencionales a los axiomas. Aceptando que partimos de axiomas no-interpretados, una vez que hemos encontrado una

interpretacin que satisfaga a los axiomas, los axiomas se convierten verdaderos para las entidades en cuestin simplemente verdaderos, y no verdaderos por convencin. Los axiomas introducidos como definiciones implcitas funcionan de la misma manera que los axiomas introducidos como verdades. All no persiste la diferencia entre el status o uso debido y la diferencia de origen.

***(p.236) Quine no analiza el convencionalismo geomtrico en todo su detalle, pero puede notarse que su crtica no quiebra la solucin convencionalista al problema presentado, sino ms bien, al papel jugado por la convencin en dicha solucin. La preocupacin de Poincar era la paradoja de conjuntos de axiomas incompatibles supuestamente verdaderos de las mismas entidades geomtricas; su afirmacin de que axiomas incompatibles son verdaderos de diferentes entidades, en efecto, resuelve el problema. Pero, mientras Poincar ha relacionado su solucin con el status convencional de los axiomas en tanto que definiciones, la crtica de Quine desenreda estas cuestiones dejndonos con una reconstruccin del argumento de Poincar, en la cual, irnicamente, la nocin de convencin no juega un papel central Lo que est negando Quine es que una exposicin formal arroje luz sobre cmo una teora (lenguaje) en cuestin, es ordinariamente entendida. Lo que aparece como una definicin en la exposicin formal puede ser construida por los hablantes como una descripcin de estado (hecho). Por otra parte, los hablantes ordinarios, incluyendo a los cientficos, no necesitan reconocer ninguna distincin entre reglas semnticas y un conjunto variado de verdades. El status de la convencin est dado por la exposicin, y no es una caracterstica de alguna parte fijada de un lenguaje viviente. Para ponerlo en trminos de Quine, no hay modo en que se puedan distinguir relaciones internas y externas, porque en la prctica se solapan, y su separacin no ofrece una especial revelacin dentro de la estructura de un lenguaje.

(pp.236-237): c) Discrecin:

(p.236-237) Quine est de acuerdo con la afirmacin convencionalista de que no hay conflicto existente entre diferentes geometras. Por tanto, tales geometras no recurren a la convencin en la eleccin de verdades, o en su estipulacin. Una situacin enteramente diferente surge, sostiene Quine, en la teora de conjuntos, en la que se enfrentan en verdadero conflicto, y donde nosotros podemos hablar, por consiguiente, de convencin, esto es, de verdad por convencin. El caso de la teora de conjuntos deja claro que Quine reserva el trmino convencin para contextos en los cuales nosotros tenemos, en presencia de axiomas o hiptesis en conflicto, discrecin para elegir lo que creamos ms conveniente. Evidentemente, el piensa que en tales contextos la locucin verdad por convencin puede

tomarse en sentido literal, es decir, que la eleccin que nosotros hacemos literalmente se convierte en verdadera para nosotros. El tercer argumento de Quine contra el convencionalismo es que la discrecin de esta clase casi nunca existe en la lgica, pero abunda en las ciencias naturales. Si, en efecto, sta es la clase de verdad por convencin que el convencionalista tiene en mente, ciertamente no delimita las verdades de la lgica y la matemtica, distinguindolas de las verdades empricas, como el convencionalista aspira hacer. ***(p.237) Este argumento, a diferencia de los dos primeros, padece de la anteriormente mencionada tergiversacin de la postura convencionalista, es decir, tomando verdad por convencin literalmente. Como nosotros vimos, discrecin para elegir entre alternativas es el signo distintivo de la convencin tal y como Quine entiende la nocin, pero no como ha sido comprendida en el contexto de (VN), la doctrina de que las llamadas verdades necesarias son de hecho estipulaciones lingsticas. En esta doctrina, la convencin es constitutiva incluso si no hay una teora alternativa considerada. Lo que hace convencional a las reglas lgicas y a los teoremas matemticos es su papel en el lenguaje, no la discrecin ejercida por sus usuarios. Demostrando la existencia de la discrecin considerando la verdad cientfica, no refuta, por consiguiente, la afirmacin convencionalista de que la lgica y la matemtica son convencionales de una manera en que la ciencia no lo es.

**(pp.237-240): d) La red de creencias Finalmente, el modelo quineano del lenguaje borra el lmite entre los dos supuestos tipos de verdades, sugiriendo que ellas son de hecho indistinguibles. (p.238) El enfoque, como antes, est en la indiscernibilidad epistmica, pero se ampla para abarcar la inseparabilidad semntica de lo conceptual y lo emprico, la estructura del lenguaje y sus contenidos. La red de creencias sirve para ilustrar la indeterminacin, esto es, la existencia de empricamente equivalentes (y, aunque esto no es ilustrado, supuestamente incompatibles) maneras de organizar la experiencia. Esto sugiere una imagen unificada de la verificacin, en la cual la experiencia afecta todos los tipos de verdad del mismo modo. La convencin entra en juego cuando una alternativa es preferida sobre otras. Los mismos criterios metodolgicos (mnima mutilacin, simplicidad) son usados a travs de la red, desde el centro hacia la periferia, haciendo de la diferencia entre las creencias ms slidas y las ms vulnerables, una cuestin de grado en el mejor de los casos En esta imagen, el esqueleto conceptual de un lenguaje debe erigirse antes de cualquier discurso orientado a la verdad sea posible, por tanto, la importancia de las reglas estructurales establecidas previamente, como es requerido por Carnap Quine se niega a participar en este esfuerzo no slo porque de tales casos difciles como la propia identidad (es una propiedad de cualquier entidad, o parte de la definicin de identidad?), sino tambin porque el modelo holstico no

atribuye a los enunciados individuales distintos significados o distintas funciones lingsticas. El punto de vista de Quine sobre la verificacin y sus implicaciones para una teora del significado lo lleva a la conclusin de que all no hay una ms elevada o severa necesidad que la necesidad natural; y en la necesidad naturalSolamente veo las regularidades de Hume, culminando aqu y all en lo que pasa por un rasgo explicativo, o prometa serlo.

**(p.238) Esto suena bastante empiricista, pero, no obstante, se desva del empiricismo tradicional. Donde contenido y verdad son comprendidos empricamente, para delimitar el mbito de la verdad debe delimitarse el mbito de lo emprico. La doctrina de que la verdad necesaria es convencional encaja perfectamente, en particular, dentro del programa empiricista, en la negacin del que las verdades necesarias sean realmente verdades, (VN) no reconoce otras verdades que aquellas que estn basadas en la observacin. Quine est de acuerdo en que la verdad tiene sus races en la experiencia, pero considera el veredicto de la experiencia como indeterminado.

***(p.239) Precisamente como Quine niega las definiciones implcitas, postulados del significado, etc., cualquier status especial, entonces l niega a la filosofa cualquier papel especial. La doctrina de la verdad necesaria por convencin est en armona no slo con la epistemologa empiricista, sino adems con un programa filosfico especfico la elucidacin del significado. Evidentemente, si all no hay verdades necesarias en el sentido tradicional del trmino, all no hay tales verdades para que la filosofa descubra. Mientras que deja el descubrimiento de la verdad emprica a la ciencia, sin embargo, al convencionalismo no le es negado por completo un rol filosfico, relegndolo a la tarea de establecer el nivel conceptual para la investigacin cientfica. Por una parte, para Quine, no hay verdades necesarias ni en el sentido tradicional del trmino, ni convenciones constitutivas en el sentido convencionalista. No solamente estn todas las verdades a la par, sino que la misma distincin entre verdades y reglas gramaticales es flexible e inestableLa filosofa est ocupada en la bsqueda de la verdad, como lo estn las ciencias, y aunque all hay espacio para la discrecin sobre cuestiones filosficas, es por lo general el mismo tipo de discrecin que nosotros tenemos en la ciencia. Desde la perspectiva de Quine, por ende, no es necesario ningn principio de tolerancia Esta diferencia entre Quine y Carnap sobre la cuestin del distinto status de la filosofa es tan fundamental como sus desacuerdos sobre la naturaleza de lo analtico y del papel de la convencin. ****(pp.239-240) En el razonamiento de Quine, la indeterminacin proporciona un argumento contra la interpretacin convencionalista de la verdad necesaria El resultado

del cuarto argumento de Quine contra el convencionalismo, es que las dos versiones del convencionalismo son incompatibles. (VN) afirma las mismas distinciones que (IT) niega.

IV.

La red de creencias y la indeterminacin de la traduccin

***(p.240) En el captulo 2 de World and Object, Quine se mueve desde la indeterminacin de la teora a lo que tal vez sea su tesis ms famosa, la indeterminacin de la traduccin La tesis de indeterminacin de la traduccin busca criticar una concepcin errnea del significado, a saber, el museo del mito, como Quine la llama en algn lugar. Porque es un mito, desde el punto de vista de Quine, que existe una entidad bien definida el significado que los hablantes tienen en mente en primer lugar, una entidad de traduccin meramente puesta en diferentes palabrasLa crtica de Quine de la concepcin tradicional del significado es no-revisionista: ella no recomienda una prctica diferente, sino ms bien, una interpretacin filosfica diferente de la prctica existente. La postura de Quine difiere entonces de las posturas revisionistas, tales como el verificacionismo, el cual busca encontrar defectos en nuestro uso ordinario del lenguaje y de la metodologa cientfica ordinaria. Pero mientras el no-revisionismo de Wittgenstein est basado en principios, tal vez dogmtico, el de Quine es pragmtico: la revisin, aunque es concebible, es imprctica. **(p.241) Como ha sido sealado en la literatura, el holismo de World and Object, en relacin con el de Two Dogmas, ha sido moderado. La moderacin pertenece principalmente al centro de la red y la periferia, es decir, a los enunciados lgicos y a los enunciados provenientes de las observaciones. En Two Dogmas incluso las verdades lgicas, situadas en el centro de la red, y los datos de la observacin, en su periferia, son en principio, indeterminados. En World and Object, por otra parte, los enunciados lgicos y los empricos son en gran medida menos indeterminados que los enunciados de la zona intermedia. Esta ltima incluye las partes ms teorticas de la ciencia, las cuales son ms indeterminadas por la observacin. Dos cuestiones han preocupado a los lectores de Quine, una tiene que ver con el status de la lgica, la segunda tiene que ver con la relacin entre indeterminacin de la teora y la indeterminacin de la traduccin.

(p.241) 1. El status de la lgica Evidentemente, bajo la mxima de mnima mutilacin, la lgica debera ser la ltima rea de la red en ser modificada, una modificacin de la lgica siempre equivale a una mayor ruptura de la red existente.

***Un cambio en la lgica es meramente un cambio en el significado de las constantes lgicas. (p.242) Quine puede consistentemente mantener que un cambio en la lgica es, en efecto, un cambio en los significados de las constantes lgicas, y, que si tal cambio es o no recomendado es una cuestin de pragmtica eleccin.

(p.242) 2. La relacin entre indeterminacin de la teora y la indeterminacin de la traduccin

Es la indeterminacin de la traduccin una instancia de la indeterminacin de la teora, o hay all un adicional, y posiblemente ms serio, problema inherente en la traduccin?

(pp.243-244) La indeterminacin de la traduccin derivada de la indeterminacin de la teora pertenece a los valores de verdad de los enunciados: enunciados cuyos valores de verdad son indeterminados por la observacin pueden ser diversamente traducidos en otro lenguaje, y por lo tanto se dice que son de significado indeterminado. Adems, sin embargo, all hay un problema que pertenece a la referencia, un problema al que Quine se refiere como la inescrutabilidad de la referencia o la relatividad ontolgica, y tambin como la indeterminacin de la referencia. Esta clase de indeterminacin funciona de manera opuesta: Ms bien que negando, como lo hace la indeterminacin de la teora, que all haya una nica teora verdadera del mundo que observamos, lo que ella niega es que haya un nico mundo que satisfaga nuestra teora. Quine aduce dos argumentos, uno formal, otro informal, para la afirmacin de acuerdo con la cual los valores de verdad de los enunciados no implican un acuerdo sobre la ontologa. El argumento informal es que la ontologa presupone esquemas de individuacin que no pueden ser extrados de los datos crudos de las disposiciones de los hablantes, sino que deben, ms bien, ser impuestos a ellas. El argumento formal usa el teorema de Lwenheim-Skolem para alcanzar el mismo resultado. De acuerdo con este teorema, teoras lo suficientemente ricas como para contener aritmtica son no-categoriales, esto es, tienen modelos no-isomrficos, por tanto, la indeterminacin de la referencia y ontologa. Este tipo de indeterminacin puede obtenerse incluso si no hubiera indeterminacin de la teora, en cuyo caso los valores de verdad de los enunciados a travs de la red pueden ser fijados por la observacin y las disposiciones de los hablantes. Esto es independiente del holismo.

***(p.244) Hay una conexin directa entre la nocin de definicin implcita y el argumento de Quine para la relatividad ontolgica. Cuando los axiomas se consideran como definiciones implcitas de entidades posiblemente desconocidas, ms que verdades autoevidentes acerca de las entidades dadas, la cuestin de la unicidad del definiendum surge inmediatamente. Ms generalmente, la perspectiva modelo-teortica, en la cual las teoras son estructuras formales desprovistas de significado interpretadas a travs de sus modelos, refleja la pluralidad o relatividad de las entidades acerca de las que la teora habla. Fue como consecuencia del uso extensivo por parte de Poincar y Hilbert de las definiciones implcitas que plantearon las cuestiones principales para el teorema de Lwenheim-Skolem. La nocin de definicin implcita era fundamental tambin para el convencionalismo de Poincar. La consideracin de Poincar de la verdad y la convencin como incompatibles: precisamente porque los axiomas de la geometra son definiciones, o convenciones, es por lo que no deben ser concebidos como verdaderos. ***(p.244) Quine est interesado en la unicidad de la relacin teora-mundo, en ambas direcciones: la unicidad de una teora verdadera sobre el mundo, por un lado, y la unicidad de una adecuada interpretacin de una teora, por otro. La indeterminacin de la teora excluye la primera; la relatividad ontolgica, la segunda. Si tuviramos acceso directo al mundo antes de teorizar acerca de l, la segunda cuestin no debera preocuparnos. (p.245) Ambos tipos de indeterminacin deben reconocerse, puesto que lo que la teora expresa no determina nicamente su ontologa.

V.

Segundos pensamientos acerca de la subdeterminacin

(p.246) Recordando la importancia de la subdeterminacin en el pensamiento de Quine que l ha usado para criticar la distincin analtico-sinttico y derivar de ello la indeterminacin de la traduccin. Si la subdeterminacin ahora se derrumba, cmo impacta eso al edificio que Quine ha construido sobre ella? La subdeterminacin se desmorona conforme a un problema que parece absolutamente trivial a primera vista. Quine nos invita a considerar dos teoras que son idnticas excepto por un cambio en dos trminos, por ejemplo, electrn y protn. Cul es la relacin entre esas teoras? Tomadas a primera vista, ellas son claramente incompatibles, los enunciados afirmados por una, la otra los niega, por ejemplo la carga negativa de un electrn es Es igualmente claro que esas teoras incompatibles son empricamente equivalentes tienen exactamente el mismo valor emprico. La cuestin es si esto puede contar como un ejemplo de indeterminacin, es decir, si tal permutacin sin importancia de los trminos es suficiente para hacer a las dos teoras empricamente equivalentes pero alternativas. Ms bien que tomndolas en sentido literal, no es ms razonable considerarlas

como ligeramente diferentes, aunque perfectamente compatibles, formulaciones de la misma teora? Quine respalda la segunda alternativa. Teoras que se pueden poner de acuerdo por una simple traduccin, un mero cambio en los trminos, son variantes terminolgicas de la misma teora, y no ejemplifican indeterminacin.

***(p.247) No puede ser generalmente posible armonizar cualquieras teoras empricamente equivalentes, que parecen ser incompatibles por similares esquemas de traduccin? Y si es as, Existen casos reales de indeterminacin, es decir, casos que no son susceptibles de tales permutaciones coordinadas? El problema, que empezamos a ver, es uno de individuacin. Es esencial para el argumento convencionalista de la subdeterminacin que nosotros seamos capaces de individuar teoras. A menos que tengamos un criterio que nos permita diferenciar entre diferentes teoras y cules son diferentes formulaciones de la misma teora, el convencionalismo est en peligro de la peticin de principio que suscita sobre la verdad. Si las supuestamente equivalentes teoras son de hecho slo diferentes formulaciones de la misma teora, entonces su existencia no tiene por qu amenazar las intuiciones realistas. Diferentes formulaciones de una sola teora pueden variar en conveniencia o simplicidad, pero el hecho de que la eleccin de una formulacin particular es una cuestin de convencin es trivial, atribuyndole a la convencin un papel que ningn realista negara.

(p.247) Una cuestin que debe preocuparnos, sin embargo, es si hay algunos casos de subdeterminacin, casos que para los propios estndares de Quine podran contar como participando verdaderamente de diferentes teoras. Es sospechoso que ningn ejemplo de verdadera indeterminacin ha sido aportado. Por otra parte, la tesis de subdeterminacin no se limita a afirmar la posibilidad de tales casos, sino su inevitabilidad. Otra cuestin, por consiguiente, es si nuestra mejor teora sobre el mundo, la teora que implique toda observacin categrica que queramos, est obligada a tener verdaderas pero incompatibles equivalentes. ***(p.248) La subdeterminacin de la teora juega un papel crucial tanto en la polmica de Quine contra la nocin de sinonimia proposicional, la cual lo lleva a negar la dicotoma analtico-sinttico, como en su argumento contra la indeterminacin de la traduccin. Ahora parece que un problema anlogo de sinonimia al nivel de teoras amenaza con descarrilar el intento de hacer ms precisa en s misma a la tesis de indeterminacin.

(p.249) teora = formulacin de una teora. No hay criterio de individuacin de la teora. Todas las teoras no son ms que formulaciones, es decir, son individuales Esta maniobra permite a Quine aferrarse a la indeterminacin, pero solamente socavando cualquier inters epistmico real. El convencionalismo de (IT) es justo deconstruido tan efectivamente como el convencionalismo de (VN) lo es en Truth by Convention. Esto es tambin la ltima estocada de Quine en la erradicacin de la nocin de significado; si nosotros no podemos distinguir una diferencia real en el contenido de una variacin verbal, el significado est, en efecto, en quiebra.

VI.

Verdad

(p.250) el caso proporcionado por Poincar no es tan trivial como para Quine parece serlo, y adems, el criterio de Quine de individuacin, basado en una reconstruccin de predicados, podra bien ser demasiado dbil. Teoras que son intertraducibles, y entonces, segn este criterio, idnticas, siguen siendo distinguibles sobre la base de otros criterios, tales como el aparato teortico o causal que ellas emplean, o el isomorfismo (o su falta) de sus modelos. En otras palabras, tiene sentido, reconocer algunos casos de subdeterminacin que Quine puede descartar como triviales. (pp.250-251) El fracaso de la tesis general de que incluso la totalidad de las observaciones posibles est obligada a sostener teoras empricamente equivalentes pero incompatibles podra ser menos dramtico, tal vez, si nosotros tenemos algunos ejemplos convincentes de fuerte subdeterminacin. (p.251) Por tanto, una rgida distincin entre la subdeterminacin y el problema de la induccin no puede ser mantenida. La subdeterminacin, al igual que el problema de la induccin, tiene sus races en las estructuras lgicas de las teoras, en el hecho de que como una regla, las cadenas deductivas llevan desde las teoras hasta las observaciones pero no viceversa. (pp.251-252) Retornando a la metfora de Quine, podemos apreciar mejor la brecha entre la representacin simblica de la subdeterminacin y las ms precisas formulaciones de la tesis. La imagen parece capturar las vinculaciones de la red de creencias, pero no las relaciones lgicas de equivalencia, intertraducibilidad, e identidad.

****(p.252) Finalmente, una cierta irona en el desarrollo de la tesis de indeterminacin de la traduccin puede ser sealada. Esta tesis, como vimos, afirma dos tipos diferentes de indeterminacin: la indeterminacin de la verdad de los enunciados, basada en la subdeterminacin de la teora, y la relatividad ontolgica la indeterminacin de la referencia resultante de una variedad de interpretaciones que satisfacen a una teora dada. La primera indeterminacin es tan hipottica como la subdeterminacin sobre la cual descansa. El otro tipo de indeterminacin slo tiene sentido cuando no tomamos una teora ontolgica que debe drsenos por adelantado, independientemente de la teora en cuestin. La indeterminacin de esta clase es entonces similar a la interpretacin de las teoras como definiciones implcitas, el punto central del convencionalismo de Poincar. La crtica de Quine al convencionalismo, por otro lado, est estrechamente vinculada a su crtica de la nocin de definicin implcita. Irnicamente, su propia indeterminacin de la traduccin finalmente cede ante la misma concepcin que ha motivado el convencionalismo de Poincar. Est irona, no refleja inconsistencia. El convencionalismo sufri transformaciones considerables desde la modesta formulacin de Poincar hasta los extravagantes intentos de los positivistas lgicos por fundar todas las verdades necesarias, incluyendo toda la esfera de la lgica y la matemtica, en una convencin lingstica. La crtica de Quine al convencionalismo se dirige a ese exagerando convencionalismo en general, y a la versin de Carnap en particular.

***(p.253) El convencionalismo (VN) est comprometido con la verdad objetiva. La empresa del descubrimiento de la naturaleza convencional de las verdades aparentes, ha sido motivado en principio por el deseo de un asegurar la objetividad de una verdad no convencional. Aunque de acuerdo con (NT) un marco convencional debe estar antes de que la investigacin y el descubrimiento de las verdades puedan hacerse, la necesidad de tal marco no quebranta la objetividad de las verdades formuladas con l. Por otra parte, en esta imagen del convencionalismo, la verdad nunca es estipulada por la va de la convencin, verdad y convencin son categoras mutuamente excluyentes. La crtica de Quine del convencionalismo, sin embargo, desafa ste carcter excluyente. Sus escritos no slo han perpetuado la comn malinterpretacin del convencionalismo la autorizacin a la creacin de la verdad por convencin, sino que explcitamente niega que la verdad y la convencin sean categoras distintas.