Willard Van Orman Quine.

Los mtodos de la lgica, (1950)

Resumen de la introduccin
Josep Fortuny

La lgica es una ciencia. Como tal busca la verdad, (aunque no una verdad metafsica, ni
teolgica). Como las dems ciencias se fundamenta en enunciados que pueden ser
verdaderos o falsos. Los enunciados verdaderos lo son por su relacin con el mundo, con
la realidad, con la propia experiencia. A partir de la adecuada seleccin tales
enunciados se construye la ciencia.
La verdad no est en la forma de decir sino en aquello de lo que decimos algo,
(proferimos), a partir de nuestra experiencia. Pero enunciados homnimos pueden tener
distintos sentidos segn cada caso. El lenguaje es ambiguo. Yo, aqu y ahora,
(problemas clsicos de la historia de la filosofa), son ejemplos que menciona Quine
para explicar los cambios de referencia de las expresiones. La conexin entre lenguaje
y realidad est en lo que dice ste, (en la proferencia), en el enunciado acerca de la
experiencia a la que se refiere. Sin embargo el lenguaje es un instrumento de
comunicacin limitado, a causa de su funcin social. Lo que decimos lo decimos ante
todo de las cosas. Las cosas, objetos fsicos, son el denominador comn pblico de
nuestras sensaciones privadas.
Pero la experiencia no basta para comprobar la veracidad de lo que decimos de las
cosas, porque lo que decimos se refiere al mundo y no a la experiencia misma. As la
conexin palabras/mundo es indirecta, al estar siempre basada en inferencias o en
hiptesis, no explica las cosas de manera concluyente.
Aqu Quine emplea una metfora grfica muy descriptiva de su planteamiento
epistemolgico: el total de lo que conocemos, de todas las cosas, de nuestras
afirmaciones, forma un conjunto de partes de una estructura conceptual sistemtica
que se sita, por conveniencia, (o convencin), en una posicin central y que se
relaciona en su periferia con la experiencia. Es ah donde se establecen las relaciones
entre experiencias. Por eso el todo est determinado, (infradeterminado, dice
Quine), por la experiencia. Se trata de un sistema tortuoso pero valido para anticipar
las experiencias que tendrn lugar a partir de las experiencias conocidas, (se non vero,
ben trovato, diramos).
Este orden de conocimiento se modificar a partir de las previsiones que resultan
errneas, pero slo parcialmente, preservando aquellos enunciados que no necesitan
revisin, para que el conjunto del sistema no fracase. Las modificaciones se harn a
partir de un orden de prioridades, que Quine considera impreciso a causa de las
caractersticas propias de cada enunciado y de su proximidad con la experiencia. Para l,
resulta prioritario preservar los enunciados objetivos, los demostrados por la experiencia
emprica. La paradoja de que estos enunciados principales no se revisen se resuelve
teniendo en cuenta que son estos los que usamos para verificar las experiencias.
En lo que se refiere a la revisin de las afirmaciones establecidas de las ciencias,
las prioridades estn orientadas a preservar las leyes de la lgica y la matemtica, antes
que las de la fsica y estas, antes que las de la historia o la economa. Existen leyes
inmunes a toda revisin a causa de que nuestro sistema de enunciados est dotado de
potentes amortiguadores de indeterminacin. Por esto y por elemental necesidad, la
lgica, (as como cierta parte de la matemtica), son centrales para el sistema
conceptual y hasta, cierto punto, inmunes a toda revisin. Apurando, sera como si
nuestro esquema conceptual fuese el que hace verdaderas las leyes de la lgica y de la
matemtica.

1
 Se trata de una conclusin contundente. El planteamiento de Quine, con su sentido
pragmtico, positivista y analtico orienta sus esfuerzos hacia lo que cautiva el corazn
del epistemlogo y parafraseando a Benedetti, sera el planteamiento de un escptico
bien informado. Mantiene un pie en la filosofa de la ciencia, el otro en la filosofa del
lenguaje y la cabeza en la lgica.
Ms all de las ponderadas o revolucionarias criticas a su afirmacin, ms all de
conservadurismos y de razones de simplicidad, que Quine no desestima, para l la
lgica seguir siendo la lgica. En este sentido, (para el libro al que hace referencia esta
introduccin), su atencin se centrar en los enunciados que se encuentran en el centro
del sistema conceptual y en las relaciones entre ellos. De entre las relaciones entre
enunciados una de mxima importancia es la relacin de implicacin lgica: la relacin
que un enunciado cualquiera guarda con cualquiera que se siga del primero. Si un
enunciado es verdadero lo es el que se sigue. En el esquema que plantea Quine de los
enunciados centrales se siguen los perifricos.
La implicacin, (el se sigue), no es suficiente para dar significado a los
conceptos, solo sirve a la experiencia. Pero Quine sostiene que una verdad lgica es
tambin un enunciado cuya verdad no se altera al sustituir sus palabras y frases por otras
cualesquiera siempre que se mantengan constantes las llamadas palabras lgicas, (si-
entonces, =, o, no, etc.). Lo importante de los enunciados es su estructura, si esta
se mantiene el enunciado mantendr su verdad lgica. Por eso las verdades lgicas son
verdaderas en virtud tan solo de los significados de las palabras lgicas.
Dada la importancia de la implicacin en lgica se hace necesaria una tcnica, un
mtodo, que la demuestre: se trata de la deduccin lgica. En tanto que los objetos de la
deduccin son los enunciados es necesario el estudio detallado de estos, haciendo
abstraccin de las ocasiones individuales en las cuales se los profiere. La abstraccin
debe ser consciente y prudente, empleando parfrasis o reformulaciones en los casos
de posible confusin entre significados distintos de enunciados similares.
Para acabar Quine seala que las supuestas diferencias entre lgica y matemtica
no son tan grandes como pudiera parecer. Las verdades lgicas, (si p luego q, por
ejemplo), afirma, no tratan de enunciados, tratan de cualquier cosa que sea y la verdad
lgica de sus implicaciones se refiere a enunciados, tanto como la verdad de las
implicaciones de los nmeros en matemticas.
Claro que el carcter no lingstico de las matemticas las distingue de la lgica,
cuyo objeto no son necesariamente los nmeros y las funciones. Sin embargo la lgica
nos conduce naturalmente a la matemtica a travs de la teora de conjuntos, (o
logica de clases), hasta el extremo, (tal como ya plantearon los autores de fines del siglo
XIX y sus seguidores con las propuestas logicistas), de que a travs de la lgica puede
generarse toda la matemtica clsica e, incluso llegar a definir el concepto de numero.