WITTGENSTEIN, UN OUTSIDER EN LOGICA1

Luis Vega

En 1956, cuando aparece la primera edicin pstuma de las Observaciones sobre los fundamentos de Ia matemtica de Wittgenstein, Colin Wilson publica The Outsidef, un ensayo sobre alfunas
figuras prominentes de la segunda mitad del s. XIX y la primera
mitad del s. XX, desgarradas por una dolencia ntima de autodesplazamiento, extraamiento o destierro en este mundo miserable:
hay filsofos como Niet4sche, escritores como Herman Hesse, autores polifacticos como William Blake, bailarines como Nijinski, pintores como Van Gogh, aventureros como Lawrence de Arabia, Son
seres acuciados por problemas existenciales como el sentido de la
propia vida, la autenticidad y la pureza personal, el filo de la navaja entre la lucidez y la locura; ni que decir tiene que estos males del espritu no son exactamente los de la mayoria de la gente
que hoy en da consideramos marginada. Wittgenstein no figura por
cierto entre los personajes de C. Wilson. Su ausencia se debe seguramente a error u omisin. Segn es bien sabido, Wittgenstein
comparte varios sntomas de este sndrome de almas bellas y sensibles: tambin l es un espritu herido por el deseo de purificacin
(escriba a Russell desde Noruega: t'Quiz pienses que es una prdida de tiempo para mi pensar acerca de m mismo, pero cmo
puedo ser un lgico sin ser un hombre. Antes que nada tengo que
ser purorr), por el sentimiento de destierro y la necesidad de salir
de la miseria del mundo a travs del conocimiento (segn apunta
1 Este artculo es la versin ampliada de una conferencia en las Wttgenstein
Ihardunalkiak celebradas en Zorroaga a primeros de Marzo de 1989 con motivo del X aniversario de la Facultad de Filosofa del Pas Vasco.
2 Hay versin castellana: El desplazado, Madrid: Taurus, 1975. Las referencias a Wittgenstein corresponden a las obras y ediciones siguientes: Dario flosfco (1914-1916), Barcelona: Ariel, 1982; Tractatus Logico-Phlosophcus,
Madrid: Alianza, 1987s: Phlosophcal Remarks (R. Rees, ed.), xford:
Blackwell, \964; Philosophcal Grammar (R. Rhees, ed.), Oxford: Blackwell,
1974: (1978): Observacones sobre los fundamentos de la matemtea, Madrid:
Alianza, 1987; Investigacones filosfcas, Mxico/Barcelona: UNAM/Grijalbo,1988.
Contextos

VII/13,

1989 (pp. 79-103)

80

Luis

Vega

en el Diario el 13-8-1916), por el cerco de la locura ("Si en la

vida estamos rodeados por la muerte, tambin en la salud del entendimiento por la locura" decla un prrafo de las Observaciones...,
V S 53, retirado despus de la primera edicin de 1956).
La condicin de outsider de Wittgenstein se echa de ver igualmente en su actividad filosfica, al menos en sus consideraciones
acerca de la lgica y de la matemtica y sobre todo a partir de
los aos 30. No voy a sugerir -por ms que Wittgenstein hiciera
de la filosoffa una pasin personal- ninguna especie de explicacin
psicobiogrfica de sus rfextravaganciasrt (en el sentido ms cercano
al timo fextravagarir) con respecto a la lgica matemtica de su
entorno. Slo quiero recordar la existencia de una automarginacin
pareja de la filosofa wittgensteiniana en ese respecto, y sus pro-

blemticas secuelas.
La marginacin o el aislamiento de la actividad filosfica de
Wittgenstein son naturalmente relativos, pero no por ello dejan de
ser deliberados. El mismo afirma: 'fEl filsofo no es un ciudadano
de ninguna comunidad de ideas. Esto es lo que hace de l un filsoforr. Esto, cuando menos, hace porque el pensamiento de
Wittgenstein se muestre irreducible a un ttismott filosfico pese a
los esfuerzos de muchos por llevarlo a algn huerto al atomismo,
al verificacionismo, al convencionalismo, al intuicionismo, al
antirrealismo, etc. Cabe entender as la automarginacin de la
actividad filsfica de Wittgenstein en un sentido -digamos- dbil:
como la negativa a dejarse encasillar entre las doctrinas o los
productos de escuela. Pero habr que tomar ese autodesplazamiento
en un sentido ms fuerte cuando su filosofa pretende ser adems
un ejercicio al margen de los cuerpos normales de conocimiento,
con la decidida intencin de merodear por el exterior sin entrar en
ellos ni verse afectada por su desarrollo. Por ejemplo: "Mi tarea no
es atacar desde dentro la lgica de Russell, sino desde fuera. O
sea no es atacarla matemticamente -entonces hara matemticasino su posicin, su oficio. Mi tarea no es hablar sobre el teorema
de Gdel sino evitar hacerlott (Observacioues..., VII S l9); nLa
filosofa no puede en modo alguno interferir con el uso efectivo
del lenguaje... Deja todo como est. Deja tambin la matemtica
como est y ningn descubrimiento matemtico puede hacerla
avanzartr. (Investigaciones filosficas, IS l24l; ttSe poa llamar
tambin fFilosofaf a lo que es posible antes de todos los nuevos
descubrimientos e invencionesu (Ibd., S 126). Esta autocontencin de
las descripciones y elucidaciones filosficas responde, entre otros
motivos, a la temprana conviccin Wittgensteiniana de que tanto la
lgica como la matemtica se hacen cargo de si mismas y deben
cuidar de s mismas (vase, e.g., la anotacin de 13-10-1914 en el
Diario).

Wittgeustein, ua outsider ea

lgca

8l

As, pues, bien podramos hablar del "no-lugar" de Wittgenstein

en la historia de la lgica coetnea. No slo se avendrla a sus deseos expresos (sobre todo despus del Tractatusl de no contribuir al
desarrollo de la propia lgica o de la matemtica, sino que ste
sera un corolario prctico coherente de su actitud frente a la
"nociva irnrpcinrf de la lgica matemtica (Observaciones..., V S
24). Pero la situacin que l mismo provoca al reservarse el papel
a primera vista inocuo de observador o de crtico externo del libre
juego de la lgica o de la matemtica, no es tan simple. Naturalmente, por seguir con esta imagen tan familiar en cualquier hogar
wittgensteiniano, el observador de un juego no es un jugador ni el
mirar por encima del hombro de los jugadores es una jugada. Lo
cierto es, sin embargo, que esta aititud suele poner bastante nerviosos a los que estn empeados en la partida (y en ocasiones los
nervios de Bernays, Kreisel, Gdel o Hao Wang, por ejemplo, ante
algunas observaciones de Wittgenstein, se notan a floi de pielr).
Para colmo, Wittgenstein es un observador temible por su ingenuidad: ftTiene el don admirable de ver siempre las cosas como si las
contemplara por primera vezt' -deca alguien tan prximo a l
como F. Waismann. Ahora bien, un observador que se dedica a
cuestionar el sentido mismo de las jugadas como si no entendiera o
no quisiera entender ciertas reglas bsicas del juego -y algo de
esto hay en la descalificacin wittgensteiniana de lo que piensan
los lgicos matemticos acerca de sus programas (e.g. Hilbert) o
acerca de sus resultados (e.g. Skolem, Gdela)-, no es precisamente
un mero espectador que se abstiene de intervenir en el desarrollo
de la partida. Asf pues, la automarginacin y la inhibicin profesadas por la actividad filosfica de Wittgenstein no son tan cabales
como pudiera parecer. Ni su anlisis de la lgica nace por Seneracin espontnea y al margen de toda tradicin de pensamiento -el
Tractatus mantene, segn es bien sabido, un cordn umbilical con
3 Vid. P. Bernays (1959): "Comments on L. Wittgenstein's Remarks on the
Foundations of Mathematcs", en P. Benacerraf y H. Putnam, eds.: Philosophy
of Mathematics; &lected Readngs. Englewood Cliffs: Prentice Hall, 1964,
pp. 510-29; G. Kreisel; '\ilittgenstein's Rema&s on the Foundatons of Mathematcs", Britsh Journal for the Philosophy of *ence, 9 (1959), pp. 135-58.
H. Wang: "Gdel and Wittgenstein" en Proc. ll Intern. Wttgensten Symp-

sium. Wien: Hlder-Pichler-Tempsky, 1987, pp. 83-90.

4 Por ejemplo, vd. a propsito del programa de Hilbert, F. Waismann (1967):
Ludwig Wittgensten y el Circulo de Vena. Mxico: F.C.E., 1973, pp. 105 ss.,
121 ss., 154 y sig.; a propsito de una prueba inductiva de asociatividad de
Skolem, Phlosophcal Remarks, $ 163; a propsito del primer teorema de limitacin de Gdel, Apndice III (1938) de la P.I de Observacones..., pp.9l97.

a2

Luis

Vega

el logicismo-; ni su actitud frente al problema de la fundamentacin de la matemtica o frente al rumbo de la investigacin me-

tamatemtica desde principios de los aos 30, es la de un observador impertrrito. De hecho, a veces, el outsider adquiere las trazas
de un francotirador. Aunque Wittgenstein asegura que la filosofa
no puede cambiar las prcticas lgicas y matemticas dadas, -ms
an; ni siquiera pretende examinar esas prcticas sino solamente lo
que los practicantes dicen acerca de ellas (Philosophical Grammar,
396)-, la verdad es que sus reparos constituyen una amenaza al
menos virtual para el desarrollo de la lgica matemtica coetnea
en la medida en que declaran que una empresa de este jaez carece
de sentido. El amago no pas de ah: de hecho, las observaciones
de Wittgenstein sobre la desgracia que supone la irmpcin de la
lgica en la filosofa de la matemtica se han quedado en un puado marginal de sugerencias sin influjo apreciable en el curso de
la lgica contempornea. Y este sera otro motivo, independiente
de los deseos del propio Wittgenstein, para hablar de su no-lugar
en la historia de la lgica desde la dcada de los 30.
Con esto no quiero adelantar un juicio de valor sobre el pensamiento de Wittgenstein en materia de lgica o de filosofa de la
matemtica. Slo quiero apuntar su extemporaneidad. Algunas de
sus observaciones, en particular a raz de su toma de posicin sobre el programa de Hilbert y sobre ciertas lneas de investigacin
lgica y metamatemtica subsiguientes, eran intempestivas. Dicho
en trminos contrafcticos: si la incipiente tradicin lgico-matemtica las hubiera seguido al pie de la letra, se habra visto en la
tesitura de estar de vuelta antes de haber llegado a algn sitio.
Por ejemplo, en el congreso de Stanford (1960), A. Heyting pasa
revista al curso de los acontecimientos desde la primera confrontacin oficial entre el logicismo, el formalismo y el intuicionismo en
el congreso de Knigsberg (1930)5. El informe de Heyting coincide
en algunos puntos significativos con el madrugador diagnstico de
la situacin que Wittgenstein haba confiado a M. Schlick (e.g. en

5 A. Heyting: "After thirty years", en E. Nagel, P. Suppes, A. Tarski, eds.:

Logic, Methodology and Philosophy of kence (Proc. 1960 Intern. Congress).

Stanford: Stanford University Press, l92; pp. 194-7. Cabe hacerse una idea
de la confrontacin de Knigsberg a travs de las ponencias recogidas en P.
Benacerraf y H. Putnam, eds.; Philosophy of Mathematics. klectel Readings.
Cambridge/London/New York: Cambridge University Press, 1983', pp. 4l ss.
No deja de ser sintomtico que la reaccin wittgensteiniana, recogida en la
primera edicin (1964) antes citada de esta eompilacin, haya desaparecido
por completo de la segunda edicin (1983) y de su reimpresin (1985) -llevndose consigo, incluso los sabrosos comentarios de Bernays referidos en la
nota 3, supra.

Wittgeastein, na outsider ea

lgica

83

la conversaciq de junio de 1930 en torno a lo que debera decirse

en Knigsberg6). Heyting reconoce que las posturas irreconciliables
del logicismo, el intuicionismo y el formalismo, pueden convenir en
un difiso construccionismo; que la lgica ideal de la matemtica
ha cedido el paso a una lgica ms natural de las pruebas y los
procedimientos matemticos; y euer en general, la cuestin epistemolgica y crucial de la fundamentacin se ha visto desplazada por
las cuestiones tcnicas de caractetizacin, por el anlisis del alcance y las limitaciones de los lenguajes lgicos y de los mtodos
matemticos disponibles con independencia de su filiacin (logicista,
intuicionista, formalista). Por lo dems, a estas alturas de los
tiempos, ya est claro que l prueba de consistencia no aumenta la'
fiabilidad de una teora ni el rendimiento matemtico de un sis:
tema. En suma, el desenlace de la crisis parece dar la razn a los
previsores reparos de Wittgenstein.
Pues bien, ino habr sido todo ese proceso el fruto de un malentendido que convendrd haberse ahorrado desde un principio? Tal
conclusin sera simplista y precipitada. De haberse neutralizado en
sus inicios los programas de fundamentos y de hacer abortar entonces las neuras derivadas, e.g. la prueba de consistencia, por carecer en absoluto de sentido, como pretenda Wittgenstein, tambin
se habra desactivado el desarrollo metaterico que a partir de la
dcada de los 30 abre el horizonte de las actuales teoras de la
demostracin y teoras de modelos. En otras palabras: se habrla
arrojado al nio con la placenta por el sumidero. Un punto paradjico de las prevenciones filosficas que sobrevuelan el desarrollo de
la investigacin especializada reside a veces en el hecho de que la
historia venga a darles la raz6n aunque no la haya tenido: pero
cuando se trata de un azar o de un desenlace interno del curso
mismo de la investigacin, no cabe apropirselo retrospectivamente
iomo una consecuencia, y menos an como una garanta, del
acierto o de la profunda sabidura que encerraban tales premoniciones: "Ya decla el filsofo...rl
De ah que la impresin general que produce el discurso de Wittgenstein sobre la lgica y la matemtica de su entorno sea harto
problemtica. Por un lado, su discurso mantiene la pretensin original de observar y dictaminar desde fuera, desde sus propios supuestos conceptuales y analticos, algo tan inmaterial como el buen
sentido de la lgica y de la matemtica, en vez de intentar alguna
suerte de contribucin efectiva a su desarrollo. En esta lnea .la
extemporaneidad puede beneficiarse de una presuncin de inocencia
y cabe defender la automarginacin de Wittgenstein mediante una
6 Vid. el ya citado F.
pp. 90-3 en especial.

Waismann:,.

Ludwig Wittgensten y el crculo de Viena,

84

Luis

Vega

estlategia similar a la adoptada recientemente por Stuart G. Shanker/; la lgica y las matemticas estn bien como estn; lo nico
que hay que hacer como filsofos es desembarazarlas de malas filosofas (a saber: de ontologlas y de epistemologas hasta el punto
de librar a los propios lgicos y matemticos de la tentacin de
filosofar mientras prueban o calculan. Pero, por otro lado, no hay
seguridad de que esta medida preventiva un tanto radical se avenga
con la heurstica real del desarrollo de esas pruebas y clculos8. Y
por aadidura el dictamen crltico, obedeciendo a una concepcin
filosfica autctona de la lgica y de la matemtica antes que a
sus circunstancias reales de desarrollo, cobra un sesgo peculiar en
el que ciertos mtodos y resultados aparecen distorsionados, lo cual
no facilita la interpretacin de lo que Wittgenstein entiende o
quiere dar a entender cuando alude a algunos puntos tcnicos, a los
teoremas de limitacin de Gdel por ejemplo. En todo caso, el
precio a pagar por las relaciones deliberadamente ambiguas de un
outsider con su medio es el de una indeterminacin aadida a los
problemas habituales de interpretacin y de valoracin en filosofa.
Sin embargo, consciente de los riesgos, me aventurar a ilustrar
la problemtica e incierta posicin de Wittgenstein en la lgica del
s. XX mediante algn caso concreto. Uno podria ser el caso de
las tablas veritativas: guarda relacin con la evolucin primera de
su pensamiento hasta el Tractatus y puede mostrar la diferencia
entre una contribucin sustancialmente filosfica como la de Wittgenstein y otras contribuciones tcnicas, en particular la de E.
Post, al desarrollo de la lgica. Otro caso podra ser el de la idea
de demostracin: est relacionado con el cambio de rumbo del pensamiento wittgensteiniano a partir de 1929 -en especial, con las
7 S.G. Shanker: Wittgenstein and the Turnng-Point n the Philosophy of Mat'
hematics. Albany: State University of New York Press, 1987; 'Wittgenstein's
remarks on the significance of Gdel's theorem", en S. Shanker (ed.) Gdel's
Theorem n Focus, London, Croom Helm, 1988; pp. 155-256.
8 Por ejemplo, en opinin de Gdel -manifestada a Hao Wang en dos cartas
del 7lllU1968-, la falta de "la actitud epistemolgica requerida hacia la metamatemtica y hacia el razonamiento no-finitista" fue la causa de que Skolem (1922) no llegara a probar la complecin del clculo de predicados de
primer orden; por eontra, su propia "concepcin objetivista de la metamatemtica en general y del razonamiento transfinito en particular" fue la que le

permiti establecer este teorema (1930) y sus otros grandes resultados de 1931
1938-40. Al margen del crdito que nos rnerezea el diagnstico de Gdel
sobre el caso de Skolem, conviene recordar esta motivacin heurstica personal asumida mucho tiempo antes de ser confesada. Vid. S. Feferman: "Kurt
Gdel: conviction and caution", en S.G. Shanker, ed.; Gdel's Theorem,.., pp.

96-114.

Wittgenstein, n outsider en lgica

85

Observaciones sobre los fundamentos de Ia matemtica- y puede

ilustrar la automarginacin de la actividad filosfica de Wittgenstein con respecto a la lgica matemtica que empieza a madurar
en la fecunda dcada de los 30. En el primer caso tambin habr
que considerar el marco originario en que se gesta la filosofa de
la lgica primordial de Wittgenstein, asi como en el segundo caso
habr que contextualizar su idea de la demostracin dentro de la
evolucin relativamente autnoma de su pensamiento. Pero, antes
que nada, vayan por delante unas observaciones. En primer lugar,
no hay por qu extrapolar a otras reas de su pensamiento el juicio que merezca el acierto o desacierto y la influencia real de las
posturas de Wittgenstein en materia de lgica o de filosofa de la
matemtica; claro est que tampoco es razonable la extrapolacin
conversa: la idea de que la importancia filosfica atribuida a su
autor ya les asegura por principio un papel efectivo en la historia
de la lgica. Por otra parte, la inoportunidad de algunos desplantes
wittgensteinianos a la lgica matemtica no implica una descalificacin global de todo cuanto Wittgenstein haya dicho sobre la naturaleza de la lgica o de la matemtica. No cabe negar que los
anlisis de Wittgenstein, siempre centelleantes, resultan en ocasiones agudos y certeros; lo son, sin ir ms lejos, sus crticas de la
concepcin platnica de los objetos lgicos, de la creencia ingenua
en cuerpos de significado, de la pretensin fundamentalista en matemtica, como lo es su vindicacin de los aspectos pragmticos y
paradigmticos de la prctica real de la demostracin o de la
prueba matemtica. En suma; creo que si bien no cabe apreciar
contribuciones sustanciales y efectivas de Wittgenstein al desarrollo
tcnico de nuestra lgica contempornea -e incluso algunas de sus
sugerencias, de no haber sido en su momento desodas en mayor o

menor medida, habran resultado en esa misma medida contraproducentes desde el punto de vista de la historia del desarrollo de esta
lgica-, con todo no se pronunci absolutamente en vano y algn
rastro hay de su pensamiento crtico en nuestra concepcin de la
lgica y de las matemticas. Esto puede consolar a los fans de
Wittgenstein y los partidarios de contemplar las virtudes de la filosofa sub specie aeternitatis, pero no hasta el punto de considerar
que Wittgenstein ha desempeado un papel decisivo en la conformacin actual del anlisis lgico o ha marcado algn "turningpointrr en la filosofia de las matemticas. Por curioso que parezca,
debemos mucho ms en ambos sentidos al tterrneort programa de
Hilbert sobre la teora de la demostracin, pongamos por caso, que
a las certeras observaciones de Wittgenstein sobre los usos de la
prueba matemtica; ms an, por irnico que resulte, hoy podemos
cerciorarnos del acierto de algunas de exas observaciones no a la
luz de las razqnes wittgensteinianas -que en ocasiones son especu-

86

Luis Vega

lativas y otras veces brillan por su ausencia-, sino en la perspectiva abierta por los que se reclaman herederos, en algn sentido,
de la teora de la demostracin de Hilbert (e.9.; desde Gentzen
hasta Dag Prawitz).
1. El marco originario del pensamiento lgiel de Wittgenstein

El legado del s. XIX en materia de lgica estaba formado, como

ya es de sobra conocido, por dos lneas principales de investiga-

cine. Una parta de Boole; trabajaba con un lgebra abstracta de

smbolos electivos y de operaciones susceptibles de interpretacin
lgica al poder versar sobre clases o sobre proposiciones o sobre
prbabitidades. El anlisis de los llamados I'relativosrf habla propiciado, a travs de Peirce, la identificacin de unos cuantificadores
lgicos y el estudio de su aplicacin a dominios finitos o infinitos
determinados; tambin permita, gracias a Schroeder, la cuantificade modo que una
cin de los subdominios de un dominio dado, e.g. td
vale para cada
frmula como 'rx(a)'poda leerse frla proposicin
dominio x en una multiplicidad dada ..1o (i.e. en un universo de individuos)?? No voy a sugerir que este anlisis distinguiera ya las dimensiones que ms tarde se llamaran sintctica y semntica; pero
si barruntaba la idea de interpretacin de un clculo y abra la posibilidad de operar sobre dominios. La otra lnea de investigacin,
inaugurada por Frege, consideraba la lgica como el lenguaje simblico de los contenidos del pensamiento puro: expresamente como
una conceptografa; tambin, tcitamente' como una objetografa.
Pues la lgica vena a ser la ciencia ms general sobre lo que hay,
y lo que hay son objetos y conceptos. La lgica haba de servir a
dos objetivos, un.o analtico, para cuya consecucin haba de contar
con la notacin adecuada, con una escritura transparente de los
contenidos puros del pensamiento, y el otro metdico, dirigido a la
fundamentacin de la matemtica, cuyo logro pareca exigir la unificacin axiomtica de las leyes lgicas del pensamiento, las leyes
9 Vid. acerca de estas tradiciones, booleana y fregeana, el artculo ya clsico
de J. van Heijenoort: "Logic as calculus and logic as language", Synthse' 17
(1967), pp. 324-30, quizs un tanto sesgado en su estimacin del programa de
Boole por la propia ptica fregeana. Pueden verse asimismo W.D. Goldfarb:
"Logic in the twenties: the nature of quantifier", The Journal of Symbolic
Logic, 44/3 (19791, pp,pp.35l-8; I Grattan-Guinnes: "Notes on the fate of
Logicism from Principia Mathematica to Gdel's Incompletability Theorem"'
History and Philosophy of Logic, 5 (1984), pp.67-78; G'H; Moore: "The
emergence of first-order logic", en W. Aspray y Ph. Kitcher, eds.; History
and Philosophy in Modern Mathematics (Minnesota Stud. in Phil. of Science,
XI).Minneapolis; University of Minnesota Press, 1988, pp. 95-135.

Wittgenstein,

m outsider en lgica

87

ms generales del ser verdadero. El lenguaje lgico hablaba de todo

cuanto hay, de los objetos en trminos nominales y de los conceptos en trminos funcionales: los predicados atribuidos a un sujeto'
un argumento, son funciones cuyos valores son valores veritativos;
el enunciado simple expresa un sentido y designa l mismo un valor
de verdad, los enunciados compuestos son a su vez funciones veritativas compuestas gobernadas por el principio de composicionalidad
del significado. Los cuantificadores, en fin, denotan funciones de
segundo nivel: la generalizacin de conceptos o funciones de primer
nivel para todo argumento o para alguno al menos; por ejemplo, el
cuantificador universal puede leerse frpara todo ente x vale que ...t?.

Es obvio entonces que una asercin como "Si para todo )c

F(x), F(yl constituye una ley lgica -frlo que vale de todo, vale de
cualquierarr- absolutamgnte palmaria. En esta perspectiva, la lgica
es un lenguaje universal; su universo de discurso es el universo y
toda asercin lgica es una verdad absolutamente general (si acaso
cabe discernir un universo peligrosamente homogneo como el de
Frege y un universo precavidamente estratificado como el de la
teora de los tipos de Russell; en este ltimo caso, algunas expresiones lgicas -e.g.; la de identidad- pueden resultar ambiguas, pero
ninguna asercin lgica deja de estar interpretada pues de suyo entraa y trasluce un contenido absolutamente cierto y verdadero).
En realidad, ni siquiera llega a plantearse la idea de interpretacin
o la idea de dominio de interpretacin. La lgica es adems un
lenguaje sistemtico y autosuficiente: nada cabe decir lgicamente
fuera del sistema. En fin, tampoco hay lugar para una lgica-de o
para una lgica subyacente en un cuerpo de teora, de modo parecido a como la articulacin de los niveles del lenguaje lgico
vuelve cualquier acotacin parcial (una lgica de enunciados, una
lgica de piedicados mondi,cos, una lgica de primer orden, etc.)
en una restriccin arbitraria. La lgica es una nica gran lgica y
todo lo que quepa decir de ella, o de sus partes articuladas' ser
una concesin informal a los efectos de presentacin o de entendimiento de la escritura simblica, es -como dir a veces Wittgenstein- mera ttprosatt aadida. Esta conviccin y la pretensin de
transparencia del lenguaje lgico en su calidad de lingua characteristica bloquean por principio la viabilidad de una metalgica; y
dado que las teoras matemticas han de asentarse sobre la propia
lgica, tambin parece truncada la oportunidad de una metamatemtica. en suma, no tiene sentido una metateora formal de las
ciencias deductivas puras. El descubrimiento de las propiedades y
de las relaciones internas de los subsistemas deductivos ser ms
bien una cuestin fctica o frexperimentalrr, algo que irn mostrando
el uso y el desarrollo de estos sistemas en la prctica.

88

Luis

Vega

La ereccin de los Principia Mathematica de Russell y Whitehead

(1910-13) en paradigma de la lgica matemtica -asumido por colectivos como la escuela polaca de entreguefras o el Crculo de
Viena, y por personas independientes tan dispares como C.I. Lewis,
E.L. Post o H. Scholz- instaura la hegemona de la lnea fregeana
de investigacin y la marginacin relativa del lgebra booleana de
la lgica. La conversin de los Principia a lo largo de la dcada
de los 20 en una especie de matriz disciplinaria ocurre a pesar de
que la ventaja inicial correspondiera a la alternativa algebraica:
sta haba entrado a principios del siglo en una va de normalizacin con las contribuciones de un Schroeder o de un Couturat, y
ms tarde sigui estudiando a su aire las condiciones de aplicacin
de las ecuaciones lgicas en diversos dominios prefijados. Por este
camino, los resultados de Lwenheim (1915) preludian algunos temas
hoy familiares: la decidibilidad del clculo elemental de predicados
mondicos, la distincin entre la validez de una frmula elemental
en cada dominio finito y su validez lgica propiamente dicha (i.e.
su validez en cualquier dominio numerable); ms adelante, Skolem
(1920) generalizar este resultado a conjuntos de frmulas y abrir
unas perspectivas de caracterizacin, como la de la lgica de primera orden o la de ciertos conjuntos de frmulas elementales decidibles. Todo esto no significa, por cierto, la instauracin de una
metalgica ni la fundacin de la semntica. Para alcanzar el nivel
sistemtico de la metateora a Ia tradicin logicista le faltaba el
rfmetarr, a la tradicin algebraica le faltaba la t'teoratt. Y en relacin con la semntica, tambin convendrla distinguir diversas etapas de constitucin; por ejemplo: la fase ms bien filosfica fregeana, las primicias de universos de discurso o dominios de aplicacin
que adelanta la tradicin algebraica, la semntica cientifica que
inaugura Tarski en los aos 30 con la consideracin expresa de la
interpretacin de un lenguaje y de sus posibles dominios de referencia, y en fin la semntica hoy estndar -la teora de modelosque considera la variabilidad tanto de interpretaciones como de
dominios de interpretacin. Un claro sntoma de la ausencia de semntica propiamente dicha en la tradicin logicista es, por ejemplo, el denominar rrproposiciones con sentidorr a las expresiones
enunciativas bien formadas como hace Wittgenstein (denominacin
todava corriente a principios de los aos 30 incluso en medios no
logicistas); otro sntoma podra ser la distincin de Ramsey (1925:
rrThe foundations of mathematicsrr; 1926: rrMathematical logic") entre paradojas formales, lgicas o matemticas, y paradojas empricas, epistemolgicas o aun psicolgicas -en suma: pragmticas (e.g.;
la del mentiroso)-, pero no por cierto ttsemnticastf como mal suele

Wittgenstein, u outsider en

lgica

89

el punto de vista de la realidad histrica (no tienen

califiiacin ni esta calidad en los textos de Ramsey)lo.
Sobre el teln de fondo de la tradicin Frege-Russell, y en buena
parte contra ella, empieza a desarrollarse el pensamiento de Wittdecirse desde

nl

ot"

genstein. Cabra pensar incluso que sus intereses y su conocimiento

tcnicos e internos, en materia de lgica estrictamente dicha, apenas llegan a sobrepasar ese primer horizonte noiza de los Principia Mathematica, aunque sus sugerencias crticas y filosficas vayan adquiriendo desde el principio mayores vuelos. Por lo menos'
segn todos los visos y en ltimo trmino, no son demandas de desairollo de la propia lgica sino ms bien motivos de orden filosfico -a veces una especie de ajuste personal de cuentas- los que
determinan el accidentado curso de este pensamiento. Veamos un
poco por--encima la evolucin de esta filosofa wittgensteiniana de
la lgicar
I

2. La evolucin de Wittgenstein en filosofa de la lgica

En trminos sumamente esquemticos y sin el menor deseo de

entrar en la vieja guerra de subndices (Wittgensteinl , Wittgensteino, ...), voy a mencionar algunas fases evolutivas y ciertas con-

vicclones que se mantienen constantes.

Una primera fase cubrira hasta las Notas sobre lgica de 1913.
Wittgenstein inicia la crtica de dos puntos del simbolismo fregeano: el tratamiento de las proposiciones como nombres de lo Verdadero o de lo Falso, y de las expresiones lgicas como denominaciones de funciones; asimismo, apunta el tema de la forma general
de la proposicin que luego ser central en el Tractatus. Aparte de
esbozar sus preocupaciones trascendentales en torno a la lgica' el
lenguaje y el mundo, Wittgenstein busca una filosofa correcta de
la simbolizacin de las proposiciones lgicas mismas: una condicin
necesaria de esta correccin ser declarar su estatuto singular y

l0 F.P. Ramsey: Foundatons. Essays in Phlosophy, Logic, Mathematics and

Economics (D.H. Mellor, ed.). London; Routledge & Kegan Paul, 1978; pp.
l7l-2 y 227-8 en particular.
I 1 Una visin general de la filosofa de la lgica del Ttactatus puede verse
en mis Lecturas de Lgica I. Madrid; UNED, 1986 reim.;3, pp' 89-107. Sobre su cambio de concepcin de los aos 30-40, vid. G'P. Baker y P.M.S.
Hacker: Wttgenstein, Rules, Grammar and Necessity. Blackwell, 1985' pp. 307
ss. en especial. Hay observaciones de inters en B. Stroud (195):
'\Mittgenstein and logical necessity", incluido en G. Pitcher, ed.: Wittgensten.
The Philosophcfl Investgatons (A Collecton of Critcal Essayd. New York'
Macmillan 1968; pp.477-97. Una revisin de conjunto es la que ofrece G.
Baker: Wttgensten, Frege & The Vienna Circle. Oxford, Blackwell, 1988.

90

Luis

Vega

una condicin suficiente ser mostrar ese estatuto sobre la base de

la constitucin bipolar de su sentido. En esta perspectiva, toda
proposicin indica una direccin hacia la verdad o la falsedad representada por la notacin .ra-b>r. Con arreglo a esta notacin, tpr
se traduce por ta-p-b|, la negacin '-p' portb-a-p-b-at, la doble negacin '--pt por 'a-b-a-p-b-a-'; pues bien, todas estas proposiciones tienen el mismo significado; es decir: la presencia de constantes lgicas no marca una diferencia de contenido porque los smbolos lgicos no denotan cosa ni objeto alguno y, en realidad, como
no hay objetos lgicos tampoco hay constantes lgicas.
La segunda fase discurre desde las Nofas dictadas a Moore en
l9l4 hasta el Tractatus. Wittgenstein enriquece su posicin inicial
con nuevas ideas y precisiones. Toda proposicin significativa es un
hecho y una pintura (o figura) lgica de un hecho. Toda proposicin
se deja analizar como una funcin veritativa de proposiciones elementales mutuamente independientes. Una proposicin elemental es
funcin veritativa de s misma; una proposicin no elemental resulta funcin veritativa de proposiciones elementales; toda funcin
de verdad es resultado de la aplicacin sucesiva de un nmero finito de operaciones de verdad a las proposiciones elementales
(5.32); todas estas operaciones, a cargo de los operadores lgicos
habituales, pueden reducirse a una sola, a la operacin ME) del
Tractatus que cabra leer como un conector de negacin conjunta
rfni..., ni...rt; viene a ser equivalente a la frampheckrf de Peirce o la
operacin dual de la llamada I'barra'f de Sheffer (5.5 -5.52). Este
planteamiento puede sugerir algo as como un proceso recursivo de
generacin de todas las funciones de verdad posibles -de toda posible proposicin- a partir de las proposiciones elementales. Para
Wittgenstein representa algo de mayor trascendencia an; muestra
la forma general de la proposicin (5.471. Segn esto, los srnbolos
lgicos slo marcan diferencias notacionales reducibles dentro de
esa formacin lgica general. Un avance significativo de esta fase
es la idea de que las proposiciones lgicas son tautologas. En la
tradicin Frege-Russell, la generalidad absoluta de las verdades lgicas se poda expresar mediante variable libres, mediante
fffunciones proposicionalesrf como decan los Princp.a. Wittgenstein
haba observado que esta formulacin no depara proposiciones, por
lo que hay que desterrar las variables libres o reales; adems objetaba que este modo de expresin no permite distinguir entre una
generalidad accidentalmente verdadera y la validez esencial que
distingue a las proposiciones de la lgica; as pues, las proposiciones lgicas se han de formular ms bien como generalizaciones de
tautologas. Este punto a primera vista notacional supone una nueva
concepcin de las proposiciones lgicas: su peculiaridad ya no reside tanto en su generalidad omnmoda como en su forma esquem-

Wittgenstein, ua outsider en Igica

9l

tica. Desde la conferencia II de Nuesro conocimiento del mundo

exterior (1914) hasta el c. XVIII de la Introduccin a la filosofa de
Ia matemrrca (1919), vemos a Russell vacilar entre una y otra
concepcin, entre la suma generalidad y la validez formal, esquemtica, de las verdades lgicas, seguramente bajo el influjo de
Wittgenstein. El Tractatus sienta definitivamente la condicin esquemtica de las proposiciones lgicas: 'd es una- proposicin lgica
sii cualquier proposicin de la misma forma que tat es una tautolo-

ga, es asimismo lgicamente vlida. Por otra parte' las tautologfas

no dicen nada, no son temticamente neutrales por mor de su generalidad sino sustantivamente vacuas; se limitan a mostrar su validez en un simbolismo perfectamente unvoco como el del Tractaus. Al margen de las repercusiones filosficas generales de esta
demarcacin crucial entre decir y mostrar, creo que la distincin
representa una culminacin de los ideales de transparencia y autosuficiencia del simbolismo lgico acariciados por el logicismo, y por
ello pretende efectuar un rasurado radical de su primitiva barba
platnica. En fin, Wittgenstein mantiene la universalidad y unicidad
de la gran lgica, pero a su manera; como una manifestacin de la
ndole trascendental de la lgica, cuyos lmites son irrebasables y
coinciden con los del lenguaje, pues no cabe un lenguaje ilgico' y
con los del universo mundo, pues la lgica presenta a travs del
lenguaje el orden a priori del mundo, el orden de posibilidades que
deb ser comn a pensamiento y mundo (Investigaciones filosficas,

rs

97).

Cuando Wittgenstein vuelve a ocuparse de lgica y de matemticas a partir de 1929, renuncia a algunas creencias bsicas anteriores, por ejemplo a la suposicin de unos elementos del anlisis ltimos, atmicos e independientes, y a la equiparacin de los cuan-

tificadores con sumas o con productos lgicos finitos. Pero sobre

todo reacciona crticamente contra la motivacin filosfica general
del Tractatus, en especial contra la idea de que la lgica est
dada en la naturaleza esencial del lenguaje y representa la estructura lgica del mundo. Su punto de partida es ahora la existencia
de sistemas proposicionales, Satzsysteme, nocin que abre la perspectiva ulterior de los juegos de lenguaje. Este punto de vista no
slo reniega de la independencia mutua entre las proposiciones
elementales (ante todo, para resolver problemas de anlisis como
los suscitados por el sistema de las proposiciones sobre colores,
donde ttesto es rojott implica tresto no es azulfr o es incompatible
con rresto eb verdett). Tambin descarta obviamente la universalidad
y la unicidad de la gran lgica contemplada en el Tractatus. Wittgenstein madura su nueva concepcin durante los ltimos aos 30 y
La primera mitad de los 40, cuando aborda las Investigaciones filosficas y escribe las Observaciones sobre los fundamentos de la

92

Luis

Vega

matemtica. Ahora las reglas lgicas de inferencia se encuentran

entre las reglas gramaticales de un sistema o un juego de lenguaje
y las tautologas olvidan su anterior constitucin veritativo-funcional: td es una tautologa de S ssi es una proposicin lgica de S
en el sentido de ser el correlato de una regla de inferencia de S
cuya suspensin o violacin trae consigo el cambio de sistema o de
juego de lenguaje. Por ende, la comprensin del funcionamiento de
un operador lgico es inseparable del reconocimiento de una regla.
Es curioso que este cambio de concepcin discurra en paralelo a
ciertos desplazamientos que tienen lugar en la propia lgica, e.g. a
la disolucin de las grandes lgicas unitarias y la consideracin de
diversos lenguajes lgicos habilitados para distintos niveles y mbitos de anlisis, -incluidas las lgicas fralternativastt que parecen tomarse en serio a partir de los aos 30-: e incluso parece coincidir
con el nuevo trato de los operadores lgicos en los sistemas de deduccin natural que tambin aparecen en esa dcada. Ahora bien,
la evolucin del pensamiento de Wittgenstein tiene todos los visos
de ser una autocrtica autctona, un ajuste personal de cuentas con
la filosofa de la lgica del Tractatus, al margen de lo que ha ido
aconteciendo en lgica. Esta impresin no slo obedece a su ritmo
peculiar: cuando Hao Wang comunica a Gdel que Wittgenstein ha
renunciado en las Noas de 1932 al atomismo y al finitismo del
Tractatus, Gdel se limita a preguntar: "iY qu ha estado haciendo
Wittgenstein todos estos aos?rr. Tambin se debe a la peculiar atmsfera que rodea este cambio y a la recurrencia de antiguas claves de su pensamiento. Por esa atmsfera entiendo la ambigedad
sustancial que impregna los usos wittgensteinianos del trmino
I'lgica", una ambigedad creciente con los aos hasta alcanzar la
polisemia informal de Zettel (1950) (sta si es una contribucin popular del "ltimott Wittgenstein: la proliferacin de usos del sustantivo y del calificativo rlgica', cuya clasificacin hoy en da podra
asemejarse a la clasificacin de los animales segn una venerable
enciclopedia china que han exhumado el doctor Kans Kuhn y Jorge
L. Borges). Es obvio el contraste entre esa ambigedad e informalidad wittgensteiniana y la progresiva tendencia a la caracterizacin tcnica de lenguaje y mtodos entre los lgicos y los metamatemticos desde los aos 30. Por lo que se refiere, en fin a los
motivos recurrentes y las convicciones constantes a lo largo de la
evolucin de su pensamiento, baste mencionar dos. El primero es la
conviccin de que las pautas lgicas muestran o regulan un uso
pero no lo justifican y, en general, tanto la lgica como las matemticas eluden cualquier justificacin pues saben cuidarse de s
mismas: si el secreto poda residir al principio en una estructura
simblica transparente, como pretenda ser la notacin del Tractaus, luego ser la prctica misma de las reglas inferenciales lgicas

Wittgenstein,

outsider en lgica

93

y de las ecuaciones matemticas la que venga a garantizar su autonomla y su transparencia. El segundo motivo recurrente es la

conviccin de que las proposiciones lgicas tienen un estatuto peculiar, son radicalmente distintas de otras proposiciones cualesquiera; por ejemplo, no hay detrs de ellas nada que descubrir: ni
objetos de referencia, ni significados previos a su uso, ni en general puede haber algo as como una verdad lgica o matemtica
dada antes, o al margen, de una prueba. Por eso estas proposiciones no slo son decidibles: estn decididas.

3. El caso de las tablas veritativas

Con estos antecedentes sobre el marco originario y la evolucin

del pensamiento de Wittgenstein, podemos pasar a considerar los

casos concretos que antes haba anunciado. En primer lugar, el

caso de las tablas veritativas del Tractatus.

El hallazgo de este procedimiento de decisin para determinar el
valor de verdad de un enunciado fue un descubrimiento mltiple a
finales de la segunda dcada del presente siglo. Peirce ya haba
sentado un precedente en 1885 al sugerir algo parecido para dilucidar la validez lgica de una frmula construida con la negacin y
el condicional, en la lnea de lo que Quine ha venido a llamar mucho despus tanlisis veritativo-funcional"l2. Bernays, en su Habilitationschrift de 1918, utiliza matrices de asignacin de valores veritativos para estudiar la consistencia y la independencia de los
axiomas del clculo de enunciados; Lukasiewicz tambin conoca
antes de 1920 un mtodo de asignacin de valores veritativos en
trminos de cero y uno, que luego desarrolla en la presentacin de
un sistema de lgica trivalente. Con todo, el uso ms notable de
este procedimiento es el que tiene lugar en la trlntroduccin a una
teora-^ general de las proposiciones elementalest' de E.L. Post
(1921)'r. Merece la pena detenerse en l no slo por sus mritos
propios sino por su valor como marca de contraste para apreciar la
posible diferencia entre una contribucin interna al desarrollo de la
lgica y una contribucin ms bien filosfica a la discusin en
torno a su naturaleza (como la del Tractatusl, Post establece, para
empezar, que las funciones de negacin y disyuncin son adecuadas
para el conjunto de las funciones veritativas del subsistema proposicional de Principia Mathematica porque son capaces de expresar
12 Ch.S. Peirce (1885): "Sobre el lgebra de la lgica. Una contribucin a la
filosofa de una notacin", en sus Escrtos lgicos, Madrid: Alianza, 1988,

pg. 181 en particular.

13 E.L. Post (1921): "Introduccin a una teora general de las proposiciones
elementales", en mis Lecturas de Lgca I ya eitadas, 10, pp. 317-51.

94

Luk

Vega

la funcin correspondiente a cualquier tabla de verdad compuesta

por dos valores, positivo y negativo. En segundo lugar, prueba la
consistencia y la complecin o suficiencia de este subsistema: una
condicin necesaria y suficiente para la asercin de una funcin de
este gnero como consecuencia de sus postulados en PM es la con-

dicin de que todos sus valores veritativos sean positivos. Hay tres
aspectos de esta contribucin de Post dignos de especial mencin:
a) Si el marco de referencia son las funciones veritativas que sugiere PM, la raz operativa de su procedimiento de tabulacin reside en el mtodo de expansin de Boole, i.e. en ecuaciones del
tipo de "F(x) = f(l)x + f(0)(1-xl'. b) Post aprecia perfectamente la
distincin entre la rrteora", las pruebas dentro del sistema, y la
rfmetateorarr, Ias pruebas acerca de las propiedades del sistema, al
tiempo que sabe acotar el subsistema proposicional de PM como un
sistema deductivo cerrado, para cualquier proposicin a del lenguaje
del sistema, o bien a es derivable en el sistema y constituye una
funcin positiva o bien la adicin de a como otra asercin ms
torna el sistema inconsistente. Por otro lado, si la prueba de consistencia de Post sigue la pauta marcada por Hilbert (1904) de atenerse a una caracterstica hereditaria dentro del sistema -caracterstica de las aserciones primitivas que, travs de las reglas de deduccin, se trasmite a todas las aserciones derivables y slo a
ellas-, el mismo Post alude expresamente al abordar la prueba a
unas primicias adelantadas por Schroeder (1981). c) La tabulacin
de los valores positivo y negativo no depara en realidad una semntica; representa ms bien una asignacin operacional de valores
con miras a la obtencin de una caracterstica efectiva de las
aserciones del sistema. Por lo dems, un proceder anlogo puede
extenderse a la consideracin de sistemas m-valorados siendo m un
nmero natural cualquiera mayor que 2. En suma, una contribucin
como la de Fost se integra en las lneas de investigacin abiertas
por la evolucin interna de la lgica y, por otra parte, contribuye
a la apertura de nuevas perspectivas de desarrollo, e.g.; al reconocimiento de subsistemas lgicos y de anlisis metalgicos, a la experimentacin formal con sistemas de evaluacin no bivalentes.
Las tablas veritativas de Wittgenstein tienen a su vez una motivacin original: son un avance decisivo en la lnea abierta por la
notacin ..a-br', i.e. en el logro de una determinacin precisa de la
forma general de la proposicin y en la autoexposicin efectiva del
estatuto tautolgico de las proposiciones lgicas. Por eso alcanzan
a tener un doble sentido, tcnico en parte pero sobre todo filosfico. En su sentido tcnico, Wittgenstein las considera un procedimiento efectivo no slo de decisin y de construccin de toda funcin veritativa del Tractatus, sino de demarcacin de las tautologas o esquemas tautolgicos (siempre ser posible calcular si una

Wittgenstein, ua outsider en lgica

95

proposicin pertenece a la lgica calculando las propiedades lgicas

del simbolo (6.122, 6.126). Adems, tanto en la versin tabular de
4.31-4.45, 5.101, como en la versin diagramtica de 6.1203, revelan la extensionalidad del punto de vista veritativo-funcional; todos
los resultados de operaciones veritativas con funciones veritativas
que sean una y la misma funcin veritativa de proposiciones elementales, son idnticos (4.46). Estas dos virtudes del Tractatus, la
identificacin justa de las proposiciones lgicas y la extensionalidad
del anlisis lgico fueron sumamente encarecidas por Ramsey. Pero
en estos puntos mismos que podramos calificar en principio de
contribuciones a la lgica ya late la trascendencia peculiar de toda
una filosofa simblica. Por ejemplo, el sentido primordial de la extensionalidad estriba en dar lugar a un programa notacional y analtico reductivo; a la exclusin del rgimen intensional (5.541), a la
reduccin finitista de la cuantificacin (5.52)' a la eliminacin de
la identidad (5.53-5.5303). Y el significado bsico de la decidibilidad formal de la validez de los esquemas tautolgicos (el que a la
sola luz del smbolo pueda reconocerse su validez, hecho que encierra en s toda la filosofa de la lgica (6.113), o el que en lgica
proceso y resultado sean lo mismo de modo que no caben las sorpresas (6.1251, 6.1261)), descansa en las pretensiones especulativas
de transparencia y de autosuficiencia de la lgica. En realidad' la
lgica no slo sabe cuidarse de s misma, sino que no le queda ms
remedio que mostrarse a s misma. Entonces iqu podemos hacer
en lgica una vez alcanzado este estado de manifestacin beatfica? No cabe plantearse las relaciones entre los cuantificadores y
los operadores veritativos funcionales en diversos dominios finitos o
infinitos, como harn los brotes tardos de la rama algebraica.
Tambin es desafortunada la constitucin terica, axiomtica, del
cuerpo de las proposiciones lgicas, que propone el logicismo
(6.127) y est de ms la prosa de las reglas y de los supuestos deductivos informales explayada en PM, Pero igualmente sobra cualquier tratamiento metaterico de la lgica (6.113), pues toda tautologa muestra por s misma que lo es (6.127), la demostracin
aqu no es sino un medio mecnico auxiliar para facilitar su reconocimiento cuando se trata de una tautologa complicada (6.1262')
y, para colmo, es obvio que las leyes lgicas no pueden estar sometidas a su vez a unas leyes lgicas (6.123). En general, nada se
puede decir sobre la forma lgica de cualquier proposicin dada, ni
tiene sentido hablar sobre las propiedades lgicas de las proposiciones: son algo que toca mostrar a la notacin adecuada. Lo que s
podemos es aclarar la relacin entre las proposiciones lgicas y el
mundo cuyo armazn representan, o la relacin entre lgica y matemticas (la matemtica es, por cierto, un mtodo de la lgica
que trabaja con ecuaciones y a travs de ellas tambin resulta ca-

96

Luis

Vega

paz de cuidarse y entenderse por sl misma (6.23n, 6.23411. Podemos, en suma, hacer filosofla de la necesidad, pues la investigacin
en lgica es la investigacin de toda legaliformidad (6.3). Pero si
seguimos insistiendo: qu podemos hacer dentro de la lgica y' en
particular, dentro de ese anlisis de sistemas o subsistemas -como'
sin ir ms lejos el de Post- que est dando unos primeros pasos
decisivos en este primer tercio de s. XX?, la respuesta del Tractaus seria -creo-: ffl-o que cabe hacer es dedicarse a otra cosarf.

4. De las tablas veritativas a la idea de demostracin: la cuestin

de la determinacin del significado de los operadores lgicls.
Despus de 1929 -y tras haberse dedicado en efecto durante varios aos a otras cosas- Wittgenstein empez a entender las tablas
veritativas como una especie de explicacin del significado de los
conectores proposicionales, explicacin que adems contribufa a purificar la autonomfa de las proposiciones lgicas -descargadas de la
tarea transcedental anterior de reflejar las propiedades lgicas del
lenguaje y del mundo. Esto no implica, desde luego, la adopcin de
unos puntos de vista hoy corrientes en semntica estndar: por
ejemplo, la idea de que las proposiciones lgicas pueden derivarse
como consecuencias de los significados de sus operadores lgicos
(e.g.; de modo que el carcter tautolgico del esquema de equivalencia de la doble negacin t--p = pr se funda en el significado de
la negacin veritativo-funcional), o la idea de que la validez semntica de unas proposiciones de S puede servir como marca o
gua independiente de contraste para las reglas pertinentes de su
derivacin formal en S (e.g.; de modo que la regla R slo es aceptable en S si preserva el valor designado de las premisas y lo
transmite a la conclusin). Tales consideraciones carecen de sentido: evidencian una mitologa del significado, la creencia en un
presunto Bedeutungskrper. Segn Wittgenstein, lo que ocurre es
ms bien que las tablas veritativas, al igual que otras explicaciones
del significado, son reglas gramaticales. Cuando reconocemos
'--p = pt como una proposicin lgica necesaria, nuestro reconocimiento no dimana del significado de f-r sino que lo constituye: sta
es precisamente una de las reglas del uso pertinente de t-t en el
sistema considerado. Por ejemplo, el movimiento diagonal del alfil
no se funda en un atributo previo de esta pieza, sino que, por el
contrario, es la regla del ajedrez que establece ese movimiento una
de las que confieren a esta pieza el papel de alfil en el juego. Dicho en los trminos de las Observaciones... (VII S 30); las reglas de
inferencia dan significado a los signos lgicos porque son reglas de
uso de esos signos, forman parte de determinacin de su significado
y, etr este sentido, las reglas de inferencia no pueden ser falsas

Wittgenstein, un outsider en lgica

97

como tampoco pueden ser correctas. Son ms bien instancias paradigmticas de pensamiento y discurso aprendidas con el aprendizaje
y el uso del lenguaje.
Una tradicin del anlisis lgico que se remonta a las investigaciones de Gentzen (1935) y hoy tiene diversas ramificaciones, ha
venido trabajando en una lnea en parte parecida: en el intento de
determinar constructivamente el sentido de los operadores lgicos
mediante sus reglas de introduccin y de eliminacin en un sistema
de deducibilidad definido o, si se quiere, en una teora de la deduccin, Gentzen haba apuntado (1935): "Untersuchungen ber das
logische Schliessenrr, ii S 5.13): "Las introducciones representan -por
as decir- las tdefinicionesr de los smbolos correspondientes, y las
eliminaciones no son en ltimo anlisis sino las consecuencias de
estas definiciones. Cabe expresar este hecho como sigue: al eliminar un smbolo, podemos emplear la frmula, de cuyo smbolo principal nos ocupamos, solamente en el rsentido conferido por la introduccin de tal smbolot". As pues, la regla de introduccin de
un operador lgico determina el "significadot' o el cometido de este
operador en el marco deductivo considerado (un sistema intuicionista, NJ, o un sistema clsico, NK) y la regla de eliminacin correspondiente no hace sino confirmar este sentido: se supone entonces que las reglas de introduccin se justifican por s mismas al
constituir el frsignificado" de los operadores admisibles en ese contexto deductivo y las reglas de eliminacin se justifican a su vez
por su congruencia con las reglas de introduccin. Los teoremas de
inversin y de normalizacin de Prawitz (1965, 1971) son resultados
tcnicos de este programa concernientes, primordialmente, a los
operadores estndar de la lgica de primer orden'". Un tratamiento
similar del rfsignificadorr de los operadores lgicos tambin ha caracterizado a la tradicin intuicionista y, por lo dems, en una
perspectiva anloga se mueven asimismo diversos enfoques antirrealistas como el de Dummett o el de Tennantr5. Estos planteamientos que abogan por una codeterminacin semntica y deductiva del
sentido de los operadores lgicos -con arreglo a su uso cannico en
la construccin de pruebas- han alcanzado la madurez suficiente
para evitar ciertos tropiezos ingenuos y para afrontar diversas criticas procedentes del bando de quienes propugnan la prioridad ab14 D. Prawitz: Natural Deducton. Stockholm, Almqvist & Wiksell, 1965;
"Ideas and results in Proof Theory", en J.E. Fenstad, ed,.; Proc. of. 2nd.
*andnavian Logic Symposr'um (Oslo, 1970). Amsterdam: North Holland,
t971, pp.135-307.
l5 M.A.E. Dummett: Elements of Intution'sm, Oxford: Clarendon Press,
1977: N Tennant: Ant-Realsm and Logic, Oxford: Clarendon Press, 1987.

98

Luis

Vega

soluta de la asignacin puramente semntica de significadol6, Pero

no han culminado uno de sus propsitos, el de lograr una determinacin cabal y constructiva del concepto de operador lgico en general (i.e. ms all de los conectadores y cuantificadores habituales
de la lgica de primer orden). La cuestin general de precisar la
rflogicidadrr que distingue a cualquier operador susceptible de la calificacin de "lgicofr en algn contexto determinado, es una cuestin que -segn es bien sabido- se mantiene abierta. No obstante,
su consideracin reviste suma importancia (por ejemplo, guarda estrech relacin con la explicacin de la nocin misma de consecuencia lgica) y, de hecho, ha tenido que ver con el nuevo rumbo
que han tomado algunas teorfas de la demostracin en los aos 60
y 70. Casi no es preciso puntualizar que la postura de Wittgenstein, pese a algn punto notable de coincidencia, responde a otros
motivos puramente filosficos y contempla otros aspectos de la
identificacin de las proposiciones lgicas. Ms an: da la impresin
de que tras aclarar su estatuto de reglas gramaticales, el sinsentido de buscarles justificacin en algo ms all de lndole ontolgica
o epistemolgica, y la necesidad de contar con ellas en el ejercicio
de la inferencia y del pensamiento -pues a su empleo es a lo que
justamente llamamos ilinferir" y "pensar"-, ya est dicho todo. Asi,
pus, tampoco debe extraar que Wittgenstein sea en principio
ajeno a estas tradiciones y programas de investigacin que se han
ido centrando en un tratamiento lgico sistemtico de la relacin
de deducibilidad y de la idea de demostracin aunque luego, en
ocasiones, no falte quien invoque algn texto wittegensteiniano
como bendicin o como pretexto (en particular, el inevitable S 43
de las Investigaciones filosficas: "Para una gran clase de casos de
utilizacin de la palabra rsignificado'... puede explicarse esta palabra as: el significado de una palabra es su uso en el lenguaje").

5. El caso de la idea de demostracin

Sin embargo, la idea de demostracin es un tema central de la
filosofa wittgensteiniana de la matemtica. Veamos su automarginacin en este caso-

l6 Como ilustracin de esos tropiezos, vid. K.R. Popper: "Logic without assumptions" (Proc. Aristotelan hcety, 47 (1947), pp. 251-92; "New Foundations for Logic", Mind,56 (1947), pp. 193-255; "On the theory of deduction",
Indagationes mathematicae,l0 (19a8), pp. 44-54, lll-120. Por otra parte, una
viva muestra de irona crtica es la maquinada por A.N. Prior (1960): "El
bono de trnsito inferencial", en las ya citadas Lecturas de Lgica l, 7, pp.
237-9; cfr. una ftplica en la nota siguiente a esta lectura, 1.c., pp.239-46.

Wittgenstein, rn outsider en lgica

99

Segn Wittgenstein; lo que necesitan las proposiciones matemticas es una clarificacin de su gramtica, no una fundamentacin
(Observaciones..., VII S16). Esto quiere decir que, por un lado, hemos de apreciar la abigarrad,a mezcla de tcnicas demostrativas en
que consiste la matemtica (III 546), y por otro lado hemos de
elucidar los rasgos distintivos de todo eso que los matemticos presentan y aceptan como pruebas. Un punto de partida es reconocer
que se trata de una prctica comn de seguir una regla (ttDecir
que resta proposicin se sigue de aqulla' es aceptar una regla. La
aceptacin se produce sobre la base de una demostracin. Es decir,
considero aceptable esta cadena (esta figura) como demostracintr, I
S33). Dicha prctica es a su vez un hecho de nuestra historia natural (I 5563, 142). Nosotros y nuestra matemtica podramos haber
sido distintos, pero, salvada esa contingencia, el caso es que somos
como somos y el mgdo de probar y calcular que comportan nuestros usos matemticos constituye el modo de inferir y el modo de
pensar acerca del mundo natural. Esta constatacin no slo obvia
el convencionalismo, sino que torna carente de sentido cualquier
duda escptica sobre las proposiciones matemticas. Precisamente
su empleo como reglas gramaticales las sustrae de toda posible incertidumbre. As pues, tampoco tendrn sentido los programas que
buscan dar respuesta a las dudas del escptico sobre las proposiciones matemticas. Precisamente su empleo como reglas gramaticales
las sustrae de toda posible incertidumbre. As pues, tampoco tendrn sentido los programas que buscan dar respuesta a las dudas
del escptico plantendose la cuestin de qu tipo de demostracin
nos asegura la verdad y la necesidad matemticas, e.g. el programa
de Hilbert. Todas las demostraciones matemticas acreditan la necesidad de las proposiciones matemticas. He ah el primer rasgo
caracterstico de este tipo de prueba; la normatividad de la demostracin y la necesidad de su conclusin ("Recorro la demostracin y
digo: fS, as tiene que ser; asl he de establecer el uso de mi lenguajerrr, III S30). Esto requiere, desde luego, que la demostracin
sea perfectamente abarcable y estemos dispuestos a tomarla como
una pauta paradigmtica ("'La demostracin ha de ser abarcable de
una ojeadat significa: hemos de estar dispuestos a usarla como
pauta de juicio... La demostracin ha de ser modlica", III S22). He
ahl un segundo rasgo. Ambos se acompaan de una peculiaridad
ms sustancial; la existencia de una conexin interna entre la
prueba y la proposicin probada. La prueba forma parte de la gramaticalidad misma de la proposicin probada (III S3l). De ah que,
por un lado, cuando una demostracin introduce un nuevo concepto
o construye una proposicin aade un nuevo paradigma a los paradigmas del lenguaje (lII $30) y, por otro lado, una proposicin matemtica completamente analizada es su propia prueba (Philosophi-

100

Luis

Vega

cal Remarks, 5162). Pues en la matemtica, como en lgica, se da

una equivalencia entre proceso y resultado que evita cualquier
indecisin y cualquier sorpresa (I S82).

Francamente no creo que sean motivos tcnicos los que sustentan

esta caracterizacin, aunque Wittgenstein suele tener la precaucin
de remitirse a ejemplos combinatorios de la aritmtica elemental efectivamente decidibles-, y aunque la idea de una especie de Beweissysteme, sistemas de demostraciones, que late en su caracterizacin guarda, como ya he dicho, notables analogas con ciertos
desarrollos actuales de la demostracin en el campo de la deduccin natural. Son ms bien presunciones filosficas las que obran en
esa elucidacin de la idea de demostracin. Por ejemplo, la presuncin de que una proposicin lgica o matemtica es una regla gramatical de un sistema o de un juego de proposiciones y, por ende,
no slo es incuestionable sino que tampoco puede consistir en una
especie de hiptesis susceptible o no de verificacin: esto la reducira a la condicin de una proposicin emprica o de un mero estmulo intelectual, sera a lo sumo una conjetura en busca de un
sistema de prueba y decisin. O, por ejemplo, la presuncin de que
una proposicin matemtica, al margen de su demostracin -al
margen de su efectiva constitucin gramatical dentro de un sistema-, carece de contenido y atributos significativos. A esta luz,
parece plausible la influencia de ciertas ideas de Wittgenstein en el
creciente auge de la pragmtica de la demostracin dentro del
campo que hoy suele conocerse como teora de la argumentacin,
en especial la idea de que una condicin para que un argumento
constituya una prueba es la de ser reconocido como tal en un determinado contexto, la de ser visto y empleado as en este contexto. Pero, por otro lado, no habremos de extraarnos de que
Wittgenstein, llevado por su propia dinmica conceptual, discurra un
tanto a contrapelo de las teoras de la demostracin lgico-matemticas y, ms an, fuerce el sentido de algunos resultados bsicos
en este terreno. El caso ms popular es, sin duda, la suerte que
corre el primer teorema de limitacin de Gdel (especialmente en
el Apndice III (1938) de la parte I de las Observaciones sobre los
fundamentos de Ia matemtica). este resultado, al establecer la
existencia de una proposicin verdadera pero indemostrable en
cualquier sistema de la capacidad expresiva de PM, desmiente las
expectativas del programa amplio de Hilbert (la posibilidad de una
formalizacin consistente y completa de la aritmtica, la suficiencia de su aparato formal para decidir cualquier cuestin formulable
en los trminos del sistema), y tiene asimismo una repercusin negativa sobre el programa restringido a la prueba de la consistencia
del propio sistema. No est de ms recordar que estos resultados
fueron mejor asumidos en principio por los crculos que abrigaban

Wittgenstein, ua outsider en lgica

l0t

ideales formalistas que por otros crculos lgicos y matemticosl7;

una razn es, a mi juicio, la incipiente familiaridad de esos medios
con el punto de vista metamatemtico. Por contraposicin, las reservas y la incomprensin -al menos aparente- de Wittgenstein obedecen en parte a su negativa a aceptar este punto de vista. Segn
Wittgenstein, "proposicin verdadera en el sistema de Russelltr no
puede significar otra cosa que "proposicin demostrada en el sistema de Russellrr, por consiguiente no puede darse algo asi como
una proposicin verdadera e indemostrable dentro del sistema. Ms
an: no puede haber ninguna especie de metasistema; slo caben
sistemas distintos de modo que una proposicin demostrada en uno
resulte falsa en el otro: ttl-o que en el aiedrez significa tperder',
puede ser en otro juego ganar" (Observaciones..., Apndice III S8).
El punto de vista de los Satzsysteme y de los juegos de lenguaje,
cada uno de ellos autnomo e irreducible a una articulacin metalingstica o una jerarqua sistemtica (slo media entre ellos un
aire de familia), choca frontalmente con el punto de vista metaterico. Parejamente, la gramtica (y, uno aadirfa, la pragmtica)
autosuficiente de los sistemas lgicos y matemticos priva de sentido a cuestiones tales como su consistencia, su complecin o su
decidibilidad y, en general, a cualquier consideracin de la prueba
y de la verdad como dos dimensiones que abren vas de anlisis independiente. Plantearse cuestiones de ese tipo, como hizo Hilbert,
o desarrollarlas tcnicamente en la lnea de Gdel no es sino jugar
insensato juego del escptico -hacerse cargo de preguntas como:
el
rri,cabe asegurarse de la verdad de una proposicin o de un conjunto
de proposiciones matemticas?rr-, y abordar empresas que filosficamente no llevan a ninguna parte salvo a recadas en viejas crisis
epistemolgicas o en renovadas ilusiones ontolgicas. Para un Wittgenstein anclado en la filosofa del significado y en la filosofla de
la matemtica de las ltimas dcadas del s. XI{ y las primeras
dcadas del XX, Tarski no llegar a existir nunca'o. Lo que representaran entonces los resultados de Gdel, si algo de inters filosfico representan, sera la reduccin al absurdo del programa de
Hilbert. Tal vez sea una ironla de la historia el que hoy, lejos de

l7 Vid. J.W. Dawson (1984): "The reception of Gdel's incompleteness theorems", en S. Shanker, ed.; Gdel's Theorem..., pp. 74-95.
18 En la medida en que nace con Tarski la metodologa formal de la ciencia

deductiva (e.g.; el tratamiento sistemtico de la metateora -con el concurso

de un aparato conjuntista-, la elaboracin efectiva de la sintaxis de los lenguajes lgicos por medio de gramticas recursivas -"generativas"-, el desarrollo de su semntica y de la teora de modelos), vid. la introduccin de J.
Corcoran a la segunda edicin de Tarski: Logic, semantics, metamathematcs.
Philadelphia: Hackett, 1983; pp. xv-xvii en particular.

t02

Luis

Vega

reconocer absurdos filosficos de este tipo, asistamos a un renacimiento de las teoras lgico-matemticas de la demostracin en el
que fructifica la siembra iniciada por gente como Hilbert, Gdel,
Tarski o Gentzen, todos ellos culpables de tratar con mtodos lgico-matemticos el anlisis lgico y las teoras matemticas.
Tambin parece ser otra ironla de la historia el hecho de que las
sugerencias lgicas y matemticas del Wittgenstein de los aos 30
y 40 no slo no encuentren un lugar en la lgica y en la matemtica de su entorno sino que tampoco lleguen a ser cabalmente congruentes con su tiempo: las hay extemporneas por anticipacin
(segn he indicado al principio) y las hay extemporneas por retraso (es curioso, por ejemplo, que el punto de vista crtico de los
Satzsysteme o de los Beweissysteme cobre su mayor inters al
aplicarlo a situaciones pretritas como la de las geometras euclidianas y no euclidianas hasta los Grundlagen der Geometrie de Hilbert (1899), segn muestran -involuntariamente quizs- las vindicaciones wittgensteinianas del estilo de la ya citada de S. Shanker
(1e87).

En conclusin, la contribucin de Wittgenstein a la lgica contempornea ha tomado deliberadamente el rumbo de una elucidacin filosfica ms pendiente de su propia evolucin conceptual que
del desarrollo mismo de la lgica. De ah que esta contribucin
haya resultado ms virtual que efectiva, ms notable si acaso como
objeto de mencin -alusin o cita- que como objeto de uso. La
idea de tautologa del Tractatus todava alcanz a tener cierto influjo sobre la concepcin esquemtica y extensionalista del anlisis
Igico, aunque no tanto como el que lleg a ejercer en el mbito
ms general de la filosofa del lenguaje. (Pero no deja de ser sintomtico que alguien tan celoso de confesar sus deudas con Wittgenstein como Carnap, las haya adquirido en realidad reinterpretando el Tractatus a la luz de otros, de Hilbert y de Gdel por
ejemplo). Las ideas posteriores sobre los Satzsysteme y sobre la
pragmtica de la demostracin se mueve en la lnea de la demolicin de la gran lgica nica y universal del logicismo, en una direccin anloga a la tomada por ciertas investigaciones de sistemas
lgicos alternativos y de sistemas de deduccin natural; asl como
la renuncia de Wittgenstein a reconocer las neurticas secuelas de
una crisis de frfundamentacinrr de la matemtica parece coincidir
hasta cierto punto con el curso posterior de los acontecimientos.
Pero, a mi juicio, en ninguno de estos casos hay comunicacin,
comprensin y menos an una influencia mutua entre Wittgenstein
y los responsables reales de ese curso de la investigacin lgicomatemtica. Segn todos los visos, Wittgenstein no slo se mueve
por razones filosficas propias, sino que adems no entiende o no
quiere entender algunos supuestos bsicos del rumbo decidido en la

Wittgenstein, ua outsider en l6gca

r03

prodigiosa dcada de .los aos 30. Recprocamente, en los trabajos

que alumbran y empiezan a explorar los nuevos horizontes tampoco
cabe esperar algn eco real de las sugerencias wittgensteinianas.
Por lo dems, ni siquiera ms tarde -cuando casi parece obligada
su mencin protocolaria- e incluso en el mbito o primera vista
ms afn del anlisis lgico de la demostracin y cuestiones conexas, han dejado huellaly.

UNED (Madrid)

19 Ninguna de las actuales variantes de la teora de la demostracin (la reductiva, la general, la estructural; el anlisis modal o el confiado a la deduccin automtica) toma en consideracin las observaciones de Wittgenstein.
Ms an: Wittgenstein ni siquiera es mencionado en los informes panormicos
de Prawitz o de otros (e.g. G. Sundholm) sobre el desarrollo de esta temtica.