Van Orman Quine Willard - Filosofia de La Logica

FILOSOFÍA Y PENSAMiENTO

ENSAYO

EL LIBRO UNIVERSITAlUO

WILLARD VAN ORMAN QUINE

FILOSOFÍA DE LA LÓGICA Versión de

Manuel Sacristán

Alianza Editorial

Tílul" original:

J1bilosopll), ,,1 rogi, l )riginall:ngli.sh langu;lgl' "dirion puhlished by I'rclltice-Hall. lne.,

Englt'wood Clif'f" N.:w )ers.:y, e.S.A.

I'rinll'ra "dición L'n .. Ali.lIlI.a Universidad,,: I ~7J I'rim"re! edición en "Ensa)"o,,: 19lJH

R(~\.:n:ldo.~ rodo . . los dl..'fl'chos. FI confenido dI..' ,-,sra obra ~~d pIOh:gid;1 pOI" 1.1 Lo..')'. y'; son oraciones con variables libres. Por lo tanto, no son ni verdaderas ni falsas; son satisfechas o cumplidas por algunas cosas, pares de cosas, tríos de cosas, etc. La oración abierta 'x pasea' queda satisfecha por toda cosa que pasee y por ninguna otra. La oración abierta 'x >y' queda satisfecha por todo par de números ordenados decrecientemente, y por ningún otro par de cosas. y así, ya en la parte más baja del árbol la búsqueda de las condiciones veritativas por la lógica tropieza con una complicación. El rasgo lógicamente interesante de la negación no consiste simplemente en que la negación construye oraciones cerradas verdaderas partiendo de oraciones cerradas falsas, y viceversa. Hemos de añadir a eso que la negación de una oración abierta de una sola variable queda satisfecha precisamente por las cosas que no satisfacían dicha oración; y que la negación de una oración abierta de dos variables queda satisfecha exactamente por los pares que no satisfacían aquella oración; y así sucesivamente. Con lo cual me he puesto a hablar de pares. Los pares que

3.

Verdad

: I

necesitamos son pares ordenados; esto es: hemos de disl illl1.lI11 entre el par