Professional Documents
Culture Documents
[\
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.
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
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
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.
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.
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.
13
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.
16
17
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.
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.
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).
21
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
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.
ValelapenarepararenqueensuartculosobrelaFilosofadeposguerrahasta1958M.Sacristn,Papeles
de filosofa, ob cit, pp. 90219, el autor al que dedic mayor nmero de pginas fue precisamente Rudolf
Carnap.
9
26
27
volumendeQuinenoesinferioralaofrecidaporlasdosobrasantes
citadas.
SinpretenderSacristn,comodecamos,otracosaconsuexposicinpre
tcnicaquefacilitarallectornofamiliarizadoconlalgicaelaccesoaltexto
deQuine,habaquedetallarunpocomslaanteriorexplicacinparaevitar
quelasimplificacinsetransformaraencaricatura.
Desdeelpuntodevistalgicofilosfico,loqueimportaprecisarno
es qu es lo que existe sta es naturalmente, una cuestin para las
cienciasfcticassinoquesaquellocuyaexistencianoscomprometemosa
admitiralusarundeterminadolenguaje.
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
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
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
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
36
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
16
39
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.
17
41
18
42
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
19
44
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.
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
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.
(y)(x)(xyfx)
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.
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.
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.
Sacristn,comoseindic,tradujoypresentparaZeteindeArielLaeconomacomocienciadePapandreou,
encolaboracinconJosM.Lasun.Vasesupresentacinenanexo2.
25
56
57
58
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.
60
7.LAOBRADEQUINEENLASINTRODUCCIONES
TomocomoreferencialaltimaedicindeIntroduccinalalgicayalanlisisformal,laedicindeCrculo
deLectores,haceaostambinagotada,queestuvoacargodeAlbertDomingoCurtoyVeraSacristn.
27
61
perroesbislabo
Sehaconvenidoenquelocorrectoesescribirentonces
perroesbislabo
(...) Por ltimo, un trminopuede ser mencionado y nousado, como
ocurreconeltrminohombreenelejemplosiguiente:
lapalabracastellanaquesignificaHomosapiensesbislaba
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,
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
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
65
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
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
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
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).
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.
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.
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
38
77
39
40
78
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
80
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.
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
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
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
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
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
PuedeverseelltimoexamendeSacristndesusclasesdemetodologaenelanexo7.
53
90
ANEXO1.SOBREJUANDESANTOTOMS
91
93
ANEXO2.PRESENTACINDELATRADUCCINCASTELLANA
DEA.G.PAPANDREOU,LAECONOMACOMOCIENCIA
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
97
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.
puesalomejorllevadentropromesas,aunquenoseanprcticas,pero
sdeconocimiento,promesastericas.
4.AGP:Usaremosindiferentementelostrminosclaseyconjunto.
MSL:Encastellano,debereservarsemsprecisamentelavozclasepara
loscontextoslgicos,ylavozconjuntoparaellenguajematemtico(Enla
traduccinsesigueelusoindiferentedelautor).
99
ANEXO3.SOBREFORMALISMOYCIENCIASHUMANAS
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.
101
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
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
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
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.
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
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.
113
ANEXO6.WORDANDOBJECT.ANOTACIONES
COMPLEMENTARIAS
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
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.
119
3.Encuantoalamotivacintcnicaprocedentedelateoradeconjuntos
hayconocidassolucionesdistintasdeladeRussell...(p.291).
UnamuyapreciadaesdelpropioQuine.
120
ANEXO7.ELLTIMOEXAMEN
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
3.
Suponiendo que hay por lo menos una vaca aficionada al
pescado,noesverdadquetodoslosrumiantesseanherbvoros.
122