QUINE - Dos dogmas del empirismo

Empirismo moderno ha sido condicionado por dos dogmas:

- Creencia de la distincin entre verdades analticas: basada en significaciones,
independiente de los hechos. Y sintticas: basadas en los hechos.

- El reductivismo: todo enunciado que tenga sentido es equivalente a alguna construccin
lgica, basada en trminos que refieren a la experiencia inmediata.

Trasfondo de la analiticidad

Enunciados analticos: son verdaderos en todo los mundos posibles, cuyas negaciones son
autocontradictorias, pero la nocin de autocotrariedad necesita ser clarificada como la de
analiticidad.

*Significacin

Significar y nombrar no pueden identificarse. Diversos trminos pueden nombrar o denotar la
misma cosa y diferir por su significacin y sentido:

Scott y El autor de Waverly - 9 y El nmero de planetas (trminos singulares)

Trmino singular: nombra una entidad, abstracta o concreta
Trmino general: es verdadero de una entidad, o de cada una de muchas, o de ninguna.

-Extensin: varias cosas comprendidas en una idea

Criatura con corazn y Criatura con riones son iguales en extensin, pero no significan lo
mismo.

Significacin: aquello en que se convierte la esencia cuando se separa de su objeto de
referencia y se adscribe a la palabra.

Teora de la significacin: su objeto primario es la sinonimia de las formas lingsticas y la
analiticidad de los enunciados.

Enunciados analticos se distribuyen en dos clases:

1. Lgicamente verdaderos: Ningn hombre no casado es casado

Es verdadero y sigue sindolo para cuelquier interpretacin de sus componentes que no
sean partculas lgicas (sigue siendo verdadero para toda nueva interpretacin de hombre y
casado).

2. Ningn soltero es casado

Puede convertirse en verdad lgica sustituyendo sinnimos por sinnimos, pero slo nos
basamos en una nocin de sinonimia, que tambin necesita de aclaracin.
DESCRIPCIONES DE ESTADO

Asignacin exhaustiva de valores veritativos a los enunciados atmicos, no compuestos del
lenguaje. Un enunciado se explica entonces analtico cuando resulta verdadero para
cualquier descripcin de estado (verdad en todos los mundos posibles).

* Slo consigue su objetivo si los enunciados atmicos del lenguaje son recprocamente
independientes.

Juan es soltero y Juan es casado son enunciados dependientes, por lo que se le asigna
valor de verdad a cada uno, entonces Ningn soltero es casado resultara sinttico.

*Slo sirve para lenguajes que carezcan de pares sinnimos, que son del tipo de los
segundos enunciados.

DEFINICIN

Los enunciados de la segunda clase se reducen a los de la primera por definicin.

Soltero se define como hombre no casado, pero esta sinonimia se establece por la
observacin de hachos antecedentes.

*Qu son las interconexiones que resultan necesarias y suficientes para que dos formas
lingsticas puedan describirse correctamente como sinnimas. (Las interconexiones estn
basadas en el uso).

EXPLICACIN

No se limita a informar acerca de sinonimias preexistentes, se trata de perfeccionar el
definiendum, afinando o complementando su significacin.

*Aun as descansa en otras sinonimias preexistentes.

- Toda palabra digna de explicacin tiene algunos contextos que son lo suficientemente
claros y precisos para resultar tiles; el objeto de la explicacin es preservar el uso de esos
contextos privilegiados y afinar el uso de otros contextos.

- Para que una definicin sea adecuada a fines de explicacin se requiere que todos y cada
uno de los contextos privilegiados del definiendum sean sinnimos del contexto
correspondiente al definiens.

- Dos definientia alternativos pueden ser igualmente apropiados para los fines de una misma
tarea de explicacin, aun sin ser sinnimos entre s; pues pueden ser ambos igualmente
apropiados en los contextos privilegiados, y diferir en cambio en otros.

INTRODUCCIN

No recurre en absoluto a sinonimias anteriores, introduce, de manera convencional, nuevas
notaciones con fines de mera abreviacin.
- El definiendum se hace sinnimo del definiens porque ha sido creado para serlo.

*Es un caso de sinonimia creada por definicin.

INTERCAMBIABILIDAD

La sinonimia de las formas lingsticas consiste simplemente en su intercambiabilidad en
todos los contextos sin que cambie el valor veritativo (salva veritate).

- Sinonimia cognitiva: la intercambiabilidad salva veritate en todas partes excepto en el
interior de las palabras.

*La cuestin es si la intercambiabilidad es una condicin suficiente de la sinonimia cognitiva.

3. Soltero y hombre no casado son cognitivamente sinnimos es decir que el enunciado
es Todos y slo los solteros son hombres no casados es analtico.

4. Necesariamente todos y slo los solteros son solteros es evidentemente verdadero, si
soltero y hombre no casado son intercambiables salva veritate:

Necesariamente todos y slo los solteros son hombres no casados es verdadero como 4,
pero decir que 5 es verdadero es decir que 3 es analtico, por lo tanto soltero y hombre no
casado son cognitivamente sinnimos.

* La intercambiabilidad salva veritate carece de sentido a menos que se relativice a un
lenguaje cuya amplitud est especificada en algunos importantes respectos.

- Siempre que dos predicados coinciden extensionalmente (verdaderos de los mismos
objetos) son intercambiables salva veritate.

- Pero no garantiza una sinonimia cognitiva . La coincidencia extensional de soltero y
hombre no casado descanse en la significacin y no en circunstancias fcticas accidentales.

- El tipo de sinonimia cognitiva que se necesita tiene que ser tal que permita sentar la
equivalencia de la sinonimia de soltero y hombre no casado con la analiticidad de 3 y no
simplemente con la verdad de 3.

REGLAS SEMNTICAS

*La sinonimia slo puede entenderse mediante una previa apelacin de la analiticidad misma.

- La nocin de analiticidad es una relacin entre enunciados y lenguajes: de un enunciado E
se dice que analtico para un lenguaje L, el problema consiste en conseguir un sentido
general de esa relacin, para E y L como variables.

- Para que podamos entender una regla que empieza diciendo: un enunciado E es analtico
para el lenguaje L si y slo si, tenemos que entender antes el trmino analtico para.
*La nica caracterstica de las reglas semnticas consiste en figurar en una pgina
encabezada por el rtulo Reglas semnticas y ste carece de significacin.

LA TEORA DE LA VERIFICACIN Y EL REDUCTIVISMO

Teora de la verificacin: sentido o significacin de un enunciado es el mtodo de
confirmacin o confutacin emprica del mismo.

Dogma reductivista: todo enunciado aislado puede tener confirmacin o invalidacin.