Está en la página 1de 122

SalvadorLpezArnal

[\

MANUELSACRISTNYLAOBRADEL
LGICOYFILSOFONORTEAMERICANO

WILLARDVANORMANQUINE

ENELCENTENARIODESUNACIMIENTO

Enestelibronosvamosaocupardefilosofadelalgica,entendiendoenloesencialla
vozlgicaenelsentidodeTweedledee[Y,encambio(...),siocurriesquepuedeser,y
siocurriera,sera,pero,comonoocurre,noes.Esoeslalgica,LewisCarroll].Noesse
el nico sentido del trmino. Es fcil aducir precedentes de la aplicacin simultnea del
trmino a dos estudios diferentes: la lgica deductiva y la lgica inductiva. Pero no hay
modo de distinguir entre la filosofa de la lgica inductiva y el tronco principal de la
filosofa, que es la teora del conocimiento. La lgica deductiva, por el contrario, la
disciplina en que estaba pensando Tweedledee, s que puede reivindicar un poco de
filosofapeculiardeella.
Si se me requiere para que completara la definicin ostensiva de la lgica por
Tweedledeeconunadefinicindiscursivadiraquelalgicaeselestudiosistemticode
las verdades lgicas. Si me pidieran algo ms que eso, aadira que una oracin es
lgicamente verdadera si lo son todas las operaciones que tienen la misma estructura
gramaticalqueella.Y sitodavamepidieranque precisarams,recomendaralalectura
deestelibro.

W.V.Quine(1970),Filosofadelalgica

Aunque era consciente de las dificultades que haba que resolver, durante muchos
aos,siguiendoaQuine,tambinconsiderlalgica(ylasmatemticas)comoempricas.
Para Quine, esto no tiene el mismo significado que para un empirista tradicional (como,
porejemplo,JohnStuartMill);nosignificaquelasmatemticasconciernandirectamenteal
mundo sensible o fsico. Quine se da por satisfecho postulando un mundo de objetos
matemticos con existencia independiente, como los conjuntos, las funciones y los
nmeros. Desde esta perspectiva es un platonista de las clases. Lo que esto significa y
aquQuinesedistanciadeotrosplatonistascomoGdelesquepostularlaexistenciade
un mundo aparte de entidades abstractas se justifica finalmente por la utilidad del
postulado en este mundo. De acuerdo con ello defend el argumento de
indispensabilidad quineano (segn el cual la justificacin de aceptar las matemticas
consiste simplemente en que son indispensables para ciencias incuestionablemente
empricas,especialmentelafsica)enlaepistemologadelasmatemticas.

HilaryPutnam,50aosdefilosofavistosdesdedentro.

A la memoria de Alfredo Deao: aprend lgica con su inolvidable y


divertidsimo manual, mientras atenda con escaso entusiasmo a clientes
algoestresadosdeaquellaoficinabancariabarcelonesatanlgicaeilgica
auntiempo.
Paramisprofesoresdelgicayfilosofadellenguajedefinalesdelos
aos setenta: Calixto Badesa, Eduardo Bustos, Ramn Jansana, Manuel
Medina,JessMosternyDanielQuesada.

NDICE

1.ADMIRANDOAUNCLSICO(p.5)
2.CONTRAELCONVENCIONALISMO(p.9)
3.LOSMETODOSDELALGICA(p.13)
4.DESDEUNPUNTODEVISTALGICO(p.24)
5.UNASOPOSICIONESHEGEMONIZADASPORELOPUSDEI(p.34)
6.UNACONFERENCIASOBREFORMALISMOYCIENCIASHUMANAS(p.54)
7.LAOBRADEQUINEENLASINTRODUCCIONES(p.61)
8.PALABRAYOBJETO(p.65)
9.FILOSOFADELALGICA(p.73)
10.LASRACESDELAREFERENCIA(p.86)
11.UNACARTADESDEHARVARD(p.89)
ANEXO1:SOBREJUANDESANTOTOMS(p.91)
ANEXO 2. PRESENTACIN DE LA TRADUCCIN CASTELLANA DE A. G.
PAPANDREOU,LAECONOMACOMOCIENCIA(p.94)
ANEXO3:SOBREFORMALISMOYCIENCIASHUMANAS(p.100)
ANEXO4:SOBRELADEDUCCIN(p.104)
ANEXO5.ACERCADELCONDICIONAL(111)
ANEXO6.WORDANDOBJECT.ANOTACIONESCOMPLEMENTARIAS(p.114)
ANEXO7:ELLTIMOEXAMEN(p.121)

1.ADMIRANDOAUNCLSICO

Paratodox,xessevillanoimplicaxcecea.Deestaformaeracomose
sola leer, apuntaba Sacristn, pero lo que quera decir realmente el
enunciadoeraqueTodoelqueessevillanocecea.Laxestabauniendolos
dos lados, prosegua. En la traduccin al castellano corriente, l mismo la
habavertidoporelque,todoelque,todoesesto,elqueeslax,y
saeraunafuncinpronominal.
No tena mayor importancia, matizaba, ni era aceptado por todos los
lgicos.Perolcreaques,queeralamejormaneradeexplicarquerala
variable individual. No importaba crerselo o no, pero importaba ver, en
cambio, que lo que haca la variable individual era enlazar, dar cemento a
todalaproposicin.Sesabaquelaproposicinsereferaalasmismascosas
porquetodaellaestabacogidaporestasvariablescuantificadas.
La tesis, la interpretacin de la variable individual como pronombre
personal era de W. V. O. Quine, sealaba Sacristn en las clases de
Metodologa de las Ciencias Sociales del curso 19811982, un lgico
americano, ya muy viejo, al que yo admiro mucho, y cuyas ideas me
esfuerzoporcontar.
No fue, desde luego, slo en esa ocasin cuando Sacristn habl en
trminoselogiososdellgiconorteamericano.
Endiciembrede1976,dentrodeunciclodeconferenciassobrefilosofa,
historia y poltica de la ciencia organizado por el Colegio de Ingenieros de
Barcelona, Sacristn dict una conferencia que llev por ttulo: De la
filosofadelacienciaalapolticadelaciencia.Refirindoseenprimerlugar
alaentoncesdenominadacrisisdelafilosofaanalticadelacienciaseal

que por de pronto pareca obvio que sobraba ah la palabra analtica. De


hecho,
[]esacrisisdelafilosofaanalticadelacienciahasidode paso
crisis de toda la filosofa de la ciencia y, tal vez, incluso, por hablar
brevemente, de algo ms, de toda la tradicin epistemolgica, tecno
cientficofilosfica,quenacedelintentodeKant.Muyprobablemente.

El estado de esa crisis, su resolucin, nos devolva, en su opinin, a la


situacinexistenteantesdequeempezaraesteltimoepisodio.Suimpresin
era que la crisis del popperismo nos volva a colocar cultural,
filosficamente, en la situacin inmediatamente anterior al momento en el
que la variacin de Popper sobre la tradicin del Crculo de Viena dio
esperanzasdeunacontinuacinsistemtica,productiva,delafilosofadela
ciencia.
Sinembargo,eraverdadqueaunquenosencontrramosotravezcomoa
principios de siglo, en el sentido de estar completamente desprovistos de
certezas fundamentadoras, segn la tradicin kantiana de la filosofa de la
ciencia,elrecorridodelahistoriadelafilosofamodernadelacienciapoda
versedetodosmodoscomounaespiral.
Nosencontramosasenunasituacinparecidaaladeprincipiosde
siglo, pero, en cambio, enormemente enriquecidos con conocimientos
detodotipo,desdeloslgicoformaleshastalosfilosficomaterialesy
de filosofa general, pasando incluso por captulos de creciente
densidadhaciatodos,comolafilosofadelainduccin.

Eso no quitaba, prosegua, que aun teniendo ese importante


enriquecimientofilosficopodahablarsepropiamentedesituacincrtica.
Las personas de hoy recuerdan mucho los momentos de sabia
desesperanza y de docta ignorancia de algunos neopositivistas
decepcionados, como la clebre metfora de la barca, del navo que
simbolizara nuestro conocimiento, porque carece de fundamento, va
navegandoysevareconstruyendoenlamismanavegacin,sinquese
puedaesperardeunlugarqueestenelpuerto,oqueestfondeando,
yanmenosenundiquesecoenelqueyanopudierahundirsenunca.

Tantoeraas,tantoreproducaestasituacinlainseguridaddeprincipios
de siglo, sealaba, que el viejo Quine, que ahora ya debe ser realmente
viejo, pero sigue siendo muy legible, en uno de sus ltimos libros haba
llegadoaocuparsedelosproblemasdefundamentacindelaciencia,lque
siempre los haba rehuido, y esta vez de forma incluso provocadora,
negando que tuviera sentido alguno disputar acerca de la racionalidad en
ciencia:loquehabaquehacereratrabajarenellayyaerasuficiente,yque
losmismosproblemasanalticosydefundamentacinsetenanqueresolver
sin tener el menor reparo en proceder circularmente, es decir, utilizando la
mismateoracientficadecuyaimposiblefundamentacinsetrata.
Comenta Sacristn que esta posicin de Quine, dicho sea de paso y
puestos a ser nostlgicos y cultivadores de la docta ignorancia, se pareca
tantoalaspoticasfrasesdeAristtelescuandoselepreguntabaentornoa
la justificacin del conocimiento, que poda sugerir la vanidad de toda
ocupacinenfilosofadelconocimientosinofueraporelotroaspectode la
cuestin a que me he referido antes: por el importante enriquecimiento en
conocimientos no definitivamente fundamentadores, pero s aclaratorios y
potenciadoresdenuestracapacidadanaltica,porloque,conclua,nohaca
faltadecirquelacrisisdelafilosofadelacienciaenabsolutolaeliminabao
lahacacaducaysimetengoqueocuparaqudelpasodelafilosofadela
ciencia a la poltica de la ciencia eso no ocurrir en ningn sentido
apocalptico. No, la filosofa de la ciencia sigue teniendo el valor que
realmente tuvo siempre por debajo de las grandes esperanzas
trascendentalesdefundamentacindetradicinkantiana.
Sin embargo, lo que s poda suceder, seal Sacristn, era que la crisis
ampliara las perspectivas de la epistemologa contempornea. La
externalizara en un sentido amplio, introduciendo en ella no slo
motivaciones intelectuales, histricas en sentido estricto, sino tambin
sociales. No tena inters alguno una salida demaggica de la situacin,
concebida al modo de el hacer filosofa de la ciencia es contemplarse el
ombligo;vamosapasaralapolticadelacienciasinms.Parafraseandoa
Lakatos,esoservira,remarcabaSacristn,parahacerprobablementepoltica
delacienciaaciegas.
Quinenofue,enningncaso,unareferenciaocasionalparaSacristn.El
lgico norteamericano fue para l un clsico de la lgica y la filosofa
contemporneas, capaz de agitar enriquecedoramente las aguas de ambas
disciplinas. De l tradujo cinco ensayos esenciales, a l se aproxim en sus
7

primeros escritos tras la vuelta de Alemania, Quine est presente en su


memoria para las oposiciones de 1962 y, sin duda, la obra de Quine fue
referenciausualensusclasesdeMetodologadelasCienciasSocialestrassu
regreso a la Universidad barcelonesa despus del fallecimiento del asesino
generalgolpista.
Unclsico,escribiSacristnensuclebrepresentacindelAntiDhring,
por regla general, no es, para los hombres que cultivan su misma ciencia,
msqueunafuentedeinspiracinquedefine,conmayoromenorclaridad,
lasmotivacionesbsicasdesupensamiento.Esosignific,ensuopinin,la
obradeQuineparalalgicaylafilosofacontemporneas.

2.CONTRAELCONVENCIONALISMO

WillardvanOrmanQuinenacienAkron,Ohio,en1908.Iniciestudios
de matemticas en el Oberlin College y los prosigui en la Universidad de
Harvard. Ms tarde fue alumno de Rudolf Carnap en Praga y en 1932 fue
magisterArtiumysedoctorenfilosofaenHarvard,dedondefuetitularde
la ctedra Edgar Pierce desde 1936 hasta 1978. Quine fue presidente de la
AmericanPhilosophicalAssociationen1951ydelaAssociationforSymbolic
Logic de 1953 a 1955. Su produccin filosfica ha sido decisiva en lgica
matemtica, filosofa del lenguaje, filosofa de la lgica y epistemologa.
Entre sus ensayos ms importantes cabe citar The Ways of Paradox,
Mathematical Logic, Set Theory and its Logic, Quiddities, Word and Object,
MethodsofLogic.QuinefallecienBoston,Massachussets,enlaNavidadde
2000. Algunos ttulos esenciales de su obra Los mtodos de la lgica, por
ejemplo fueron traducidos al castellano, presentados y anotados por otro
lgicoyfilsofodestacado,ManuelSacristn.
Trabajo mucho(exclusivamentelogstica)ycreoquea lavueltadeunos
cuantosmesespuedoserundiscretoespecialistaenesarama.Tambinvoy
poco a poco aprendiendo de modo vivo el alemn1. As se expresaba
Sacristn en 1955, en una carta dirigida a su amigo JuanCarlos Garca
BorrndesdeelInstitutodelgicadeMnster.Nohayensuobraanterior
referencias destacadas a lgicos y epistemlogos contemporneos a
excepcin de la breve pero interesante aproximacin a Russell, Carnap,
Neurath,SchlickyReichenbachenloscompasesfinalesdesuartculosobre

EnJ.C.GarcaBorrn:LaposicinfilosficadeManuelSacristndesdesusaosdeformacin,mientras
tanto3031,mayo1987,p.50.
1

Heidegger,Ortegayelconceptodeverdadde1953:Verdad:desvelaciny
ley2.
TampocoparecenexistirreferenciasalaobradeQuineenloscuadernos
deapuntesdeloscuatrosemestresdelgicayepistemologacursadosenel
Instituto de Lgica y Fundamentos de la Ciencia de la Universidad de
Mnster3,nitampocoenlaconferenciaqueen1955Sacristnimpartienel
Instituto alemn sobre Llull y el Ars Magna. Pero ya en sus apuntes de
FundamentosdeFilosofade195657yde1957584yensuartculosobre
lafilosofaenlapostguerrahasta19585puedenverselasprimerasreferencias
deSacristnalaobradelautordePalabrayobjeto.
As, despus de presentar la sintaxis de la lgica de predicados en la
leccin 8 de los apuntes de Fundamentos, la dedicada a la lgica de
predicados, en las notas aclaratorias seala Sacristn que las observaciones
sobrelasreglasVIIIayIXbdeQuinenotienenotrofinqueeldidcticoy
que el clculo expuesto procede de Methods of Logic, la obra del lgico
norteamericano que traducir aos despus. Pero es en el artculo
panormicodelafilosofahasta1958dondeSacristnseaproximaalaobra
de Quine con ms detalle. Lo hace en el apartado II, al tratar del
neopositivismo y corrientes afines y, ms concretamente, al discutir la
posicinconvencionalistaenelmbitoepistemolgico.
Elconvencionalismo,recuerdaSacristn,esladoctrinasegnlacuallas
proposicionesfundamentalesdelaciencia,losaxiomas,sonconvenciones.
Su origen es anterior al neopositivismo. El primer atisbo de esta teora que
solacitarseeralaideadeGergonne,en1819,segnlacuallosaxiomasson
definiciones implcitas de trminos que se sientan, convencionalmente, al
principiodeunateora.Elconvencionalismomodernotenasuformulacin
clsicaenPoincar(Lascienceetlhypothse,1905).Sepreguntabaaquelgran
matemticofrancssilageometraderivabadelaexperienciaysurespuesta
nodejalugaradudas:unadiscusinafondomostraraqueno,concluyendo
portantoquesusprincipios,losprincipiosdelageometra,nosonmsque
convenciones.

Publicadooriginariamenteenelnmero23deLaye,estrecogidoenelsegundovolumendePanfletosy
Materiales:Papelesdefilosofa,Icaria,Barcelona,1984,pp.1555.
3AlgunosdeellosdepositadosenReservadelaBibliotecaCentraldelaUB,fondoSacristn.
4Ibidem.FacilitadosporJuanRamnCapellaySaraEstrada.
5Filosofa.LafilosofadesdelaterminacindelaSegundaGuerraMundialhasta1958,Papelesdefilosofa,
edcit,pp.138141.
2

10

RecordandoelpapelesencialdesempeadoporCarnapenlahistoriade
estaposicin,Sacristnsealaqueelconvencionalismofueminandoconsu
desarrollo la radicalidad con que se present en la etapa vienesa dado que
era ms compatible con el mtodo sintctico que con el semntico. La
necesidad de recurrir a ste mitigaba la apuesta convencionalista. La
situacin se presentaba as en la obra del autor de La estructura lgica del
mundo:
Enunsistemasintctico,laconvencionalidadesintegral.Encuanto
el algoritmo sintctico debe construirse regido por un sistema
semntico,quedaunmargentcnicodeconvencionalidadeneldetalle
de las reglas sintcticas, pero, consideradas en bloque, esas reglas
tienenquedarundeterminadorendimientoporelsistemasemntico.

El convencionalismo, prosegua Sacristn, haba sido objeto adems de


crticas radicales, basadas en consideraciones crticoepistemolgicas que
ponanenteladejuiciolaconsistenciamismadelaideadeconvencinen
teora de la ciencia. Quine haba ofrecido una exposicin especialmente
claradeesaconsideracincrticaenTruthbyconvention6.Eliminandode
ella el tecnicismo crtico en el que estaba formulada, la argumentacin era
presentada por Sacristn en los trminos siguientes: segn la posicin
convencionalista, los axiomas lgicos seran proposiciones que fijaran por
convencin el uso (el significado) de las constantes lgicas, de signos como
no, y, implica, equivale a, todos, algunos. Ahora bien, la
comunicacin de la tecnificacin convencional de tales elementos del
lenguajenaturaldependainevitablementedeunacomprensinpreviadela
personaalaquesecomunicaba.
Unejemplopuedeponerestodemanifiesto:esusualenlostratados
delgicaunadefinicindenoqueconsisteendecirquenoesuna
partcula (la negacin de una funcin) tal que aplicada a cualquier
argumento verdadero, produce el valor falsedad, y a la inversa.
Verdadero, falso, aplicar, son conceptos que el sistema
axiomticoylasreglascorrespondientestienenquefijaryquefijande
hechoencasodexito.

EnFeigiandSellars,ed,ReadingsinphilosophicalAnalyssis,1949.Sacristndalareferenciaenlabibliografa
delapartadodedicadoalConvencionalismo(Papelesdefilosofa,obcit,p.141).

11

Ese fijar era en gran medida aclarar y el concepto no, por ejemplo,
estabapresupuestoporlaelaboracindelosaxiomascorrespondientes.Toda
personaqueestudiarauntratadodelgicapodailustrarsesobreelconcepto
denegacinodeverdadformalperosloacondicindequeyaantesdela
lectura supiera negar o dispusiera de un concepto, acaso algo oscuro, poco
definido,deverdad
[] de otro modo no llegar a entender las definiciones tcnicas
quedebenpermitirlaconstruccindelateoray,conella,laesperada
aclaracin.

Traducido a trminos sistemticos, todo ello significaba que la misma


tarea de definir conceptos fundamentales y de establecer axiomas
presuponalapresenciadedichosconceptosodeotrosauxiliaresaunnivel
notecnificado.Estobastara,apuntabafinalmenteSacristn,paraarruinarel
programa convencionalista que prcticamente consista en crear dichos
conceptos o axiomas por convencin. Quine reconoca que sera absurdo
pedir al convencionalista que estableciera convenciones de otro modo que
sobre la base de un lenguaje previo y de conceptos previos. Pero eso
significaba precisamente que la fijacin convencional era, en realidad,
posterioralmbitosocialdelverdaderoproblemaqueestmsbienalnivel
pretecnificado.
NohubomsreferenciasalaobradeQuineenestetrabajode1958sobre
la filosofa en la postguerra. Pero pocos aos despus, Sacristn inici su
reconocido (y gustoso) trabajo de traduccin de las principales obras del
lgico norteamericano. Zetein fue la coleccin que acogi sus dos primeras
traducciones:LosmtodosdelalgicayDesdeunpuntodevistalgico.

12

3.LOSMTODOSDELALGICA

En1981,JuanJosAceroyNievesGuaschtraducanparaEdicionesAriel
laterceraedicinenlenguainglesadeLosmtodosdelalgica.Ensunotade
traductoressealaban:
La presente edicin castellana del libro del profesor W. V. Quine
Losmtodosdelalgicasebasaenlaterceraenlenguainglesa,publicada
en 1972. Las precedentes ediciones hechas en nuestra lengua se
basabanenlainglesade1959.ElDr.ManuelSacristnllevacabosu
reconocida traduccin partiendo del texto original de dicha edicin
inglesa (...) La presente traduccin es ntegramente nueva: no nos
hemos limitado a verter el nuevo cincuenta por ciento de texto, para
aadirlo al material elaborado por el Dr. Sacristn. Sin embargo,
reconocemoslavaliosaayudaquerepresentaelhechodehaberpodido
contar con dicho material. Ello se har patente sobre todo en muchos
de los ejemplos que se discuten a lo largo de la obra, pues los hemos
mantenido.Conste,porlotanto,nuestroagradecimientoporladeuda
contradaconeltraductoranterior.

En efecto. Sacristn haba traducido a inicios de los 60 el clsico de


Quine.lmismosereferaaelloenunaentrevistade19827:
Yohedifundidobastantelalgica,hetraducidocasitodaslasobras
de Quine y algunas otras cosas de filosofa del conocimiento. No
precisamentemarxistas,sino,msbien,analticasoneopositivistas.Lo
que pretenda, independientemente del resultado que diera, era,
Entrevista sobre traduccin. En: Salvador Lpez Arnal y Pere de la Fuente (eds), Acerca de Manuel
Sacristn.Destino,Barcelona,1996,pp.153178.
7

13

primero difundir ideas que no circulaban por razones de censura


directaoindirecta;yluego,enelcasodelaliteraturamarxista(queera
la que ms me interesaba), intentar prestar un servicio interno a la
gente que se consideraba marxista. A saber, compensar el marxismo
muy esquemtico de los manuales ms polticos. (...) Yo lo que haca
eraintentardarunmarxismocomplicadoporasdecirlo:Adorno,W.
Benjamin,Lukcs.Autoresquenofueranmuyesquemticosyqueno
fueranslolaculturamarxistaelemental.Yclsicos.

Losmtodosdelalgicaseeditaronen1962enZeteinEnsayosyestudios,
n9,lamismacoleccinparaqueSacristntradujoLaeconomacomociencia
de Papandreou, Historia y filosofa de la ciencia de L. W. H. Hull, Prismas y
Notas de Literatura de Adorno y Formalismo y ciencias humanas de Gilles
Gastan Granger. Sacristn fue al mismo tiempo su director y el autor del
textodepresentacindeestacoleccindeEdicionesArieldeBarcelona.
En este texto de presentacin, Sacristn apuntaba que, si como se haba
dicho, el siglo XVIII haba sido el siglo del ensayismo, de la aventura
literaria o cientfica emprendida con audacia y ligereza, el siglo XX deba
serelsiglodelostratadosydelosmanuales,alimentadosporelcasignero
literariodelosartculostcnicosespecializados.
El ensayo sera, en efecto, el gnero literario ms propio de la
exploracin cultural llevada a cabo por y para un reducido grupo de
ilustradossituadosconmsdificultadesqueventajas,talvez,pero
sin duda con privilegio enuna sociedad ignorante y msera. El siglo
XX, en cambio, que se caracteriza por el progresivo acceso de los
pueblos a la cultura, debera sentir coherentemente su vocacin y
expresarse en las formas de una cultura para todos: el manual, el
tratado,cuyocontenidotienequeserlaordenadaverdadconseguiday
quedifcilmentepodranservehculosdelcaprichointelectualgustado
porunospocos.

MatizabaSacristnquesisepasabaporaltolainjusticiahistricadeese
juicio, puesto que ya el ensayismo ilustrado haba sido un intento de
democratizacin de la cultura, haba sin duda una verdad bsica en la
condena de las formas culturales poco constructivas y demasiado
aristocratizantes para ser coherentes con nuestro mundo. Pero aun
14

admitiendoesaverdad,valalapenatenerencuentaquelademocratizacin
delaculturanopodaprocederllanamenteysinsuscitarproblemas.
Los suscita, y a muy diversos niveles, desde el social y poltico
hastaelpedaggico,pasandoporlaproblemticacentralytcnicaque
uno de los aspectos de la democratizacin de la cultura el enorme
aumento del nmero de creadores culturales, cientficos, escritores,
etc.aportacomopotencialfortunaparalahumanidad:elrpidoritmo
deacumulacindelosconocimientosempricos.

El proceso de democratizacin de la cultura lejos de condenar la


actividad inquisitiva audaz, sensible y an no segura, el ejercicio de la
agudeza que a primera vista podra parecer limitada aficin
aristocratizante, pona ante ellos nuevos y considerables problemas. Ese
ejercicio, para estar a la altura de los tiempos, deba hacerse con nueva
consciencia
[con]conscienciadequesusresultadossedestinanalahumanidad
entera,dequeeltribunalanteelcualserespondeahoradelaactividad
intelectualnoesyalailustradayreducidasociedadquevaperdiendo
pocoapocoelmilenariomonopoliodelespritu.

En el Gorgias platnico, recordaba finalmente, Scrates defina


involuntariamentesucallejeraactividadenunaocasin,adecirverdad,de
escasa relevancia: busco junto con vosotros. La coleccin de estudios y
ensayos que presentaba tomaba su nombre del infinitivo de ese verbo,
ZETEIN,buscar,yseproponaalmismotiemponoolvidarelcontexto:junto
convosotros,enfatizabaSacristn.
Para esa coleccin, decamos, tradujo Sacristn las dos obras apuntadas
deQuine.
Los mtodos de la lgica contaban con una presentacin de la versin
castellanayconunasolapaescritaporelpropioSacristnenlaquesedaba
cuenta de las caractersticas de la inferencia natural y de los contenidos
bsicosdelvolumen:
Los mtodos de la lgica es ya el manual clsico de los mtodos
llamados de la inferencia natural (natural deduction, natrliches
Schliessen), mtodos fundados por Gentzen en la dcada del 30. El
15

punto de partida de los mtodos de la inferencia natural es la


consideracin de que en el razonamiento corriente natural,
especialmenteeldelademostracinmatemtica,noprocedemos,como
supone la lgica tradicional, desde los teoremas hacia los principios
(analticamente), ni tampoco como quiere la exposicin teortica
corrienteenmatemticas,desdeunasprimerasproposicionesfijaspara
todo el sistema (axiomticamente), sino a partir de hiptesis o
premisas diversas para cada caso, para cada inferencia concreta,
premisas que luego aspiramos a eliminar, dando validez universal al
teoremainferido.Assellegaauntipodealgoritmolgicoenelcual
undeterminadoconjuntodereglasdeinferenciaabsorbelafuncinde
losaxiomas.
Se ha puesto esta concepcin del razonamiento natural en
relacin con la inferencia aristotlica [], a partir de los supuestos;
pero la diferencia entre sta y el algoritmo de Quine es al menos tan
grandecomolaqueexisteentreelmtodoaxiomticoinformaldela
prcticamatemticacorrienteylaaxiomatizacinformaldeloslgicos.
Las partes IIII del libro construyen el algoritmo sucesivamente
para la lgica proposicional, la lgica de predicados mondica de
primergradoylalgicadepredicadospolidicadeprimergrado.En
laparteIVelautorconsideralosproblemasdelateorarealdeclasesy,
consiguientemente,losdelafundamentacindelamatemtica.
En este contexto caractersticamente rotulado por el autor
Perspectivas ulteriores se encuentran los puntos esenciales de la
consideracinfilosficadelalgicaporQuine.steaportauncriterio
muy concreto y plausible para zanjar la discutida cuestin de los
lmitesentrelalgicaylamatemtica.ElcriterioofrecidoporQuinees
interno, esto es, se basa enuna consideracin de las caractersticas de
los clculos o algoritmos lgicos mismos. La lgica pura, la lgica
que no es necesario considerar idntica con alguna rama de la
matemtica, es aqulla cuyas variables autnticas no refieren sino a
objetos individuales cualesquiera del mundo real. En cambio, toda
teora lgica en el campo de cuyas variables se presenten clases
(conjuntos)opropiedadesdeclases(clasesdeclases)debeconsiderarse
yacomoidnticaconalgunaramadelamatemtica

16

En la presentacin de la versin castellana (pginas 1315), Sacristn


recordabaquetalcomodecaQuineenelprlogodeltextolalgicaesviejo
tema. Lo era sobre todo en pases que como el nuestro haban estado
representadosbrillantementeenalgnmomentopasadodeesaciencia,sin
estarlohoy,prcticamente,nibiennimal.Sacristnsealabaatalefectoa
JuandeSantoToms8apuntandoesosquesi
[...] Juan de Santo Toms, o algn otro maestro de la lgica
tradicionalresucitarahoyytomaraensusmanosestelibro,despusde
admirarlosprogresosdelaperfeccintcnicadelanlisislgicoquese
presentan en las partes I y II, quedara perplejo al comprobar que
desde la parte III en adelante la misma idea de anlisis parece
desaparecerdellibro.

Aristteles deca analticamente con el mismo sentido con que ahora


decamoslgicoformalmenteySantoTomsexplicabaelquelalgicase
llama la analtica aclarando: esto es, resolutoria. Resoluciones se
llamabantambinlastcnicasofrecidasporQuineparadecidirfrmulasen
laparteIdellibropresentado.
Decidir una frmula es determinar en un nmero finito de pasos
normadossiesafrmulaesvlidaono.Peroestclaroqueeseexamen
decisorionoagotaloformaldelpensamientoconcreto,enejercicio.Ni
siquiera en su manifestacin ms frecuente, como no sea en
discusiones,enlaersticaopartedelasbatallaslgicoretricasque
siempre se mantuvo en el horizonte de la lgica aristotlica (disputas
con los sofistas) y escolstica (disputaciones medievales). En cambio,
cuando pensamos, por as decirlo, creadora y desinteresadamente, no
buscando refutar lo que otro dice, sino buscando alguna verdad, lo
normalnoesquepodamoslimitarnosaanalizarunaproposicindada:
lonormalesquetengamosqueconstruirla,sintetizarla.Unalgicadel
pensamientorealtienepuesqueposeerlateorizacindeesemomento
sinttico;notienequelimitarseaserunameraanaltica.

Una lgica con teorizacin del momento sinttico era sta de la


inferencianaturalcuyasexposicionesclsicashabansidounamemoriade
GentzenasequibleentoncesenformadelibroentraduccinfrancesayLos
SobreJuandeSantoToms,vaseanexo1.

17

mtodos de la lgica de Quine, a su vez basado en un artculo anterior del


propio autor. Por lo dems, la obra de Quine presentada no era slo una
exposicin de losmtodos de la inferencia natural, sino todo un tratado de
lgica.Perolainferencianaturalconstituasuncleocentral.
La motivacin bsica de los mtodos de la inferencia natural
(natrliches Schliessen de Gentzen, natural deduction de Quine) es
formalizar el proceso concreto de la inferencia, el cual no queda
totalmente recogido ni por la concepcin meramente analtica de la
tradicin (como hemos indicado), ni tampoco por la formalizacin
axiomtica corrientes en las ciencias exactas. Gentzen expresa as, en
comparacin con la axiomtica, el punto de vista de la inferencia
natural: La diferencia externa ms esencial que distingue las
derivaciones (naturales) de las que puede realizarse en los sistemas
(axiomticos) de Russell, Hilbert y Heyting, es la siguiente: en esos
sistemas,lasfrmulasverdaderassederivandeunaseriedefrmulas
lgicas fundamentales por medio de un nmero reducido de
procedimientos (=reglas) de deduccin; la deduccin natural, en
cambio, no parte en general de proposiciones lgicas fundamentales,
sino de hiptesis... a las que se conectan las deducciones lgicas.
Graciasaunadeduccinulterior,elresultadoseindependizaasuvez
delashiptesis(Recherchessurladeductionlogique,trad.francesadeR.
FeysyJ.Ladrire,1955,p.19)

La normacin formal del proceso natural de la inferencia supona sin


dudaelmismotrabajoanalticoprevioquelasistemticaaxiomtica.Peroel
algoritmo natural tena, entre otras, dos decisivas ventajas: la primera,
apuntaba Sacristn, era dialctica: permita muy pronto al estudioso que lo
dominaunaactividadcreadoracomolgico;lasegundaerademsalcance
teortico: encarnar del modo ms patente la naturaleza experimental del
algoritmolgicomoderno.
Mientras que la lgicatradicional se mantena ligada siempre al
discurso intuitivo vulgar, al lenguaje cotidiano, incluso en sus
creacionesmsalgortmicas,comoeslasilogstica,losformalismosde
la lgica moderna permiten hoy una tal libertad respecto de los
esquemas lingsticos naturales que efectivamente queda dada la
posibilidad del experimento, esto es, la posibilidad de construir con
intencionada y aparente arbitrariedad, algoritmos artificiales y acaso
18

de difcil intuibilidad, pero cuya potencia deductiva sobrepasa en


mucho la de la silogstica. Y ese carcter constructivo se encarna
excepcionalmente en estos clculos de la inferencia natural que
permitensintetizarfrmulasapartirdehiptesiscualesquiera.

Los mtodos de la lgica, conclua Sacristn, era por ello uno de esos
infrecuentes libros que podan tenerse como representacin de todo un
estadiodeldesarrollodeunaciencia,delalgicaformalenestecaso.

La traduccin, como fue costumbre en Sacristn en su reconocido y


prolongado oficio de traductor, estuvo acompaada de notas a pie de
pgina.Estassonalgunasdelasmsrelevantes:
1.WillardvanOrmanQuine:Aquhayquedemostrarmsqueprobar;
ydescubrirdemostracionesescosaquedependedelgenioindividual.
MSL: La terminologa inglesa (igual que la alemana) discrepa
sustancialmentedelalatinatradicionalencuantoaladenominacinde los
procedimientos inferenciales. El texto castellano se atendr a la tradicin
latina,dandoprueba,probar,etc.,portest,estoes,examenanalticode
una frmula, y demostracin, demostrar o derivar, etc., por proof,
estoes,porconstruccindiscursivadeunafrmula.

2. Quine: Adems de y y o hay otra conectiva de enunciados que


desempea un papel importante en el lenguaje cotidiano: el condicional, la
conectivasientonces.Unenunciadodelaformasipentoncesqsellamaun
condicional.
MSL:Laspartculassientonces,usadasenelsentidodeltexto,danuna
locucin un tanto forzada desde el punto de vista del espritu de la lengua
castellana;lomismopuededecirsedelaexpresinsiyslosi;peroambas
sondeusouniversalenlosestudioslgicosyesconvenientedarlescartade
naturaleza.

3.Quine:LonicoquenosdiceNingnFesGesqueelhusoesvaco,
ystaestambintodalainformacinquetrasmiteeldiagrama2.Delmismo
modo,elhusoylalnuladeladerechaeneldiagrama1sedejansinrayarpor
19

lasencillarazndequeTodoslosFsonGnonosdaninformacinacercade
esasregiones(p.116).
MSL:Estaexposicinevitalaintroduccinsubrepticiadelaexistenciaen
enunciadosquenolaafirmanexplcitamente,deficienciaqueeraclsicadela
lgica aristotlicaescolstica, en cuya silogstica los juicios universales
afirmativos (juicios en A) se conciben tcitamente, sin quererlo o decirlo
explcitamente, como dotados de alcance existencial. As se llega en la
silogstica tradicional a formas inferenciales (los silogismos con premisas
universales y conclusin particular, como Darapti y Felapton) que no se
justificanformalmente.Parajustificarlas,habraqueaadirunapostulacin
deexistenciadeltrminomedio.Porejemplo:deTodosloscentaurostienen
cabeza humana y Todos los centauros son cuadrpedos (Darapti) no se
sigue, como quiere la silogstica tradicional, Algunos cuadrpedos tienen
cabeza humana, a menos que se aada de un modo u otro (Lukasiewicz,
pararespetarlateorasilogsticadeAristteles,lohaceenformadeaxioma
de existencia) la postulacin de la existencia del trmino medio. Hecha esa
postulacin, el silogismo en Darapti es formalmente conclusivo: Todos los
centauros tienen cabeza humana. Todos los centauros son cuadrpedos y
existencentauros,luegoalgunoscuadrpedostienencabezahumana.
Lainterpretacindelaszonasenblancocomozonassobrelascualesno
se tienen informacin sirve, pues, al autor para obviar esa deficiencia del
anlisissilogsticotradicional.

4. Quine: Numerosos enunciados del lenguaje ordinario que a primera


vista parecen conjunciones o condicionales tienen que ser en realidad
interpretados como cuantificaciones de conjunciones o de condicionales. He
aqualgunosejemplos:
(18)Saritarobalgoenelmercadoylocambiporunablusa,
(19)SiSaritadeseaalgo,noparahastaqueloconsigue(p.135).
MSL: El algo de (19) no es el mismo que el de (18) como puede verse
parafraseando (19) del modo siguiente: Cualquiera que sea la cosa que
desee Sarita, no para hasta que la consigue. (18) no puede en cambio
someterseaestaparfrasis.Elalgode(18)es(x),algunacosa,mientras
queelalgode(19)es(x),cualquiercosa,todacosa.Elusodelamisma
palabra en los dos casos es slo una imprecisin del lenguaje cotidiano
(castellanoenestecaso).
20


5.Quine:Lasimplicacionesobtenidasporsustitucinenelejemplo(II)
[Fy implica (x) Fx] se llamarn vlidas por generalizacin existencial
(pp.209210).
MSL:Estepuntodelaterminologadelautoressindudamuydiscutible
en su traduccin al castellano; ms de un lector preferira acaso que se
evitara que un adjetivo como existencial que denota una cuantificacin
particulatizadora, se aplicara a un sustantivo como generalizacin, que
evocamuydirectamenteencastellanolaideadeuniversalidad.Perosiseha
mantenido una versin literal de existential generalization es porque hay
motivos suficientes pata hacer incluso psicolgicamente plausible esa
versin en castellano: toda cuantificacin, tambin la existencial y
particulatizadora,esunageneralizacin,enelsentidodequehablasiempre
deunelementogenrico(Hayalgnxtalque.,..),mientrasqueelesquema
abierto, antes de la cuantificacin, no presenta esas locuciones
generalizadoras. La reduccin de universalizacin y particularizacin
(cuantificador universal y cuantificador existencial) a conjunciones y
disyunciones,respectivamente,enununiversofinito,muestragrficamente
en qu sentido son generalizaciones las dos cuantificaciones: tanto en un
caso como en otro, para expresar la cuantificacin hay que enumerar todos
los individuos del universo finito con la propiedad o predicado de que se
trate;enuncaso,serecorrentodos,puestosenconjuncin(universalizacin);
en el otro se recorren tambin todos, aunque puestos en disyuncin
(cuantificacinexistencial).

6. Quine: Regla de instanciacin universal (UI): En subjuncin a


cualquier lnea puede escribirse como nueva lnea cualquier esquema
implicadoporlalneadadaporgeneralizacinexistencial(p.220).
MSL: Aun alterando el orden de sustantivo y adjetivo en la traduccin
delnombredeestaregla,nosparecetilmantenerelordeninglsdelasigla,
conobjetodenoperturbarlauniformidaddecitasyreferenciasalclculode
Quineenlaliteraturalgicainternacional.Lomismoharemosconlareglade
generalizacin existencial y hasta con la de inferencia veritativofuncional,
para la que mantendremos la sigla original correspondiente a la expresin
inglesatruthfunction(funcinveritativa).

21

7. Quine: Ser conveniente precisar tambin aqu el lenguaje: diremos


que una deduccin es correcta en una lnea determinada si esta lnea es un
esquema vlido, o tiene una premisa que la implica, o tiene premisas cuya
conjuncinlaimplica(p.221).
MSL:Porcorrectaseviertesound.Soundysoundnesssontrminos
que toda la literatura lgica noinglesa recoge generalmente sin traducir.
Traducciones ms literales sana, consistente, slida se hacen poco
recomendables, por demasiado pintorescas (sana, slida) o por presentar
posibilidades de confusin con el sentido corriente de consistencia (que se
dice de sentencias y esquemas, no de deducciones). Incidentalmente
escribiremos tambin sound (o soundness) sin traducir, adems de
correcta(ocorreccin).

8.Quine:Lavariablexestmarcadaaladerechadelalnea(2)(p.
225).
MSL. Por marcada traducimos flagged, siguiendo la traduccin
alemanadelconceptodeQuinedadaporHermes(markierteVariable).

9.Quine:Siexistieranobjetosdetalnaturalezaunosobjetosllamados,
digamos,caruzosdeloscualesfuerannombreslostrminosgenerales(p.
303304).
MSL:Paravalorarelalcancefilosficodeestabromadelautor,pinsese
que Platn dira que s que existen tales objetos, que no se llaman caruzos,
sinoideas.

Finalmente,enunacarpetaderesmenesynotasdepositadaenReserva
delaBibliotecaCentraldelaUBpuedenverseestasbrevesobservacionesde
SacristnsobrelaintroduccindeesteensayodeQuine,pginas2532dela
edicincastellana:
Enunaintroduccinde6pginasyunpoco:
1.Lalgicaesunaciencia:persecucindelaverdad.
2.Verdadesinteresantes.
3.Verdadymundoreal.

22

4.Proferencia,ynoenunciado,comoverdaderaofalsaenrealidad.
5. Pero limitacin de 4 por la naturaleza social del lenguaje. La
nocin(construidasocialmente)deobjeto.
6. Por ser sobre objetos (construidos) los enunciados se conectan
sloindirectamentelaexperiencia.
7.Laestructuraconceptualsistemticaquetocaperifricamentela
experiencia.
8. Fracaso del sistema/eleccin de lo que se altera. Prioridad de
unos enunciados sobre otros al revisar es la nica garanta de
referenciaempricaobjetivadelsistema.
9. Las dos prioridades contrapuestas. Implicacin de las dos. En
casodelalgicanecessity

Peronofuesta,comoseseal,lanicatraduccindeQuinequerealiz
elautordeIntroduccinalalgicayalanlisisformal.Casialmismotiempose
publicenlamismacoleccinZeteindeArielDesdeunpuntodevistalgico.

23

4.DESDEUNPUNTODEVISTALGICO

Enunanotaapiedelapgina274desutraduccindeLosmtodosdela
lgica, al hacer Quine referencia a los ensayos II y III de su From a Logical
Point of View, Sacristn apuntaba cervantinamente: Hay traduccin
castellana, Barcelona, Ariel, 1961 (Coleccin Zetein), intitulada Desde un
puntodevistalgico.Perocreoque,sinoandoerrado,Desdeunpuntodevista
lgico se public finalmente en 1962 y no es seguro que la traduccin al
castellanodeestaobraseeditaraantesqueLosmtodosdelalgica.
En la solapa del volumen, Sacristn daba cuenta de los contenidos del
ensayo, cuya afortunado ttulo nunca dej de elogiar, en los trminos
siguientes:
Dewey escribi en su Lgica que mientras los modernos progresos
delalgicasimblicahanpermitidounacuerdouniversalacercadela
tcnicas de esa ciencia, la disputa sobre su objeto ltimo, sobre la
naturaleza misma y la funcin de la lgica, no tienen viso de
acallarse. La coleccin de estudios lgicofilosficos de Quine,
presentadabajoelttulodeDesdeunpuntodevistalgico,contiene,sin
embargo,muchoquepodracontribuiraacallaraquelladisputa.
En los ensayos I, III, IV, VI y VII, el autor se enfrenta con el ms
antiguo y convencional problema filosfico planteado por la lgica
formal el de los universales, y lo aclara, desde un punto de vista
lgico interno, estableciendo un criterio de compromiso ontolgico
quepermiteprecisarqutipodeentidades,concretasoabstractas,son
supuestas para cada lenguaje dado. El criterio de compromiso
ontolgicosebasaenlateorapronominaldelavariableligada,teora
segn la cual la ontologa supuesta por su lenguaje es el conjunto de
losrelatadelospronombresdeeselenguaje.
24

ElensayoIIdedicadoalreductivismoyalcriteriodeverificabilidad
positivista,arguyeporvacrticalaplausibilidaddelcitadocriteriode
compromiso ontolgico. Los ensayos VIII y IX, cuya funcin es
tambin predominantemente crtica, amplan el mbito de aplicacin
de la teora pronominal a la lgica modal, y resuelven dificultades
que dicha teora podra presentar a propsito de la cuantificacin
existencial.
El ensayo V, por ltimo, reimpresin mejorada del estudio ms
conocido de Quine Nueva fundamentacin de la lgica
matemtica,daallectorelinstrumentallgiconecesarioparaseguir
losdesarrollos,mstcnicos,delasegundapartedelvolumen.
Como consecuencia de sus soluciones a esa temtica lgica
fundamental,quevertebratodoellibro,Quineexpone,especialmente
en el ensayo II, las nociones bsicas de una teora de la ciencia que
rechaza la nocin de que la unidad de sentido emprico, lo
verificable por la experiencia cientfica, sea el teorema suelto, la
operatividaddelanocinaislada.Launidaddesignificacinemprica
esmsbien,segnelautor,eltododelaciencia.
Si la reflexin sobre la lgica desemboca as en una consideracin
de la significatividad cientfica, en los cimientos de una teora de la
ciencia, sta repercute a su vez en la concepcin de la lgica. Pues
siendo la unidad significativa el todo del saber, la significatividad de
los teoremas lgicoformales debe venir tambin de ese todo del
conocimientoqueeslaverdaderaunidadsignificativa,ynodelcriterio
deevidenciatradicionalnideldetautologadelospositivistas.

No fue slo este detalle editorial. Sacristn escribi para la ocasin una
presentacindelaversincastellana(pginas918),eltextomsextensoque
escribierasobrelafilosofadelalgicaydelacienciadeQuine.
Inicia este escrito Sacristn con un reconocimiento explcito. En
comparacinconlalongaarsqueeslalgicamoderna,losentonces54aos
de Quine eran tiempo breve si bien ya le haban bastado al lgico
norteamericanoparacaracterizarsecomounmaestrodelamejorespecie:
[]delosquesonalavezclsicosparaloesencialmentetcnicode
su ciencia y giles provocadores del pensamiento para los problemas
25

de fundamentacin filosfica de la misma, problemas menos


claramenteasibles,perodeintersmsradical.

Quineera,efectivamente,unclsicoparaelestudiodelastcnicasdela
llamada inferencia natural iniciada por Jskowski y Gentzen pero
normadasyelaboradasporlenlaformaclsicadeesealgoritmo.Losdos
librosdeQuinequehabansidotraducidosentoncesalcastellano:Elsentido
delanuevalgica,editadoen1958porlaeditorialbonaerenseNuevavisin
en traduccin de Mario Bunge, y Los mtodos de la lgica eran sobre todo
representativos del aspecto tcnico del trabajo de Quine, aunque, matizaba
Sacristn,nocareciesenunoyotrodeinteresantespenetracionesfilosficas.
El libro que ahora se presentaba a los lectores de lengua castellana era, en
cambio,elmsrepresentativodelasegundafaceta,delinquisitivoexplorar
filosficodeQuineporlasregionesfundamentalesdelalgica.
Vala la pena recordar, sealaba, que en la situacin de los estudios
lgicos de aquella poca ya el hecho de que un gran especialista en lgica
dieradestextosfilosficosrelevantesservasloporelloparaempezarsu
caracterizacin.Larazneralasiguiente:
Pueselinnegablecarcterdecienciapositivaquehoytienelalgica
y el predominio de autores neopositivistas en su cultivo han
determinado en la vieja disciplina de Aristteles el horror philosophiae
bastante incoherente con la importancia filosfica de su problemtica
fundamental.

Quine, recordaba Sacristn, tena en mucho aprecio, al igual que l


mismo9,aunodelosrepresentantesmsdestacados,tambinentoncesdelos
msflexibles,delhorrorphilosophiaeneopositivista:RudolfCarnap.Dehecho,
laformacininicialdeQuinecomolgicoconWhiteheadentre1930y1932,
titulado ya en matemticas por Harvard, no era prxima a esa lnea
filosfica. Pero en 1933, Quine visit en Europa los grandes centros de la
lgicaenaquelperodo:Viena,PragayVarsovia,ynohabaqueolvidarque

ValelapenarepararenqueensuartculosobrelaFilosofadeposguerrahasta1958M.Sacristn,Papeles
de filosofa, ob cit, pp. 90219, el autor al que dedic mayor nmero de pginas fue precisamente Rudolf
Carnap.
9

26

la influencia de la escuela polaca10 estaba frecuentemente en la base de la


formacinfilosficadeloslgicosnopositivistas,apuntabaSacristn.
Entodocaso,ycomopodrapreciarellectordeestelibro,Quinese
encuentramuylejosdelosdogmasesencialesdelneopositivismo,ala
crtica de dos de los cuales est dedicado precisamente el segundo
ensayodelvolumen[Dosdomasdelempirismo].

El Tractatus logicophilosophicus de Wittgenstein11 y Metaphysik als strenge


Wissenschaft12 de H. Scholz eran entonces los dos nicos libros de peso que
haban sido escritos por lgicos modernos reflexionando filosficamente
sobresuciencia,conanterioridadalayadilatadacampaalgicofilosfica
deQuinecuyasustanciaserecogaenelvolumen,sealandoacontinuacin:
Y como ser fcil que el lector suponga y disculpe en el traductor
alguna especial simpata por el autor traducido, nos permitiremos
escribir aqu que la enseanza lgicofilosfica contenida en este
Sacristn escribi algunas entradas sobre autores de la escuela polaca para el Diccionario de Filosofa de
DagobertD.Runes.Esta,porejemplo,estdedicadaaStanislawLesniewski:Lgico,matemticoyfilsofo
polaco. Profesor en Varsovia. Adems de desarrollar un sistema de lgica, L. ha propuesto una
interpretacin semntica anticonvencionalista y antipragmatista de la naturaleza de los formalismos
lgicos.Suprototticaesunateoraqueincluyelalgicaproposicionalclsica,peroresultamsamplia
que ella por la aplicacin de sus mtodos a otros conceptos; las teoras superiores de la ontologa y la
mereologahacenlomismorespectodelalgicadepredicadosyladeclases.
11ParaunasucintaaproximacindeSacristnalTractatus,vase:LuwigWittgenstein,Papelesdefilosofa,
obcit,pp.334337.Ensusapuntesdefilosofadelalgica,realizabaunabrevereflexinsobreunatesisdel
Tractatus(Losobjetosformanlasustanciadelmundo.Poresonopuedensercompuestos)yalconcepto
delolgicoenelprimerWittgenstein:Latesis2.021delTractatuspresentaenefectolosobjetosaquese
refierenlasvariablesindividualesdelalgoritmolgicoformalcomolasustanciadelmundo,raznporla
cualnopuedensercompuestos.Wittgensteinhapostuladoelcarcterpuntualeinmutabledelconcepto
deenteindividualrepresentadoporlavariableindividualdelalgoritmo.Peroenvezdeverenesecarcter
precisamente la impronta de su naturaleza mximamente abstracta, ese pensador y lgico tan ajeno a la
doctrina aristotlica de la abstraccin ve en la onticidad puntual de razn recogida por la variable
individual algo as como tomos (en sentido etimolgico) componentes reales del mundo. Pero la
simplicidad del objeto designado, prosegua, por las x y las y, la simplicidad de la intencin de estos
smbolos, noes sinola suma univocidad de la abstraccin totalde nivel ms elevado, propiadela lgica
formal,univocidadcontrapuestaalaanalogicidaddelosproductosdelaabstraccinformal.Lacosade
lalgicaformalnoesmsqueeltrminoysostndelarelacinderazn:esellamismaonticidadderazn,
y este hecho no debe quedar oculto por la circunstancia de que esa onticidad aluda al individuo real:
precisamente porque la onticidad de razn no es inteligible plenamente por s misma...su comprensin
incluye la referencialidad al ente real. sta empero no autoriza a pensar que el ente de razn refleje la
onticidadrealcomotal.Menosanpuedeellodecirsedelacosalgica,merosoportedelentederazn
lgicoensentidopleno,queeslarelacinlgica.
12ParaunaaproximacinaestaobradeScholz,vase:Lgicaformalyfilosofadelalgicaenlaobrade
HeinrichScholz,Ibidem,pp.5689.Elgranlgico,extelogoyfilsofoalemnfuefundadordelInstituto
deLgicadelaUniversidaddeMnsterdondeSacristncurscuatrosemestresdelgicayepistemologa
entre1954y1956.
10

27

volumendeQuinenoesinferioralaofrecidaporlasdosobrasantes
citadas.

Les era adems superior en lo siguiente: el Tractatus, no en su aspecto


lgicotcnicoperosenellgicofilosfico,noera,sealabaSacristn,enel
fondo ms que un fallido intento de argir la imposibilidad de la reflexin
filosficasobrelalgica.Era,comoWittgensteinsaba,unlibroescritopara
reducir al absurdo su propio tema, para destruir su propio ttulo. Los
apasionantestextospstumosdeWittgenstein,peseasuradicalrupturacon
losmodosdeexpresindelTractatus,seguancoincidiendoenestepuntocon
laviejaobra.
EncuantoalareflexinfilosficadeScholzsobrelalgica,porms
quelibredeeserudopartiprispositivistaqueconsisteendecretarque
todoslosnudossongordianos,acababapordisiparseenelenrarecido
cielodelasmetforasplatonizantesleibnizianas,enundiscursosobre
la lgica como metafsica de todos los mundos posibles que
resultaba, en verdad, de poca ayuda para lo que es cuestin real: la
aclaracinyfundamentacinfilosficadelalgicaenestemundo.

Precisamente por ello, el problema filosfico primero suscitado por la


lgicaera,comoenseabasuhistoriadesdeAristteles,eldelotromundo
aparente que la ciencia de lo sumo abstracto pareca suponer: el mundo de
losuniversales.
Quine ha visto y ha enunciado en la problemtica de la moderna
lgicadeclaseslaviejaybsicadificultaddelosuniversales,hatenido
el filosfico valor de la perogrullada, necesario para reconducir esa
disputadesdesuformamodernaasuformaantiguayviceversa,yha
conseguido, sobre todo, aclararla decisivamente con su teora
pronominal,unodelostemascapitalesdeestelibro.

La teora pronominal tena sus races en la distincin fregeana entre


significacin(Bedeutung)ysentido(Sinn)yenlateoradelasdescripciones
russelliana.Eraposible,apuntabaSacristn,queunaformulacinnotcnica
de la tesis pronominal bsica de Quine facilitara la lectura de la exposicin
tcnicadelautor.Estaeralatesisbsicasdelateora:
28

[] la existencia de un objeto no est garantizada sin ms por el


hecho de que exista un sustantivo que parezca nombre del supuesto
objeto. As lo haba credo Platn, despus de la crisis de la primera
teora de las ideas en el Parmnides para llegar, desde el Sofista en
adelante,alamisteriosaasuncindeunciertoserdel noser,sinms
base que la existencia de la nocin y el nombre noser. Quine,
elaborandoladistincindeFregeyobteniendoconsecuenciasdeello,
sostienequeunsustantivopuedesignificaralgoaunsinnombrarnada.
Unpronombre,encambio,msquesignificaralgo,refieredirectamente
a algn objeto. Por tanto, lo que s es, lo que s existe es aquello a lo
cualpuedereferirunpronombreyprecisamentetalcomoaellorefiere
elpronombre.

SinpretenderSacristn,comodecamos,otracosaconsuexposicinpre
tcnicaquefacilitarallectornofamiliarizadoconlalgicaelaccesoaltexto
deQuine,habaquedetallarunpocomslaanteriorexplicacinparaevitar
quelasimplificacinsetransformaraencaricatura.
Desdeelpuntodevistalgicofilosfico,loqueimportaprecisarno
es qu es lo que existe sta es naturalmente, una cuestin para las
cienciasfcticassinoquesaquellocuyaexistencianoscomprometemosa
admitiralusarundeterminadolenguaje.

La respuesta a la cuestin del compromiso ontolgico era la que se


acababadeindicar:noscomprometemosaadmitirelserdeaquelloaloque
consideramos denotable por nuestros pronombres, relata de nuestros
pronombres.Latesisquineanatenacomoconsecuenciaquelapostulacin
de entidades abstractas no era necesaria en la lgica formal elemental o
pura la de enunciados y cuantificacin, sino estrictamente en captulos
como la teora real de clases, directamente orientados a la fundamentacin
delamatemticay,porello,doctrinadelgicaaplicada,enterminologa
delautoramericano.
Poda parecer una tesis paradjica la afirmacin de que la lgica formal
pura, la teora del abstracto por excelencia, no postulara una ontologa de
entidadesabstractas.Peroenrealidad,enopinindeSacristn,nohabaen
la tesis novedad esencial respecto del pensamiento lgicofilosfico clsico,
nisiquierarespectodeldeAristteles,almenosrespectoalAristtelesms
29

teofrstico, ms tardo. Lo que s haba en la tesis pronominal era una


extraordinariaclarificacindelproblema,unaaclaracintanvaliosaqueella
sola bastaba para situar a Quine entre las personas a las que ms deba la
lgicamoderna.
La cuestin de si el discurso lgicoformal presupone o no la
existencia de entes abstractos queda en efecto planteada as:
naturalmente que el medio en que se mueve el discurso formal es la
abstraccin del ms alto nivel. Sus trminos son todos sumamente
abstractos(sumamenteensentidopropio,nocomoadverbioretrico).
Pero las entidades cuya existencia se postula implcitamente en el
abstracto discurso formal son slo aquellas que resultan relata
necesarias de sus elementos pronominales. Y en la lgica elemental o
puraloselementospronominales(variablesligables)deldiscursono
refierenauniversales,sinoaindividuosdelmundo.Sloenteorareal
de clases, cuando las variables ligables (los elementos pronominales)
refierenaclases,eldiscursoestpostulandounaontologaqueadmite
la existencia de abstractos como entes separados, por usar la grfica
expresinaristotlica.

Esteeraelpuntomsimportantequeinteresabaadelantarenformapre
tcnica.Peroeljustificar,tambinentrminospretcnicos,latesisdeQuine
llevabaforzosamenteaunabrevereflexinsobreelconceptodevariableysu
discusinporelautor.LaafirmacindeQuinesegnlacualelcompromiso
ontolgico de la lgica formal pura o elemental no se extenda a los entes
abstractos,presuponaqueenlgicapuranoseligaban,nosecuantificaban,
ms que variables individuales, lo que quera decir que slo stas eran
verdaderas variables. Pero ocurra que en las expresiones de la lgica
elementalsepresentabansignos(predicativosydeenunciados)quesehaba
hechocomnllamarvariables.Esossignosnosereferanaindividuossino
a atributos o clases (los predicativos) y a enunciados, proposiciones o
juicios(losdeenunciados).
No es entonces arbitrario decretar que esos signos no pueden
ligarse, cuantificarse? Lukasiewicz haba propuesto incluso una
cuantificacin de la lgica de enunciados en la que figuraban
expresionesconvariablescuantificadasquereferanaenunciadoso
juicios, como, por ejemplo: para toda proposicin p y para toda
proposicin q, si p implica q, entonces noq implica nop. Aqu p y q,
30

que refieren a abstractos (a juicios), estn cuantificadas, ligadas,


usadas,portantopronominalmente,comoverdaderasvariables.Siese
uso es necesario (y no slo lcito), entonces ya la lgica de enunciados
est comprometida en una ontologa que postula la existencia de
entidadesabstractas(losjuicios).

Quinerespondaaesapreocupacinenlostrminossiguientes:enlgica
deenunciadosyenlgicadepredicadosdeprimergrado,esossignosnoson
enrealidadvariables,dadoquesemanejabancomovaloresfijosydehecho
noeranecesarioconsiderarlosdeotromodoquecomovaloresfijos.Conesa
consideracin bastaba para obtener todos los teoremas de esas dos teoras
completas,esdecir,losteoremasdetodalalgicaelemental.
Nobastaconqueunsignodeunlenguajeseaindeterminadopara
que sea una variable. Indeterminados son tambin, por ejemplo, en
expresionesdelascienciasnaturales,signosquenosonvariables,sino
parmetros, o sea, representantes de entidades que, aunque
indeterminadosalleerlaexpresincorrespondientesegnsuvalorde
ley general, son en realidad fijos, constantes, en cuanto que la
expresin se hace verdadero enunciado concreto. A esos signos de la
lgicaelementalopuraquetienenelaspectodevariablesperoqueen
realidad se comportan como parmetros, da Quine el nombre de
letras esquemticas. No son verdaderas variables, huecos para
todos los valores que se encuentran en un determinado campo de
objetos,sinoqueson,porasdecirlo,ncleosfijosdelaestructuradela
expresin.

ConellomostrabaQuinesuposicinenelyalargoyfecundodiscursode
aclaracin del concepto de variable, iniciado por Frege al corregir el vago
usodeesanocinydelafuncinenlatradicinmatemticaprocedentede
Euler.
Despus de estas presentaciones no tcnicas, Sacristn prosegua
recordando que uno de los problemas filosficos ms importantes que
planteaba la lgica era el de la naturaleza misma de la lgico. Tal vez no
hubiera punto en el cual el pensamiento de Quine se alejara ms
creadoramente del dogma viens de la tautologa, a la concepcin de la
lgicacomoteoradelasverdadesformalesvacasempricamente.
31

Lafilosofaneopositivistadelacienciahabadefinidoelsentidode
las expresiones por su verificabilidad empricosensible Como las
expresiones de una teora formal no son, obviamente, verificables de
esemodo,fuenecesarioalpositivismomodernoarbitrarparaellasotro
criterio de sentido, a menos de declararlas lisa y llanamente
sinsentidos.Lasolucinneopositivistareproducedeunmodouotrola
tesis del Tractatus de Wittgenstein: las expresiones formales tienen
significacin, a pesar de no ser verificables, porque son tautologas,
sustradasacualquierrelevanciayafectabilidadempricas.

LafilosofadelacienciadeQuine,quepartadelacrticadelcriteriode
verificabilidad que se expona en el citado segundo ensayo del volumen, el
dedicadoalosdosdogmasdelempirismo,podaresumirseconlallamativa
metforaqueconsideraalacienciauncampodefuerzascuyascondiciones
lmite da la experiencia. La metfora era otras veces ms geomtrica: el
saber cientfico sera un rectngulo que no estaba en contacto con la
experienciasinoalolargodesupermetro.Loesencialeraquelaciencia,el
saber,cubrierabiensulneadecontactoconella.Laorganizacininteriordel
rectngulonotenamsleyimperativaaqueobedecerqueladeposibilitar
aquelcontactosegntodosloselementosdisponibles.Lasparcelasdelsaber
queseencontrabanmsalejadasdelpermetroestabanmenosexpuestasque
las perifricas a que fueran reorganizadas y corregidas al ampliar el
rectngulo en caso de que en la lnea de contacto se produjeran conflictos.
Los teoremas de la lgica formal estaran, segn esta metfora rectangular,
muy alejados de la periferia y, por consiguiente, muy distanciados de
refutaciones simples e inmediatas. Pero ello no quera decir, y ste era el
punto bsico de la posicin de Quine, de su heterodoxia empirista, que la
ciencia se negara en redondo a considerar intocables los elementos
centralesdesupropiopolgono.
Cuandoelloseimpone,secorrigentambinstos.Yconesteltimo
comentarioasumetfora,Quinequiereindicarquenoviendoparalos
teoremasdelalgicamsorigenposiblequeelmismofiltradoatravs
del permetro por el que han surgido los teoremas de las dems
ciencias, tampoco ve por que la teora lgicoformal haya de
considerarse libre para siempre del impacto emprico, por ser
tautolgicaoevidente.Launidaddesignificacinempricaesel
tododelaciencia,incluyendoenesetodoelsaberacercadelhombre,
32

y en el todo del saber est incluida la lgica, en el todo del saber


humano,noenellugarsupracelestedelosuniversalesplatnicos,nien
ellimboinfraterrenodelahuerasignificatividadportautologa.

Finalizaba Sacristn su presentacin sealando que aunque sin mucha


formulacin explcita haba en la obra de Quine algo infrecuente entre los
lgicos contemporneos: una nocin de lo lgico mismo a la altura de la
teora del objeto lgico elaborado por la tradicin, con mucha menos
claridad, precisin tcnica y libertad filosfica que las aplicadas por los
lgicos modernos, pero con bastante ms sensibilidad para la problemtica
filosfica de su ciencia. Dewey, recordaba de nuevo Sacristn, se haba
referido muy exactamente a la situacin de confusin filosfica en lgica,
provocadaenltimainstanciaporeltenazdeseodemuchosespecialistasde
cerrarse positivisticamente a la problemtica que tradicionalmente se llam
proemial en lgica, la problemtica relativa a la naturaleza de la lgico
mismo.
LosensayosrecogidosenellibrodeQuinemostrabanallectordelengua
castellanaqueesasensibilidadfilosficanosehabaperdidodeltodoentre
los grandes especialistas contemporneos y que, con los nuevos
instrumentos de que se dispona, la investigacin filosfica de lo lgico
podaconseguirresultadosbastantemsconclusivosyprecisosquelaporlo
demsadmirableespeculacinlgicofilosficadelatradicinaristotlica.
Nohubonotasdestacablesdetraductorenestecaso.Porlodems,nofue
la ltima vez que Desde un punto de vista lgico y Los mtodos de la lgica
estuvieron muy presentes en el hacer filosfico y acadmico de Sacristn.
Ambasobrasocuparonunlugardestacadopocodespus,enlasoposiciones
alactedradeLgicadelaUniversidaddeValenciacelebradasenMadrid
en 1962, el mismo ao en que irrumpieron con fuerza las primeras
comisionesobreras.

33

5.UNASOPOSICIONESHEGEMONIZADASPORELOPUSDEI

Tomolosdatosinicialesdeesteapartadodelmagnficotrabajo,hoypor
hoy imprescindible, de Christian Martn Rubio: Mientras la esperanza
espera. Materiales en torno a la oposicin a la ctedra de lgica de la
Universidad de Valencia en 196213, en mi opinin la mejor aproximacin
hasta la fecha de lo sucedido en 1962 en las oposiciones para la ctedra de
lgicadelaUniversidaddeValenciacelebradasenelSalndeGradosdela
FacultaddeFilosofayLetrasdelaUniversidaddeMadrid.
La creacin de una ctedra de lgica en la Universidad de Valencia fue
un hecho de suma importancia en de la historia de la introduccin,
consolidacin e implantacin de la lgica contempornea en Espaa. Hasta
esemomentoexistaunanicactedradelgicaenEspaa,enlaFacultadde
FilosofayLetrasdelaUniversidaddeMadrid,quehabasidoocupadapor
eldirigentesocialistarepublicanoJulinBesteiro.Trassumuerteen1940en
la crcel de Carmona (Sevilla), la ctedra fue dotada de nuevo en 1943 y
ganada por Leopoldo Eulogio Palacios Rodrguez en mayo de 1944. Fue el
nico aspirante. Palacios Rodrguez era doctor en filosofa por la
Universidad de Madrid con una la tesis sobre La doctrina de la Lgica en
Juan de Santo Toms, defendida el 12 de enero de ese mismo ao, cuatro
mesesantesdequeobtuvieralactedra.PalaciosRodrguezsemantuvoen
lactedramadrileahastasufallecimientoen1981.Entoncesfuesustituido
precisamenteporManuelGarrido,hastaentoncescatedrticodeLgicaenla
Universidad de Valencia, ctedra que obtuvo como es sabido en estas
oposicionesde1962.
En Salvador Lpez Arnal et alteri, Donde no habita el olvido. Montesinos, Barcelona, 2005, pp. 257286.
Igualmente vanse sus declaraciones para los documentales dirigidos por Xavier Juncosa, Integral
Sacristn.ElViejoTopo,Barcelona,2006.

13

34

Puede considerarse la ctedra de Valencia de 1962 como la primera


ctedranuevadelgicadotadamedianteeldeplorablesistemaimplantadoa
partirdelacruzadapatriticoreligiosa.JavierMuguerza14harecordadoas
loacontecido:
Tengograbadaenmmenteunaimagencasifotogrficadetodosy
cada uno de los detalles de dicha oposicin, (...). La oposicin fue un
autntico escndalo, pues Sacristn era con mucho el candidato con
msmritosparaobtenerlaplazaenaquellosmomentosylasrazones
para negrsela no podan ser sino descaradamente polticas, como un
miembro del tribunal reconocera en mi presencia al cabo de algn
tiempo de celebrarse aquella. Cuando el fallo de la misma se hizo
pblico, en una sala abarrotada de gente, que o bien era cmplice de
los autores de la fechora o bien se senta amedrentada por un
ambiente que no invitaba que digamos a levantar la voz, Vctor
Snchez de Zavala, Paco Garca y yo (comandados, como ya
comenzaba a ser normal, por Aranguren) nos levantamos
ruidosamente de nuestros asientos y abandonamos el local dando un
portazoparairareunirnosconManolo(...).Elacontecimiento,alque
algunavezmehereferidocomoeldadelaprdidademivirginidad
acadmica, resulto decisivo para m, pues por aquellas fechas yo an
crea ingenuamente que la universidad poda llegar a constituir un
espaciodeconvivenciacivilizada(...)

Lasactasdelaoposicinestnrecogidasenellegajonmero15.339del
ArchivoGeneraldelaAdministracin.Aunqueinaccesiblesensutotalidad
hastael22demayodelao2012enbasealartculo57.1.cdelaLey16/1985
de 25 de junio del Patrimonio Histrico Espaol, una parte ya es pblica,
puedeconsultarseysirvidebaseparaeldocumentadotrabajodeChristian
M.Rubio.
AdiferenciadelaadjudicacindelactedradelgicaenlaUniversidad
de Madrid en 1944, este nuevo proceso polticoacadmico fue mucho ms
dilatado: desde enero de 1958 hasta agosto de 1962. En la orden de 17 de
diciembre de 1957 (B.O.E. 25 de enero de 1958) el Ministerio de Educacin
Nacional declaraba vacantes las ctedras de Psicologa, Lgica y
Ontologa y Teologa Natural de la Facultad de Filosofa y Letras de la
Vanse igualmente las declaraciones de Muguerza para los documentales de Xavier Juncosa: Integral
Sacristn,edcit,ylaentrevistasobreSacristnenAcercadeManuelSacristn,ed.cit..
14

35

Universidad de Valencia y permita a la Facultad interesada proponer la


forma de provisin de estas plazas conforme prevena la disposicin de la
LeydeOrdenacinUniversitariade29dejuliode1943,reformadaporlade
16 de diciembre de 1954. Le segua una Resolucin de 1 de julio de 1958
(B.O.E.5deagosto)porlaqueseconvocabanaconcursopreviodetraslado
66 ctedras vacantes pertenecientes a siete facultades distintas: 14 de
Ciencias;5deCienciasPolticas,EconmicasyComerciales;14deDerecho;
unadeFarmacia;15deMedicina;2deVeterinariay15deFilosofayLetras,
pertenecientes estas ltimas a las Universidades de Salamanca, Oviedo,
Granada, Santiago, Murcia, Valladolid, Sevilla y Valencia. Por falta de
aspirante, se declararon desiertos 45 concursos. En estas circunstancias, se
resolvi anunciar para su provisin en propiedad las ctedras de Lgica,
Metafsica (Ontologa y Teodicea) y Psicologa de la Facultad de
Filosofa y Letras de la Universidad de Valencia. Los aspirantes deban
presentarladocumentacinexigidaenunplazode30das15.
Dosmesesdespusdelaconvocatoriafueronadmitidosochoopositores
para la obtencin de la ctedra de lgica: Manuel Sacristn Luzn, Manuel
GarridoGimnez,FranciscoGuilBlanes(tambinadmitidoenlaoposicina
Metafsica (Ontologa y Teodicea)), Oswaldo Market Garca, en el mismo
caso que el anterior, Jos Antonio GarcaJunceda y lvarezQuiones,
Adolfo Porcar Gil, Gustavo Bueno Martnez y Antonio Garca Martnez.
Poco despus fue dado de baja, por renuncia expresa del interesado,
OswaldoMarketGarca.
Ms de un ao despus de la publicacin de la convocatoria de la
oposicin, sin que hasta entonces se hubiera iniciado ningn ejercicio, el
Ministerio de Educacin Nacional abra un nuevo plazo de 30 das hbiles
para que nuevos aspirantes pudieran solicitar la ctedra, siendo entonces
admitidoFermndeUrmenetaCervera,catedrticodeFilosofadelInstituto
Jaume(entoncesJaime)BalmesdeBarcelona,elmismoinstitutodondehaba
seguidosusestudiosdebachilleratoManuelSacristn,JessNezyJosep
MCastellet.
En mayo se nombr el Tribunal que tena que juzgar las oposiciones.
Presidente:JosCortsGrauyVocales;dedesignacinautomtica:LucioGil
Lalegislacinqueregaestasoposiciones,recuerdaChristianMartnRubio,eraelReglamentode25de
junio de 1931, en cuanto no estuviera afectado por la Ley de Ordenacin Universitaria de 29 de julio de
1943, los Decretos de 7 de septiembre de 1951 y 10de mayo de 1957 y la Orden de 30 de septiembre del
mismoao.
15

36

Fagoaga, Leopoldo Eulogio Palacios Rodrguez y ngel Gonzlez lvarez,


todos ellos catedrticos de la Universidad de Madrid, y de libre eleccin
entre la terna propuesta por el Consejo Nacional de Educacin, Alfonso
Candau Parias, catedrtico de la de Valladolid. Como suplentes fueron
designados:Presidentesuplente:LuisLegazLacambrayVocalessuplentes,
dedesignacinautomtica,RafaelCalvoSerer,JessArellanoCatalnyJos
LuisLpezArangurenJimnez,catedrticosdelaUniversidaddeMadrid,el
primeroyeltercero,ydeladeSevillaelsegundo.Delibreeleccinentrela
ternapropuestaporelConsejoNacional,EugenioFrutosCorts,catedrtico
delaUniversidaddeZaragoza.
Nuevamente se abri otro plazo de 30 das hbiles para nuevos
aspirantes,resultandoentoncesadmitidoJorgePrezBallestar.
CortsGrau,presidentedelTribunal,convocfinalmentealosopositores
parael22demayode1962,alas11delamaana,enelSalndeGradosde
laFacultaddeFilosofayLetrasdelaUniversidaddeMadrid,afindeque
presentasen sus respectivas memorias pedaggicas, el programa de la
asignaturaysustrabajos,yconocieranelsistemaquehabaqueobservarse
paralaprcticadelosdosejerciciosltimosdelaoposicin.Losaspirantes
definitivamenteadmitidosfueronManuelSacristnLuzn,ManuelGarrido
Jimnez, Francisco Guil Blanes, Jos Antonio GarcaJunceda y lvarez
Quiones, Adolfo Porcar Gil, Gustavo Bueno Martnez, Antonio Garca
Martnez, Fermn de Urmeneta Cervera y Jorge Prez Ballestar. De estos
nueveaspirantesinicialmenteadmitidos,el22demayo,eldadeiniciodela
oposicin,slosepresentaroncuatrofinalmente:ManuelSacristn,Manuel
Garrido, Jorge Prez Ballestar y Fermn de Urmeneta, presentando este
ltimo algo ms tarde una peticin en la que manifestaba su deseo de
retirarseporrazonesparticulares.Elrestodelosaspirantes,traslasllamadas
derigor,nollegaronapresentarse.Enelperodotranscurridodesdeelinicio
delaconvocatoria,enerode1959,hastalacelebracindelaoposicin,mayo
de 1962, las condiciones acadmicas de algunos de ellos haban cambiado
notablemente.GustavoBueno,porejemplo,habaobtenidoenabrilde1960
la ctedra de Fundamentos de Filosofa e Historia de los Sistemas
FilosficosdelaFacultaddeFilosofayLetrasdelaUniversidaddeOviedo.
Ante la ausencia de renuncias entre las personas designadas para ser
miembros del Tribunal, ste qued conformado de la siguiente manera:
Presidente: Jos Corts Grau, rector de la Universidad de Valencia y
catedrticodeFilosofadelDerecho.Vocales:LucioGilFagoaga,catedrtico
37

dePsicologaexperimentaldelaUniversidaddeMadrid;LeopoldoEulogio
Palacios Rodrguez, Catedrtico de Lgica de la Universidad de Madrid,
ngelGonzlezlvarez,catedrticodeMetafsica(OntologayTeodicea)de
la Universidad de Madrid. De libre eleccin, Alfonso Candau Parias,
catedrtico, como decamos, de Fundamentos de Filosofa e Historia de los
sistemas filosficos de la Universidad de Valladolid. Slo uno de ellos era
catedrticodeladisciplina.Slounmiembrodeltribunaleraespecialista
en lgica. Recurdese que slo exista entonces una ctedra de la disciplina
enEspaa,enMadrid,laocupadaporPalaciosRodrguez.
Varios de los miembros del tribunal haban conseguido ser catedrticos
en el perodo que ha sido llamado el asalto a las ctedras. Entre 1939 y
1959 las ctedras universitarias espaolas se elevaron de 600 a 900. A este
nmerohabraqueaadirlasquequedarndisponiblescomoconsecuencia
de las depuraciones polticas llevadas a efecto hasta 1942. La mayor parte
seran cubiertas durante el mandato de Ibez Martn como Ministro de
Educacin, vinculado a la Asociacin Catlica Nacional de Propagandistas
(A.C.N.P.), un grupo integrista, una organizacin de primer orden y
abultado poder en la configuracin y elaboracin de la cosmovisin
ideolgica del nacionalcatolicismo espaol. Los mtodos seguidos para la
provisin de esas ctedras favorecieron la incorporacin de miembros o
simpatizantes del OPUS DEI y de la A.C.N.P. que haban mostrado su
voluntaddeproyeccinenlaUniversidad.Ambasorganizacionescontaban
conlosmsimportantesncleosdepoderenelaparatoculturalelCSICpor
ejemplo, en el marco de una lucha soterrada entre estos grupos y el
falangismo por la determinacin del modelo franquista de Universidad y
cuyo resultado, favorable sin duda al catolicismo integrista, fue la Ley de
OrdenacinUniversitariaquerigilaoposicinalactedradeValencia.Ello
fue posible en base al artculo 58 de esa ley de 29 de julio de 1943, que
sealaba que a diferencia de los sistemas anteriores el Tribunal no era
nombrado por turno sino mediante designacin directa del ministro de
Educacin Nacional. Con la centralizacin del sistema se consegua un
perfecto control de los Tribunales por parte de sectores catlicos,
establecindoseconellovirtualmenteunasituacinprivilegiadaparaoptara
la plaza para cuantos aspirantes se alineaban de un modo u otro en las
corrientes catlicas de extrema derecha representadas por el Opus Dei y la
ACNP.

38

En el caso de la ctedra de lgica de Valencia, previamente a cualquier


otraconsideracin,lasuerteestabaechadaantesdeiniciarlaoposicindada
las vinculaciones polticoreligiosas opusdestas de Manuel Garrido. De la
relacin de catedrticos numerarios de Universidad, socios y ex socios del
OPUS DEI que obtuvieron ctedra en el periodo 19401951 vale la pena
destacar a ngel Gonzlez lvarez, Jos Corts Grau, el presidente del
Tribunal, y Leopoldo Eulogio Palacios, el vocal y, recurdese, nico
catedrtico de lgica del tribunal. Por lo dems, es muy probable que
Alfonso Candau Parias fuera ya entonces numerario del OPUS DEI. La
sombradelaObraerayaentoncesmuyalargada.
El 21 de mayo de 1962, un da antes de que fuesen convocados los
opositores, a las 12 de maana, en el Saln de Grados de la Facultad de
Filosofa y Letras, lugar en el que se desarrollar toda la oposicin, se
constituyelTribunal.CandauPariasfuenombradosecretario.ElTribunal
volvi a reunirse por la tarde para determinar en qu forma tena que
verificarselosejerciciosquintoysexto.
Elprocesodebarealizarseenseispasos.Laprimerapruebaconsistaen
el estudio y examen de los trabajos presentados por los opositores. El
Tribunalseocupdeellodesdelatardede22demayohastalamaanade5
dejunio,ambasinclusive,exceptolosdas27y31demayoyel3dejunio,
procedindose en la tarde de 5 de junio a que los opositores presentaran y
expusieran su labor personal. Sacristn utiliz veinte minutos en su
exposicin y fue objetado por Candau y por Jorge Prez Ballestar; Manuel
Garrido utiliz cincuenta minutos y fue objetado por Prez Ballestar y ste
utiliz cuarenta y cinco minutos y fue objetado por Candau. La conclusin
de las valoraciones del tribunal sobre los mritos de los trabajados
presentadosporSacristnfuelasiguiente16:
El conjunto de publicaciones y trabajos del doctor Sacristn
presenta,pues,dosrasgoscaractersticos:eltenerensumayora(sise
prescinde de los apuntes multicopiados) un carcter histrico,
informativoodescriptivomsquesistemticooconstructivoyelestar
presididos por un criterio en lo que hace a la disciplina lgica que
concedeesencialycasiexclusivamenteimportanciaalaformalizacin
simblica y a las operaciones de clculo. El autor reconoce reiteradas
veces las insuficiencias de dicho mtodo y la necesidad de superarlo
pasando a problemas propiamente filosficos; juzga que en este
DocumentacinfacilitadaporChristianMartnRubio.

16

39

sentido no tiene por qu haber una solucin de continuidad o una


rupturaentrelalgicatradicionalaristotlicoescolsticaylamoderna
lgica simblica, a los que considera, tericamente o en abstracto,
perfectamentecompatibles,perodespuseneltratamientoconcretode
losproblemasparececoncederunamayorycasiexcluyenteatencina
losplanteamientosysolucionesdecarctersimblicooformalista.

Respecto a Manuel Garrido se sealaba que sus investigaciones


mostraban una decidida aceptacin del aristotelismo que era, con gran
consecuencia lgica, aplicado metdicamente a la resolucin de los
problemas que estudiaba, mostrando en su estudio penetracin filosfica,
rigor metdico y conocimiento suficiente de los grandes clsicos de la
filosofaajenosalaristotelismo.LacuriosidadintelectualdePrezBallestar,
seapuntaba,habasidosolicitadaportemasdevariandole,movindoseen
un horizonte problemtico de cierta amplitud. Respecto al instrumental
lgico utilizado en sus investigaciones, unas veces se orientaba hacia la
aplicacindelafenomenologayotrashaciaunciertoesquematismolgico
formal aunque huyendo, eso s, en este caso de prejuicios neopositivistas y
tratandolosproblemasfilosficosdefondo.
El segundo ejercicio se desarroll el da 6 de junio y consisti en la
exposicinoraldelConcepto,mtodo,fuentesyprogramapresentadopor
los opositores. Prez Ballestar objet a la exposicin de los otros dos
opositores, Sacristn lo hizo a la exposicin de Garrido y este ltimo no
objetaninguno.
Aldasiguienteseefectueltercerejercicio.Consistaenlaexposicinde
unaleccindelprogramaelegidaporelopositor.Sacristnexpusolaleccin
nmero21:Motivacinyestructuradelclculodeinferencianatural.Por
la tarde, Manuel Garrido expuso su leccin nmero 40: La estructura del
silogismomodal,seguidodePrezBallestar,queexpusolaleccinnmero
4:Basesdelalgicaproposicional.
El 8 de junio se realiz el siguiente ejercicio. El Tribunal elega para su
desarrollo una leccin de entre diez sacadas a suerte del programa del
opositor. Los temas elegidos para desarrollar fueron: para Sacristn, Las
funciones lgicas; para Garrido, Los postulados y las hiptesis y para
Prez Ballestar, La construccin de una ciencia. Fueron incomunicados
durantecuatrohorasparasupreparacinyexpusieronoralmenteapartirde
40

las18h15enelordenacostumbrado:primeroSacristn,seguidodeGarridoy
PrezBallestar.
El penltimo ejercicio se desarroll el da 9 de junio. Consisti en un
comentario de uno de los cinco textos que propona el Tribunal que
correspondieronaDescartes,Bacon,StuartMill,KantyHusserl.Enelsorteo
de referencia sali Kant y un fragmento de la Crtica de la razn pura. Se
concedieronalosopositorestreshorasparaeldesarrolloescritodeltemay
esamismatardeleyeronsustrabajosapartirdelas19horas.
EltextoescogidodeKant17fueelsiguiente:
La lgica general resuelve en sus elementos la funcin formal de
entendimiento y de la razn y expone dichos elementos como
principiosdetodojuiciolgicodenuestroconocimiento.Esapartede
lalgicapuede,pues,llamarseanalticayporesoeslapiedradetoque,
negativaalmenos,delaverdad;yaque,antetodo,hemosdeexaminar
yapreciarsegnestasreglastodoconocimientoensuforma,antesde
investigarlo en su contenido, para decidir si encierra verdad positiva
conrespectoalobjeto.Mascomolameraformadelconocimiento,por
mucho que coincida con las leyes lgicas no basta ni mucho menos
para constituir la verdad material (objetiva) del conocimiento, nadie
puede, con la lgica slo, atreverse a juzgar sobre objetos y afirmar
nada,sinanteshaberobtenidofueradelalgicainformacinfundada
acercadeellos,paraluegotratardeutilizaryenlazaresainformacin
en un todo coherente, segn leyes lgicas o, mejor todava, para
examinarlasegnlasleyeslgicas.Sinembargo,hayalgotanseductor
en la posesin de ese arte ilusorio de dar a todos nuestros
conocimientos la forma del entendimiento (aun cuando a lo que se
refiere al contenido del mismo pueda ser harto pobre y vaco) que
aquella lgica general, aunque es sol un canon para el juicio, ha sido
usado como un Organon, por decirlo as, para la produccin real o al
menos para la ficcin de afirmaciones objetivas; y de ese modo, en
realidad lo que se ha hecho ha sido usarla abusivamente. La lgica
general,comosupuestoOrganon,llmesedialctica.

Sacristn inici su comentario del texto kantiano con las siguientes


palabras:
DocumentacinfacilitadanuevamenteporChristianMartnRubio.

17

41

Un texto de un gran filsofo, por ms que sustantivamente


referente a elementales cuestiones lgicas, como es el caso del texto
aqu considerado, es naturalmente interesante tambin desde la
perspectiva general del pensamiento filosfico del autor. Tal vez,
incluso, la misma elementalidad de las cuestiones lgicas objeto del
texto coloquen a ste primariamente en esa perspectiva filosfica
general.Poreso,enelsiguientecomentariolaadoptaremosalgunavez.
Pero, en lneas generales, colocaremos en primer trmino criterios de
consideracinespecficamentelgicoteorticos.Yelloendospasos.El
primeroconsistirenuncomentariointerno,tendentesobretodoafijar
la lectura, la comprensin del texto, y apelando incluso, con esa
intencin, al contexto histrico y a los precedentes del mismo. No
obstante, la naturaleza de ese comentario interno no ser histrica. El
segundo paso consistir en un comentario externo, crtico. Segn el
dichodelescolstico,losantiguos,digamoslosclsicosengeneral,han
sido gigantes y nosotros enanos. Pero esos gigantes nos llevaron a
espaldas.Asnos desvelanunhorizonte,elhorizonteexpansivodela
adquisicindelaverdad,enelqueinclusoelgiganteesenano.Poreso
no ser petulante el comentario crtico al texto y s solo consecuencia
del hecho de que, tanto enseando cuando aprendiendo, el estudioso
debesermsamigodelaverdadquedePlatn.

El sexto y ltimo ejercicio tuvo lugar el 11 de junio. Consisti en el


desarrollodeuntemaasuertedeentrelosseleccionadosporelTribunal:1.
Planteamiento sistemtico y dimensin histrica de la cuestin de los
universales;2.Eluniversallgico;3.Elprincipiodelaraznsuficiente;4.La
intencionalidadenlaLgicaclsicayenlaFenomenologa;5.Nominalismo
yRealismo;6.LascategorasenAristtelesyKant;7.LgicaformalyLgica
inductiva;8. Anlisisysntesis;9.Laclasificacin delascienciasteorticas.
La suerte decidi que el tema a desarrollar fuera el nmero 9, leyendo sus
trabajoslosopositoresapartirdelassietedeesamismatarde.Laspalabras
inicialesdeltextodeSacristnfueronlassiguientes18:
El problema de la clasificacin de las ciencias teorticas no es una
ociosacuestinacadmicasinmshorizontequeelrelativamentepoco
significativo del enciclopedismo, cuya vaciedad condenara Herclito.
Sindudapuedeeltemaplantearsedentrodeesetrivialhorizonte.Pero
DocumentacinigualmentefacilitadaporChristianMartnRubio.

18

42

su relevancia espiritual se aprehende ms bien si se sita en relacin


conlanecesidadesencialhumanadesituarseintelectualymoralmente
en el mundo. Desaparecida tempranamente de nuestra cultura, la
ilusin imprecisa de una filosofa omnicomprensiva, la jerarquizacin
de las diversas causas del saber queda, para el filsofo, como la ms
concretaperspectivaviablederealizacindeunidealdesaberalavez
unitarioydiferenciado.

Apartirdelasnuevedelamaanade12dejuniosereunielTribunal
para deliberar sobre la actuacin de los opositores y elaborar un informe,
citndoseparaesamismatardeconelfindeprocederalavotacinpblica.
Delinformecabeentresacarestasconsideraciones:
El doctor Sacristn muestra dominio de las tcnicas actuales del
clculo lgico y una cierta orientacin al tratamiento histrico de las
cuestiones,dentrodeunconceptogeneraldelalgicaenquepretende
armonizar los conceptos fundamentales de la lgica clsica o
intencional con los resultados de la lgica simblica. Este intento se
haceenlaMemoriaobjetodelsegundoejercicio,perosepresentams
bien como un deseo que como una concepcin coherente y capaz de
informar los concretos trabajos de investigacin y la enseanza de la
disciplina. As, por ejemplo, en el tercer y cuarto ejercicio el
tratamiento dado a las lecciones que tena que desarrollar fue
exclusivamente formalista y simblico, mientras que en los ejercicios
quintoysextoseorientmsbienauntratamientomixto,decarcter
histrico con aadidos formalistas, pero sin que en ninguno de los
cuatroejercicioscitadossevieraenuntrabajoefectivo,oenejercicio,la
concepcindelalgicapostuladaenlamemoriaobjetodelsegundode
ellos.

ManuelGarrido,sesealabaenelinforme,apostabaensumemoriapor
una lgica de carcter aristotlico que slo accidentalmente (sic) poda ser
enriquecida, a modo de instrumento aclaratorio, por procedimientos
formalistas.Sebasaparaelloelaspirante,seafirmabaenelinforme,enunas
consideraciones de gran inters sobre la distincin necesaria entre forma
lgica y figura. Consecuente con este modo de entender la disciplina, las
leccionesobjetodelosejerciciosterceroycuartofuerondesarrolladasporl
43

dentro de un marco abiertamente filosfico en el que se tenan presentes los


grandes clsicos de la disciplina, ayudndose al mismo tiempo en algunos
casos, a modo de ilustracin accidental con recursos de la formalizacin
simblicamoderna.
En los ejercicios quinto y sexto, Garrido haba puesto de manifiesto un
hondoconocimientodelaestructurayelfondodelpensamientokantiano,enunode
ellos, y la posibilidad de aceptar, en la actualidad, el cuadro aristotlico de
las ciencias teorticas, presentando ste con extraordinaria penetracin de
conceptosyexactaprecisindetrminos.
PrezBallestar,queposea,sesealabaenelinforme,excelentesdotesde
expositorypedagogo,mostrabasinembargomayoresvacilacionestantoen
lostemasdeestudiocomoenlosmtodosutilizados.As,eneldesarrollodel
tercer ejercicio utiliz preferentemente procedimientos de lgica formal, lo
mismoqueenquinto,mientrasqueenelcuartoysextoseorientmsbien
histricamente aspirando a un cierto conformismo logrado en ocasiones a
costadelaprofundidadydelaexactitudenlainterpretacindelasdoctrinas
A las 20 horas de 12 de junio de 1962, se proceda a la votacin con el
siguiente resultado: el secretario Candau Parias vot a favor de Manuel
Garrido Jimnez; Gonzlez lvarez vot igualmente a favor de Manuel
Garrido Jimnez; Palacios vot tambin a Manuel Garrido Jimnez; Gil
FagoagalohizoafavordeJorgePrezBallestaryelpresidenteCortsGrau
votafavordeManuelSacristnLuzn.
ElacuerdopreviodelTribunalesevidenteyladistribucindetareasen
lavotacinfinalesdelibrodeestilo.
Conlaordende13dejuliode1962(B.O.E.17deesemismomes)Manuel
Garrido Jimnez19 fue nombrado catedrtico numerario de lgica de la
Jos Luis Moreno Pestaa CONSAGRACIN INSTITUCIONAL, CONSAGRACIN INTELECTUAL,
AUTONOMA CREATIVA. HACIA UNA SOCIOLOGA DEL XITO Y DEL FRACASO INTELECTUAL,
Telos, 2009, en prensa)- recoge esta versin de lo sucedido en las oposiciones de 1962 segn conversacin
con Manuel Garrido de septiembre de 2008: La oposicin de Valencia fue convertida en smbolo de
arbitrariedad pero parece difcil que la desgracia profesional de Sacristn derivase exclusivamente de ella.
Manuel Garrido era adjunto de la ctedra de Lgica de la Universidad Complutense desde 1960 y haba
ganado la adjunta de Fundamentos de Filosofa en Granada en 1957 (a principios de los aos 1950 haba
obtenido ya la adjunta en una primera oposicin: entonces, la adjunta deba ser renovada cada cuatro u
ocho aos). Distanciado del grupo falangistas (Garrido tuvo fricciones con Gmez Arboleya en los aos
1950), tambin se haba alejado de Leopoldo Eulogio Palacios quien, por entonces, se convirti en enemigo
de Maritain y el personalismo. Cuando finalmente decide optar a una ctedra, leer finalmente su tesis con
Rafael Calvo Serer, un hombre que, a pesar de ser del Opus Dei, segn Manuel Garrido, rompa la
bipolaridad entre los falangistas y los escolsticos. Garrido llega a Valencia despus de dos oposiciones de
ctedra, celebradas a finales de los 50 (en las primeras compiti con Patricio Pealver, Gustavo Bueno y
Jess Garca Lpez). Pese a que segn Garrido haba realizado un apreciable papel al menos en las

19

44

Facultad de Filosofa y Letras de la Universidad de Valencia, ctedra que


ocuparahastasutrasladoaMadrid.PrezBallestar,queen1959habasido
nombrado profesor adjunto interino de lgica y metodologa de la ciencias
en la Universidad de Barcelona, continu en ese cometido hasta 1965,
cuandosetrasladcomoprofesordelgicaalaUniversidad(opusdesta)de
Navarra. En 1973 se incorpor a la UNED, en la que bajo la direccin de
Milln Puelles fue agregado contratado y, despus, adjunto numerario de
lgica, disciplina que a partir de 1977 impartira en la Universidad
Complutense a lo largo de cinco aos. En 1982 lleg a la Universidad de
SalamancacomoprofesoragregadoyluegoconsiguilactedradeLgicay
FilosofadelasCienciasenlamismaUniversidad,dondepermanecihasta
sujubilacinen1991.SacristnfueexpulsadodelaUniversidadbarcelonesa
en1965ytrabajcomotraductorycolaboradoreditorialhastalamuertede
generalgolpista.
Qu puede explicar que Sacristn se presentara a esta oposicin cuyo
resultado era ms que previsible dada la composicin del tribunal, los
curricula y posiciones ideolgicas de los candidatos y su propia situacin
acadmica y militancia poltica? Confi, por descuido u optimismo, en la
actuacindeunodelostribunalesuniversitariosdeaquelperodo?Nadade
eso. En una carta a Juan Carlos GarcaBorrn de 1959 se refera a su
perspectiva de fondo, a las razones que le impulsaron a presentaron a las
oposiciones a la ctedra de Valencia: No pienso que esa ctedra la pueda
ganar alguien que viva tan en offside como vivo yo y creo que hay
alguiencalificadoparaella,sealandoacontinuacin:
Pero si no la ctedra, s que busco con mucho inters dos cosas:
primera, terminar con mi falta de presencia en toda oposicin;
segunda,hacerunosejerciciosdecentesquedenarmasenBarcelonaa
los miembros de la Seccin que con la oposicin de otros querran
encargarmelaLgicadeaqu,queesctedranocubierta,nidotada20
primeras perdi en ambas. Las oposiciones funcionaban y funcionan como un sistema de acumulacin de
capital acadmico () Sacristn qued decepcionadsimo, segn Manuel Garrido, por recibir solo el voto de
Corts Grau (Jorge Prez Ballester recibi el de Gil Fagoaga). Durante la oposicin los tres candidatos
guardaron buenas relaciones, en los ltimos das iban a cenar juntos. Luego Garrido coment a GarcaBorrn (2004: 134), una vez concluidas, que le hubiera gustado traer a Sacristn como adjunto a Valencia.
20 Si bien, en una nota autobiogrfica de finales de los sesenta (M. Sacristn, M.A.R.X, El Viejo Topo,
Barcelona,2003),elpropioSacristnsealaba:
1. La decisin de volver a Espaa significaba la imposibilidad de seguir haciendo lgica y teora del
conocimientoenserio,profesionalmente.
1.1.Lascircunstanciasmellevaronluegoalainconsecuenciadenoevitarequvocos(oposicin,etc).Estees
unprimererror,nocronolgicamentehablando.
45


GarcaBorrn recuerda que cuando Garrido lleg a Valencia a tomar
posesindesunuevactedrafueavisitarle.GarcaBorrnlepreguntpor
Sacristn y le dio cuenta de su amistad con l. Garrido le habl de lo
excelente que haban sido sus ejercicios y de que tena intencin de
proponerlequefueraaValenciacomoadjuntodesuctedra.
Ignoro si Garrido lleg a ofrecer esta posibilidad a Sacristn pero no es
difcilimaginarsurespuesta.

Seacomofuere,tambinaqu,enestasoposicionesde1962,laobralgica
y filosfica de Quine, estuvo muy presente en el segundo de sus ejercicios,
en el escrito y exposicin oral del concepto, mtodo, fuentes y programa
presentadodeformaobligatoriaportodoslosopositores21.
En el sumario de fuentes, Sacristn trazaba el siguiente panorama de
estudio:
1.Obrasdehistoriadelalgica.
1.0.

Obrasgenerales.

1.1.Sobrelalgicaantigua.
1.2.Sobrelalgicamedieval.
1.3.Sobrelalgicamoderna.
1.4.Sobrelalgicacontempornea.

Entre las fuentes clsicas de la lgica, Sacristn inclua Aristteles,


Teofrasto,lasescuelasestoicaymegrica,PedroHispano,TomsdeAquino
y Pseudo Toms de Aquino, Guillermo de Ockham, Cayetano y Juan de
SantoToms,lalgicacartesiana,LeibnizyJ.S.Mill.Entrelasfuentespara
el estudio de la lgica contempornea, haca referencia a Boole, Schrder,
Frege, Peano, Russell y Whitehead, Hilbert, Heyting, Brouwer, Gentzen,
Tarski,Carnap,Gdel,Church,Lwenheim,SkolemyclaroestaQuine.Por
1.1.1.Enlamismaprimaveradel56lleguaesaconclusin.Loqueagravaelerrorposterior.
21LamemoriafuelabasedesusApuntesdefilosofadelalgica,Papelesdefilosofa,obcit,pp.220283,
unosapuntesqueseabranconlasiguientenotaapiedepgina:Estosapuntessonde196263.ElJournal
ofPhilosophicalLogicempezapublicarseenfebrerode1973.ElJournaldejaanticuadasvariasafirmaciones
crticasdeestosApuntes.
46

lodems,siguiinsistiendoensumemoriaenelescasoecofilosfico,hasta
aquellosmomentos,delalgicacontempornea:
La conveniencia de aplicar la reflexin nocional a la algortmica
simblica formalizada de la lgica contempornea ser pues
escasamente discutible. Esta circunstancia, empero, parece aconsejar
tambin que se tenga en cuenta lo que los autores de esos sistemas
formalespiensenellosmismossobreelpuntocentraldelaconcepcin
de lgico aqu presentada: su especial naturaleza abstracta. Pero las
consideraciones hechas no permiten verdaderamente abrigar muchas
esperanzas acerca de lo que los lgicos contemporneos puedan
brindarencuestionesdeconceptuacindelentelgicoydesupeculiar
abstractividad. Un estudio de los desarrollos de la doctrina de la
abstraccin en la lgica contempornea confirmar esa impresin (...)
Por lo que hace al problema de la abstraccin, la situacin descrita
hasta aqu podra ser calificada de mera laguna sin especial malicia
doctrinal se tratara simplemente del hecho de que los lgicos
contemporneos no suelen ofrecer una teora metasemitica,
proemial22, de la abstraccin. Si no fuera que esa limitacin puede
llevar a dibujar un horizonte fragmentario, y por tanto falso como tal
horizonte,delaproblemticaproemial.
En efecto: la abstraccin total practicada por el lgico a niveles
semiticosestoes,enelinteriordesusistemaformalnoponeen
crisis sus pobres concepciones filosficas (generalmente positivistas)
msqueendeterminadoscamposlalgicadeclasesodepredicados
de segundo grado mientras que le permite moverse sin tropezar
violentamente con la problemtica filosfica y proemial (o sin darse
cuentadequeconstantementeesttropezandoconella)enlalgicade
proposicionesyenladepredicadosdeprimergrado.

yalgomsadelante:
El equvoco de que adolece la limitacin que comentamos de la
doctrina de la abstraccin conlleva por ltimo una consecuencia
desastrosa para la lgica proemial. La utilidad que para sta puede
tenerlariquezayfinuradelaalgortmicasimblicaformalizadaradica
precisamente, segn se ha indicado, en que con sus indefinidas
Por lgica proemial entiende Sacristn la reflexin propiamente filosfica sobre la naturaleza de la
abstraccinlgica.
22

47

posibilidades de complicacin analtica (Feys) rebasa el reducido


horizontedelosesquemaslingsticoshabituales.Eserebasamientose
realizaprincipalmenteenelsiguientesentido:elalgoritmosimblicoy
formalizadodestacalasfuncionesorelacioneslgicoformalesyhasta
lasllegaahacerobjetosobreelqueexplcitamenteversaelalgoritmo
por ejemplo, en la lgica combinatoria. Con esto quedan aisladas y
ofrecidas directamente a la consideracin las relaciones de razn ms
propiamentelgicoformalespormsabstractas,propias,estoes,deun
nivel de abstraccin superior al de la relacin de razn basada en el
universal natural o platnico el universal significativomaterial
delaciencia.Puesbien:laactitudqueaqucriticamos,consistenteen
noplantearseelproblemaproemialonocionaldelaabstraccinsinoen
la lgica cuantificacional superior o en la teora real de clases, lleva
precisamenteanoverlomsqueenelterrenodelarelacinderazn
significativomaterial, o sea, al mismo nivel abstractivototal de
Aristteles. La actitud equivale por tanto a desaprovechar el
despeguedelasformasusualesdellenguajeelnivelsuperiordela
abstraccin total que ofrece el algoritmo simblico y formalizado
contemporneo.
Por su parte, Quine aparece en la memoria de oposiciones ya en los
compases iniciales de la parte primera: El concepto de la lgica. Apunta
aquSacristnquelaobradeAristtelesylalgicasimblicacontempornea
centranlasdosfasesmsfecundasdelahistoriadelalgicadesdeunpunto
de vista analtico. Slo pueden colocarse a la altura del primer gran
algoritmo de la historia de la lgica, la silogstica aristotlica, aparatos
formales como el clculo de la inferencia natural de Gentzen o el clculo
cuantificacionaldeQuine,indicandocomoreferenciaapiedepginadeesta
aseveracindosescritosdellgiconorteamericano:Onnaturaldeduction,
JournalofSymbolicLogic,15(1950),pp.93102,ylaspartesIIyIIIdeMethods
ofLogic,2edicinde1955.
La segunda referencia est localizada en las pginas dedicadas a La
inhibicin o neutralidad filosfica del pensamiento lgico
contemporneo.
Argumenta Sacristn en este apartado que en cualquier investigacin
lgicadeunnivelinteresantedesdeelpuntodevistadelaposibleaplicacin
alaformalizacindeteorascientficas,elconceptofundamentaldeverdad
era el de la tradicin filosfica y la razn natural, es decir, lisa y
48

llanamenteelaristotlico,conloquelaproblemticaconceptualyfilosfica
resultabainsertaenlainvestigacinlgicatcnicoformal,yennotaapiede
pginasealabaconaristacrtica:
Tampoco puede decirse como parece afirmar Quine en El sentido
delanuevalgica(tradcastellanadeMarioBunge,1958,pg77)queen
los lenguajes de grado elemental que cuentan con algoritmos
completos (como el de predicados de primer grado) la nocin
aristotlicadeverdadseasustituibleplenamenteporlaalgortmica.Es
verdad que en el algoritmo de Quine para la lgica de predicados de
primer orden una verdad cuantificacional es un enunciado que se
puede deducir de las matrices de tipo [elemental del lenguaje] por
medio de las operaciones del algoritmo. Pero la verdad de las
matriceselementalessiguesiendoentendidaenelsentidodelaverdad
delaapfansisaristotlica.

La siguiente referencia aparece en el apartado titulado La aclaracin


ostensiva de lo lgico. Apunta aqu nuevamente Sacristn que la mayora
de los lgicos contemporneos se recluye en una inhibicin que por su
prolongada vigencia se est convirtiendo en una verdadera ceguera para la
problemticaproemial,propiamentefilosfica.PruebadeelloesloSacristn
denomina definicin ostensiva o aclaracin ostentiva. As, es lgica, se
afirma,aquellaverdadenlaquenofiguraesencialmentesinoelvocabulario
lgico, es decir, un lxico bsicamente constituido por los trminos no,
y,o,etc.,aloqueSacristnaadecrticamenteapiedepgina:
Conestatorpeexpresin[vocabulariolgico]unlgicodelafinura
de Quine manifiesta naturalmente no una torpeza suya, sino su
concienciadelainsuficienciadelprocedimientodefinitorio(Cfr.Quine,
Elsentidodelanuevalgica,pgs.78).

La siguiente referencia aparece en La teora de la abstraccin entre los


lgicoscontemporneos,primerapartadodelcaptuloIII,Elentelgico.
La teora de la abstraccin que aparece en algunos tratados de lgica
contemporneos es de la abstraccin total y es adems, apunta Sacristn,
reducidsima,nosloenelsentidomaterialdecontarconpocasenseanzas
sinoensusentidodoctrinal:semantieneenunnivelestrictamentesemitico,
introducidoporyreducidoalestudiodelosabstractosdelclculofuncional
49

y sus variedades, sin desembocar nunca en el nivel propiamente


metasemiticodelalgicaproemial.
As, prosigue Sacristn, un autor como Quine, uno de los lgicos ms
interesadosporelproblemadelaabstraccinlgicaenrazndesuposicin
filosficageneralanticonvencionalistaydesutajantedistincinentrelgico
en sentido estricto y en sentido amplio, es decir, la lgica propiamente
matemtica,
[] no pasa en este contexto de ofrecer un par de formulaciones,
unafuerteyunadbildelprincipiodeabstraccin,lasegundadeellas
destinadaasalvarlaantinomiadeRussell,alrespecto.Trasproponer,
enefecto,elprincipiofuerte

(y)(x)(xyfx)

como enunciado de la circunstancia de que la pertenencia de


cualquier individuo x a una clase y queda determinada por la
capacidaddexdeserargumentodelafuncinabstractivaf.
Quine,concluyeSacristn,noseenfrentaconmsproblemticaquelade
la paradoja russelliana de las clases heterlogas y, como Neumann, la
resuelve formulando el principio de abstraccin en una forma restringida
quepostulalanaturalezadeelementodex.

Lasiguientereferenciaesunacrticaentornoaltemadelosuniversales.
Quinehabladelfundamentofirmeeindiscutibledelalgicaelemental,dela
lgica de enunciados y de predicados de primer grado. Para Sacristn la
palabraindiscutibleerareveladora:
Porquedelhechodequelalgicacuantificacionaldeprimergrado
no presente el problema de los universales genricos materialmente
significativosdelosuniversalesplatnicos,comonmero,par,
primo,etc.Quinevaaobtenerlainjustificadaconsecuenciadeque
slo en las otras partes de la lgica, en la cuantificacin de segundo
gradooenteorarealdeclases,hayproblemticaontolgicaestoes,
filosfica y proemial: la teora de la cuantificacin de primer gado es
lgicaneutralyterminada,libredetodocompromisoontolgicoA
diferenciadeella,lalgicadeclasesimplicaunaontologa.
50


ParaSacristnelequvocoeramanifiesto:loquerealmenteocurreesque
los problemas conceptuales y filosficos sorprenden con especial virulencia
cuandoenlgicadepredicadosdesegundogradooenteorarealdeclases
se tiene que tratar como objetos segundas intenciones naturales o
platnicascomoblanco,entero,nmero,etc.Peroesonoquieredecirque
enlalgicaproposicionaloenlgicadepredicadosdeprimerordennoest
ellgicomovindoseconstantementeentresegundasintenciones:
Si es un problema saber qu son dichos predicados materialmente
significativos en diversos grados, por qu no va a ser problema a
concepcin de segundas intenciones como negacin, disyuncin,
conjuncin,condicional(oimplicacindiodoreana),etc.?
Larespuestausualporqueenlalgicaproposicionalnohaynecesidad
dehablarsobreesassegundasintenciones(lasfuncionesveritativas)sinoque
basta hablar con ellas, mientras que en lgica de predicados de segundo
grado o en teora real de clases se tiene que hablar sobre los predicados,
sobre las clases, sobre los abstractos no es una reflexin ni mucho menos
concluyente
Es patente, empero, que esa contestacin responda a un pobre
casusmo y no conoce una problemtica sistemtica de lo lgico. Esa
problemtica,laproemial,existepors,sustantivamente.Porelpropio
intersnocionalpreguntaqusonenteslgicos,ynosloenelcasode
que en una determinada teora no tenga ms remedio que
preguntrseloydaralgunacontestacinparapoderseguiradelanteen
formacomunicable,comprensible.

SerefierenuevamenteSacristnalaobradeQuineapropsitodelente
de razn lgicoformal, afirmando que tambin en este terreno ha sido el
lgico norteamericano el que ms profunda y felizmente ha sabido
interpretar la moderna algortmica. Su argumentacin sobre el carcter no
sustantivo de la variable cuantificada era concluyente en opinin de
Sacristn. En ella se basaba para presentar una de las proposiciones ms
caractersticasdesusideaslgicas,laconcepcinpronominaldelavariable
individualalaqueanteriormentehemoshechoreferencia.Lajustificacinde
la idea de que las letras x, y, z, auxiliares de la notacin cuantificacional,
eran los pronombres lgicos, permita desembocar definitivamente en el
51

terrenodelalgicaproemialyenlasconcepcionesdefendidasenesembito,
aloqueaada:.
Efectivamente: el objeto (individual) designado por el algoritmo
lgico no puede ser cierto. Su nombre pues nombre podra tener,
pese a la rigurosa tesis de Quine. Sera el de cosa, paralelo del
nombre metafsico ente, segn la tesis del paralelismo de las
abstraccionescorrespondientes.
La cosapunto, la mxima abstraccin total practicable sobre el
individuo real, es el soporte o trmino de la relacin de razn lgico
formal,elobjetoltimodelalgica.

Sacristn finalizaba este apartado con una crtica a la tesis 2.021 del
Tractatus que presentaba los objetos a los que se refieren las variables
individuales del algoritmo lgicoformal como la sustancia del mundo,
una concepcin impropia, en su opinin, presente en los lgicos
contemporneos, Quine entre ellos, pese a su fino tratamiento del tema:
Para Quine tambin, en efecto, el objeto individual contemplado por la
lgicapuedeserconcreto.

A partir de este comentario slo hay referencias puntuales, muy


ocasionales,alaobradeQuine.SloenelcaptulocuartodelamemoriaEl
concepto de la lgica, en el apartado Consecuencias crticas, podemos
hallarunareferenciamsdetalladaapropsitodeladistincinentrelgica
en sentido estricto y lgica en sentido amplio. Sacristn recuerda que en
lgicos tan diversos como Carnap y Quine se manifiesta esta distincin
aunque sea con diferente terminologa (en Carnap, lgica pura y lgica
aplicada). Y uno y otro, en su opinin, coinciden en una inconsistente
fundamentacindeesadistincinyacomentada:lalgicapuranosuscitara
problemticafilosficamientrasquelalgicaensentidoamplioqueresulta
inevitablemente pertrechada de una semntica, de una interpretacin,
estara grvida ella sola de problemtica filosfica. La tesis de Sacristn,
como se recuerda, era que la problemtica filosfica proemial subyaca
tambin a la lgica pura. La distincin, sin embargo, era digna de ser
recogidaensuopinin,sibiensufundamentosehallabaenladoctrinadela
abstraccin.

52

Lalgicadeclasesesdiversadeladepredicadosdeprimergrado
porque la abstraccin en ella practicada es de nivel inmediatamente
inferioraldesta(almenoscuandoenteorarealdeclasessemanejan
ya conceptos que resultarn fundamentales para la matemtica). Las
relaciones que estudia la lgica de clases no siempre lo son entre
objetoscualesquierasinomuyamenudoentreagrupacionesdeobjetos
clasesdefinidasporunapropiedad,oentreindividuosyacalificados
ciertoquedemodogenricoporsupropiedaddeperteneceratalo
cual clase sealada. Los individuos de que vale el quinto axioma de
Peanonosonindividuoscualesquiera,sinoindividuosdeciertasclases
determinadas.

NohaymsreferenciasaQuineenlamemoria.Apesardelresultadode
las oposiciones y de la creciente y arriesgada implicacin poltica de
Sacristn en las filas del PSUCPCE, las referencias a la obra de Quine no
finalizaronenestaMemoriadeoposiciones.

53

6.UNACONFERENCIASOBREFORMALISMOYCIENCIASHUMANAS

Enenerode1960,laFacultaddeCienciasdelaUniversidaddeBarcelona
organiz un breve seminario con el ttulo Cinco lecciones sobre ciencia
natural y filosofa en Occidente: ayer y hoy, a cargo del doctor Manuel
Sacristn, entonces profesor de Fundamentos de Filosofa en esa misma
Universidad.Laslecciones,queseimpartieronenelaula1deCienciasyen
la de Qumica General, fueron las siguientes: lunes 11: La situacin actual
delarelacinentreciencianaturalyfilosofa;mircoles13:Elorigendela
filosofaydelaciencianaturalenOccidente;viernes15:Ciencianaturaly
filosofa en la Edad Media occidental; lunes 18: El conocimiento de la
cienciamoderna;mircoles20:Unascuantasconclusiones.
El guin de la leccin primera23 La situacin actual de las relaciones
entreciencianaturalyfilosofasiguielsiguientedesarrollo:
1.Losfilsofoscontemporneosantelacienciadelanaturaleza.
1.1.

Elantirracionalismofilosfico.

1.1.1.Exposicin.
1.1.1.1.Bergson.
1.1.1.2.Heidegger.
1.1.2.Crtica.
1.2.

Elpositivismoantifilosfico.

1.2.1.Exposicin.
1.2.1.1.Laideadesentido.
1.2.1.2.Laideadeproposicinemprica.
ReservadelaBibliotecaCentraldelaUniversidaddeBarcelona,fondoSacristn.

23

54

1.2.2.Crtica.
2.Laaspiracinfilosficadelaciencianaturalcontempornea.
2.1.Enlascienciasfsicas.
2.2.Enlascienciasbiolgicas.
3.Balancedelcuadroynecesidaddeunexamenhistrico.

Hubo aqu ms de una referencia a la obra y aportaciones lgico


filosficasdeQuine.NofuelanicaocasinenqueSacristnhizoreferencia
a la obra del lgico y filsofo norteamericano en una intervencin pblica.
Dos aos ms tarde, mediados de 1962, casi al mismo tiempo que las
oposiciones de Valencia, Sacristn imparti una conferencia sobre
Formalismo y ciencias humanas en el Aula Magna de la Universidad de
Barcelona dentro de un ciclo en el que igualmente intervinieron Ramn
TamamesyGonzaloArniz.Seconservanelesquemadelaintervencinyla
trascripcindelamismaque,contodaseguridad,nopudoserrevisadapor
elpropioSacristn24.
steiniciabasuintervencinconunaspalabrasmuyconsistentesconsu
nocinyprcticadelfilosofar:
En el fondo siempre tienen algo que disculpar cuando, los que no
somos propiamente cultivadores especialistas de ninguna ciencia
social,nosmetemosenellas.Loqueocurreenmicasoconcreto,como
esunacosaquetengoquehacermedisculpartodoslosdasdesdehace
muchos cursos, ya pueden Vds. haber perdido la impresin de ello,
peroescosaquecuandonosetrataslodelosalumnosdemiclase,me
interesarepetirporlosiguiente:porqueaunqueseaunlugarcomn,
y un lugar comn verdadero, hoy la filosofa tiene una pretensin de
universalidad que afecta, naturalmente, al conjunto del rbol de las
diversasdisciplinasnohayningunadudadequeparaunfilosofarsea
un poco slido y no mera especulacin tiene que hacerse, por as
decirlo, desde dentro de cada campo, del campo al que en cada caso
afectaalanlisisfilosfico.

Ibidem.

24

55

El tema del formalismo en las ciencias sociales era un tema que haba
surgido antes en filosofa que en las propias ciencias sociales. Se haba
presentadoantesenlosgrandesfilsofos,enPlatnporejemplo,queenlos
cultivadores de ciencias empricas. La historia de la temtica justificaba en
partelamalafamadelaspocasdeflorecimientodelcultivodeloformal.En
cienciassocialeselsupuestoexcesodeformalismoshabaconducidotambin
muy pronto a protestas. Algunas, en opinin de Sacristn, eran de escaso
inters,comoporejemplolareaccinvitalistaensociologarepresentadapor
DiltheyyrepresentadaentrenosotrosporOrtega,propugnadoradeuna
consideracin ms bien literaria y esttica de lo social y contra el tipo de
consideracinpositivistatendentealacuantificacinyalaformalizacinde
finalesdesiglo.Sinembargo,msseriamente,almenosdesdeelpuntode
vistadelapositividadcientfica,losmismosespecialistasencienciassociales
pensabanquesehabaexageradosobrelasesperanzasenlamatematizacin
yformalizacinenCienciasSociales.
El tema de que pueda exagerarse en la formalizacin de un
conocimiento positivo llegando a desprenderse de la realidad es un
temaclsicoperovamosadiscutirlopartiendodeunaformulacinde
autores contemporneos. No se trata propiamente de economistas,
aunque s de autores muy relacionados con la Teora Econmica,
aunquesuespecialidadmsbienpodraser,selespodrallamarms
bien, epistemlogos de las ciencias sociales. He escogido dos que me
parecenmuyrepresentativos:unoesPapandreou,elotroesGranger.

Papandreou25 motivaba la desconfianza respecto de una excesiva


ambicin formalizadora en ciencias sociales y concretamente en teora
econmica con la siguiente reflexin: en metateora econmica era posible
demostrar que era imposible construir modelos o sistemas axiomticos que
fuerancategricos,quenofueransusceptiblesmsquedeunainterpretacin
o de interpretaciones rigurosamente isomrficas. De ah se derivaba la
consecuenciadequelasteorasdelaEstticacomparativafueranteorasque
manifestaran,porasdecirlo,unapolivalenciasemntica.

Sacristn,comoseindic,tradujoypresentparaZeteindeArielLaeconomacomocienciadePapandreou,
encolaboracinconJosM.Lasun.Vasesupresentacinenanexo2.

25

56

Granger26 argumenta la misma desconfianza respecto a la excesiva


ambicin formalizadora y fundamentaba esa desconfianza hablando de la
hiperdeterminacin de los conceptos sociales: en Ciencias Sociales, el
especialista,adiferenciadeloqueocurreenCienciasNaturales,tropiezacon
conceptosqueyaenestadobruto,enestadoprecientfico,sonsignificativos,
estnyaintegradosenalgnmodelotcito,intuitivo,vulgar,tradicional.
Esto hace que cuando se reduce drsticamente el concepto social,
quitndolodeesaespeciedesistemasignificativo,vulgar,unosealeje
muchodelarealidadvivida,msdeloqueunosealejadeella,segn
Granger, cuando esa misma reduccin, que es la formalizacin, se
operaenCienciasdelaNaturaleza.

Lo primero que anota Sacristn es que en realidad la diferencia de


situacinepistemolgicaentrelascienciasnaturalesylassocialesnoestan
global.Msinteresanteera,encambio,laobservacindePapandreousobre
la polivalencia semntica o polisemantismo de las teoras econmicas ms
elementalesoporlomenosnolasmscomplejas.Sinembargo,delteorema
deLwenheimSkolemsalalademostracindequeeraimposibleconstruir
unsistemaaxiomticocategriconoyaparalaEstticaeconmicasinopara
los reales y del teorema de Gdel sala tambin la demostracin de que
tampoco es posible construir un sistema axiomtico categrico ni siquiera
paralosnmerosnaturales.
Conestaprimeraobservacinaunoleextraaqueunlgicocomo
Papandreou piense que la polivalencia semntica es un rasgo
especialmentenefastodelasCienciasSociales,porejemplo,delateora
econmica, cuando ese mismo rasgo resulta darse, no ya en
matemtica superior, sino en aritmtica. Y no hay ninguna duda de
que en aritmtica es un mal: est claro que para la teora del nmero
natural resulta molesto no poder contar con un conjunto de axiomas
que sean categricamente representativos, digamos, del conjunto de
los nmeros naturales. Pero, en cambio, en mi opinin, no est nada
claroqueesapolivalenciasemnticaseaunmalparacienciasempricas
engeneral,paracienciaspositivas,noyaparaCienciasSociales.Porlo
siguiente: Vds. saben que el concepto de campo en Fsica naci
propiamente en relacin con nociones elctricas y magnticas,
Igualmente,SacristntradujoparaArielen1965FormalismoycienciashumanasdeG.G.Granger.Vaseel
anexo3.
26

57

propiamente electromagnticas; luego, el concepto se ha extendido


bastante a dominios muy diversos y que yo sepa subrayo el que yo
sepa y subrayo en mi opinin porque naturalmente que no soy
competente en Fsica, como naturalmente tampoco lo soy en Ciencias
Socialesseriamentepero,queyosepa,nadiehaconsideradounmalel
hechodequeelconceptodecampollevaraenslaposibilidaddeuna
polivalencia semntica. Al contrario, esto ha parecido muy bien en
Fsica y ha sido considerado progreso, progreso de la Fsica, el que
fuera posible someter en general, no ya a propsito del concepto de
campo, dominios tericos y ramas tericas distintas a leyes que
contenan nociones al principio pensadas para uno solo de esos
campos.Naturalmentequeconesto,enFsica,dondelasabstracciones
estn ya muy elaboradas se produce a la larga una unificacin de
conceptuacin que anula lo que tenga de intranquilizador la
polivalencia semntica, pero no veo tampoco que est escrito en
ninguna parte que este mismo proceso no pueda ocurrir en Ciencias
Sociales.

En el nico campo en el que era molesto que una construccin terica


formalizadatuvieraqueserpolivalentesemnticamenteeraenmatemticas.
Ms concretamente en aritmtica y, ms especficamente, cuando estaba en
juegolaideadenmero.
Deaqupodramostomarunabaseparadarnoscuentadequesila
funcinformalizadorapuedetenerexigenciasdiversasenlateoradel
nmeronaturalodelnmeroengeneral,yenotrasteoras,entonceses
que la formalizacin no funciona en esas diversas teoras segn los
mismos criterios, sea dicho en trminos ms vitales, ms interesantes
directamenteparanosotrosenCienciasSociales.Esehechoquieredecir
que formalizacin no es sin ms cuantificacin, numerizacin, con lo
que he dicho antes que no llegaramos a ninguna conclusin
importante con esta discusin inicial llegamos a la nica conclusin,
no demasiado importante, a que esto poda llevarnos. A saber: a que,
por lo pronto, el prejuicio segn el cual introducir formalismos en
Ciencias Sociales es reducir lo humano a nmeros, por decirlo del
modo ms vulgar, es un prejuicio absolutamente insostenible.
Formalizacinnoquieredecirnimuchomenosaritmetizacin.

58

Formalizacin, en todo caso, no era cuantificacin ni mucho menos


aritmetizacin.Queraentoncesloformalsepreguntaba?Sacristnbasaba
surespuestaenlasreflexionesdeQuine.
Si Vds. me permiten, para ahorrar tiempo que nos har falta para
otras cosas, decir una frase definitoria, un poco metafrica y un poco
dogmticamente,
sin
mayor
fundamentacin,
apelando
fundamentalmente a la intuicin de Vds., dir, siguiendo a un gran
lgicoamericano,aQuine,queloformalesalgoascomoelmarcode
posibilidaddelconocimiento.Quieredecirse,elconocimientoposedo,
concreto, en un momento dado, tiene determinadas normas de
construccin;ampliareseconocimiento,aadirleconocimientoimplica
respetar esas normas de construccin, salvo, naturalmente los casos
lmitesenloscualeshayaqueromperlaestructuramismadelateora.
Quineejemplificaestointerpretandodeunmododinmicoehistrico
lodelmarcodeposibilidaddelconocimiento.Ejemplificaestoconuna
metfora muy material, un poco brutal pero bastante graciosa,
ilustrativa, que vale la pena reproducir. Dice Quine: si el campo del
conocimiento en general puede ejemplificarse por un paralelogramo,
entonces ese paralelogramo no est en contacto real, directo, con la
naturaleza, con la realidad, ms que por su polgono, por sus lados,
mientras que el conocimiento estructurado permanece por regla
general interior a ese campo, no tiene ms que esos determinados
puntosdecontactoconlarealidadyest,segnloscasos,msomenos
lejos de la realidad, ms o menos lejos de los lados, de modo que
cuando en los lados se produce una crisis y hay que alterar algo,
tendremos que alterar proposiciones, formulaciones de conocimiento
queestncercadeloslados.

Las proposiciones formales, las proposiciones de la lgica formal eran


muy internas a ese rectngulo, de modo que eran las que ms difcilmente
alteraramos. Ellas eran como el ncleo de cristalizacin en torno al cual se
haba estructurado el rectngulo, lo que no quera decir de modo absoluto,
comoyahabaapuntadoensupresentacindeDesdeunpuntodevistalgico,
quenopudieranserobjetodeningunaalteracin.
Con esta interpretacin dinmica e histrica de lo que era ese marco de
posibilidaddelconocimientosepodamantenerlanocinensuopinin:silo
formal era el marco de posibilidad del conocimiento, sera respetado por
59

todoconocimientoautnticoaunquenotuvieraconscienciapropiamentede
sus elementos formales. Cuando los lgicos afirmaban que la teora de
conjuntos no formalizada estrictamente era una teora de conjuntos
ingenua, no estaban queriendo decir que fuera una teora de conjuntos
primitiva, ni que violara reglas formales. No, en absoluto. Slo estaban
apuntandoqueenesaformulacindelateora,loformal,lasreglasformales,
noestabandadasexplcitamente
[] las deducciones son correctas, lo que pasa es que no estn
especificadossuspasos,porejemplo,nilasreglasmediantelascuales
han sido realizadas. Pero obsrvese que precisamente en teora de
conjuntos surgieron aporas de cierta envergadura a finales de siglo,
queesasaporashanocupadoaloslgicosyalosmatemticosdurante
los primeros decenios de este siglo, que todava se encuentra en la
literatura lgica y en la literatura matemtica nuevas propuestas de
axiomatizacin o, por lo menos de retoque, de las dos clebres
axiomatizaciones de la teora de conjuntos obtenidas hasta ahora. Lo
que quiere decir que, incluso cuando es pensamiento matemtico, el
pensamiento no formalizado, en el cual no est explicitado lo formal,
tiene un riesgo, ms o menos grande, segn los casos, de violar lo
formal,queentreencontradiccin;dichoconlametforadeQuine,de
violar el marco de posibilidad del conocimiento autntico. De aqu el
deseo, la tendencia a formalizar al hacer ciencia, al hacer teora. Y
formalizar no ser entonces ms que introducir explcitamente lo
formal.

No hay ms Quine en esta conferencia. Pero la presencia, la alarga


presencia de la obra del lgicofilsofo norteamericano sigui estando muy
presenteenotrascontribucionesdeSacristn.Porejemplo,ensusmanuales
delgica.

60

7.LAOBRADEQUINEENLASINTRODUCCIONES

Sacristn public Introduccin a la lgica y al anlisis formal en 1964. Poco


tiempo despus, a lo largo del segundo semestre de 1965 probablemente,
escribiotromanualparalaeditorialLabor.IbaaserlaseccindeLgicade
una gran enciclopedia temtica que no lleg finalmente a editarse. Vera
SacristnAdinolfiseencargdesuedicinen1996.JessMosternescribi
unprlogoparasuedicinenVicensVives.Tantoenlaprimeracomoenla
segundaobrahayreferenciasalaobradeQuinequevalelapenarecordar
La primera referencia a Quine en la Introduccin (pgina 25)27 aparece a
propsitodeladistincinentreusoymencindelostrminos.Sacristnse
expresabadelmodosiguiente:
Los trminos perro, mesa, rbol, no representan
directamente ningn dato de los sentidos (sino una abstraccin)
cuando se usan como nombres completos y refirindose a su
significadocomo,porejemplo,enlaexpresin:
elperroesunvertebrado
Cuandoseusancomopartedeunnombrepropio,elnombrepropio
completopuederepresentardirectamenteundatodelossentidos.Por
ejemplo
esteperroesdeJuan
Untrminopuedetambinrepresentarseasmismocomodatode
los sentidos. En este caso se dice que ese trmino es a la vez usado y
mencionado.Porejemplo:

TomocomoreferencialaltimaedicindeIntroduccinalalgicayalanlisisformal,laedicindeCrculo
deLectores,haceaostambinagotada,queestuvoacargodeAlbertDomingoCurtoyVeraSacristn.
27

61

perroesbislabo
Sehaconvenidoenquelocorrectoesescribirentonces
perroesbislabo
(...) Por ltimo, un trminopuede ser mencionado y nousado, como
ocurreconeltrminohombreenelejemplosiguiente:
lapalabracastellanaquesignificaHomosapiensesbislaba

Esta terminologa, la distincin entre uso y mencin, comentaba


Sacristn,procedadeW.V.O.Quine.
Lasegundapresenciadelgicoamericanoapareceenlapgina81yest
motivadaporunareflexinsobrelosabstractosylasconcepcionesfilosficas
sobreellos,yconestaltima,sobreeltemadelosuniversales:
Unnombrecomnsignificasegnestounaclasedeindividuos,por
ejemplo, la clase de los individuos que son mesas, o la clase de los
individuos que son rboles. Pero una propiedad o una clase, no son
entidades concretas: la propiedad Serunamesa no existe como
individuo; tampoco la clase Mesa que es una entidad abstracta
construida mentalmente. Por tanto, si se admite que tambin los
nombres comunes son verdaderos nombres, se est admitiendo al
mismo tiempo que los abstractos pueden ser denotados igual que los
individuosconcretos.
Sobre este punto ha habido en la historia de la filosofa diversas
opiniones. En la Edad Media, esas discrepancias cristalizaron en tres
modos de concebir la cuestin, los cuales siguen siendo los bsicos
hasta hoy. Para el realismo, los abstractos (universales en la
terminologamedieval)denotanentidadesexistentes;lapropiedadSer
mesa tiene tanta realidad como los individuos a los que llamamos
mesas(omsqueellos).EstatradicinfilosficaseremontaaPlatn
(427347 a.n.e). El conceptualismo estima que el abstracto tiene una
existencia intelectual, ideal: el abstracto no denota una realidad
material, pero lo denotado por l tiene una consistencia o necesidad
interior.Elhombrenopuededecidirasuvoluntadsobrelosabstractos:
no los inventa, los descubre. El filsofo ms representativo de esta
tendencia fue en la Edad Media Pedro Abelardo (10791142). El
nominalismo sostiene que los abstractos son meras palabras que no
62

denotannada,invenciones,etiquetastilesparamanejarlarealidad.El
principalpensadordeestaescuelafueenlaEdadMediaGuillermode
Ockham (hacia 13001350), tal vez el ms grande lgico entre
AristtelesyLeibniz.Diversasversionesdeesasdoctrinassonhoyda
profesadas por importantes autores. Puede decirse que B. Russell ha
tendido al realismo, A. Church al conceptualismo y que W. V. O.
Quineesnominalista.

Lapresentacindelaconcepcinpronominaldelavariable,conacuerdo
explcitodeSacristn,eseltercermomentoenqueQuinetienepresenciade
laIntroduccin.Eslapgina85:
El papel sintctico o gramatical de la variable en los clculos y
lenguajes formalizados es parecido al del pronombre indefinido (y
demostrativo y relativo) en los lenguajes tnicos. As, por ejemplo, la
frmula
Px,

que suele leerse x es P o, simplemente, Px (pe equis) puede


leerse,puestoquexnosignificanadaconcreto:
cualquiera(cosa)esP.

La concepcin pronominal de la variable se debe a W. O. Quine.


Tiene dos ventajas: subraya el hecho de que la variable no es un
nombreypermiteprecisarculessonlascosasqueunclculoadmite
comodenotables.EstesegundomotivoeselquemsimportaaQuine.

LaltimareferenciaaQuineenlaIntroduccin(captuloVIII,pgina163)
esapropsitodelasargumentacionespordeduccinnatural28:
Ese tipo de deduccin an puede recogerse de un modo natural,
como acabamos de ver con el ejemplo del sistema de Peano, en la
concepcin axiomtica, mediante el aadido de axiomas materiales a
los formales. Pero el tipo de deduccin ms corrientes en la vida
cotidianayenlaprcticadelacienciaestodavaunpocodistinto.En
Paraunaaproximacinalanocindededuccin,vaseelanexo4.

28

63

las decisiones que solemos tomar cotidianamente van implcitas


deducciones a partir de premisas que son exclusivamente materiales,
dehecho,yslotilesparacadacasoparticular;enesasdeduccionesla
lgicaaparecesloenformadereglasdeinferencia,nodeaxiomas.La
estructuradeesegnerodeargumentacin,estudiadaporJaskowskiy,
sobre todo, G. Gentzen (19091945) y W. V. O. Quine, se llama, con
terminologadeQuine,deduccinnatural.

En Lgica elemental slo hay una sola referencia a Quine, en el apartado


dedicado a Frege en Esquema de historia de la lgica, a propsito de la
distincin entre uso de un trmino y su mencin, y no tiene especial
relevancia.
Fueenesosaosprecisamente,unodelosmomentosdeaugelgicodel
amigodeE.Casari,traductordeHasenjaegerycorresponsaldeGeymonat29,
cuando Sacristn fue expulsado de la Universidad y cuando pas a ser
miembrodelcomitejecutivodelPSUC.
Las dificultades y riesgos del momento no impidieron que poco aos
despusSacristnvolvieraaQuinetraduciendoWordandObject.Dehecho,
en la entrada Lgica formal que Sacristn escribiera en 1967 para la
EnciclopediaLaroussevolvaarecordaraQuineyLosmtodosdelalgicaen
labibliografadelanocindefinida.

SacristntradujoparaTecnosen1967,paraunacoleccinquedirigaTiernoGalvn,Lgicacombinatoria
de H. B. Curry y R. Feys. Este fue probablemente el motivo de unas cartas de Ludovico Geymonat
pidindolepresenciaenunseminariodelgicaqueseibaacelebrarenMiln.
29

64

8.PALABRAYOBJETO

Sacristn tradujo este nuevo clsico de Quine para la editorial Labor en


1968, el mismo ao en que tambin tradujo para esa misma editorial
coleccin Biblioteca Universitaria un manual de introduccin a la lgica,
Conceptosyproblemasdelalgicamoderna,escritoporGisbertHasenjaeger,de
quien fue alumno durante su estancia en el Instituto de Lgica y
Fundamentos de la Ciencia de la Universidad de Mnstser30. El texto de
Quine, con la traduccin de Sacristn, ha sido reeditado recientemente en
2001porlaeditorialHerder.
Noestoyseguroenestecasodelaautoradelasinformacionesdadasen
solapa ycontraportada. Para la ocasin, Sacristn escribi algunas notas de
traductor.Estassonlasmsrelevantes:
1. Quine: Pero queda una diferencia relevante en los usos que hacemos
uno y otro de condicional sintctico: yo lo limito al juicio del investigador
acercadeloqueharaelinformadorsiseleestimulara;enelplanteamientode
Carnap(p.58)
MSL: Los autores ingleses suelen distinguir entre condicional31 (en
indicativo) y condicional en subjuntivo. La distincin se basa en el
corrienteusolgicodesentenciascondicionalesenindicativoparaexpresar
una funcin lgica utilizada como correspondiente extensional de la
implicacin,lafuncinveritativaVFVV.Dadalaimplicacinlgicaoformal.
1) Los axiomas de la geometra eucldea implican el teorema de
Pitgoras puede usarse, dentro de ciertos lmites, como equivalente
extensionaldelaexpresinfuncional.
PuedenverselasdeclaracionesdelgranlgicoalemnG.HasenjaegerenIntegralSacristndeXavier
Juncosa,especialmenteeneldocumentalSacristnfilsofo.
31ParaunaaproximacindeSacristnalaproblemticadelcondicional,vaseelanexo5.
30

65

2) Si valen los axiomas de la geometra eucldea, entonces vale el


teoremadePitgoras.
Esta expresin extensional se enuncia en indicativo. Los problemas
lgicos que plantea no coinciden con los suscitados por condicionales con
subjuntivo en la prtasis (los que en la traduccin se llamaran
condicionalessintcticos),como
3) Si Cleopatra hubiera sido bizca, la historia habra sido diferente,
entre los cuales se cuentan aquellos cuya prtasis no expresa un hecho
(condicionales contrafactuales, como 3), as como los condicionales de
disposicinocualidadesfsicascomolasolubilidad,laconductividad,etc.

2. Quine: Consideremos como ejemplo el Non c niente del italiano.


Los aficionados a revelar paradojas pueden representar ese uso como una
violacindeladoblenegacin(p.87)
MSL: El autor familiar con la lengua y la cultura castellanas32 utiliza
comoejemplonuestroNohaynada.Puestoqueadaptamoslosejemplosy
razonamientos basados en el ingls, dando en su lugar otros basados en el
castellano,parececoherenteconstruiraquunejemplonocastellano.

3. Quine: Cuando el trmino de masa compuesto se presenta ms bien


como trmino general, como en Ese lquido es vino rojo (cfr sec. 20), sus
partes son tambin trminos generales; en estos contextos equivalen a cosa
rojaycantidaddevinoyelcompuestoesentoncesverdaderodecadauna
delascosasdelascualessonverdaderoslosdoscomponentesjuntos(p.141).
MSL: El deseo de mantener el texto castellano lo ms cerca posible del
ingls, cuando son tantas las adaptaciones (no meras traducciones)
inevitables, aconseja mantener vino rojo en vez de escribir vino tinto,
Tintonohabrasidoadecuadoparanumerososejemplosanteriores.

4. Quine: Otra especie estructural de ambigedad sintctica es la


de puntuacin o agrupacin de palabras. Podemos dar sentido a los
siguientesversosmediantedospuntuaciones:

Sinoandoerrado,QuineimpartimagisterioenalgunaUniversidadmexicana.AcasoenlaUNAM,sin
poderasegurarlo.

32

66

Lluviadelamaanayapresiente
Latierragristuventurosovuelo
Yenesperadetiseofrecealcielo
Delicadorosalrosaimpaciente.
MSL:SinpuntuacineneltextodeACostafreda33.

Ademsdeestasnotasdetraductor,enunadelascarpetasderesmenes
y anotaciones depositadas en Reserva de la Biblioteca Central de la UB,
puedeverseuncuadernocondetalladasanotacionesdeSacristnsobreesta
obra de Quine a partir de su edicin en The MIT Press, Cambridge, Mass,
1965. Vale la pena detenerse en algunos de sus comentarios. Cito por la
traduccin castellana del propio Sacristn y presento nicamente sus
observacionesalcaptulo1:Lenguajeyverdad34
1.Quine:Neurathhacomparadolacienciaconunbarcoque,siesque
tenemos que reconstruirlo, tiene que serlo plancha a plancha y sin
abandonarlo.Elfilsofoyelcientficovanenlamismabarca.Siconseguimos
mejorarnuestracomprensindeldiscursoordinarioacercadecosasfsicas,no
serreducindoloaunidiomamsfamiliar:nohayningunoquelosea.Ser
porelprocedimientodeaclararlasconexionescausalesodeotranaturaleza
entreeldiscursoordinarioacercadecosasfsicasyotrasvariasmateriasque
captamos,asuvez,conlaayudadeestediscursoordinarioquehabladecosas
fsicas(p.3(edicininglesa),pp.1920(edicincastellana)).
MSL: Es el prrafo final de una crtica al berkeleyismo sensedata del
lenguajedeprotocolo.
La crtica epistemolgica destructiva de la pretensin de un lenguaje de
protocolo de los datos sensibles es, por as decirlo, una crtica realista: ese
lenguajesebasaraengranmedidaconlareferenciaacosasfsicas.
Perocreoquenoesonoalteraoeliminaelproblemagnoseolgicobsico:
larelatividaddelacosa(no,ciertamente,elabsurdorealdesumultiplicidad
por sensedata, sino su sustituibilidad por otra cosa). La conclusin es
excelente:

Laeleccinpoticacastellanaes,claroest,deSacristn,quienhabareseadoparaelnmero2deLaye,
Nuestraelega,elprimervolumendepoesadeAlfonsoCostafreda.
34ParaelrestodeobservacionesdeSacristnvaseelanexo6.
33

67

Est plenamente justificado el investigar el trasfondo sensorial o


estimulativodeldiscursoordinarioacercadecosasfsicas.Elerrorseproduce
cuandosebuscaunsotobaseimplcitadelaconceptualizacinolenguaje.La
conceptualizacin es, si se toma a cualquier escala digna de consideracin,
inseparabledellenguaje,ynuestrolenguajeordinarioacercadecosasfsicases
msomenostanbsicocomopuedeserlounlenguaje(p.3,p.19).

AesosigueundesarrollodelametforanavaldeNeurath,suconcepcin
delasrelacionesentrelenguajeyconocimientodelarealidad,yestamisma
(p.4,p.21)
Nuestro barco se mantiene a flote porque a cada alteracin mantenemos
intacta la gran masa total. Nuestras palabras siguen teniendo sentido
admisibleacausadelacontinuidaddelcambiodelateora:modificamoseluso
deunmodosuficientementegradualcomoparaevitarlaruptura.Yasocurre
paraempezar,conlamismasolucinjohnsoniana,porqueelmismoponeren
tela de juicio los objetos no puede empezar coherentemente ms que en la
relacinconunsistematericoquesebaseennuestrapercepcinprovisional
delosobjetos.Estamoslimitadosencuantoapuntodepartida,aunquenolo
estemosencuantoaldellegada.
As,laproposicinsegnlacuallascosasexternasseconocenenltima
instanciasloporsuaccinsobrenuestroscuerposdebetomarsecomounade
variasverdadescoordinadas,enlafsicayencualquierotrocampo,acercade
cosasfsicasquealprincipionoestnteladejuicio.Esproposicincalificala
significacinempricadenuestrodiscursoacercadecosasfsicas,peronopone
enentredicholareferencia

Laculminacineselncleodesuteoradelaciencia(pp.45;pp.2122)
(Desde Analcese la construccin de teoras del modo que se quiera, el
hecho es que todos partimos a mitad de ella... hasta ... Esta diferencia
indicalaextensindelasoberanaconceptualdelhombre,edominiodentro
delcualpuederevisarlateorasalvandolosdatos).
Esonoesexacto:losdatosdependendeunateora.Losindiciosestn
definidoscomotalesporlateora.
Nohetomadonotadesuteoracrticaalafilosofadellenguajecomn,
losmales,dice,olvidanelcambiodeste.
68

2.Unaobservacinrelevanteparateoradelconocimientoydelaciencia:
que,apesardedeberrecusarlaideadellenguajedeprotocolo,tienemucho
inters(p.4).
3.Larecusacindelalneaberkeleyanaacabaporinducirexplcitamente
una recusacin de Wittgenstein (Tractatus) y una inversin del camino de
Kant. Y es interesante que todo eso arranque de la naturaleza social del
lenguaje,conconscienciahistrica:
Analceselaconstruccindeteorasdelmodoquesequiera,elhechoesque
todospartimosamitaddeella.Nuestrospuntosdearranqueconceptualesson
objetosdetamaomediosituadosamediadistancia,ynuestraintroduccina
los mismos y a cualquier otra cosa llega a medio camino de la evolucin
cultural de la especie1. Al asimilar esa ruta cultural tenemos poco mayor
conciencia de una distincin entre recepcin e invencin, sustancia y estilo
indiciosyconceptuacin,delaquepodamostenerdeunadistincinentrelas
protenas y los hidratos de carbono de la materia que ingerimos.
Retrospectivamentepodemosdistinguirloscomponentesdelaconstruccinde
teoras, igual que podemos distinguir entre las protenas y los hidratos de
carbono a pesar de que vivimos de ellos2. No podemos eliminar los aderezos
conceptuales sentencia tras sentencia, y dejar una descripcin del mundo
objetivo, pero podemos investigar el mundo, y el hombre como parte de l, y
averiguar as qu indicios puede conseguir de lo que ocurre en torno suyo3.
Restando entonces esos indicios de su conjunta visin del mundo, podemos
conseguir como diferencia la contribucin neta del hombre4,5 [...] y nuestras
imaginacionescientficascomoactividadesqueocurrendentrodelmundoque
imaginamos(pp.45;pp.2122)].
1)Elarranquehistricosocial.
2) El hecho de partida para su teora del conocimiento. No slo es un
hecho el conocimiento (Kant) sino tambin la posibilidad de analizarlo y
precisamenteusandoellenguajeprimario,queesensustancialoanalizado.
3)Elhechoenelcasoconcreto.
4)Mtodoresultante.
5) Punto dudoso, qu garanta tiene el supuesto implcito de cues
puros?Vanaserlossensedata?

69

4.Exponelapresindelaobjetividad(nosensedata)dellenguaje,porel
mecanismodepenalizacinsocial.
5. Quine: En cualquier caso, el mtodo cientfico, cualesquiera que sean
susdetalles,producelateora,ylaconexindestacontodoestmuloposible
de la superficie sensible humana consiste exclusivamente en el mtodo
cientfico mismo, sin el apoyo de ulteriores controles. En este sentido es el
mtodocientficoelrbitroltimodelaverdad(p.23;p.43).
El contexto de esta verdad tan formalista es que no puede hablarse de
verdadmsqueenelmarcodelateora.Esstaunacuestindeconvencin.
Pero fuera de ella queda el hecho del cambio de mtodo, en grande y en
pequeo, y el hecho de que se discuta acerca de mtodos. Quine teme
fundadamente llegar a intiles formulaciones pragmatistas. Por eso me
parecemsaconsejableextenderelconceptodeverdad.
Pero esa extensin tiene que hacerse segn los mismas lneas del
concepto cientfico de verdad (en otro caso, Heidegger y, en general,
conceptosmetafsicos).Yestopuedehacerqueelrbitroltimodequehabla
Quineseaunanlogovital(prctico)delmtodocientfico.
Queseseanlogo?Unmtodoesuncuerpodedecisiones.Elanlogo
es un cuerpo de decisiones. Algunos de sus elementos. 1. Recusacin de
falsedades recibidas. 2. Familiarizarse con el mundo (criterio: dominio;
contraHeidegger),superandolasubjetividad,elantropocentrismo.Potencia
comolibertad. En esesentido,principiodela prctica. Quelaesenciadela
verdadeslalibertadesadmisible,aunquelohayadichoHeidegger.Perotal
vez mejor la afirmacin inversa: la esencia de la libertad es la verdad as
vista.
6. Basado en la frase de Richard interanimacin de sentencias,
comienza a dar base analtica a su negacin de un supuesto lenguaje de
sense data. La primera formulacin es No podemos contentarnos con una
conceptualizacinpermanentedelflujopurodelaexperiencia:loquenecesitamoses
impurificarelflujo...(p.10).
Funcin productiva de lo sintctico. De eso pasa a la intervencin de
teoraoteora.
7. Establece que los modos de aprender palabras, los criterios
gramaticalesnoexplicanelproblemadelareferencialidaddelaspalabras(la
cuestindeloquehay).
70

8. Al final del captulo I hay un interesante desarrollo que empieza con


unacrticadePeirce:
A.Peirce[vol.5,407]llegadefinirdirectamentelaverdadabasedela
nocin de mtodo cientfico. La verdad sera la teora ideal a la que nos
aproximamos como a un lmite cuando usamos los (supuestos) cnones del
mtodocientficodeunmodocontinuosobreexperiencianueva(p.23,p.43)
B. Crtica: a) incorrecto uso de la nocin de lmite; b) no hay cnones
definitivos;c)nohayraznparacreerenunicidaddelresultado.
C.Conclusindelacrtica:
El mtodo cientfico es el camino hacia la verdad, pero ni siquiera en
principio suministra una definicin nica de verdad. Igualmente estn
condenadas al fracaso todas las llamadas definiciones pragmticas de verdad
(p.23;p.44).
D.Reflexincontroladora:tampocolateoralmitetotalpodradarel
criteriodeverdaddeunasentenciasueltasinoseconoceesateora.
E. Slo en el seno de cuerpo de teora tiene sentido hablar de verdad de
enunciados.
F.Ytermina(pp.2425;p.45):
Noshallevadotodoesoarebajarnuestrospuntosdevistahastaelpunto
de sentar una doctrina relativista de la verdad, que considere los enunciados
de cada teora como verdaderos para esa teora, sin admitir crtica superior?
No. Hay una consideracin salvadora: que sigamos tomndonos en serio
nuestra concreta ciencia acumulada, nuestra particular teora del mundo,
nuestrolaxoedificiototaldecuasiteoras,cualquierquesea.Adiferenciade
Descartes,contamosconnuestrascreenciasdelmomentoylasusamos,incuso
sumidosenelfilosofar,mientrasnolascambiemosaquoallporalgomejor
medianteloquevagamentesellamaelmtodocientfico.
La consideracin salvadora es una de las decisiones de mi cuerpo de
decisiones. El cual se explica mejor desde las reflexiones sobre el mtodo
comorbitroltimo(NosporquQuineparecedudarlo,enestedesarrollo
final.Talvezpornohacersistema).
Lasdecisionesdelanlogodelmtodosonprctica;peronolaprcticade
lospragmatistas(quepuedemixtificarseensatisfaccinnoveraz),sinouna
determinadaespecializacindelaprctica.
71


Despus de la Editorial Labor y Palabra y objeto vino, cuatro aos ms
tarde, la traduccin de Filosofa de la lgica para Alianza. Javier Muguerza
dirigalacoleccindondesepublic,JavierPraderaeraeldirectoreditorial.

72

9.FILOSOFADELALGICA

En 1969, el mismo ao en que present su dimisin como miembro del


comit ejecutivo del PSUC, Sacristn anot y coordin la traduccin del
DiccionariodefilosofadeDagobertD.Rubes,apartirdelaedicininglesade
1960.Paralaedicincastellanaescribiunabrevenotadepresentacin:
La edicin castellana del Diccionario de Filosofa dirigido por
DagobertD.Runesrespetatodassuscaractersticas,enespeciallagran
importanciadadaalasfilosofasnoeuropeasyalalgicaylateorade
laciencia.Juntoconlaexcepcionalcategoradelosredactores,hasido
precisamente la indicada caracterstica lo que ha determinado la
eleccindeltexto,pueselcriterioalqueresponde(eluniversalismoy
laanteposicindelintersporcuestionesrealmentevivasydiscutidas
hoy al respeto arqueolgico por viejos temas caducados) parece muy
oportunoparaelmbitodelalenguacastellana,especialmenteparael
europeo.Esecriteriosereflejaenlaextensindelosartculos,comoes
natural tratndose de un diccionario. Y as se observar, por ejemplo,
queelartculoLgicaformal(firmadoporunaautoridadtandestacada
como Alonzo Church) es 59 ms extenso que el artculo Metafsica, o
que el artculo Quanta, mecnica de los es 1/3ms largo que el artculo
Erigena,J.S.,etctera.
Lasnicasadaptacionesaquehasidosometidoeltextoinglsson:
a) breves complementos de informacin en algunos artculos
(sustancialmente,bibliografarecienteyfechasdehechosposterioresa
la edicin americana), y b) el aadido de los siguientes artculos:
Alienacin;Church,Alonzo;Gramsci,Antonio;Isidoro,San;Lukcs,Gyrgi;
Lesniewski, Stanislaw; Lukasiewicz, Jan; Mach, Ernst, Metafilosofa; Mises,
Richard von; Naturaleza, filosofa de la; Pearson, Karl; Popper, Karl; Quine,
73

WillardVanOrman;Schaff,Adam;Scholz,Heinrich;Tarski,Alfred;Teilhard
deChardin,P.;Vico,Giambattista;Zubiri,Xavier.
TodosestosartculosvanfirmadosconlasiglaS.

No fueron estos, sin embargo, los nicos aadidos. Sea como fuere,
Quine,WillardvanOrmanfueunaslasentradasfirmadasporSacristn:
Nacidoen1908.ProfesorenHarvard.Quineesautordeunsistema
de fundamentacin de la lgica y la matemtica que se propone
simplificar los sistemas principales (los del tipo RussellWhitehead y
los de tipo Zermelo) teniendo en cuenta las ventajas de unos y otros.
Ha sido tambin el principal sistematizador de los mtodos de la
deduccinnatural,iniciadosporJaskowskiyG.Gentzen.
Ademsdelalgicapositiva,Quinecultivalafilosofadelalgica
ydelaciencia.Hadiscutido,enparticular,lastesisconvencionalistas:
suopininesqueelconvencionalismoignoradatosdelproblemaque
intenta resolver, pues la comprensin de una convencin lingstica
presupone en realidad una previa comprensin (acaso parcial) del
problemaqueseintentaresolverconvencionalmente.
Quinehaaplicadolastcnicasdelalgicaparaestudiarlacuestin
deloquehay.Unlenguajecomprometeimplcitamentealquelousa
a reconocer como entidades los valores a que puede referirse con
pronombres(variablesdeindividuo).

Dos aos ms tarde, el 1 de abril de 1971, Javier Pradera, entonces


director editorial de Alianza, escriba a Juan Grijalbo35 hablndole de una
antologadeLukcseditadaporSacristn:
QueridoJuan:
Recibotucartade30demarzo.Teacusarrecibodeloslibrosque
meanunciastanprontocomoobrenenmipoder.
Creoqueamediadosdeabrilpodremoshacerteunaofertaenfirme
paralaedicinenbolsillodealgunosdelosttulos.

Para las cartas de este apartado, carpeta Correspondencia depositada en Reserva de la Biblioteca
CentraldelaUB,fondoSacristn.
35

74

Estuve24horasenBarcelonaenelfindesemanadeSanJos.Habl
con Sacristn de tu sugerencia de que fuera l quien realizara la
antologa [de Lukcs]. Al repasar mi carta anterior, veo que se ha
podido deslizar un equvoco respecto a la forma de remunerarle. No
pensabaenunporcentajefijosobreedicionessinoenunforfaitquese
aplicara exclusivamente a la primera edicinEl pago a Sacristn se
haraporunasolavezyacargodeese10%delaprimeraedicin.Sila
antologa estuviera bien hecha (cosa que no dudo) no sera difcil
vender100.000ejemplaresencincoaos.
MediceGabrielaqueharesidotuslibrosconelgenerosodescuento
prometido.
Unfuerteabrazo,JavierPradera

AlacartadePradera,queellamismahizollegaraSacristn,laseorade
JuanGrijalboaadiunabrevenota:
Sr.Sacristn:
queloestudieyquehablarnalregresomimarido.

La proyectada antologa de Lukcs no lleg a editarse finalmente. Pero


unaomstarde,20demayode1972,JavierPradera,quehabamilitadoen
elPCEhasta1965yhabasidocorresponsalyamableanfitrindeSacristn
ensusvisitaspolticasaMadrid,leescribacambiando,esos,detema,autor
ypropuesta:
QueridoManolo:
HemoscontratadoparalacoleccinAlianzaUniversidadellibrode
QuinePhilosophyofLogic.JavierMuguerza(queeselcoordinadordela
coleccin) cree que tal vez pudiera interesarte hacer la traduccin. En
principio, nos interesara mandar el libro a la imprenta a finales de
septiembre.Loshonorariosdetraduccinserande18.000ptas.
Unabrazoparalosdos,Javier

Diez das ms tarde, 30 de mayo de 1972, Pradera volva a escribirle


aclarndolealgunospuntosdesusugerencia:

75

QueridoManolo:
EllibrodequetehehabladoXavier36esQuine:PhilosophyofLogic
(Prentice Hall 1970). El libro tiene unas 300.000 pulsaciones y tus
honorariosdetraduccinseranunas18.000ptasylafechadeentrega
el30deoctubre(fechatopeporlaprogramacindeimprentas).
En este mismo sobre te acompao un catlogo abreviado de
Alianza para que me lo devuelvas con los ttulos que te interesan
sealados.Prefieroesteprocedimientoaldetratardeadivinaraquello
quenodebesignorar.
Mepareceincreblequenotehayanenviadotodavaejemplaresdel
GramscidesdeMxico37(1).DiralagentedeSigloXXIquetemande
uncatlogoparaquehagasunpunteocomoeldeAlianza.
Paradartenoticiasmsnecesitaraescribirunlibro,cosaque,como
sabes,meresultamsbiendifcil.(Heledoenunabiografade[Paul]
Baran que tuvo que psicoanalizarse durante tres aos para escribir la
Economa poltica del crecimiento: si el remedio no fuera tan
exageradamentepocodefiar,quizmedecidieraahacerlo).
Unabrazoparalosdos(mejordicholostres).Javier
(1)EscriboaOrfilahoymismoparaquelohagan.

En nota manuscrita, y con letra de Sacristn, puede leerse con alguna


dificultad: Sale a 126 la holandesa y llegarn a 145 ergo: 108/h 143
holandesas.Muymalpagado,peroquselevaahacer!.

SacristnrespondaalgunosdasdespuslascartasdePraderaaceptando
lapropuestaylascondicionesdelatraduccin:
QueridoJavier:
Perdona el retraso con que te contento. Varias cosas se me han
comido estos ltimos 15 das. Y muy diferentes. La ms molesta ha
sido paradjicamente alegre, a saber, que el neuropsiquiatra me ha
reducido drsticamente las dosis [] Y el asombro que me ha

XavierFolch,entoncesdirectoreditorialdeAriel.
SerefierealaAntologadeGramscieditadaporSigloXXIenMxicoen1970.

36
37

76

producido el prlogo de Rafael38 al Pinocchio, una sorpresa mixta de


gustoporlosprimerosprrafosytemorporalgunafalsedadgordaque
diceyporalgunafrasequenoestoyacostumbradoarelacionarconl
y que, por lo tanto, slo podra explicarme como irona (pues Rafael
odiauodiabajustamenteelhumor)enuncontextoquenomeparece
irnico. Ni creo que sea simple provocacin, porque l mismo me
escribi una vez que escribir para provocar es uno de los peores
instintosliterarios.
La verdad, si he de decirla toda, es que tambin me ha resultado
deprimente y poco espoleador para contestarte eso de que para dar
noticias tuyas hayas de escribir un libro. Escribir libros es malo, en
efecto.
Pero no traducirlos, que da de comer sin mancharse directamente
(...) Acepto las condiciones de traduccin de la Philosophy of Logic de
Quine. La fecha de entrega me resulta conveniente. La tarifa es
sustancialmente ms baja que la que ahora consigo en este humeante
emporio,peromehacegraciatraducirunpocomsdeQuine(dentro
deloquepuedehacergraciatrabajar).Asque,porm,adelante.(No
tengoniheledoeloriginal.Espero quemelosuministreAlianza).
Estartraducido,silorecibopronto,bastanteantesdel30deoctubre.
Demodoqueconvendraquemedijerasenquepocateconvieneque
mandeeltextocastellanoalaeditorial,apartirdel2025deagostoen
quelotendrterminadosimelomandanahora.
Unabrazoparatiyotrosparadistribuirsegnelndicealfabtico
denombresdellibroalquetereferas.

Javier Pradera responda el 19 de junio de 1972 acompaando su carta


conunacopiadelcontratodetraduccin:
QueridoManolo:
TeacompaoelcontratodetraduccindelQuine.Porimpresoste
enviamosunejemplardellibro
Notetomesdemasiadoalpiedelaletralasexcusasparanohabar
de uno. Solamente quera decirte que no poda darte noticias mas en
Rafael Snchez Ferlosio, con quien Sacristn mantuvo correspondencia regular hasta mediados de los
aossesenta.

38

77

forma de hechos, ya que ha sido el invierno ms desesperadamente


vaco de acontecimientos personales de la ltima dcada
(naturalmente,exceptounoqueyaconoces).Alavistadeesapobreza
de cosas que se puedan contar como noticia, solo quedara el recurso
denarrarlassensaciones(msanquelasreflexiones)queproducenla
soledad,lasmelancolas,etc.,locual,evidentemente,esmateriadeun
libro, que, si no se tiene mucho talento, puede ser una mezcla de
filosofemasynostalgias.
Comovers,hemoselevadoelpreciodelatraduccin.Tambinte
enviamosellibrodeQuinequehaeditadoRevistadeOccidente39.
Quedoalaesperadelcatlogopunteado.
Unabrazo,Javier

En el contrato de traduccin, subrayado cuidadosamente por Sacristn40


se hablaba ahora de una remuneracin de 22.000 ptas. El traductor, as se
haca constar en el documento, se comprometa a entregar su trabajo antes
del30deoctubrede1972.
Dosmesesymediomstarde,31deagosto,Sacristnvolvaaescribira
Javier Pradera desde Puigcerd anuncindole la finalizacin de la
traduccin:
QueridoJavier:
acabodecompletarhaceunosmomentoslatraduccindelQuine,y
telamandarunodeestosdas.Heredactadounasnotasparaelque
cuide la edicin, pero, de todos modos, me gustara ver el texto
impresoapoderser,yaencompaginadasantesdelatirada.Eneste
tipo de libro me parece inevitable una ltima revisin y eventual
correccindeltraductor.Notardaramsdetresdasenhacerla:cinco
das despus de enviarme un juego de compaginadas la editorial lo
recibiradenuevoyarevisado.Lapreferenciaporvercompaginadas,y
nogaleradas,sebasaenqueenalgunoscasospuedetenerintersque
dos trozos inmediatos de un mismo desarrollo no queden el primero
LgicamatemticadeQuine,entraduccinJosHierroSnchezPescador.
As, en la primera instruccin, se apuntaba La traduccin debe entregarse en original y copia,
uniformemente mecanografiado, en holandesas de 30 lneas por 70 espacios, repasada y corregida, de modo
que solo deban corregirse las erratas de imprenta en las pruebas de composicin. Las cursivas son los
subrayadosdeSacristn.

39
40

78

en pgina impar y el segundo en pgina par, y si eso se produjera,


intentara evitarlo; y tambin, se basa en la seguridad que as tendra
dequemiscorreccionesseranlasltimas.
(...)Tqutalandas?Undaquetengashumorparaellorecuerda
que no tengo ni base para imaginar cul es tu ambiente personal o
directoenestapoca,ydimealgunosdatos.
Unabrazo.
Estar en Puigcerd seguramente hasta mediados de mes. La
direccinessimplementeLosSauces.Paraevitarcomplicaciones,me
parececonvenientequenosemepaguelatraduccinantesdequete
avisedequeyaestoyinstaladoenBarcelona.Novoyatenerurgencia
deldineroenlasprximassemanas.

Sacristn acompa efectivamente su carta con una Nota para el


cuidadordelaedicindelaFilosofadelaLgicadeQuine.Estafechadael31
deagostode1972ydiceas:
1.Lasnotasdelautorestnindicadasmediantecifrasrodeadasdeun
crculo rojo. He adoptado este expediente, tras consulta con la editorial,
con objeto de reservar las cifras entre parntesis para el uso que hace de
ellas el autor. Creo que una buena solucin para la composicin sera
elevarlas.
2.Lasnotasdeltraductorseindicansloconasteriscos.
3. Las cifras escritas en el margen izquierdo de la traduccin ante el
trazo inclinado / indican el comienzo de la traduccin de la pgina del
originalinglsquellevaesenmero.Estopuedesertilparaelcontrolde
latraduccinyparalacorreccindelndiceanaltico.
4. En la traduccin del ndice analtico se indica en el margen
izquierdo el nmero que el trmino ingls traducido ocupa en el ndice
analtico ingls del original. Ese nmero est escrito a lpiz por mi en el
volumeninglsqueremito.Tambinesteexpedientetieneporfinfacilitar
la confeccin del ndice analtico. Hay varios trminos aadidos y uno
suprimido.
5. En la pgina 5 de la traduccin he dado completo el nombre del
autor: Willard Van Orman Quine. Este escribe slo Quine. Habra que
consultarlealrespecto.
79


Javier Pradera responda a Sacristn pocos das despus, el 8 de
septiembre, acusando recibo de su carta y de la traduccin, y sugirindole
nuevostrabajos:
QueridoManolo:
Solo unas lneas para acusar recibo de tu carta y de la traduccin
del Quine. No sabes hasta qu punto se agradece en una editorial
encontrar traductores que cumplen sus compromisos. Te lo pregunto
porpuroegosmo:noteinteresaraseguirtraduciendoparaAlianza?
(Hemos contratado, de la misa serie en la que ha aparecido el Quine,
los libritos de Hempel y Rudner41; tambin tenemos en contratacin
HumanUnderstandingdeToulmin).
EsperoirprontoporBarcelona,tendremosocasindehablarlargo
ytendido.
Unabrazoparalosdos,Javier

Por favor, indcame, a vuelta de correo, a qu cuenta corriente


bancariatenemosqueenviareldinero.

Sacristn contestaba tambin a vuelta de correo. Desde Puigcerd, el 11


deseptiembrede1972precisamente.
QueridoJavier,
acabo de recibir tu carta del 8. Claro que me gustara seguir
traduciendoparaAlianzacosascomoHempel,yToulmin.Interesarme,
desgraciadamente, no. Cuando termine este verano en sustancia,
dentro de 9 das habr traducido cuatro libros: un bonito ensayo de
un discpulo de Lukcs, G. Mrkus, para Grijalbo42; un trivial ensayo
de otra lukcsiana, A. Heller43, tambin para Grijalbo (es lo que estoy
acabando ahora); el precioso libro de Quine44; y una mierda45
EnensayodeRudnersobrecienciassocialesfuemuyconsideradoporSacristnyerarecomendadoporl
enlasclasesdeMetodologadelascienciassocialesdelos70y80.
42MarxismoyAntropologa.Fuepublicadoen1973enlacoleccinHiptesisdeGrijalbo,codirigidaporel
propioSacristnyFranciscoFernndezBuey.
43Hiptesisparaunateoramarxistadelosvalores.Editadoen1974tambinenlacoleccinHiptesis.
44FilosofadelaLgicaobviamente.Represe:preciosolibrodeQuine.
41

80

incalificable para Grijalbo: El varn domado, de Esther Vilar46, que he


traducido por peticin personal suya47, como favor, y firmando la
traduccin con una alusin cnica que l no pesca (he firmado
Mximo Estrella). Pues bien: Mrkus y la Heller me han reportado
porjornadadetrabajo(=5horas,incluidacorreccin)unpocomsdel
triple que el Quine. La mierda de la Vilar, exactamente cuatro veces
ms.Sabesquenomeinteresatenerdinero,sinoreducirelhorariode
trabajo. Si fuera consecuente, debera traducir slo mierdas. Por otra
parte,mesentculpableporelhechodequemicomentariodelprimer
precioofrecidoporAlianzaparalatraduccindelQuineprovocarasin
ms un aumento. No tengo carcter para que eso se repita. En
resolucin, creo que podramos llegar a un compromiso, por ejemplo,
traducir un mes al ao para ti quiero decir, para Alianza o Siglo
XXI48, al primer precio que proponga Ortega u Orfila, sobre tema
epistemolgico, a poder ser (incluida la lgica formal), o sobre tema
marxista(lodigopensandoenSigloXXI).Quteparece?
*
No me mandes el dinero a ningn sitio por ahora. Si por fuerza
tienes que cogerlo (por alguna razn contable), falsifcame la firma y
gurdalohastadentrodeunpardesemanasqueestarenBarcelona.
No tengo cuenta corriente en Barcelona sino una Cartilla de ahorros
cuyonmeronomes.TeescribiralrespectodesdeBarcelona.
*
RECUERDA QUE, SALVO GRAVE OFENSA DE LOS
CORRECTORESDEALIANZA,QUERRADARELVISTOBUENOA
LASCOMPAGINADASANTESDETIRARELQUINE.DEVOLVER
ENPOQUSIMASDAS.
Unabrazo(olosquehaganfalta)
Es muy infrecuente el uso de estos trminos por Sacristn. Casi no hay trmino afn en toda su
correspondencia.
46Curiosamente,el28deoctubrede1973E.VilarescribialseorMximoEstrella,traductordeElVarn
domado, ediciones Grijalbo, creo que sin ninguna irona, en los trminos siguientes: Al muy estimado
seorEstrella:LatraduccinqueustedhahechodemilibroElvarndomadoesmagnfica,absolutamente
perfecta.Lequedomuyagradecida.UnaedicindellibrodeVilar,acasolaprimera,sepublicen1975.
SacristnlaresecrticamenteparaJoveGurdia,larevistadelasJuventudesComunistas.
47DeJuanGrijalbo.
48Lapropuestanollegoamaterializarse.DespusdelaedicindelaFilosofadelalgica,Sacristnsigui
traduciendo para Grijalbo y Ariel, e igualmente para Anagrama, Blume, Crtica, Destino y Revista de
Occidente.
45

81


Sacristn volva a escribir a Pradera49, desde Barcelona esta vez, el 1 de
octubrede1972.
QueridoJavier,
Contestodeprisaadospreguntaspendientestuyas:
1: el ganar el mismo dinero en menos tiempo traduciendo para
Grijalbo no es slo cuestin de tarifas, sino tambin de textos. Lo
esencialparatrabajarmenoses,comoteescrib,traducirporqueras(en
alguno de los numerossimos sentidos en que es porquera la
aplastante mayora del impressum propio de la cultura superior), las
cuales no plantean nunca problemas serios de traduccin. De todos
modos, te digo lo que s de las tarifas de Grijalbo: son tarifas iguales
paracualquierlengua,peromsbajasparanovelaqueparaelrestode
sus temas (ciencia, filosofa, historia, arte, libros para regalo). S
imprecisamenteloquepagaasustraductoresdenovela(porlocomn
muymalos):entre70y80ptas.laholandesade2.100pulsaciones,pero
admitiendo generosamente como completa cualquier holandesa
honradamenteempezada,ascomolasque,porcontenerndices,etc.,
no son de lneas de 70 pulsaciones, y s exactamente lo que paga a
GarcaBorrn50,JacoboMuoz,FeliuFormosayamportextosdela
otrafamilia:110laholandesaaFeliuFormosa,125aJacoboMuoz,150
a GarcaBorrn y a m. Carga l con la totalidad de los gravmenes
fiscales,demodoquerecibimoslassuyaslimpias.Ahoravaasubirnos
a los cuatro, y creo que tambin a los de novela, aunque con estos es
muchomsduro.
Paracomparar:laholandesadelQuine(quemehaexigidomucho
ms tiempo que la de cualquier blablabl filosfico), me ha salido a
102ptas.aproximadamente.Peroterepitoqueelfactormsimportante
eslanaturalezadeltexto.Poresonomelasprometomuyfelicesahora
que hoy a empezar para Grijalbo el Capital51, aunque pactemos, hace
EsposiblequesterespondieralaltimacartadeSacristnperonohepodidolocalizarsurespuestaenla
documentacindepositadaenReservadelaBCdelaUB,fondoSacristn.
50 Juan Carlos Garca Borrn, el traductor de Teora y prctica del bolchevismo de B. Russell, colabor como
traductorenlacoleccinTeorayrealidaddeGrijalbo.FuetambinlquientradujoelvolumenVdela
HistoriadelafilosofadeCopleston,cuyatraduccinglobalestuvocoordinadaporSacristn.
51 Sacristn tradujo los libros I y II de El Capital (OME 40,41 y 42) y dej traducida la mitad del libro III.
InteresantesanotacionesdelecturadeltextomarxianopuedenverseenReservadelaBCdelaUB,fondo
Sacristn,parcialmentepresentadasenM.Sacristn,EscritossobreElCapital.ElViejoTopo,Barcelona,2004.
49

82

dos aos, 300 ptas. por la holandesa y aumentos por escala mvil
segn el ndice de precios de los productos alimenticios, lo que
probablementesubeahoralatarifa,almenos,a315ptas.
2. Querra no traducir fuera de mi programa Grijalbo sobre
todoahoraqueempiezoElCapitalmsqueenverano.Siteparece,t
me mandas texto en junio y yo te lo envo traducido a primeros de
octubre. Podamos adoptar incluso por si quieres hacer ya un
contrato la fecha del 10 de octubre como fecha de entrega, siempre
queyotengaeltextoelda10dejunio.
Unabrazo,Manolo

Finalmente,encartade25deoctubrede1972,Sacristnconfirmabahaber
recibidoloshonorariosdesutrabajo:
Apreciadosseores:
Sehahechoefectivalatransferenciade20.200pesetasordenadapor
ustedescomohonorariosdemitraduccindelaobraPhilosophyofLogic
deQuine.
Atentamente,ManuelSacristn

Filosofadelalgicaseeditfinalmente,enprimeraedicin,en1973.Como
era prctica habitual Sacristn acompa su trabajo de notas de traductor.
Seleccionoalgunasdelasmsrelevantes:
1.Quine:peroenelcasodeestateoraamatrizdealterativasquehay
queutilizarparadefinirlainformacineslatotalidaddelasdistincionesylas
combinacionesposiblesdelinsumosensorial(p.26)
MSL: El neologismo insumo traduce input. Tomo el trmino de
varias publicaciones hispanoamericanas de teora y poltica econmicas.
Input es trmino que procede del lxico de esa esfera. Otra traduccin
frecuente(enesasmismasciencias)esfactor(deunproducto,output).En
el contexto de Quine input quiere decir lo absorbido, lo recibido e
introducido.Porsuetimologa,insumomeparecesugerirlaideaconuna
apreciableplasticidad.LasinsercionesentrecorcheteseneltextodeQuyine
son traducciones inevitablemente muy libres que me ha parecido obligado
destacarcomoglosasointerpolaciones.
83


2. Quine: Considrese los trminos criatura con corazn, que
abreviaremosmediantecordiadoycriaturaconriones,queabreviaremos
mediantereniado(p.32).
MSL: Cuasiequvocos, chistes velados, retrucanos, citas no explcitas,
autoironas son procedimientos tan caractersticos del estilo de Quine que
parece forzoso intentar traducirlos. Ya antes de este paso ha encontrado
ejemplos el lector: la cita (sin entrecomillar) del Hamlet al comienzo del
captulo y la expresin mxima de la mutilacin mnima, maxim of
minimumofmutilation.

3. Quine: En la prctica los usamos; y aun usamos algo ms: los


functores(p.57).
MSL: Aunque en esta traduccin he admitido buen nmero de usos de
otros autores que han escrito lgica o de lgica, con objeto de facilitar la
normacin del lxico de nuestra lengua, y he alterado en alguna medida el
lxico de escritos de lgica o de traducciones de textos lgicos que he
publicadoenotrapoca,noconsigoaceptarlacrtica,queenalgunaocasin
semehadirigido,porelusodefunctor.Semehadicho52queelsonido/k/
de ese trmino es impronunciable por los castellanos. Pero yo creo que los
castellanoslopronunciamossindificultad,comoel/k/deinspeccin,yque
la dificultad fontica aducida es dialectal, propia a lo sumo del castellano
meridional,quizdeMadridparaabajo.

Igualmente,enunacarpetaderesmenesdepositadaenReservadelaBC
de la UB, fondo Sacristn, pueden verse estas breves anotaciones sobre el
ensayodeQuine:
1.

[Verdadysignificacin].

Quine:Laverdaddependedelarealidad;peroesunaconfusinbasarseen
eso para oponerse a que se llame verdaderas a las oraciones. El predicado
verdadestilprecisamenteenlassituacionesenque,anocupndonosdela
realidad, se presentan ciertas implicaciones tcnicas que nos mueven a
mencionaroraciones.Enestoscasoselpredicadoverdad,sirve,porasdecirlo,
Vctor Snchez de Zavala, en carta, en deslumbrante carta, depositada en Reserva de la BC de la UB,
fondoSacristn,entornoaIntroduccinalalgicayalanlisisformal.

52

84

para apuntar a la realidad a travs de la oracin; sirve como recordatorio de


que, aunque estamos mencionando oraciones, todo lo que importa es la
realidad(p.27).
MSL: El primer prrafo expresa lo que Quine admite como justificacin
delproposicionalismo.Elsegundo,suvisin.

2. [Gramtica] Prefiere no definir para todo lenguaje, sino considerar


inmanenteacadalenguaje,categora,construccin,morfemaylxico(p.40).
3. [Verdad] Verdad es satisfaccin por toda sucesin (p.64) basado en
satisfaccin(Tarski).
4.Interesantedesarrollosobreeldefinir(p.68).
5.[Elalcancelalgica]
Ynoesningndefectodelasversionesestructuralesdelaverdadlgicael
queexcluyandelcampodelalgicalaautnticateoradeconjuntos(p.10).
MSL:Laexcluyenporqueconellanovaleelcriteriodesustituibilidad.

6. [Lgicas divergentes] La observacin sobre que constructivismo no


implicaintuicionismo,ejemplificadaconlateoradeconjuntosdeWeyl.
7. [El fundamento de la verdad lgica]. Los tres rasgos de la lgica:
obviedad (u obviedad potencial), falta de objeto temtico especfico,
ubicuidaddesuuso(p.147).

PerotampocofuesteelltimoensayodeQuinetraducidoporSacristn.
Cincoaosmstarde,elautordePapelesdefilosofatradujoparaRevistade
OccidenteLasracesdelareferencia,apartirdelaedicininglesade1974.

85

10.LASRACESDELAREFERENCIA

RevistadeOccidentepublicen1977LasracesdelareferenciadeQuine.
FuetambinSacristnsutraductoryfuestalanicavez,sinoandoerrado,
quecolaborconestaeditorial.
La edicin castellana estuvo acompaada de la siguiente solapa cuya
autoracabeatribuiraSacristn:
W. V. Quine es, sin lugar a dudas, uno de los ms importantes
filsofos de nuestro tiempo. Perfecto dominador, por una parte, de la
lgica formal ciencia a la que ha aportado contribuciones que le
convierten en uno de los ms importantes lgicos vivos y, por otra
parte,granconocedordelafilosofatradicionalycontempornea,sus
obras filosficas son hoy ya verdaderos clsicos en la materia.
Podramos describir el talante intelectual de Quine como una sabia
combinacin de rigor formal y sensibilidad filosfica. Ello le permite
estudiarlosgrandesproblemasdelafilosofadesiempreconlasms
refinadastcnicasdelanlisislgicoactual.
Aunque los escritos filosficos de Quine son numerosos, es pieza
fundamentaldesuobraeltituladoPalabrayobjeto,talvez,deellos,el
ms conocido. Pues bien, el libro que presentamos al lector de habla
espaola constituye una prolongacin de esa obra, un desarrollo en
detalle de algunos de los problemas que aqulla dejaba planteados.
Cmo es que el hombre llega a ser capaz de comprender y dominar
unateoracientfica?Msengeneral:cmoesqueelhombreescapaz
dehablarnosloacercadecosasobservables,sinotambindeobjetos
abstractos? O bien: cmo es que a partir de los datos de los sentidos
podemos llegar a una concepcin general del mundo? He ah,
pudiramosdecir,lapreguntaalaqueQuinetrataderesponderenel
86

presente ensayo. Como se ve, y en contra de lo que pudiera hacer


pensarelttulo,msbienespecializado,delaobra,setrata,portanto
deunproblemacentraldelafilosofadetodoslostiemposqueQuine
vieneaestudiarconunanuevasutileza.Encontramosademsenestas
pginas algunas de las ms resonantes concepciones de Quine, en su
formulacin ms reciente y afinada, como, por ejemplo, su
impugnacin de la distincin tradicional entre lo analtico y lo
sinttico,osuideadeontologa.Escritoenelinimitableestiloirnicoy
penetrantedelilustrefilsofo,tieneestelibrounextraordinariointers,
no slo para los estudiosos de disciplinas filosficas tales como la
lgica,lafilosofadellenguaje,lateoradelconocimiento,sinotambin
paralosdedisciplinascientficascomolapsicologaolalingstica.

No es improbable que la misma presentacin del autor contenida en la


solapainteriorfueraescritaporSacristn.
Entre sus notas de traductor, la observacin a un paso de la excelente
IntroduccindeNelsonGoodmanesquizslamsrelevante:
NG: No tengo idea de qu son las races de la referencia, pero
supongoquetodoloquetienenpotencias,comolastienelareferencia,
tienetambinraces.Masenestepuntosoyprobablementeculpablede
cometerpordecirloconellxicodeLosmtodosdelalgica,alhacer
tablarasadetodoenunaagresincruenta,algoqueredundaraenuna
confusincompletaoacasoenungolpebajo(p.13).

MSL: Nelson Goodman hace aqu chistes exagerando la costumbre de


Quine el mejor escritor entre los lgicos de utilizar humorsticamente
palabras de la lengua cotidiana donde cualquier otro autor instalara un
trminotcnico,apoderserlatinoogriego.Yahacequinceaos,altraducir
MethodsofLogic[Losmtodosdelalgica],renunci,derrotado,areconstruir
los chistes con sweep y swoop, sobre los que aqu riza el rizo Goodman, y
traduje los pasos correspondientes sobre la tcnica del anlisis veritativo
funcionalusandoeltrminoresolucinysuverbo.Tambinaqurenuncio
atraducirelgraciosofuegoartificialdeGoodman,quediceas:ButhereI
amprobablyguilty,inthelenguajeofMethodsofLogic,ofmaking,inthefull
sweep of a fell swoop, what amounts to a full swap or even a foul swipe.
[Pero aqu probablemente yo est cometiendo el error de hacer, segn el
87

lenguaje de Los mtodos de la lgica, de golpe lo que representa un cambio


totaloinclusoungolpebajo].

Nohay,enestaocasin,otrasnotasdeintersgeneralapiedepginani
tampoco se conservan anotaciones u observaciones de lectura de sta que,
estavezs,fuelaltimaobradeQuinetraducidaporSacristn.Quedan,eso
s,doscartas,unaespecialmente,parafinalizar.

88

11.UNACARTADESDEHARVARD

En un congreso de Lgica y Metodologa de la Ciencia celebrado en la


UniversidadAutnomadeBarcelonaenlaprimaverade1997,ygraciasala
amablesugerenciadeunasistente,tomconscienciadelaposibilidaddeque
existiera alguna correspondencia entre Sacristn y el gran lgicofilsofo
norteamericano.
Algunos meses despus, con la inestimable ayuda de la filloga y
traductora Estefana Castillo, presuponiendo que la carta se perdera en
ocenicasaguasoenalgnotrorincnacadmico,escribdirectamenteaW.
O.V.Quinepreguntndoleporlaexistenciadeesacorrespondencia:

Dr.W.O.V.Quine
Dept.ofPhilosophy,EmersonHall
HarvardUniversity
Cambridge,MA42018
U.S.A.
30thNovember1997
DearDr.Quine:
Iamwritingtoyouinthehopethatyouwillbeabletokindlyassist
usonthesubjectconcerningDrSacristnscorrespondence.
In the Manuel SacristnGiulia Adinolfi Foundation we are trying
to gather the correspondence that Dr. Sacristn kept with several
philosophers and writers and, among them, with those he translated
intoSpanish.
89

From some conversations with colleagues by profession, I have


surmised that you and him may have some kind of epistolary
relationship as a result of the translations he made of some of your
unforgettableworks.
Therefore, having the permission of Mrs. Vera Sacristn Manuel
Sacristn and Giulia Adinolfis daugther, and provided you judge it
proper. I would be very grateful if you could send us a copy of that
possiblecorrespondenceyoubothmighthavekept.
Takingthisopportunitytoexpressyoumydeepestadmirationand
mymostsincererecognition,Ithankyouinadvanceandlookforward
tohearingfromyou.
Yourssincerely,

Casiavueltadecorreo,11dediciembrede1997,elfilsofodeHarvard,
el gran lgico discpulo de Carnap, de su puo y letra, me escriba
manifestandolosiguiente:
DearSr.Lpez,
IregrettosaythatIknewSacristnonlythroughhistraslations. I
findnocorrespondenceandrecallmore.
Sincerelyyours,
W.

V.Quine

Quine saba de las traducciones de Sacristn pero lamentablemente no


hubo correspondencia entre ambos. Sea como fuere, tal vez no sea
improcedente que las palabras de uno de los ms importantes lgicos y
filsofos del siglo XX sobre el que sin duda tambin ha sido uno de los
grandes filsofos, lgicos53 e intelectuales hispnicos de la pasada centuria
cierrenestaaproximacin.
Sea as, en el primer centenario del nacimiento del autor de Palabra y
objetoyLosmtodosdelalgica:asumemoriayaladesutraductor.

PuedeverseelltimoexamendeSacristndesusclasesdemetodologaenelanexo7.

53

90

ANEXO1.SOBREJUANDESANTOTOMS

En la memoria de oposiciones de 1962, pueden encontrarse notas de


interssobrelalgicaproemalisdeJuandeSantoToms,aquienSacristn
considerabaelmejorrepresentantedelatradicintomistaenlgica.stas
porejemplo:
a) Juan de Santo Toms ensea, en opinin de Sacristn, que el ente de
razncarecedeentidadpropiay,porconsiguiente,depropiainteligibilidad.
Suentidadlarecibeprestadadelarealidadcuyacomprensinfacilita.
b) Para Juan de Santo Toms nociones como las de predicado y sujeto
estn situadas con todo derecho entre las segundas intenciones de las que
tratalalgica.Laaportacindeesteautoraladoctrinatomistadelentede
razn prueba suficientemente que este ente no es pensado en aquella
doctrina meramente como un eidos platnico destituido, bajado a este
mundo,sisequiere,porAristteles.
c)Lanocindelfundamentorealdeciertoentederazn,delentelgico,
no es en Juan de Santo Toms recurso ocasional, sino doctrina bsica. La
fundamentacin y no la causacin eficiente es la relacin con la realidad
quevertebralaonticidadderaznlgica.
Observa Sacristn en su memoria que la doctrina versa en torno a la
relacindelentederaznlgicoconlarealidad,yaquesisetratadelentede
raznconsideradopsicolgicamentenopodradecirsequeslotienecuasi
causa.Lacuasicausacinformal,lafundamentacin, seaadeenelente
de razn lgico a la causacin eficiente psicolgica del ente de razn en el
intelecto,causacineficientequeescomnalentederaznlgicoyalente
depuraficcin.

91

Sentado este modo de intencionalidad, aceptando que el ente de razn


alude al ente real como a su fundamento, Juan de Santo Toms considera
resueltoelproblemaepistemolgicoplanteadoporlaonticidaddelarazn.
Sacristn observa entonces dos limitaciones en la tradicin aristotlico
tomista,especialmenteteniendoencuentaladecisivaaportacindeJuande
Santo Toms, en lo relativo a la doctrina del ente de razn, pese a
considerarlaunaconcepcinmuyslidayprecisadelentelgico:
1. La insuficiente abstraccin lgica que de hecho informa la
silogsticaaristotlicahacequeelentelgiconoseaconcebidopor
elaristotelismotomistaentodosuformalismo.
2. No hay en la voluminosa Lgica del maestro alcalano
prcticamenteunasolalneaqueindiqueconcretamenteelcamino
recorridodehechoporlafundamentacinrealdelentelgico.

Empero, esta segunda limitacin, seala Sacristn, fue superada en


principioporladoctrinadelaabstraccin,presenteyaenTomsdeAquino
ydesarrolladaposteriormenteporCayetanoyJuandeSantoToms,sinque
ello quiera decir que la doctrina tomista sobre este punto contenga
explcitamente una teora de la abstraccin lgica que d razn de la
naturalezasumamenteabstractadeuncorrectoalgoritmolgicoformal.
Igualmente cabe destacar este paso de la memoria donde Sacristn
comenta en trminos muy elogiosos la concepcin filosfica de la lgica de
JuandeSantoToms:
Peroelpuntocrticoqueaqunosocupahasidopercibidoanms
claramenteporJuandeSantoTomsconagudezadignadeadmiracin
cuando se piensa en lo impropia que es la silogstica tradicional para
dar pie a la siguiente observacin del maestro complutense: la
abstraccinlgica,comoladetodacienciaymximeenlacienciade
las segundas intenciones, es la abstraccin total. La abstraccin
metafsica es la formal, distinta por naturaleza y an contrapuesta
(recurdeselacontraposicindeambasporCayetano)alatotal.Ysin
embargounaabstraccintotalladelalgicaformalessemejantea
laabstraccinformalensutercergrado.Noservalorarexcesivamente
esetextodellgicoalcalanoelinterpretarlocomounavisinexplcita
del supremo nivel de la abstraccin total en que se mueve una
verdadera lgica pura, un algoritmo verdaderamente formalizado.
92

La semejanza de ese nivel con el grado de abstraccin de la


metafsicatradicionalconsisteenquetambinesaabstraccintotalest
libre de toda materia y como materia es en este contexto de las
segundas intenciones materia significativa, puede decirse que la
analogaencuestinentrelaabstraccinlgicoformalyeltercergrado
de la abstraccin formal consiste en su suma generalidad, que, por
encima de la generalidad limitada y determinada natural de los
gneroscientficos,considerapropiamentelageneralidadcomo tal,la
intencionalidadsegundacomotal,msquelassegundasintenciones...

Finalmente, un muy breve y elogioso comentario de Sacristn al Ars


LogicadeJuandeSantoToms(parteIIIdelaMemoria):
ArsLogica...,edReiser,IIReimpresssio,Roma1948,ensuSecunda
Pars, el monumento ms completo del pensamiento lgicofilosfico
tradicional.

93

ANEXO2.PRESENTACINDELATRADUCCINCASTELLANA
DEA.G.PAPANDREOU,LAECONOMACOMOCIENCIA

En colaboracin con J. R. Lasun, Sacristn tradujo La economa como


cienciadeA.G.PapandreouparalacoleccinZetein,delaeditorialAriel,que
lmismodiriga.Escribiademsunapresentacin,fechadaendiciembrede
1961, firmada conjuntamente con Lasun pero cuya autora, segn varios
testimonios coincidentes, es obra exclusiva suya. Representa una apretada
manifestacin de las posiciones metodolgicas iniciales de Sacristn en el
mbito de las ciencias sociales. Algunas de las preocupaciones vertidas en
este escrito se mantuvieron inalterables a lo largo del tiempo, como puede
corroborarseconlosapuntesdemetodologadelacienciadesuscursosde
19811982yde19831984.
*
La rapidez con que el pblico y los estudiosos espaoles han tomado
conciencia de la importancia de los temas teorticos en economa, es sin
duda,enltimainstancia,muybuenacosa.Peroelcrecimientorpido,enlos
adolescentes,igualqueenlacultura,sueleiracompaadoporeltontovicio
de la pedantera. El aspecto actual de la literatura y la enseanza de las
cuestioneseconmicasenEspaasonbuentestimoniodeello.Peroentrela
pedantera del adolescente y la de una produccin nominalmente cientfica
hayunadiferenciamuyimportante:ladeljovensecompensaconlaobrade
susaosposteriores;ladelescritorimpaciente,encambio,nodesaparecepor
el curso de un crecimiento natural; para una rama de la cultura, el
crecimiento slo puede ser fruto de examen de conciencia y propsito de
enmienda.

94

Seradesdeluegoinjustoafirmarquelapedanteraentreloseconomistas
seafenmenoexclusivodeculturasnacionalescomolanuestra;lorecientey
rpidodelaccesopblicoespaolalatemticatericoeconmicapuede,sin
duda, haber dado a aquella pedantera ms alas y ms lucro al pedante
queenotrospases.Perolascausasdelfenmenosonuniversales:movidos
porelplausibledeseodellevarsusestudiosaedadadulta,loseconomistas
hanincorporadomasivamentedelafilosofa,lalgicaformalylateoradela
ciencia toda una terminologa, principalmente analtica, que no se
desprendi de las ciencias naturales y, sobre todo, de las formales (lgica
formal y matemtica) sino cuando stas ofrecan a la especulacin y al
anlisis filosficocientfico teoras muy redondas y completas. Conceptos e
ideales como el de teora axiomtica o, en general, el de construccin
algortmica de un cuerpo de conocimientos no se han aplicado
concretamente en lgica o en matemtica sino doscientos aos largos
despusdesuprimeraformulacinmoderna(ladeLeibniz)ohastamsde
dosmilaosdespusdelosprimerosyparcialeslogrosdeesosideales(con
Aristteles y Euclides). En los estudios econmicos, por el contrario, ha
bastado con ver unas cuantas cosas, ms o menos claramente, para que los
especialistas se lanzaran a intentar articularlas segn los ideales de
conocimientoquetanlargagestacintuvieronenlascienciasformalesyde
lanaturaleza(1).
Ysiesopuededecirsedelosgrandesdelateoraeconmica,noharfalta
mucha fantasa para imaginar lo que ocurre entre individuos de menor
estatura. En frentica lucha por el prestigio, hay quien ya ha decidido no
sumarnuncams,sinointegrarsiempre;noformularhiptesis,sinollamar
teoraalprimerpardeideasqueseleocurren,ynocarecemosdepersonas
empeadasenaxiomatizaratodacostalascuentasdelavieja.
Pero como fondo de esas extremas y grotescas manifestaciones de la
pedantera de los economistas hay oscuridades conceptuales bastante ms
graves, y bastante menos imputables a pecaminosas intenciones
publicitarias. El presente ensayo de A. G. Papandreou puede contribuir
apreciablementeadisiparentrenosotrosdossobretododeesasoscuridades.
La una se refiere al concepto de teora; la otra, al carcter emprico de las
proposiciones econmicas. Por lo que hace al primer problema, la
terminologa adoptada por el autor y respetada en la traduccin es un
tantoinslita,peroseencaminaprecisamenteacombatirconeficaciaelmal
uso de la palabra teora: no todo conjunto de enunciados es una teora,
95

enseaensustanciaelautor,sinosloaquelcuyocampoderelevanciaest
unvocamente determinado; y ste no es el caso frecuente en economa.
(Papandreou da el nombre de modelo al conjunto de enunciados cuyo
campo de relevancia no est unvocamente determinado).
Consiguientemente, hay que admitir que los enunciados econmicos
componenrarasvecesteorasenelsentidofuertedeestapalabra,tomadode
lacienciadelanaturaleza.Deaqu,porloquehacealsegundoproblema,la
importanciadecisivadelaverificacinemprica.Esprecisanoyaporprurito
positivista, sino para dar sentido a los modelos econmicos. Estos, como
todoconjuntodeenunciadoscuyocampoderelevancianoesunvocamente
determinado, no tiene en rigor sentido pleno mientras no se le ponga en
relacin con algn campo emprico mediante operaciones de verificacin.
As pues, por grande que sea la utilidad de la construccin formal de las
teoras (modelos), de la formalizacin lgicomatemtica, en economa,
habr que tener presente siempre que el modelo formalizado no es por s
mismomsqueaqueljuegodelascuentasdevidrioqueinspiraHermann
Hesseunavoluminosayconocidanarracin(2).
Seguramente lo ms caracterstico del ensayo de Papandreou es que su
llamamiento a la sensatez emprica se arguye y construye con un
instrumental lgico de primera calidad, del todo suficiente a pesar de la
natural compresin de la materia en un volumen tan breve. El concepto
(formal) de estructura, tan oscilante y vago en la literatura econmica1, se
beneficiaespecialmentedelaaplicacindeeseinstrumentallgico,conuna
definicinqueacasotengacomonicoinconvenienteeldenoserfcilmente
intuiblepararelaciones(funciones)nonumricas.Peronoescosadeentrar
aqu en detalles que el propio autor resume con extraordinario talento
didcticoensuexcelentecaptulointroductorio.
Tanto por la difusin relativamente escasa de los estudios modernos de
lgica en nuestro pas cuanto por las peculiaridades de la terminologa del
autor, hemos tenido que poner algunas notas a su texto (3). Estas van
siempre precedidas por asteriscos, mientras que las del autor van
numeradas.
1) Jos Luis Sampedro ofrece en el cap.VII de su Realidad econmica y
anlisisestructural(Madrid,1959)uncompletoanlisiscrticoaesterespecto

Notassla:
96

1) De Entrevista con Manuel Sacristn (Dialctica) (Pacifismo, ecologa y


poltica alterativa, ed cit, p. 119), esta prudentsima y significativa
consideracinmetodolgicadeSacristnsobrecienciassociales:
[...]Cienciahasignificadovariascosas,inclusoenpocareciente.
En nuestro tiempo, su uso habitual est muy influido por la fsica y,
ltimamente,tambinporlabiologa.Unaconsecuenciadeesoesque
cuando la mayora de los filsofos de la ciencia hablan de ciencias
sociales no pueden referirse ms que a una parcela muy modesta del
conocimiento social, a saber, la ms formalizada o formalizable, unas
pocas cosas de economa y econometra, sociometra y psicometra,
lingsticaypoco ms.Elproblemanoesde solucin fcil,ni mucho
menos, pero creo, en cambio, que admite consejos metodolgicos
sencillos: el cientfico social debera preocuparse muy poco por el
hechodequeensucamponoexistancuerposconsistentesdesutilezas
analticofilosficas como los que existan para las ciencias de la
naturaleza. El cientfico social debera lanzarse alegremente a su
trabajo,singrandespreocupacionesfilosficometodolgicas,porquesi
nohaymuybuenafilosofadelascienciassocialeses,probablemente,
porquenohaymuybuenascienciassociales.Hacemsdesetecientos
aos que Hugo de San Vctor abra su Dialctica recordando a los
lectores que antes de que hubiera gramtica la gente hablaba, y
razonabaantesdequeexistieratratadosdelgica.Espresumibleque
tenga que haber slida ciencia social antes de que haya buen anlisis
filosficodeella.
2) Se refiere Sacristn a El juego de los abalorios. En los apuntes de sus
clasesdeFundamentosdeFilosofade195657,pgont.8,sealaba:
(...)Hayobjetoscuyanaturalezadefabulacin,einvencin,resulta
patente: pinsese, por ejemplo, en una isla desierta descrita en una
novela o, mejor, en los entes perfectos tratados en libros, como la
Utopa de Toms Moro, o en algn tipo o personaje mtico, como la
quimeraolassirenas.Elobjetoficticioes,porlogeneral,unagregado
arbitrario(arbitrariodesdeelpuntodevistaemprico)deobjetosreales
oideales.Unasirena,porejemplo,esunagregadoarbitrariodeobjetos
reales;eljuegodelasperlasdevidrio,descritoporHermannHesse
en la novela del mismo ttulo, es un agregado fantstico de objetos
ideales indefinidos. En el hecho de ser un agregado, es decir, de no

97

tener una unidad interna necesaria, est el rasgo caracterstico ms


observabledelobjetoficticio.

EnunodelosdebatesdeMetodologadelascienciassocialesde198182,
al discutir en torno a la investigacin punta en el campo de las ciencias
sociales, en economa ms concretamente, Sacristn haca igualmente
referenciaalanoveladeHesseenlossiguientestrminos:
(...) Hay una novela de Hermann Hesse (que en la moda
irracionalista es un autor muy ledo otra vez; se lea cuando yo eran
muyjoven,luegoseolvidporcompletoyahora[1981]hareaparecido
junto con la parapsicologa y la astrologa y las dems cosas as), hay
una novela, que a m es la que ms me interesa de Hesse, que es El
juego de los abalorios [...] Es la nica novela plenamente racional de
Hesse, lo que hace que sea menos leda. Pero es muy graciosa. Tiene
unafuerzacrticamuynotable,apartedeser,comotodaslascosasde
Hesse,unacosamuybienescritaymuybienconstruida.Eslahistoria
deunaextraaordenmonstica,omonasterio,quetieneporactividad
componer composiciones conmusicales, pero que, en realidad, no son
musicales,suejecucinesptica.Soncomposicionesqueseinterpretan
enunosrganosqueproducenarmonasdelucesycolores.Ytodala
existenciadeestaspersonasnotienemsfinalidadqueproducirestas
composiciones, que no tienen contenido, que no significan nada, que
notienenmsqueleyesformales.

La idea, lo que le hizo a Hesse escribir esta novela, prosigui Sacristn,


fuesulecturadelaobralgicadeCarnap.LeyHesseunmanualdelgica
moderna,leparecielcolmodelavaciedadyconellotuvoelestmulopara
escribirestanarracin.ConcluaSacristnsureflexinsealandoque
[...] si bien no es justo, hecho como stira de la lgica, porque la
lgicanuncapretendesermsqueeso,lgica(yaellamismaconfiesa
que est vaca, echrselo en cara sera absurdo), en cambio, a estas
alturas,lanovelapuedeservirparaexpresarelparcialfuncionamiento
en el vaco de gran parte de la cultura cientfica acadmica.
Entendmonos:notodoynoporcapricho,sinoporquecomomuybien
sehadichoantes,noexistenunoscriteriosclarosparasabercuandode
verdadesoseraunaexcrecenciaquevaldralapenanohacerycuando
98

puesalomejorllevadentropromesas,aunquenoseanprcticas,pero
sdeconocimiento,promesastericas.

3) Algunos ejemplos significativos de estas anotaciones de Sacristn al


textodePapandreou,seranlossiguientes:
1) AGP: El trmino proposicin se refiere a lo expresado por un
enunciado...
MSL: Esta terminologa, que es la corriente en la lgica contempornea
(salvo en que preferimos el trmino enunciado a la literal traduccin de
sentence,utilizadaporFerraterLeblanc,op.cit.),discrepadelatradicional,
lacualllamajuicioaloqueaqusellamaproposicinyproposicinaloque
aqusellamaenunciado.

2) AGP: (...) y, adems (dentro de ciertos lmites) puede sustituir


reglas de inferencia deductiva por frmulas iniciales o, a la inversa,
frmulasinicialesporreglasdeinferenciadeductiva.
MSL: Sin ningn lmite se hace esa operacin, eliminando todas las
frmulas iniciales, en los clculos de la inferencia natural, desarrollados
inicialmente por Jaskowski y Gentzen, y posteriormente por Quine. Estos
clculosnodan,porlotanto,demostracionessinoderivaciones.

3) AGP: (...) a saber, la distincin entre lenguajeobjeto o lenguaje


objetoymetalenguaje.
MSL: El lenguajeobjeto puede ser tambin llamado lenguaje de objeto
cuando se quiere significar en el anlisis del lenguaje cotidiano, por
ejemplo el lenguaje cuyas significaciones se refieren a la realidad, a los
objetos. Sistemticamente, la expresin lenguaje de grado cero tiene el
mismosignificadoqueladelenguajeobjeto.

4.AGP:Usaremosindiferentementelostrminosclaseyconjunto.
MSL:Encastellano,debereservarsemsprecisamentelavozclasepara
loscontextoslgicos,ylavozconjuntoparaellenguajematemtico(Enla
traduccinsesigueelusoindiferentedelautor).

99

ANEXO3.SOBREFORMALISMOYCIENCIASHUMANAS

Como responsable editorial de Zetein, para la solapa del libro de


Granger,escribaSacristn
Si el valor de la formalizacin en las ciencias de la naturaleza ha
sido universalmente aceptado,esen cambiodudosalafecundidadde
suaplicacinalascienciashumanas.GillesGastonGrangerensuobra
Formalismo y ciencias humanas justifica esta posibilidad mostrando el
pensamiento formal en las ciencias del hombre, no solamente como
reduccindelosfenmenosaclculos,sinoinclusocomoinvencinde
formasnuevasyacasodeunamatemticaoriginal.
Partiendodelestudiodellenguajecomoinstrumentonecesariodel
pensamiento cientfico, el autor pasa a la delimitacin de los
fenmenos en las ciencias humanas, y al estudio del problema de lo
cuantitativoylocualitativoenlapsicologaysociologapuntoacuyo
alrededorsecentranlasdiscusionesentrepartidariosydetractoresdel
formalismo.Enlosltimoscaptulos,Grangerdesarrollaconrigordos
temas fundamentales: la nocin de axiomatizacin en las ciencias del
hombre,yelproblemadelconocimientodeloindividual.
Esunlibroenelqueseplanteanlosproblemasfundamentalesdela
teora de la ciencia, en un sector poco investigado hasta hoy, y est
lleno de sugerencias que orientan hacia ulteriores tratamientos de los
temasestudiados.

Porotraparte,enuncuadernodepositadoenReservadelaBCdelaUB,
fondo Sacristn, pueden verse estas anotaciones sobre este ensayo de

100

Granger.SacristncitaporlaedicinfrancesadeditionsMontaigne,Paris,
1960;aqulohacemosporsupropiatraduccin
1.Ladistincinentreepistemologaporunladoysociologaypsicologa
del conocimiento por otro es una distincin que hay que salvar, pero el
primercriterioquedaGrangerlaprcticaepistemolgicaesmalo,porque
incluyeelreflejodelacienciaenlaconciencia.Anms:elreflejodela
cienciaenlaconscienciaestalvezlmismolacienciaqueexistedehecho(p.
9).
2.Elcriteriosemanifiestaluegocomodistincinentrelacienciamisma
y las ideologas cientficas, reflejo de la ciencia en la consciencia de un
grupo,deunaclase.
Yenestecontextohayformulacinmagnficadelproblemadelaciencia
pura:
La reflexin epistemolgica no se justifica ms que si los sistemas
del pensamiento cientfico revelan un orden de las razones que, sin
otorgarles una autonoma absoluta, manifiestan de todos modos la
autenticidaddelmovimientodequeprocedenaquellossistemas.

3. Con la tesis de que la ciencia es trabajo humano (p. 12) no est


resueltoelproblema,aunquesencarrilado:loquequedaporprecisaressiy
hastaqupuntoladiferenciaentretrabajomanualeintelectualconllevauna
diferentefuncincualitativadeloideolgico.
4.Quelaintervencindelaformaesenlapercepcin(adiferenciadelo
queocurreenelconocimientocientfico)espontneaeirresueltaes:a)falso
biolgicaevolutivamente,b)discutibleyaprecisar.
Elhiatoentrepercepcinycienciasedebe,enefecto,esencialmente
aesamediacindellenguaje(p.13)
Tambin la percepcin est lingsticamente mediada! Falta pues
dialcticadeladistincin.

5. Que el proceso de abstraccin que asla por ejemplo la percepcin


forma parte de la praxis [cientfica no?] y desempea en ella un papel
importante,noestesisclara(p.18).

101

6. Que en la ciencia el lenguaje es mediacin entre individuos y entre el


hombreyelmundodeobjetos...queellenguajecientficocontribuyeahacer
razonables(p.23).Todoelproblema
7. Una efectiva actividad de recorte y designacin de objetos
mereceafortiorielttulodesemntica(p.24).
MSL:Yestaseraunasemnticanoenelsentidoformalneopositivistade
Carnap. Comprueba lo anterior con los elementos de la teora de la
informacin.

8. La sintaxis es el principal elemento significativo de los lenguajes


cientficos(p.58).Lasintaxiscomomarco().
9.p.66.Pordebajodelaaparentetradicionalidadlgica,empiezaaqula
capital tesis filosfica de Granger: la de la unidad terica que es
gramsciana.Pasoenelquelatesisesyavisible(p.68)[DesdeEnestenivel
delaprcticaelconceptocientficoparecepuesadulterarse...hasta(...)en
ese paso el que permitir el desarrollo futuro de un conocimiento
cientfico].
10. El uso eficaz de la mquina [de traducir] exige una
determinacin adecuada del fenmeno humano como objeto de
ciencias; la exigencia pragmtica y se confunde con el desarrollo
mismodelpensamientocientfico(p.92).
Otropasogramscianoms.

11.pp.100101[DesdeSinduda,lascienciasdelanaturalezadanlugar
a tcnicas de intervencin... hasta (...) en presencia del complejo concreto
queconstituyelaunidadtcnica,objetoanlejanodelanuevaciencia].
MSL: Culminacin gramsciana plenamente asimilable, como es, por
tanto,obvio.Peromedejaenpie:a)elproblemadelestatutoepistemolgico
deElCapital.b)TodoloqueGrangernove:lacontradiccinentreelltimo
prrafoylamodestiaenelconceptodeciencia.
12.Enelfondo,Granger,tomandoambiguamentelanocindecualidad
cualidad sensible, cualidad creencial la identifica a menudo con la de
individualidad.Lacosaesmscomplejaymereceanlisis.
13.Laseparacintajantecienciafilosofa(p.171).
102

14. Que la axiomtica en las ciencias del hombre debe tener solo
aspiracioneslocales(p.177).
15. La funcin hermenutica de la axiomtica en ciencias humanas
(pp.178179).Conceptoyconsciencia,cienciayconsciencia(p.180).
16. Importantsimo para conocimiento de lo individual (p. 185).
Dialctica,estructurasyconocimientodeloindividual(p.186).
17.Nuncahevistocontanclaraestupidezlanocinmetafsicohegeliana
dealienacinensuaprovechamientomoderno(p.204).
18.Unafilosofaracionalistaconsecuente...nosmuestra,enlaciencia,el
desarrollodeunasolucinparcialdelaalienacin,dadalacoordinacin
deunformalismoabstractoydelaprctica...(p.205).
MSL:Cretino:silaalienacinenalgnsentidoseriofueraesahegeliano
mstica,entoncestusolucinenlaprcticacomoarte(claro,claro,comoarte)
no sera parcial, sino integral. qu entiende por solucin parcial de la
alienacin,?
19.Lalimitacindelconceptodeprctica(p.207).
20.Laautonomadelobjetoindividualrepresenta...(p.213).
MSL:Yasermenos...
21. La imbcil nocin metafsica de la alienacin hace presentar al
idealismo como liberacin. Y resulta que se atreve a condenar a Russell
comoltimamanifestacindelamoribundaideologadelasuperacinde
laalienacinporlacienciasola.lclaroleaadelaprctica.Cul?

103

ANEXO4.SOBRELADEDUCCIN

En el tema VI (Conceptos metodolgicos clsicos) de Metodologa de


las ciencias sociales del curso 198182, Sacristn dedic un largocapitulo al
temadeladeduccin,noaladeduccinnaturalespecficamente,quequizs
valgalapenacomentaryresumir.
La nocin tradicional de deduccin, sealaba Sacristn, es la de una
nocincontrapuestaalconceptodeinduccin.Desdeelpuntodevistadela
lgica tradicional, la deduccin es un razonamiento que va de lo ms
generalalomenosgeneralylainduccinesunrazonamientoquevadelo
menos general a lo ms general. Es una induccin el razonamiento que
llegaalaconclusindequetodoslosseresvivospresentesenesteaulason
de la especie homo u homo sapiens, u hombresgnero, o familia, por el
procedimientodedecir:aquleshomosapiens,aqulotroeshomosapiens,
aqulla es homo sapiens, aqulla otra es homo sapiens, y hecho el repaso
general de estos objetos, cada uno de ellos singular, generalizara, ganara
cantidad,ypasaradelsingularaluniversal,todoslosseresvivospresentes
en este aula son de la especie homo sapiens, lo cual, sea dicho de paso
apuntaba irnicamente Sacristn, era una presuposicin muy fuerte porque
algninsectohabraenelaula
Mientras que, por el contrario, la deduccin sera para el lgico
tradicional el camino inverso al de la induccin: Todos los seres vivos
presentes en este aula son de la especie homo sapiens / ste es un ser vivo
presenteenesteaula./Luego,steesunserdelaespeciehomosapiens.
Segn los lgicos tradicionales, prosegua Sacristn, en la deduccin
haba una prdida de cantidad. Los clsicos ejemplos de la sistemtica
botnica o zoolgica, que se encontraban en los manuales tradicionales de
lgica, mostraban esto muy bien. Este clsico ejemplo de silogismo
104

mostraba bien a las claras esta idea descendente: Todos los felinos son
mamferos/ Todos los gatos son felinos/ Luego, todos los gatos son
mamferos.
Esaeraunaideaque,ensuopinin,habaqueabandonar,unaideaenla
que uno no deba creer. En primer lugar, porque era inadecuada. Si eso
fuera as, si fuera verdad que la deduccin exige una prdida de cantidad,
entonceslosrazonamientosportransitividaddelaigualdad,otransitividad
delsignomayorque,odelsignomenorque,quenotienennadaquever
conproposicionesmsgeneralesomenosgeneralesnoserndeducciones.Si
yo digo, por ejemplo, p implica q, y p y q juntas, implican q, ah no hay
ganancianiprdidadegeneralidad,porquenisiquierasqudicepyqu
dice q. Aqu no se poda decir que hubiera prdida de generalidad, y, en
cambio, todo el mundo estara de acuerdo en que ese razonamiento era
evidentementeunadeduccin.
Por otra parte, esta idea de que la deduccin tuviera que ver con una
prdidadegeneralidadllevabadetrstodaunaontologa,todaunaideadel
mundocomounsistemadenivelesjerrquicos,convenidosunosenotros,
conjetura que, aunque tal vez pudiera ser una suposicin con mucho
fundamento detrs, no haba que hacer necesariamente: al explicar un
razonamientolgico,alexplicarquesunaformadeinferencia,comoesla
deduccin,nohayporqucomprometersecontodaunaontologadeniveles
jerrquicosdelser.
Prcticamente aceptada por todo el mundo, la manera ms correcta,
sealaba Sacristn, de distinguir hoy entre deduccin e induccin y, por
tanto, de definir la deduccin, era decir que la deduccin es el tipo de
razonamiento que vale por razones puramente formales, sin necesidad de
recurso a lo emprico, mientras que la induccin es un tipo de
argumentacin,unprocesodepensamiento,debaseyvalidezempricas.El
tipo ideal de deduccin sera, por tanto, la de un clculo lgico, como el
clculodeenunciadosoelclculodepredicadosdeprimerorden,o,enun
sentido ms general, las teoras deductivas de cualquier ciencia. Hoy son
muchas las ciencias que tienen por lo menos sectores que son teoras
deductivas.
Sacristnapuntabaacontinuacinqueibaatocarunltimopuntosobre
eltemaladeduccin:lacuestindesuutilidadoinutilidad.

105

Como probablemente se recordar de la cultura general en la


enseanzamedia,durantetodalaedadantiguadelacienciaeuropeay
la poca medieval, se consideraba que el mtodo cientfico era la
deduccin. Partir de primeros principios seguros, de axiomas, y
deducir de ellos. En el Renacimiento se produjo una comprensible
sublevacin contra este punto de vista, declarndolo estril. Fue una
especie de sublevacin contra el silogismo, como encarnacin de la
lgicadeductiva.Sisetienenlasproposicionestodosloscnidosson
mamferos y todos los lobos son cnidos entonces pasar a la
conclusin de que todos los lobos son mamferos, se deca, con
mucha razn, no tiene la menor fecundidad, ya lo sabamos. Al decir
todosloscnidossonmamferos,yasabamosqueloerantodoslos
lobos.

Eraunasituacinanlogaalaquesehabacomentadoconanterioridad:
Enlaideadelademandaefectivakeynesiana,contrapuestaalaleyde
Say, en el fondo, en cierto sentido, estn ya las consecuencias. Por
consiguiente, deducir las consecuencias, sera cognoscitivamente
estril.

Pero,sealaba,ascomoenelprimerejemplolacosaparecantida,clara,
simple,enelsegundoelasuntopresentabamscaras.Quinseatreveraa
decirqueesintilponerseadeducirconsecuenciasdelanocinkeynesiana
dedemandaefectiva?Oquinseatreveraadecirqueesperdereltiempo
ponerse a sacar consecuencias de la ley de Say? Casi nadie, responda, se
atrevera a hacer una afirmacin as. Por lo menos, prosegua, se puede
sostenerrazonablementequeladeduccintenapordeprontounautilidad
psicolgica.
Es posible que todo el keynesianismo est en la idea de demanda
efectiva. De acuerdo. Pero no nos sabemos psicolgicamente todo el
keynesianismomientrasnohacemosdeduccionesdeeso.Porlomenos,
como utilidad psicolgica seguro que la tienen, porque si todo el
keynesianismo est contenido en tres proposiciones, o en dos, lo est
lgicamente, pero eso no quiere decir que psicolgicamente al decir
esas dos proposiciones las tengamos todas claras. Primera utilidad
ciertadeladeduccin,deldeducir.
106


Ladeduccintena,adems,unafuncintericadoble:
A medida que se van obteniendo consecuencias de las nociones
fundamentales del keynesianismo, o del pensamiento de Say o de lo
que Say crey que era la economa poltica clsica (...) se va haciendo
posibleconstruirtodoesocomouncuerpoterico.Yesladeduccinla
que lo permite, es la relacin deductiva que permite saber que tal
proposicinestmsabajoquetalotra.Yesaesunafuncin,digamos,
tericaconstructivadeladeduccin.

Por otra parte, la deduccin tiene por lo menos tambin una funcin
contrastadora.Lamaneradeponerapruebaproposicionesgeneralesconsiste
en obtener de ellas, precisamente por deduccin, proposiciones menos
generalesquesernmsomenossusceptiblesdecomparacinconlosdatos
empricos.
Esto no es nunca un absoluto, sealaba Sacristn, ya que no se poda
sostener de modo general que nunca existan datos que no contengan
nociones tericas. Los datosloeransiempreparaunadeterminadateorao
paraunadeterminadaconcepcingeneral.
Por lo comn, cuando uno habla de datos contrapuestos a
proposiciones tericas, est diciendo algo razonable pero no exacto.
Segn las proposiciones tericas que uno maneje, va a ir a buscar y
encontrar ciertos datos. No en el sentido de datos contrapuestos a
otros, pero s en el sentido de datos diferentes. Un ejemplo para m
muyeficaz.Lafsicaantiguaeraunafsicacualitativa.Losfsicos,hasta
elsigloXIII,hansupuestoquelafsicanotenaqueverconlacantidad
sinoconlacualidad(amargo,dulce,salado,etc.,blanco,negro,verde).
Es evidente que los datos que iban a buscar no iban a ser datos
cuantitativos nunca. Anlogamente ocurre tambin con teoras
sociolgicas o econmicas. Muchsimos datos de suma importancia
para un economista marxista son datos no registrados para un
economistadeotrasescuelasyviceversaaveces.Peroincluso,sintanta
connotacinideolgica,consloladivisinintelectualdeltrabajo:una
personaquehagaeconomafinancieravaaestarbuscandodatos,para
confirmarorefutarsusideasgenerales,muydistintosdelosdatosque
buscar una persona que est haciendo economa agrcola, por
107

ejemplo. Esto es bastante evidente. El punto de vista determina


bastantelosdatos.Einclusodatosqueparecenserlosmismos,losdel
anuario estadstico, en realidad, no son los mismos segn quien los
utilice. No son los mismos en el sentido de que pueden tener
significacionesdiferentes.

Planteaba entonces Sacristn la siguiente cuestin: se sola decir que la


economa poltica clsica era una teora deductiva, cul sera el sentido de
deduccinolafuncindeductivamspresenteenlateoraeconmicaclsica
y en la moderna? La funcin psicolgica, la funcin de construccin de
teorasoladecontrastacin?
Un estudiante asistente al curso matizaba sealando que no s si ha
incluido usted en la psicolgica demostrar que los axiomas sean
consistentes. De acuerdo, respondi Sacristn, era una funcin lgica.
Aunque no fuera tan esencial a la deduccin, poda aadirse. Otra funcin
sera,pues,lafuncinlgicadelasdemostracionesdeconsistencia.
Elmismoestudianteremarcabaqueesqueinclusolasargumentaciones
en los escritos de economa clsica muchas veces llevan a demostrar
inconsistencias. De acuerdo, responda nuevamente, pero eso se podra
consideraraparte.
Me lo voy a anotar. Las demostraciones o los anlisis de
consistencia son de la esencia misma de la deduccin, claro. Eso es
evidente. Pero, vamos, la verdad es que me parece bueno aadirlo
explcitamente.

Dio entonces Sacristn dos ejemplos del papel de la deduccin en las


teoraseconmicas.SeaelcasodeDavidRicardo,queesunbanquero,quees
un hombre que sabe el asunto, que sabe la prctica, de modo que es difcil
queenunpersonajecomol,yenmedidamenorSmithoMarx,peroenun
personajecomoDavidRicardoerainverosmil
[] que l haya trabajado tericodeductivamente con intereses
psicolgicos,esdecir,paraaclararseacercadelasconsecuencias.Muy
difcil.Enmiopinin,salvoquemejoresconocedoresdeltemadiganlo
contrario, su trabajo ha sido ms bien un trabajo de construccin
terica para explicar nociones de bajo nivel, que l dominaba
108

perfectamente en su prctica cotidiana. Lo mismo Mill. Mill se ha


pasado veintitantos aos haciendo de funcionario econmico de la
Compaa de las Indias Orientales. Es decir, la experiencia de la vida
econmicacotidianalatenanenungradosumo.

Por lo que, infera Sacristn, todos ellos ms bien lo que han querido
hacer, para lo que han establecido el aparato deductivo, ha sido para la
proposicinterica,paralaconstruccintericay,encambio,lafuncinde
contrastacin les ha preocupado poco, porque como haban partido de
conocimiento emprico, es de sospechar que daban por segura la
contrastabilidad de la teora. Como ellos haban partido de la prctica
econmica de cada da, buscando generalidades explicativas, de lo nico
que, probablemente, estaban seguros era de que aquellas conjeturas, si se
pasabaasucontrastacin,serancontrastadaspositivamente.
Lo cual mostraba, en opinin de Sacristn, lo imprudente que es creer
queunacontrastacinpositivaprueba.
Eneso,elviejoPoppersemantendr,creoyo,parasiempre.Loque
l llama el principio de disimetra. Mientras que una sola refutacin,
refuta,desdeunpuntodevistalgico;encambio,ciencomprobaciones
no prueban. Desde un punto de vista lgico, no desde un punto de
vistaprcticoymetodolgico.

As pues, sealaba, la idea de que la principal funcin que ha tenido el


aparato deductivo en la economa llamada clsica fuera la construccin del
sistema, la funcin constructiva, ms que la psicolgica y la contrastacin, y
msquelatarealgicadelestudiodelossupuestos,parecamuyrazonable.
Observaba finalmente Sacristn una diferencia entre la situacin de las
ciencias sociales y las naturales en el tema de la contrastacin: si se
comparaba la situacin de una teora econmica con la relacin entre las
frmulasdelamecnicaclsicaylarealidadalaqueserefiere,seobservaba
quelamecnicaclsicadispona,enprincipio,demtodosydiversosmedios
para explicar la discrepancia entre el resultado emprico, entre el resultado
experimental y la teora, cosa que no siempre ocurra en el caso de las
cienciassociales.

109

Pongamos,porejemplo,(...)laleydelpndulo.Desdeelpuntode
vista de la mecnica clsica se puede explicar por qu hay esa
diferenciaentreunpnduloreal,querepresenten,ylaleydelpndulo.
Yeso,amenosqueyoseademasiadopesimista,hastaahora,noocurre
en economa. No disponemos de un sistema tcnico para explicar la
diferenciaentreelpndulorealyelpnduloeconmico.

110

ANEXO5.ACERCADELCONDICIONAL

Dos breves apuntes sobre el condicional. En los apuntes de


Fundamentos de Filosofa de 195657, Sacristn observaba que el
condicionallgicoeraunaconectivafundamentalperoalgodifcilysealaba
acontinuacin:
a)Quenoeraunarelacincausal,sinojustificativa,lgica.
b) Que no haba que usarla para hechos fcticos, sino para enunciados.
As, decir que 5>3 implica 3<5, est mal usado en lgica; en cambio,
sostener que `5>3 implica `3<5 es correcto desde un punto de vista
estrictamentelgico.
c)Paraevitarconfusiones,sehablabaenocasionesdelaconectivaflecha.
Considerada como funcin veritativa, la tabla del condicional se haba
discutidomucho,especialmenteloscasos3y4(FV>V,FF>V).Sacristn
sostena que esta tabla no ofreca el peligro de ser base de deducciones
injustificadaspueselsentidodelafuncinerasip,entoncesq,porloque
siperafalso,nohayp,porasdecir,y,porconsiguiente,nohabapeligrode
falsas deducciones. En cambio, poda ser til para deducir a partir de una
frmulaque se saba falsa, para seguir un proceso de reduccin al absurdo
comoenmatemticas,formaderazonarqueerarelativamentefrecuenteen
cienciashistricosociales,alreflexionarsobresituacionesque,fcticamente,
sesabequenohansucedido.
Tambin en Metodologa de las ciencias sociales 198182 se refera
Sacristnalasdificultadesdecomprensinintuitivadealgunasasignaciones
de la tabla de verdad del condicional. Un condicional, sealaba
didcticamente,eraunaproposicincompuestadedosproposicionesporlo
menos. Una, llamada antecedente, y la segunda, a la que se le llamaba
111

consecuente.Seleaas:silaprimeraproposicinesverdadera,entonces
lasegundatambinloes.Sip,entoncesq.
Cmoestimaresacondicional,cuandolosdosmiembros,elantecedente
yelconsecuente,eranverdaderos?Sea,porejemplo,elantecedenteTodos
lossereshumanossonbpedos,yelconsecuente,Juanaesbpeda,quees
una implicacin clara, no slo un condicional, seala. Los dos enunciados
son verdaderos. El conjunto, el condicional, estbamos dispuestos a
considerarlo verdadero. Igualmente, si el antecedente es verdadero y el
consecuente es falso, tenderemos a considerar el conjunto, el condicional,
falso.
Lacuestines:yqupasasip,sielantecedenteesfalso?Cmovalorar
elcondicionalcomoconjuntosielantecedenteesfalso?Porejemplo,aade,
cmo valorar el siguiente condicional: si el planeta Jpiter es cuadrado,
esto es la Facultad de Econmicas, que es un condicional con antecedente
falsoyconsecuenteverdadero,cmovalorareso?
Esta afirmacin, en principio, sealaba Sacristn, no tendra verificacin
posible.Unonosabequeseso.
Ocurre,sinembargo,quecondicionalesdeesetipoconantecedente
falso,sonuntipodeplanteamientohabitualenbastantesciencias.Por
ejemplo,encienciassociales.Esuntipodeplanteamientoproblemtico
paraunhistoriador,oparaunsocilogo,oinclusoparauneconomista.
Elhistoriadorseloplanteaenlaformadeesosfuturospasados:qu
hubieraocurridosiAlejandroMagnonomueredurantelacampaade
la India? El socilogo y el economista se plantean problemas as
muchas veces trabajando con modelos: qu ocurre si se fijan estos
parmetros?, por ejemplo, si estos parmetros fueran fijos, qu
ocurrira? Eso es un tipo de planteamiento habitual en el trabajo en
economaoenalgunasinvestigacionessociomtricas.

Por lo que, conclua, no era ni mucho menos un tipo de planteamiento


absurdo. Construir condicionales contrafactuales (as se llama al
condicional que es, por as decir, contrario a los hechos, porque tiene el
antecedente falso, de ah contrafactual o contrafctico, traducen tambin
algunos) tena sentido ya que con ellos se trabaja constantemente en
ciencia. Sin embargo, desde el punto de vista de la verificacin, poda
afirmarse que no tenan ningn sentido. Una proposicin as era
112

absolutamente inverificable, por el hecho de que como el antecedente es


falso, estamos seguros de que nunca se va a cumplir la condicin si p
entoncesq.Puestoquepnovale,pesfalso,nuncasevaapodercumplir.
Por consiguiente, nunca vamos a saber si funciona o no funciona el
condicionalsipentoncesq,porquenuncavamosapoderponerp.

113

ANEXO6.WORDANDOBJECT.ANOTACIONES
COMPLEMENTARIAS

Estas son las anotaciones complementarias de Sacristn al ensayo de


Quine(enelcaptulodedicadoaPalabrayObjetodimoslasobservacionesdel
captuloI):

II.Captulo2:Traduccinysignificacin
1. El captulo se apoya enun planteamiento reductivo de los problemas
de la significacin a problemas de traduccin, ms precisamente, de
traduccin radical, de lengua desconocida. Esto le permite muy
interesantesplanteamientosradicales.
2.Laconstruccindesignificacinempricacomoloqueunasentencia
comparteconsutraduccin(radical:osea,basadasloencorrelacionescon
estimulacionesnoverbales)empiezaenlapgina32:
EnII,8empiezaaenfrentarseconelproblemadelasignificacin,abase
de establecer como aproximacin a la idea de significacin emprica, el
conceptodesignificacinestimulativa.
En II, 9 comprueba que el concepto es demasiado exigente para ser
primitivodeunateoradelasignificacin:
El hecho es que el lingista no traduce por identidad de
significaciones estimulativas, sino por aproximacin mxima de las
mismas(p.40).
.Introduccindesignificacinestimulativaafirmativadeunasentencia
paraunhablantehyenunmomentot:eslaclasedetodaslasestimulaciones
(esquemasevolutivosdeirradiacin)queprovocaranelasentimiento.
114

.Introduccindesignificacinestimulativanegativa,igual.
.Introduccindesignificacinestimativa,porsuma.
.Dilucidacindelconcepto:hayqueconcebirlaestimulacinnocomoun
acaecimiento, sino como un universal a saber: como una forma de
acaecimiento.Entreotroscasos,porqueelcondicionaldeladefinicinpuede
sercontrafactual(desdeluego,esdisposicional).
.Enestecontexto,fraseimportanteparalaevolucindelpensamientode
Quine:
Sin duda es un sinsentido irremediable ese discurso acerca de
particulares irrealizados, y an ms el intento de reunirlos en clases.
Las entidades irrealizadas tienen que construirse como universales
(p.34;p.57).
3. Termina el tema comparando su teora con la de Carnap en Meaning
andNecessity.Ladiferenciaquesubrayaserefierealafaltaderadicalidad
deCarnap.
4. [Sentencias ocasionales. Informacin intrusiva]. La diferencia entre
sentenciasocasionalesyfijas(standing)esrelativaalmduloaplicadoalas
estimulaciones, de tal modo que una sentencia ocasional para mdulo n
puedeserfijaparamdulon1.
. La nocin de significacin estimulativa se aplica sobre todo a las
ocasionales.
5. Detallada argumentacin de los fallos de su nocin de significacin
estimulativa para dilucidar la de sinonimia como igualdad de significacin
estimulativa.
6. Al hablar de las disposiciones a asentir o a discrepar recogidas en la
significacin estimulativa hace una observacin sin duda importante para
muchas cuestiones de sobrestructura: Estas disposiciones pueden
considerarse impuras en el sentido de que incluyen conocimiento del
mundo, pero lo contienen en una solucin que no precipita nunca (p.39;
p.63).
Contextosenlosquelaacusacinesrelevante:
a) La cuestin conocimiento cientficointuicin: contra el intento de
contraponerlos.

115

b) La presencia de factores sociales en la obra filosfica artstica o


cientfica:contraelintentodenegarlosycontrasuseparacinoaislamiento
mecanicista.
6. [Sentencias observacionales] Interesantsima teora que explicita el
elemento social implcito en la proposicin de protocolo positivista.
Desarrollo. Definicin: Las sentencias ocasionales cuyas significaciones
estimulativas no varan por influencia de informacin lateral pueden
llamarse muy naturalmente sentencias observacionales, y puede decirse sin
temoracontradiccinquesussignificacionesestimulativasdanplenacuenta
desussignificaciones(p.42,p.67).
7. Define de la proposicin de sense datos porque: a) admite
proposiciones sobre cosas ordinarias; b) no distingue entre sense data e
informacinnaturaluniversalmente(colectivamente)compartida.
8. Pero conserva los dos principios de intersubjetividad e infalibilidad
(aunquegradual,nosimple):
(...) la nocin misma de significacin estimulativa, tal como ha
quedado definida, no depende de una multiplicidad de hablantes. En
cambio, la nocin de observacional es social. La definicin
comportamentsticadelamismaqueanteshemosofrecidosebasaen
semejanzasentresignificacionestomadasentodalacomunidad(p.45;
p.70)
Yodiramspropiamentequelanocindesignificacinestimulativaes
socialytodoessocial...yladeobservacionalidades,adems,sociolgica.
Por lo dems, pocas lneas abajo escribe: El lenguaje como conjunto
socialmenteinculcadodedisposiciones...(p.45,p.70).
9. [Sinonimia intrasubjetiva de sentencias ocasionales]. Observa que el
examenintrasubjetivodelasinonimiapermiteeliminardificultadeseneluso
de la sinonimia estimulativa como nocin de sinonimia cuando hay
informacinintuitivaverbal.
10. Pero eso no resuelve todo. Queda, sobre todo, lo irresoluble, no
pueden eliminarse los efectos de informacin lateral comunes a toda la
comunidad;pero,comodijeenlaseccin9,creoqueenestepuntoelidealse
haceilusorio(p.51;p.78).
11. [Sinonimia de trminos] En II, 12 importante: prueba de que la
significacin estimulativa, no puede usarse para definir la significacin de
116

los trminos generales (pp. 5152; pp. 7879). De eso concluye: a) La


distincin entre objeto concreto y objeto abstracto, igual que la distincin
entre trmino singular y trmino general, es independiente de la
significacin estimulativa (p.52; p. 79); b) Las sentencias ocasionales y la
significacinestimulativasonmonedauniversal,lostrminosylareferencia
sonlocales,propiosdenuestroesquemaconceptual(p.53;p.80).
Luegopresentaelpasoatrminosenlenguajesquetenga(x),>,=.
12.Quelasinonimiadesentenciasdeunasolapalabranogarantizalade
los trminos generales correspondientes. Este punto, por el modo como lo
expone, puede tener relacin con su doctrina del campo de fuerzas (p. 52)
[Desde Es corriente que podamos traducir algo (por ejemplo, en razn
de)... hasta (...) pero ste no es el caso cuando se trata de su sinonimia
como trminos].Luego remacha: Todos los elementos de ese aparato son
interdependientes,ylanocinmismadetrminoestanlocaloparticular,tan
propiadenuestracultura,comodichosexpedientesauxiliares(p.53,p.80).
13.Totalidadconcreta:reformulalaideadeGoodmandeunidaddifusa
[delgnero]diciendo
...una
totalidad
concreta
dispersa...,
distinguindola
nominalsticamentedeanabstractattribute[unatributoabstracto]
(p.54,p.81).
14. Al final un estudio de los trminos propios de la ciencia teortica
sistemtica:
. que no tienen significaciones estimulativas socialmente constantes que
rijansususos(p.56;p.83).
.porqueengeneralnotienenusocomosentenciasocasionales,porloque
no se plantea la cuestin de su significacin estimulativa (pp. 5657; pp.84
85).Estopodracambiarenunasociedadcientfica.
.tienenunaredmximamenteintrincadadeconexionesverbales,porlo
que ningn vnculo es esencial (l slo) para la comunicacin (p. 57; p. 85)
[Desde Por eso, en la ciencia teortica salvo cuando a reformulan
semnticos entusiastas... hasta (...) que palabras como soltero con el
restodellenguajecomn].
Explicacindelasensacindesinonimiacomopercepcindeunvnculo
verbal fuerte y privilegiado. Pero esos los hay en las teoras mediante <>
def.,porejemplo.
117

15.[La traduccin de conectivas lgicas] Magnfico contra la tesis de la


mentalidadprelgica.
16.Slolaparteveritativofuncionaldelalgicapuedereconocerseenun
lenguajeextraomediantecriterioscomportamentsticos(p.61;p.89).
EnII,13:latesisdequedetodalalgicaslolaveritativofuncionaltiene
queverconsignificacionesestimulativas(concriterioscomportamentsticos).
17.[Sentenciassinnimasyanalticas]Interdefinibilidad:dossentencias
sonsinnimassiyslosisubicondicional(formadomediantesuunincon
si y slo si)) es analtico, y una sentencia es analtica si y slo si es
sinnimaconautocondicionales(Sip,entoncesp)(p.65,p.95).
18. Tratamiento con su habitual escepticismo. Pero sin objetar a su
analiticidad estimulativa, esa especie de imitacin nuestra modestamente
vegetariana(p.67,p.98).
19. [Hiptesis analticas] Hiptesis para descomponer (en frases,
palabras) el flujo verbal ajeno. Imprescindibles para traducir, dado el
limitadonmerodesentenciasconevidenciaindependiente.
20. [Impercepcin de la indeterminacin] Expone siete causas por las
cualesnosenotalaindeterminacindelatraduccin.Lanicarealmentede
fondoeslainevitabilidaddelashiptesisanalticas.
21. Esto le lleva a la interesante cuestin de si la justificacin de las
hiptesis analticas no es, en ltimainstancia, una manera de dar sentido a
las mismidad de significacin. Contesta negativamente, pero generalizando
ycomparandodeunmodomuyinteresanteconelproblemacienciaverdad:
a)Lashiptesisanalticasdaranunsentidoalasinonimiasinohubiera
conjuntosdeellasincompatiblescapacesderecogerunamismaevidencia.
b)p.75;p.107[DesdeLaindefinibilidaddelasinonimiaporreferenciaa
la metodologa... hasta (...) de algn concreto sistema de hiptesis
analticas].
c)Perolacuestindelasinonimiaestpeorqueladelaverdad(pp.75
76; p. 108) [Desde (...) porque siempre trabajamos dentro de una teora...
hasta(...)porqueesediscursoloessiempredentrode
algn lenguaje*. Dicho brevemente, los parmetros de la verdad suelen
estarbienfijados].

118

(*)Quehoyporhoyellenguajedelaconcepcindelmundoeselcomn,
es claro pese a todo el tecnicismo filosfico. Aunque ser as? Y es
suficientementeunvocodecirelcomn?
22.Enrelacinconesto,sumsprofundaaunquetcitaoposicinala
mentalitprimitive(pp.7778;p.110)[DesdeFrecuentementeseoyeolee
que diferencias profundas de lenguaje... hasta (...) y cuando nos
encontramoslejosdefundamentodomstico].

III.Cap.3Laontognesisdelareferencia.
1 [Referencia dividida] Lamenta que la dicotoma trminos singulares
trminosgeneralesseparezcatantoaladicotomagramaticaldesingulary
plural, sobre todo porque, semnticamente, los trminos de masa o el uso
como tales de trminos de referencia decidida se parecen a, pero no
coinciden,conlostrminossingulares.

Por lo dems, algunas notas de traductor de Sacristn seran las


siguientes:
1. Consideremos como ejemplo el Non c niente del italiano (p. 87
edicincastellana).
El autor familiar con la lengua y la cultura castellana utiliza como
ejemplo nuestro No hay nada. Puesto que adaptamos los ejemplos y
razonamientos basados en el ingls, dando en su lugar otros basados en el
castellano,parececoherenteconstruiraquunejemplonocastellano.
2.Cuando el trmino de masa compuesto se presenta ms bien como
trmino general, como en Ese lquido es vino rojo (cf. sec. 20), sus partes
sontambintrminosgenerales;enestoscontextosequivalenacosarojay
cantidaddevino,yelcompuestoesentoncesverdaderodecadaunadelas
cosasdelascualessonverdaderoslosdoscomponentesjuntos(p.141).
Eldeseo demantenereltextocastellanolomscerca posibledelingls,
cuando son tantas las adaptaciones (no meras traducciones) inevitables,
aconseja mantener vino rojo en vez de escribir vino tinto. Tinto no
habrasidoadecuadoparanumerososejemplosanteriores.

119

3.Encuantoalamotivacintcnicaprocedentedelateoradeconjuntos
hayconocidassolucionesdistintasdeladeRussell...(p.291).
UnamuyapreciadaesdelpropioQuine.

120

ANEXO7.ELLTIMOEXAMEN

Este fue el ltimo examen de lgica propuesto por Sacristn a sus


alumnos de metodologa de las ciencias sociales de la Facultad de
Econmicas.
Pertenece a la convocatoria de junio de 1985y constade tres apartados.
Enelprimerosepidequeseexpongalaestructuraveritativofuncionaldelas
frasessiguientesmedianteelsimbolismodelalgicadeenunciados.
Elprimertextoseleccionadodiceas:
Elsistemadesignosqueutilizadoparaexpresarmipensamiento,el
sistema monetario que empleo para pagar mis deudas, los
instrumentos de crdito que uso en mis relaciones comerciales, las
prcticas respetadas en mi profesin, funcionan independientemente
del uso que hago de ellos. Si consideramos uno tras otro a todos los
miembros de la sociedad, las reflexiones precedentes sern vlidas
paratodos(E.Burkheim,Lasreglasdelmtodosociolgico).

ElsegundofragmentoesuntextodeMerton:
Adems de brindar explicaciones causales del conocimiento, las
teorasatribuyenastefuncionessociales,quepresumiblementesirven
para dar cuenta de su persistencia o cambio. No podemos examinar
aqu esos detalles, funcionales aunque sera muy til un estudio
pormenorizadodeellos.(R.K.Merton,Lasociologadelaciencia).

Finalmente,eltercerejercicioperteneceaMarxysuasuntonopodaser
otroqueeldelaviejayenigmticadamadialctica:
121

La dialctica fue moda alemana porque pareca transfigurar lo


existente. En su figura racional es un escndalo y un horror para la
burguesa, porque abarca en la comprensin positiva de lo existente
tambin y al mismo tiempo la comprensin de su negacin, de su
ocaso necesario, concibe toda forma devenida en el flujo del
movimiento,osea,porsuladoperecedero,nosedejaimpresionarpor
nadayesporsuesenciacrticayrevolucionaria(KarlMarx,ElCapital)

En el segundo apartado del examen, se pide determinar el valor


veritativofuncional(estoes,tautolgico,contradictoriooconsistente)delas
siguientesfrases:
1.
Cuandoelpreciodelaszanahoriasesmuybajoyeldelas
coles de Bruselas es muy alto, la produccin de zanahorias no es
provechosa,alcontrarioqueladelascolesdeBruselas.Portanto,la
produccindezanahoriassereduce,incrementndoseladecolesde
Bruselas(R.G.Lipsey,Introduccinalaeconomapositiva)
2.
Siaumentamosalavezlascantidadesaplicadasdetierra
y de trabajo, sin que ninguno de los factores permanezca fijo y
variadotodosenlamismaproporcindeformaquelaescalatotal
de la produccin se haga mayor, parece lgico que la produccin
aumente tambin proporcionalmente, sin que disminuyan los
sucesivos productos adicionales (P. A. Samuelson, Curso de
economamoderna)

3.
Suponiendo que hay por lo menos una vaca aficionada al
pescado,noesverdadquetodoslosrumiantesseanherbvoros.

En el ltimo apartado, el tercero, se pide al estudiante que compute


mediante cualquier mtodo formal el valor veritativofuncional de tres
frmulasdelalgicadeenunciados.
pp>p
(pvq)(pvr)>p
[(pvq)(p>r)(q>r)]>(pvq)>rvs)

122