dos dogmas del empirismo

Willard van Orman Quine

(1908-2000)

[E]n cuanto a fundamento epistemolgico, los objetos fsicos y los dioses difieren slo en grado, no en esencia.

dos dogmas del empirismo moderno

[1] La creencia en cierta distincin fundamental entre: verdades que son analticas: basadas en significaciones, con independencia de consideraciones fcticas y, verdades que son sintticas, basadas en los hechos [2] La creencia en que todo enunciado que tenga sentido es equivalente a alguna construccin lgica basada en trminos que refieren a la experiencia inmediata (reductivismo).

Dogmas mal fundados que deben abandonarse Consecuencias: desdibujar la frontera entre Metafsica y Ciencia Natural; y orientarse hacia el pragmatismo

1.
2. 3. 4.

5.
6.

el trasfondo de la analiticidad definicin intercambiabilidad reglas Semnticas la teora de la verificacin y el reductivismo empirismo sin dogmas

1. el trasfondo de la analiticidad
KANT:

Todo juicio concibe la relacin de un sujeto A a un predicado B: A es B Relacin que es posible de dos maneras: (i) El predicado B pertenece al sujeto A como algo contenido en l (de un modo tcito): Todos los cuerpo son extensos = JUICIO ANALTICO. El enlace entre el predicado y el sujeto se concibe por identidad (en los juicios afirmativos). El juicio analtico explica lo que ya estaba implicado en el sujeto. (ii) El predicado B es completamente extrao al concepto A: Algunos cuerpos son pesados = JUICIO SINTTICO. El enlace no se concibe por identidad, son juicios extensivos.

1. el trasfondo de la analiticidad
QUINE: - No habla de juicios sino de enunciados: Un enunciado ANALTICO no atribuye a su sujeto ms de lo que ya est conceptualmente contenido en dicho sujeto. Sus negaciones son auto-contradictorias. O, mejor: Un enunciado es ANALTICO cuando es verdadero por virtud de significaciones e independientemente de los hechos.

La formulacin kantiana es insuficiente: se limita a enunciados de la forma sujeto-predicado | apela a la nocin de contenido, dejndola a nivel de una metfora. Sin embargo: Kant concibe el contenido con claridad como un concepto; como una sntesis de la diversidad. Quine se basa en otro supuesto: verdadero por virtud de las significaciones (muy ambiguo) y Kant, en la relacin sujeto-predicado(Salas, 2002: 4)

1. el trasfondo de la analiticidad
Para aclarar qu es la analiticidad, Quine remite a una teora de la significacin: Significar y nombrar no se identifican: El lucero de la tarde y el lucero del alba; El discpulo de Platn y El maestro de Alejandro (Frege). Se nombra o denota la misma cosa, pero el sentido o significacin es diferente.
-

Extensin e intensin: Un trmino singular slo nombra una entidad abstracta o concreta; un trmino general o universal, es verdadero de una entidad, o de cada una de muchas, o de ninguna de ellas. La extensin es la clase de todas las entidades de las que es verdadero un trmino general. La intensin es el sentido o significacin. El sentido de un trmino singular est en relacin con la cosa denotada por l. El sentido y la extensin de un trmino general son diferentes: criatura con corazn y criatura con riones. Iguales en extensin pero desiguales en significacin.

1. el trasfondo de la analiticidad

Sentido y referencia: Aristteles distingui entre la esencia: la sustancia segunda que designa lo universal y necesario de la sustancia primera existente; y el accidente: lo que est en un ser pero no de manera necesaria ni de ordinario ni es distintivo de su esencia. Desde la teora de la significacin, sta slo compete a las formas lingsticas: es la esencia adscrita a la palabra , separada del referente. Sentido y referente son distintos: El discpulo de Platn y El maestro de Alejandro: dos sentidos y un solo referente: Aristteles. El objeto de la teora de la significacin es la SINONIMIA de las formas lingsticas y la ANALITICIDAD de los enunciados

1. el trasfondo de la analiticidad
* Analiticidad va sinonimia: Qu es un enunciado analtico? Hay dos clases: (a) los lgicamente verdaderos, que siguen sindolo para cualquier interpretacin de sus componentes que no sean partculas lgicas (1) Ningn hombre no casado es casado (b) los que pueden convertirse en verdades lgicas sustituyendo sinnimos por sinnimos; No casado por Soltero. Ambos trminos poseen el mismo significado (2) Ningn soltero es casado Problema: hablar de sinonimia no aclara la analiticidad; ambas necesitan aclaracin.

1. el trasfondo de la analiticidad
** Analiticidad va Descripciones de estado(Carnap): Descripcin de estado: cualquier asignacin exhaustiva de valores veritativos a los enunciados atmicos, no compuestos, del lenguaje. Entonces, un enunciado se explica como analtico cuando resulta verdadero para cualquier descripcin de estado. Pero, esto es vlido slo si los enunciados atmicos son recprocamente independientes. Cuando se describe el estado que asigna valor de verdad a Juan es soltero y a Juan es casado, el enunciado ningn soltero es casado sera sinttico en vez de analtico. La descripcin de estado sirve ms para una reconstruccin lgica , con los problemas de la probabilidad y de la induccin, que para dar cuenta de la analiticidad. La dificultad de la analiticidad est en la segunda clase de enunciados analticos; no en la primera de las verdades lgicas.

2. definicin
* Los enunciados de la segunda clase se reducen a los de la primera por definicin: Quin defini soltero por hombre no casado? Dos maneras de definir: (i) Un lexicgrafo, procediendo empricamente, acogiendo el uso general o preponderante, anterior a su diccionario. A su vez, cmo define sinonimia, si no es apelando al comportamiento lingstico? Incluso, si cientficos y filsofos ayudan al lexicgrafo, estos no ofrecen razones necesarias y suficientes propias de la sinonimia, sino informaciones basadas en el uso. (ii) Por explicacin (Carnap): perfeccionando el definiendum del definiens. Haciendo que todos los contextos privilegiados (claros y precisos) del definiendum, sean sinnimos con el contexto correspondiente del definiens. Si hay definientia alternativos, y se escoge una de ellos, se engendra una explicacin que no exista antes, por puro fiat y por sinonimia con otras explicaciones precedentes.

2. definicin
** Por introduccin, explcitamente convencional, de nuevas notaciones con fines de mera abreviacin: Aqu la definicin descansa en la sinonimia ms que explicarla En el trabajo formal (lgica y matemticas) hay dos tipos antagnicos de economa expresiva: (i) la de expresin prctica: facilidad y brevedad en el enunciado de relaciones complejas; exige notaciones bien concisas y distintas para una gran cantidad de conceptos. Y, (ii) la de la gramtica y el vocabulario: hallar un mnimo de conceptos bsicos, darles notacin precisa y luego combinarlos de muchas maneras. Economa muy pobre que tiende a dilatar el discurso; pero economa prctica al simplificar el discurso terico sobre el lenguaje; reduce los trminos y las formas de construccin de un lenguaje. Combinar ambos mediante reglas de traduccin resulta muy beneficioso, al cumplir con todos los objetivos de un lenguaje redundante.

2. definicin

Dificultades de la notacin puramente convencional: * El definiens se hace fiel parfrasis del definiendum en la notacin ms reducida * El definiens puede perfeccionar el uso anterior del defiendum * El definiendum puede ser una notacin creada ad hoc y a la que se le asigna significacin en ese momento y en ese contexto Entonces: Aqu como en tras estrategias de definicin, sta se basa en relaciones de sinonimia anteriores.

3. intercambiabilidad

Se puede examinar la sinonimia:

(i)

Por la intercambiabilidad salva veritate. La intercambiabilidad en todos los contextos sin que cambie el valor veritativo. Pero,Soltero en todos los contextos, no es sustituible por hombre no casado; p. ej., si se usan comillas:
soltero tiene menos de diez letras

Esta intercambiabilidad se presume que no es aplicable a instancias fragmentarias en el interior de una palabra; pero, si se admitiese, esta intercambiab lidad reposara en una concepcin previa de palabra que no deja de tener problemas en su formulacin.

3. intercambiabilidad

(ii) Por la intercambiabilidad salva veritate , admitiendo expresiones heternimas. Se busca una sinonimia cognitiva; no una de identidad de todas las asociaciones psicolgicas o de cualidad potica P. ej.: decir que soltero y hombre no casado son cognitivamente sinnimos es decir que el enunciado: (3) Todos los solteros son hombres no casados es analtico. Pero, esta explicacin de la sinonimia cognitiva sigue presuponiendo la analiticidad. El problema es saber si la intercambiabilidad es condicin suficiente de la sinonimia cognitiva. Esto podra satisfacerse p. ej., con el enunciado: (4) Necesariamente todos y slo los solteros son solteros

3. intercambiabilidad
Este enunciado (4) es evidentemente verdadero. Si soltero y hombre no casado son intercambiables salva veritate, el resultado de poner hombre no casado por una de las instancias de soltero en (4), a saber: (5) Necesariamente todos y slo los solteros son hombres no casados tiene que ser verdadero como(4). Pero, decir que (5) es verdadero, es decir que (3) es analtico (Todos y slo los solteros son hombres no casados), y por tanto, que soltero y hombre sin casar son cognitivamente sinnimos. La intercambiabilidad salva veritate slo se aplicara en lenguajes con mucha amplitud: con muchos predicados mondicos (F; Fx sigifica que x es un hombre), muchos predicados polidicos (Gxy significa x ama a y), referentes a materias extra-lgicas; muchos enunciados atmicos y complejos, etc. Son los lenguajes de la matemtica clsica o el de las ciencias en general. Contienen predicados discutibles: contra-fcticos, o adverbios modales como necesariamente.

3. intercambiabilidad
Por ser stos lenguajes extensionales, la intercambiabilidad salva veritate no garantiza la sinonimia cognitiva deseada. Slo garantiza la verdad de (3) Todos y slo lo solteros son hombres no casados. La extensin descansa ms bien en circunstancias fcticas accidentales y no en la significacin. La sinonimia cognitiva requerida debe sentar la sinonimia soltero y hombre no casado con la analiticidad de (3) y no slo con su verdad. El uso del adverbio intensional necesariamente, supone que ya se entiende previamente la nocin de analiticidad. Habra una posibilidad de explicar la analiticidad sin recurrir a la sinonimia cognitiva, para derivarla luego de la analiticidad, como se hizo en (3); pero habra dificultades tcnicas de homonimia y de ambigedad qu salvar. De otra parte, habra que recargar la nocin de palabra para que describa como cognitivamente sinnimo cualquier par de formaciones lingsticas que sean intercambiables salva analyticitate y no salva veritate.

4. reglas semnticas

Si la distincin entre enunciados analticos y enunciados sintticos es muy vaga en el lenguaje ordinario, no ser ms viable en un lenguaje artificial? Se trata ahora de la relacin entre enunciados y lenguajes: El enunciado E es analtico para (o en) un lenguaje L Qu sentido tiene la frase analtico para, con E y L como variables?
-

Hay que presuponer que las reglas ya contienen ese sentido. An introduciendo una definicin convencional de analtico para como K, no da luz sobre lo que sta significa. Si se propone una regla semntica en la que los enunciados analticos sean supuestos como verdaderos, tampoco se esclarece el significado de analtico.

4. reglas semnticas

- Si se formula como un postulado como miembro de un conjunto dadose tiene una seleccin finita, arbitraria; slo es vlida en un acto concreto de investigacin sin que se pueda determinar cmo se subsume un lenguaje a otro, ni si un lenguaje es ms analtico que otro. - Las reglas semnticas son ms que todo reglas de traduccin al lenguaje ordinario y la trasferencia de la analiticidad al lenguaje ordinario no aclara en definitiva en qu consista sta. - Dado que la verdad en sentido general depende a la vez del lenguaje y del hecho lingstico, se cae en la tentacin de suponer que la verdad de un enunciado es algo analizable en un componente lingstico y en un componente fctico. Entonces, se considera que en los enunciados analticos, el componente fctico es nulo. Todo esto puede ser muy razonable a priori, pero no hay lnea divisoria propiamente tal entre enunciados analticos y sintticos; sigue siendo un dogma de los empiristas.

5. teora de la verificacin reductivismo

Es la teora de la verificacin una teora de la significacin? Puede ser una teora vlida de la sinonimia? Tesis: El sentido o significacin de un enunciado es el mtodo de su verificacin emprica (Peirce). Tesis que tambin ayuda a la teora de la verdad ya que si un elemento se verifica la acerca a sta. Qu relacin hay entre el enunciado y las experiencias que la valida o impiden validarla? Referencialidad directa; experiencia inmediata = reductivismo radical (Locke y Hume). Hablar hoy de datos sensibles y no de impresiones no resuelve el asunto. Por otra parte, lo sujeto a verificacin son los enunciados y no los trminos por separado. Carnap hizo varios intentos con enunciados. Para Quine: Nuestros enunciados del mundo externo se someten como cuerpo total al tribunal de la experiencia sensible, y no individualmente.

5. teora de la verificacin reductivismo

- Ambos dogmas se conectan. El primero sostiene al segundo: cuando no haya confirmacin emprica, ipso facto, los enunciados sern analticos.
-

El problema de la distincin analtico/sinttico no slo ha sido resistente sino confuso. Hablar de la verdad de un enunciado en relacin con un componente lingstico y un componente factual, es un sinsentido que alimenta otros sinsentidos. La unidad de significacin emprica es el todo de la ciencia (holismo)

6. Empirismo sin dogmas

El todo de la ciencia o del conocimiento o de las creencias es un campo de fuerzas cuyas condiciones-lmite da la experiencia Hay centro y periferia en ese campo. Los enunciados que estn hermanados especialmente con experiencias determinadas habitan la periferia. Los enunciados centrales se vinculan con enunciados de la fsica, la ontologa, y la lgica.

Los enunciados son vlidos siempre que se hagan ajustes en el interior del campo, ajustes debidos a experiencias contrarias al estado anterior del campo. Tanto enunciados cercanos a la periferia como los ms centrales necesitan reajustarse. No hay enunciado inmune a la revisin: Hasta le revisin del tercio excluido ha sido revisada por la mecnica cuntica.

6. Empirismo sin dogmas

Opcin pragmatista de Quine: El esquema conceptual de la ciencia es el instrumento que permite predecir una existencia futura a partir de la experiencia pasada. Hablar de objetos fsicos es introducir conceptualmente unos intermediarios convenientes no por definicin en trminos de experiencia, sino irreductiblemente puestos con un estatuto epistemolgico comparable al de los dioses de Homero. [E]n cuanto a fundamento epistemolgico, los objetos fsicos y los dioses difieren slo en grado, no en esencia. Ambas entidades son elementos de cultura. Los objetos fsicos son superiores a otros mitos porque permiten elaborar estructuras ms manejables en relacin con el flujo de la experiencia. - La ciencia prolonga al sentido comn: hincha la ontologa para simplificar la teora. El contorno del sistema tiene que cuadrar con la experiencia; el resto, con todos sus mitos y ficciones, tiene como objetivo la simplicidad de las leyes.

6. Empirismo sin dogmas

Opcin pragmatista de Quine:
-

La diferencia entre un esquema conceptual y otro es de grado y, esta variacin obedece a una vaga inclinacin pragmtica a reajustar un determinado sector de la red de la ciencia, en vez de tratar de acomodar en ella una experiencia negativa inesperada. Tanto Carnap como Lewis adoptan una actitud pragmtica para elegir entre formas lingsticas o estructuras cientficas; pero se detienen ante la frontera imaginada entre lo analtico y lo sinttico. Quine repudia esa frontera y asume un pragmatismo explcito; son consideraciones pragmticas las que le permiten moldear su herencia cientfica para que integre continuos flujos y estmulos sensoriales .-