DIALECTICA y

POSITIVISMO LO<iICO
CARLOS ASTRADA

DEVENIR

Dialctica y
positivismo,lgico

coleccin filosola

Editorial Devenir

Dialctica y
positiviSmo lgico
CARLOS ASTRADA

1 edicin: UNIVER SIDAD NACI ONAL DE TUCUMAN

Facultad de Filosofa y L etras, 1961
Cua dernos d e Hum anitas NQ 9

2'" edicin revisada y aum entada 1Jor el autor: 1964

COLECC I N

A CAR GO DE : CARLOS

AS TRA DA y

ALFREDO LLANO S

COPYR IG HT B Y PLAT E RO S . R. L.
T ALCAHUAN O

468,

D S. AIR ES

H E CHO EL DEP S ITO DE LEY

I M PRES O EN L A ARGEN TI N A - P RI N TED I N ARGENTI N A

Prlogo a la segunda edicin

Agotada rpidamente la e dicin de este trabajo, publicado por la

F acultad de Filosofa y L etras de la Universidad N. de Tucumn,
lo que demu estra el inter suscitado, en un amplio crculo de lectores, por -la temcica tratada en l, ap arece es-ta segunda edicin
revisada y am pliada en algunos puntos que h aban sido expuestos
muy sumariam ente, y adem s con explicacion es y agregados con
relacin a ciertos 3.spectos conexos y cOlllp lementarios de los problemas dilucidados en el mismo .
Nuc;:stra crtica del positivismo lgico, originado en el Wiener
Kreis, y de sus proliferacion es sem antistas y sintactistas, sobre todo
en los p ases a nglosaj ones, h a enfocado esta direccin del pensamiento con temporneo en el momento de su d eclinacin en los
ambientes intelectuales, renovados y alertados por el poderoso impulso del p ensar dialctico en los diversos dominios de la indagacin
cientfica y de la filosofa. No obsta a la comprobacin de aquel
hecho la aval an ch a d e publi caciones intrascendentes, principalmente
en ingls, verd aderas reiteracion es y refritos de la posicin inicial,
ya virtualmente perimida. Este aluvin de papel impreso Heno de
frmulas y de ejemp los ridcul os aducidos por los cultores e iniciados en el misterio de "las nu evas lgicas" es la contraofensiva ya
sin fu erza que precede al descalabro y embrollo final en medio de
equivalencias o identidades analticas erizadas de -:ontradicciones,
hecho que no debe extraarnos, ya que una de las conclusiones a
que arriba B. Russell es que un a proposicin falsa cualquiera implica todas las otras proposiciones verdaderas o falsas.

I Carlos

Astrada

Lo que afirm amos ha quedado documentado en el albur corrido

por el positivismo lgico o neopositivismo o empirismo lgico en las
discusiones de los Congresos de filosofa cientfica a partir de 1935
hasta el eplogo crtico que marc su irremediable declive en el
Congreso In ternacional de Filosof a de Roma, d e 1946, cuyos temas
se jerar:quizaron as : 19 ) "el materialismo histrico", 29 ) "l existencialismo", 39 ) '"los principios de la ciencia y e! 'anlisis del lenguaje", puntos tratados en sesiones plen arias. En este Congreso, que
tuvo la m s alta importanCia, pues por prime ra vez se inscribi
oficialmente entre sus temas de discusin e! mMeri alismo histrico,
h echo que no fue fortuito, puest( que l corresponde a la mergencia histrica en tanto que factor de reconstruccin de la civilizacin, scgn dijo Antonio Banh, a cuyo cargo es tuvo su introduccin
y exposicin, en pl enaria . Al h acerlo, Banfi destac que el materialismo histrico "no debe ser comprendi do ni como una interpretacin econmica de la hi$toria, ni como rechazo de una cierta
autonoma de desarrollo dt la humanidad, ni como n egacin de
una accin recproca entre los diferentes aspectos de la cultura. l
no es ni quiere ser una filosof'a de la historia en el sentido m etaf sico. La inversin de la dialctica, operada por M arx la descarta" 1.
y el propio Gonseth afirm a que " la ciencia in corpora de macla perfectamente autntico . . . " las categoras " de la dialctica marxista
(actualizacin de la his toria, accin sobre el desarrollo de la historia
por el conocimiento que se adq uiere de ell a, segn Banfi) " 2 .
Y respecto del pc:tivismo lgico, H. S. Gagn ebin escribe: "Los
Congresos Internacion ales de fil osofa cientfica de Pars (1935) Y
de Copenhague (1936) , e~ Congreso D escartes (1.93 7) marcan el
apogeo del emjJir"ismo lgico. Esta doctrina h ace de la lgica y de
las m atem ticas una tautologa. Por eso mismo, ella pretende resolver el problema de! conocimiento en dos ti empos: 19 p or la indicacin de elementos primeros dados en su p erfeccin, y 29 por la
aplicacin a estos datos primeros de reglas de algn modo automticas, y que no necesitan ningn progreso del espritu, Este realismo
lgico completamente disociad n d lo real, este positivismo extremo
provoc, en el curso m ismo de los congresos enumerados, una reaccin muy viva de parte de los sabios cuidadosos de preservar la
libertad del espritu". ' . "Se concibe desde ,e n ton ces que la p alabra
1 F. Gonseth , el Propos D'Un Con grs Inte rnational de Philoso phie,
Dialectica, p, 100, NQ 1, 15/ 7/ 1947 , .
"2 O p, ci t" p. 106.

Dialctica y Positl:vismo lgico I 9

lgica, de la cual los filsofos del Crculo de Viena h acan un uso

tan particular, p areciese impropia para describir el eler;nento deductivo del conocimie.1to objetivo . Este trmino se acomodaba m'lJ con
el carcter sumari() y revisable d los da tos; no d aba cuenta de la
adaptacin del m edo de razonamiento mismo al objeto y a las dificultades siempre nuevas qu e deban ser superadas; en fin , l no
comportaba este elem en to dinmi co inherente a} progreso del espritu humano en su esfuerzo por ap rehend er . la r ealidad. L a p alabra
dialctica, por el contrario, incorporaba estos elementos de manera
vaga, es verdad, pt:ro perfectamente natural" 3. L a vaguedad a que
aqu se alude reside, como lo ponemos de m anifiesto en los captulos
IV y V de este trabajo, en la idea de " di alctica" de l'Os epistemlagos complementaristas.

El positivismo lgico, con el engend ro de su semntica,. tiende

a escamotear el conte nido obj etivo de lo real. Se busca, en elucubraciones y ensayos sin jerarq ua filosfica, "el significado del significacio"; se introdu ce deliberadam ente el m s especioso de los
lenguajes, m ech ado de signos superflu os; se destil a la quintaesencia
de la "analiticidad" m ediante analogas) identidades y pleonasm os
infantiles. Pero como no cabe reducir problem as objetivos a problemas verbales, esta vana tentativa ha llevdo a ,los semantistas a ser
ininteligibles, a in r mrir en un constante galimat as. E stn muy lejos
de sospechar que 1111 lenguaje preciso y sobrio facilita el enfoque y
discusin de los problem as reales, a los que el positivismo lgico,
situndose por insuficiencia filosfica, en una posicin agnstica,
pretende presentar como prob l em ~s aparentes o ficticios,
Precisamente, el abuso de la p alabra lgica por parte de los
cultores de las "nuevas lgicas" y de los semantistas dedica dos a
los intrngulis de las operaciones con las clases y relaciones, ha
llevado a los m s cmicos embroll os y absurdos. As, tenemos, segn
Tarski. "la T eoria de las relaciones, parte especial muy importante
de la Lgica, en la que se estudian relaciones de carcter completamente arbitrario y se estable en leyes relativas a las mismas" 4. H ay
"una operacin nueva muy interesante e importante" 5, de la cual
resulta un "producto rela tivo" R j S, que "es vlido entre dos objetos
Op. cit., pP. 73-74.
Y 5 Int rcduccin a la Lgica, pp., 102 y 107, trad. cast., Buenos
Aires 1961.
3

10 ICarios Astrada
x e y si h ay un tercero z t al que tenemos al mismo tiempo: x R z
Y z S y". .. " As por ejemplo, si R es la relacin de ser esposo, y
S es 'l a relacin de ser hij a, entonces, R j S es vlido entre dos p ersonas x e y si h ay un a p er son a z tal que I x es esposo de z y z es hij a
de y; por lo tanto, la relacin R j S coincide con la relacin de ser
yerno" 6 . No cabe n egar que estamos frente a un a operacin "nueva",
nuevecita y "muy interesante e importante" de la cual resulta la
relacin (tambin nueva y muy importante ?) de ser yerno, p ero
si aplicamos un cmmtificador de existencia p ara z, la suegra (c ualquiera z ), enton cf.S tenemos q u.e la suegra puede ser "muy importante" p ara el yer no, p ero poco, siendo tambin la inversa verdadera. Asuntos famili ares de 'las " nuevas lgicas" , en los cu ales no
cabe inmiscuirse por discrecin. Salvo cuando es tam os en presencia
de un caso fenomenal, de un verdadero abracadabra. Como estas
relaciones s,o n abstr actas y "completam ente arbitrarias" resulta, cuando en ellas se introduce la realidad, que es contingente y aparen tem ente arbitraria, un produ.cto sorprendente, pero no para la vida
que es la gran ca~a de sorpresas. Este ~era el caso si se complican
aquellas relaciones referid as al parentesco en 'la siguiente forma,
siempre p osible : x yerno de y; x (qu e es viudo) tien e un hijo de
su primer m atrimonio, t, el que se casa con y (que es viuda y m adre de z) ; de es te mod o x es yerno de su propio hijo . Pero aqu no
termina la relacin de parentesco, porque el m a trimonio x z tambin tiene un hijo v, que lgicam ente es h ermano de t, pues ambos
son hij os de x. Y aqu vi ene lo extraordinario y paradojal de la
rel acin de parentef'co (una nueva p aradoja, para los semantistas) :
v es hermano de t y a la vez su nieto, y siendo los dos h ermanos
entre s, i resulta que t es abuelo de s m ismo ! En esta coyuntura se
le plantea a t, a causa del intrngulis, la opcin sem nticamente
pattica de ser abuelo de su h ermano o h ermano de su nieto, p ero
la solucin reside, sin dud a, en que considel'emos a esta relacin
como una t autologa. As llegamos al ta utolgico abuelo de s mismo . En presen cia de este acontecimiento incubado en la entra a d e
la "nueva lgica", a nadie se le va a ocurrir, en presencia de sus
cultores y seman ti5tas, que s tos son unos ingeniosos y unos vivos
sin abuelo (como reza el dicho corriente) , pues cada uno de ellos,
circunstancias m edi ante y si la aviesa rea lid ad mete la cola, puede
llegar a ser abuelo de s mismo, es decir, abuelo tautolgico.
6

Op. ci t. , p. 107.

Dialctica y positwismo lgico I 11

Claro que este abuelo no basta, pu es en sentido ascendente los
positivistas lgicos, p ara validar su direccin y sus productos al menudeo, necesitan de un ancestro ilustre en el p ensamiento filosfico,
pero no pueden exhibirlo porque no lo tienen. A lo m s, lo nico
que les queda - descartado Leibniz, ignorado por ellos y unilateralmente interprctitdo por algunos matemticoses acogerse de
manera vergonzante a Mach y el m achismo, ya deshechos por la
crtica y del todo perimidos. Asimismo les resta tributar lauda torias
a algn fili steo insular dedicado a la po pular philosojJ hy, al tou chea-tout y al cultivo del cant britni co.
Con todo, a los semantistas y cultores n a tivos de las "nuevas
lgicas" h ay que reconocerles el fervoroso empeo que ponen en
glosar las pululan tes tentativas por cimentar, ahondar y esclarecer
la ciencia altam ente sublimada y especializada de descular hormigas
en la resolana.

Introduccin

El pOSI tIvIsmo lgico y las t en dencias sintactistas y sem antlstas

provenientes de la tem tica del Wiener Kreis, con su comn denominador sensorialista y agn ostieista, constituyen hoy, por su ,difusin y
accin proselitis ta en los p ases anglosajones y en alg unos sectores de
los p ases subdesarroll ados de O ccidente, una ideologa, bien caracteriza ol e como tal.
Si el gran desarrollo y complejizacin de las m a tem ticas fue el
resultado del apogeo de las estructuras m s evolucionadas del alto
capitalismo, el movim iento del empirismo lgico y sus form as conexas
es la expresin del stado crtico a que han 11 gado las superestructuras del capitalismo monopolist a. Aquel fenmeno h a sido sealado '
y documentado en su origen p or Dirk J. Struik, quien afirma : "La
matemtica moderna es el producto de la ap aricin del capitalismo" l. Frente a la concepcin intuicionista (Brouwer ) y a la formalizadora de la llam ada lgica m atemti ca o simblica, toda una
escuela de destacados m a tem ticos y filsofos de la cien cia, como E.
T. BelI y el propio Stl'uik (en su Breve historia d e las m atemticas)
han asentado el nexo de la m atem tica con la realidad. A este respecto escribe Struik : "La m atem tica como aspecto del mundo rea].
participa de su dialctica. L a di alctica implica creacin incesante.
Por su misma naturaleza, la m atem tica es, pues, creadora, trascendiendo constantem ente las t autologas que pueden surgir en su estrucLa M atemtica, p g. 153, en Filo so fa d el Fu tu ro, t rad. casto Mxico,
1951.

14 I

e aTlas

Astrada

tura. " Los formalistas h an introducido los "axiom as trascendentales" y se h an opuesto enrgicamente a las tentativas de los logsticos ...
El fonnalismo de los axiomas se ha sublevado contra la tentativa (de
los logsticos) por reducir la m atem tica a una ta utologa, como lo
prueban las investigaciones de K . GOdel y otros" 2 . Dirk J. Struik,
subraya con Poincar que la m atem tica n o es una impresionante tautologa, como pre tende Wittgenstein y dem s corifeos del positivismo
lgico.
Los libros, ensayos, artculos -sobre todo en ingls- de los adeptos del positivism o lgico se multiplican voragin osam ente y con un a
fecundidad conejil. F uera de algunos de sus representantes universalmente conocidos, la m ayora de tales adeptos y divulgadores forman una espesa m esocracia intelectual, cuya labor se redu ce a increm entar y refaccionar un "gigantesco sistema de minucias". Su fervor,
aj eno .a la transformacin de las estru cturas d e las ciencias y del pensamiento filosfico, h a desembocado en el cultivo rampln de una
seudo filosofa, caracterizada por un m dico agnos ticismo y una metafsica subj etivista ha tiempo superados y dejados muy atrs.
Al enfocar crticam ente este movimiento y, en particular, su logstica, distinguimos entre el valor instrumental de sta - considerndola como lo que es, es decir, como un instrumento m eram ente supletorio para la prueba- y aquella logstica a la que el positivismo
lgico le ha adosado, desvirtundola, su propi a y precaria concep cin.
Tomada en el primer sentido, ella est avalada, en el reciente p asado, por el precedente ilustre de Couturat, Peano, Lalande, Itelson,
matemticos o filsofos de la ciencia, y en la actu alid ad por la labor
- filosficam ente n eutral, o con ponderada inclinacin, respecto a
la logstica- de H einrich Sch olz, Oskar Becker, el epistemlogo
Jean Piaget, Hermann W eyl (en ste h ay un nexo con la fenomenologa husserlian a ), G onseth, entre otros.
La pretensin d e superar y reemplazar la filo sofa por la logstica y el clculo lgico (o por el anlisis del lenguaje ) se ha mostrado
hoy infundada y enteram ente van a. Por el contrario, la crtica ha
puesto en evidencia que cabe enjuiciar filosficam ente a aquellas tentativas. Y en este sentido se h a abierto camino, como un problema
secundario, de radio estrictamente acotado, un a filosof a de la logstica. Ella tendr tambin por tarea enjuiciar los supuestos logsticos
2

Op. cit., pg. 165-166.

Dialctica y positivismo lgico

15

y de otra ndole del positivismo lgico _.x-, practicar un escrutInIO

eliminatorio en el enorme bric-a-brac que ste h a venido acumul ando

desde hace casi cuarenta aos .

.. Vase la obra, ya clsica de L en Brunschwicg, L es Etapes de la

Philosophie Math matique. Para la crtica d e la logstica, r emitimos al captulo XVIII, "Dissolution de la philosophie lo gistique" con sus acpites "Les
difficults de l'interpreta tion analytiqu e" y " L es difficults du ralism e des
classes" . Como conclu sin de sus precisas observacion es crticas, Brunschwicg
nos dic e : " ... La evolu oin de la filosof a logstica evoca la id ea de estas usinas metalrgicas qu e, perfeccionando su utila je, logran fabricar caones capaces de perforar sus propias corazas; por el progreso d e la lgica simblica, la logstica h a ll egado ella misma a arruinar sus primeras ambicion es"
(Les Etapes de la Philosophie Mathm.atique, p . 410, 2da. ed., Alean, Pa rs,
1922). Pinsese qu e la primera edicin d e esta obra data d e 1919 y se comprender el alcance y val id ez, condiciona d a por la poca, d e a qu ella comparacin. Pero, con el -a dvenimiento d e la cib ern ti ca y su p rogr eso, sobre todo a
partir de N. ,Wien er, y el desarrollo a lcanzado en nu es tros das por la ciberntica sovitica, con la nu eva ciencia que ella ha promovido, la matemtica d e las mquinas, la cu al impEca la mayor aproximacin a la realida d
obj etiva, la coraza " tautolgica" de la logstica d el positivismo lgico, que incomunicaba a ste de a quella realid <l!d, se ha d esvanecido como un fantasma .
Adems la fsica nuole ar, con sus r esultados, ha sid erado has ta la sombra
semntica del fantasma. El tomo ha d eja do d e ser la "fi ccin" del machismo
y sus sucesmes, los em piristas -l gicos, como Carnap; in clu so su pod er d estructo'r d e la vida humana, ha sido d.esgraciadamente exp erim enta do.
Para las diferentes concepciones d e Ja m a t emtica vase: Oskar Becker,
Grundlagen der Mathem.atik in Geschichtlicher Entwicklung. F,r eiburg, M'nchen, 1!:i54. Es slo d e lamentar, respecto a es ta obra, qu e, en la parte consagrada a la matemtica mod ern a y c ontemporn ea, la bibliografa sea preferentemente alemana y muy escasa la anglosajona. As, la importante escuela
de matemticos a qu e nos h emos referido, no es t contemplada en ella.

Captulo 1

1)

LA DIAL~CTICA C O MPLEMENTARI STA

En diversos dominios del conocimiento fi,losfico y cientfico se est operando una ren ovacin del p ensar dialctico, y h asta se torna
cada vez m s evidente una primaca de la dialctica, no slo en el
aspecto m etodolgico, sino in cluso en lo relativo al p lanteamiento de
los problemas mismos, T a n pron to se desarroll a e.] proceso de concep tu acin cientfico-n atural (y el social-histri co, desde luego) las "cosas mismas" imponen su tra tamiento dialctico.
Pod emos decir que el p ensamiento cientfico, en sus diferentes
campos, est dominado por la dialctica. L a.s nocio nes cientficas - ya
sean de la fsica o de la biologa- al pasar a t ravs de sucesivas teoras de la ciencia y concepciones filosfi cas, han experimentado un a
serie de transformaciones, articuladas en un proceso en el que est
m anifiesto el trmite dialctico q ue peticion an tales nociones y conceptos. El proceso del conocimien to cientfico y filosfi co se cumple
m erced al proceso qu e Gastn Bachelard h a llam ado justamente de
" dialectiza cin de l'Os con ceptos" .
L a realidad que abar ca la investigacin cientfica, y a la cual se
aplica la dialctica del conocimiento, n o es una realidad h ech a y esttica, sino una realidad en movimiento, en transform acin, que se
est constantemente h acien do me rced -como veremos- a una (;'ntradiccin que le es, inm an en t.e, y a la que el racionalismo, atenido
apriorsticamente a la identidad, no ve ni reconoce como tal.' -En 'carn~

lB

I Carlos

Astrada

bio, la dialctica, al tratar de reflejar esta realidad, logra conocerla

y determinarla aproximativamente de modo especfico.
. Desde 1938 comienza, en el terreno del pensamiento cientfico
y del epistemolgico occidental -en trance de agotamiento por el
pitinement sur place de los manidos puntos de vista del neopositivismo lgico y de la Erkenntni~theorie- una renovacin, con alcance
restringido, de la dialctica, p ara sacarlo a aqul del punto de crisis
en que se encontraba. Este movimiento se origina en los Entre,tiens
que el Instituto Internacional de Cooperacin Intelectual organiz
en Zurich aquel ao. Gastn Bachelard, Paul Bernays, F. Gonseth,
etc. abrieron camino a la idea de que el conocimiento en funcin de
la exp eriencia debe ser un proceso dialctico. De la puesta en marcha
de esta idea naci en 1947, la Revista Dialctica.
En el programa form ulado editorialmente aparece esta asercin
fund amental : "El hombre no es un ser ya fij ado en su forma natural,
ni aun detenido en una situacin vital invariable. Si l se cierra a lo
nuevo, si cesa de p ensar, si Tenuncia al saber, no ~s una armona
estable la que l mantiene, sino que sella su propia decadencia. El
hombre permanece siendo hombre slo cuando paga su tributo al
eterno cambio. l nicamente puede existir deviniendo" (Editorial,
p. 5, ingls, p. 7, francs, p . 9, alemn).
De los enunciados de la tarea propuesta, que en su totalidad
tiene un carcter programtico, sintetizamos los principales, tanto
del Editorial introductorio, como de las formulaciones doctrinarias
de Gonseth, Bachelard, H . S. Gagnebin: a) " la idea de dialctica ...
ha devenido un pivote del pensamiento cientfico moderno; pero ella
ha desbordado el cuadro de ste para transformarse en el elemento
central de un a filosof a que abraza el conjunto del conocimiento"
(H. S. Gagnebin); b) Sobre todo el frente del conocimiento, el saber del especialista ha franqueado los lmites de las evidencias comunes ; c.); "todo lleva a pensar que el conocimiento no puede ser
ms que dialcticamente fundado" (F. Go'nseth) ; d) "el racionalismo cientfico aparece como una filosofa di alctica" (G. Bachelard) ;
e ) la ciencia moderna se encuentra en una situacin dialctica, fundada en su apertura sobre la experiencia, siempre revisable; f) el
pensamiento cientfico, por la accin recproca entre teora y experiencia, avanza dialcticamente; g) como ha sealado Bachelard,
el progreso del conocimiento cientfico se desarroJ.!a por etapas, y
las conceptuaciones que va logrando se encuentran suJetas a un "proceso de dialectizaci6n".

Dial<etica y positivismo lgico

I 19

El punto de vista preconizado por el equipo de Dialctic.a difiere de la concepcin hegeliana, y su ulterior desarrollo tanto desde la
posicin idealista como desde la del materialismo dialctico, por cuanto aqul considera posible superar y anular la contradiccin. A esto
se llegara en razn de que el hombre de ciencia trabaja en dos planos (o dos sistemas) que se excluyen recprocamente de modo que la
lgica que es vlida para uno de ellos, no lo sera para el otrox-.
Este punto de vista obedece, en nuestro concepto, a la extrapolacin
del principio de complemen1:ariedad, formulado por Niels Bohr en el
terreno de la microfsica, a otros dominios cientficos. La posicin
terica de una dialctica complem entaria, sobre la base de la superacin de la contradiccin, ha sido expuesta por Paulette Destou.
ches-Fvrier B'.
, La proposicin ci entfica integrada incontradictoriamente en un
sistema es el resultado de la unidad de las contradi cciones, que se han
manifestado en el otro sistema (o en el otro plano). Lo que se ha
logrado aqu, en realidad, es una sntesis, que, ,en una etapa ms avanzada (o progresiva) del conocimiento, se diversifica de nuevo contradictoriamente, para encaminarse a una nueva unidad. Pero, en este
caso, lo que hace avanzar el conocimiento no es la complementariedad, sino la contradiccin, que se abre como un hiatus constante en
la supuesta identidad de la rea1idad a conocer.
2)

LGICA y LOGSTICA

La Logstica ('O lgica simblica, como la llaman los anglosajones),

que se desarrolla en con1:actos, no muy claros, con la matemtica,
es una de las direcciones m s difundidas del agnosticismo contemporne'. Sus representantes, de d.iversa extraccin, sobre todo los
teorizadores del neopositivismo del Crculo de Viena, sostienen haber
superado el pensar dialctico.
Ante todo precisaremos, para acotar su dominio de la matem-

'* Este supuesto h a sido teorizado tambi n en otros aspectos por E. B.

Zesler, que establece una atenuacin del principio de contradiccin, al qu e
otorga plena vigencia dentro de un sistema, aqu el en qu e la proposicin se
integra, y suspend e o 'ega a abolir su validez en.,otro sistema difer ente del primero (Foundlation of Logic a71d Mathematics, pg. 122 y sg'l;. ; ed. Isaacs,
'
I
11 11 I1 l
Chicago, 1955).
'*i* Vase Manifestation de la Complementarit, Dial ctica, 1948, pg.
409, y adems Logique et ~hories physiques (Congrs International de Philosophe des Sciences, Pars, 1949).

20

I Carlos

Astrada

tica y ver qu nexos legtimos tiene con la Lgica, el significado y

alcance de la Logstica.
,El nombre "Logstica" proviene de Couturat, quien explica la
razn de esta design acin, y por qu rech aza el de "Lgica simblica" como as tambin el de "Lgica m atem tica". Tal razn no es
otra que "la expresin " Lgica simblica" acenta de modo inconveniente slo un detalle sin importancia del dominio total", y la designacin "Lgic,a mat,em tica" contiene una precipitada enunciacin sobre
la relacin de la Lgica con la M atem tica, y p or tanto da lugar a un
doble error : 1) a la idea de una apli cacin de la Matemtica a la
Lgica, .}a que, sin embargo p osee sus propias leyes autnomas ; 2 )
la idea d e una L gica aplica da a la M atemtica, con lo cu al la significacin y validez universal de es ta Lgica es perjudicada" ... "Por
esto preferimos la design acin " L gica algortmica" , una palabra que
simplemente se ala el h echo que en las leyes lgicas ap arece un cierto clculo, o mejor, la design acin "Logstica", la que, n o obstante
haber llegado a perder su vieja significacin, evoca la mism a idea" l .
El planteamiento de los problemas lgico-m atem ticos y el desenvolvimiento de la Logstica dieron un gran impulso a la Lgica, la
que llevaba un a m arch a lenta, sacndola de lo que podemos llam ar
su estado vegetativo. En el desarrollo de la Lgica, a par tir de este
m omento, cabe discernir dos e tap as, una caracterizable p or la tendencia algebraizante. Este prim er t ram o de su renovacin es t representado por D e Margan, H amilton, Boole; la otra etapa es t influ'da
por la tentativa de derivar los conceptos fundam entales de la aritmtica de principios an al ticos lgicos. R ealizaron, entr.e otros, una destacada labor, e n este sentido, Frege, Coutura t, P eirce, Whitehead y
Russell. La L ogstica, en virtud de estas elaboraciones, fu e preferentemente llam ada L gica matemtica porqu e la constr uccin de los
clculos lgicos se sirve del lenguaje de los signos de la m atem tica,
tom ada como m odelo, y tambin porque los prim eros clculos lgicos
fueron desarrollados p or m atem ticos, siendo ellos usados p ara aclarar los fund am entos de la m atem tica. En realid ad, la designacin
de "Lgica m a temtica" provien e directam ente de la obra standard
de B. Russell y A. Whiteh ead : Principia M a>them atica (1910-1913) ,
obra prxim a al error -contra el que reaccion Coutura t- de considerar que la Logstica es una Lgica especial de la matem tica y/o
para matemticos.
11 Die Primipicn der Logik, pg. 138-139, en Encyc/opadie de r Philosophischen Wissenchaft en, 1 Bd ., T ubingen, 191 2.

Dialctica y positivism o lgico I 21

Gottlob F rege - quiz entre los m atem ticos el de ms aguda
visin lgica- , fu e quien llev a sus ltimas consecuencias formales la lgica clsica, acercando a ell a la aritmtica. Con su obra
Bases de la Aritmtica (1 884 ) e Ideografa: ( 1879) influ y decisivamente en las elabnraciones logsticas de Russell y vVhitehead, que
adoptaron en lo fund amental sus originales puntos de vista y criterio
m etodolgico, aunq ue aqullos no subrayaro n la n ecesidad, para los
interesados en estos estudios, de tomar contacto directo con la obra
de Frege, cuyos escritos recin en 1952, fueron traducidos al ingls;
p ero el pensamiento del m atem 6co y lgico germano est bien prese nte en Principia Math.em atica.
Frege se cmpea en demostrar que los juicios aritmticos son
a nalticos, de donde l ex trae la consecuencia que los m s altos principios de la a ritmtica son .lgicos. Introduce, ad em s, otra nocin
de alean ce me todolgico: el conce pto de relacin. A este respecto escribe : "El con cep tO' de relacin p ertenece, pues, como el simple a la
lgica pura. No se toma en consideracin aqu .el contenido particular
de la relacin, sino slo la fo rma ,lgica. y lo que de sta se puede
enunciar, su verdad, es con'O cido an alticam ente y a priori" 12 . Russell
tambin sigue el camino an altico de Frege. Distingue, en una explicacin metodolgica previa, dos direcciones e n la m atem tica, la const r uctiva, que desech a, y la otra "m enos conocida" que "progresa ana'lticamente a abstracciones cada vez m s grandes y a la simplicid ad
lgica. Ella no interroga qu se puede definir y deducir de los supuestos fundam entales 'Originarios sino qu clase d e con ceptos y principios m s gen erales pueden ser encontrados, m ediante los cuales nuestro punto de p artida pued ser definido o deducido" 3 . Russell ha
construido su teora de las fun cion es p roposicionales b asndola en la
tcor'a de Frege, acerca d e los concep tos de relacin. Adem s, l intenta reducir los principios del lgebra a una lgica ampliada de los
conceptos de clase. Quiere mostra r que todos los enun ciados sobre
cosas, incluso sobre espacio y tiempo - que siempre fu eron asentados
como incl ependientes- p u eden ~er redu cidos a con struccion es; luego,
m edi ante stas, las totalid ades de ualidades, qu e slo son dadas individualmente, se ar ticularan, sin sup uesto alguno, en sistemas unitarios de orden acion es sobre la base de los nexos existentes entre aquell as totalid ades o conjuntos.
2 D ie Grundlagen der A,.ithm etik. E ine L ogisc h-math ematische Unt er. :ch un.1! b er d en 'B egriff d er Z ahl. p g. 8 2, Bresla u, 1884, 19 34.
3 lntroduction to M ath ema tical Ph ilosoph )" pg. 1, 2. ed. London, 1920.

22 I Carlos Astrada
La reform a d e la Lgica, entraada por la Logstica, tendi a
crear un instrumental de smbolos, dotado de precisin y eficiencia.
Por este aspecto de su programa, a la Logstica se la design con el
nombre de "Lgica simblica". Tambin la lgica clsica us smbolos. Asi, Aristteles fue el primero que los emple (Alfa, Beta, Gamma) para las operaciones lgicas y lo que l llam apofansis. El sm
bolo en las modernas transformaciones de la Lgica, y las m s reCientes de las lgicas polivalentes, trata de excluir la forma de expresin
material.
Es de hacer notar que las palabras del lenguaj e son ya smbolos
conceptuales. Sobre su significacin no puede surgir ninguna duda
desde que, en virtud de uno de los m s fuertes influjos a que se encuentra sometido el espritu humano, tal significacin ya est fijada
por la costumbre. Los signos poseen en gran medida constancia y determinacin. Ya que la palabra, en su significado, no es absolutamente estable, esa constancia de los signos es una gran ventaja para el
lenguaje.
L as palabras, como es sabido, m ediante los procesos de desplazamiento o condensacin de las representaciones, se adaptan a las
necesidades d el p ensar. An en los dominios del pensamiento en que
nos es posible servirn os de otros sistemas artificiales de signos, no podemos prescindir d el todo del auxilio del lenguaje. "Es que -como
explica Wundt- el lenguaje es el nico sistem a de signos concebido
en constante e interna evolucin. M ediante esta evolucin, l es apto
para insuflar vida a cu alquier simblica artificial. Es as cmo ba,io
este influjo, los smbolos de las operaciones matem ticas han experimentado mltiples modificaciones y se han creado nuevos simbolos
para nuevas relaciones descubiertas" 4 . Ningn sistem a artificial de
signos puede remplazar al lenguaje. (Pavlov ll ama justamente a ste
el segundo sistem a de signalacin, siendo el primero los reflejos condicionados ). Por el contrario, el lenguaje comunica a cualquier sistema artificial de signos la posibilidad de desarrollo que l posee. Esto
slo puede su ceder cuando el lengu aje mismo permanece en una continua accin recproca con tal sistem a. T ales sistemas artificiales, como seala Wundt, slo pueden intervenir momentneamente en lugar del lenguaje p ara aligerarlo de tareas que ste puede realizar de
modo imperfecto. Tal es el caso de la interven cin o a porte de la
matemtica, la que suministra al respecto un testimonio irrefutable .
4 W . !Wundt, L ogik, L Bd. Allgemeine L ogi k und Erkenntnistheorie, pg.
233 3 Auf. 1906.

Dialctica y positivism o lgico I 23

"Sin embargo, la evolucin d e esta cien cia est liga da a la formacin

de su sistem a artificial d e signos casi tanto com o la evolucin del
p ensar a la formacin del lengu aje" 5,
H ay, sin duda, que evitar el error o m ala comprensin, bastante difundida, que tiende a ver en el clculo de .J a especie ya indicada,
introducido por la Logstica, un juego enteram ente intil de formas,
o lo que es an m s ,errneo y exagerado, la tendencia a reducir el
pensar humano viviente a un estril y seco mecanism o, y nivelar, as,
la riqueza del lenguaje n atural (del "lenguaje-obj eto" , como lo llaman en su jerga los sem antistas) h asta un fo rmalismo abstracto. D e
h echo, la Logstica, con r elacin a un objetivo limitado, empero, es
slo un instrumento, adoptado para lograr con su auxilio, en todo
proceso probatorio de las ciencias deductivas, exactitud, secuencia y
correccin lgica. M edi ante stas cabe alcanzar conocimientos o evidencias en las conexiones lgicas, los que no se podran h aber logrado
sin cierto clculo. G. Frege, exagerando un poco quiz, h a comparado la relacin del clculo .Jogstico con el lenguaje usual con la que
existe entre el microscopio y el ojo humano.
Con el advenimiento y difusin de la sem ntica (en ntimo m arida je con el 'positivismo lgico) , se comenz a sosten er la tesis de la
necesid ad de remplazar enteramente el lenguaje conceptual de las
palabras y oraciones por un lengua je simblico, del todo artificial,
extrado de la matem tica contempornea. Les asiste, sin dud a, razn a los sem antistas al requerir qu e se establezca una terminologa
cientfi ca exacta y univalente, como lo reconoce P . V. Kopnin . Ya
L eibniz reclam 10 mismo e hizo aportes valiosos con su idea de una
Zin,l!ua rationalis en conexin con una characteri1:tica universalis y el
" alfabeto de las ideas" . N adie niega a los semantistas que "tienen razn al afirmar que la exactitu d ,( o ms propiamente, estri ctez ) en el
lenguaje tiene importancia primordial, y que las ideas m s grandes
y los ideales m s elevados pierden su signi.ficado si se comunican sin
precisin. El requerimiento de los semantistas para que se establezca
una terminologa cientfica exacta y univalente, es justo" 6 . Pero,
se equivocan al especular con ciertas insuficiencias de la lengua n atural -el "lenguaje-objeto" - y sostener que en la cien cia es neceW . Wundt, Op.cit" pg. 233 .
L a nat u raleza d el juicio y sus formas de expresin en el le nguaje, en
D . P. Gorski, Pensam ie nto y L engua,je, p g. 44 1. Pu eblos Unidos, Montevideo, 1958.
5

2-4 I Carlos Astrada

sario sustituir el lenguaje conceptual de las p alabras y proposiciones
por un lenguaje artificial vaciado en la simblica matemtica.
El len guaje es el m edio fundamental (el recurso fnico) para
expresar los juicios. Con l "no puede competir ningn lenguaje artificial de los smbolos grficos y tablas ... El simbolismo mat~mtico,
los grficos, las tablas, enriquecen los recursos de que disponemos,
surgen como consecuencia de las necesidades del desarrollo de las
ciencias. Su aplicacin e n el lugar correspondiente posee sus ventajas. en comp aracin con el lenguaje verbal ... ; facilita, sobre todo, el
progreso de ciencias como la matemtica, la f'sica, la qumica y diversas ciencias tcnicas. La v entaja del simbolismo radica en su rigurosa monoval en ci a"~ . No cabe negar, pues, que el simbolismo
matemtico, los grficos, los diagramas, las tabl as (funcionales y de
"valor de verdad") contribuyen, al desenvolvimiento de las ciencias
d eductivas, y representan un sistem a de connot.acin cientfica precisa en las dems. Por medi'O del empleo d el simbolismo ')(- se puede
deslindar un sector del saber cientfico y referirse siempre al mismo
con precisin expresiva y exactitud. Existen, ciertamente, medios
para expresar los juicios que difieren del le nguaje u su al ; pero tales
recursos son auxiliares y no pueden existir independientemente de
ste. Son recursos que nicam ente sirven como' complemento del
lenguaje y no pueden tener carcter universal. Certeramente afirma Kopnin: "No es posible aplicar y comprender designaciones simblicas, sean de la clase que fueren, sin palabras y sin oraciones" 8 .

3)

LGICA DIALCTIC A y CARCTE R I NSTRUMENTAL

DE LA LOG S TICA

La Logstica no est por s misma vinculada a ninguna concepcin

o doctrina filosfica. Un'O de sus def.ensores ms decididos, H cinOp. cit., pg. 442 .
F.n Jo que resp ecta a la Drct'cnsin d e Jos Logsticos de que slo l ~s
proposiciones que pueden traducirse en frmulas p oseen pleno sentido y los
prob 1-:mas nu e, en fun cin d e u na rc",la d p 'c lculo. n o son susceptibles d e
ser p lanteados por sta, son probl emas fictic ios nos dice B. V. Freytag Loringhoff : "De nuevo se destaca bien que estos fi lsofps Logs ticos naufragan
justamente con su propia filosofa, y ellos mismos to,r nan a abandonar uno
de estos dogmas tras otro. Los viejos problemas son m s fu ertes qu e los
nuevos clcu los" (Lo gik, ihl' System und ihr Verh.,(iltnis zur LogiStik, pg.
191 , Stuttgart, 1955).
8 La naturaleza del juicio y sus form as de expresi n en el lenguaje, en
D . P. Gorski, Op. cit ., pg. 442.
7

.*

Dialctica y positivism o lgico I 25

rich Scholz, le asigna cn su Geschichte de r L ogik ( 1931) un ,: arcter
meramente instrumental, seal ando que ella no est necesariamente
ligada al p ositivismo . Pero 1'0 cierto es que el positivismo lgico del
Crculo de Viena y los seman tistas de l provenientes o por l influidos la vin culan, sin reparo alguno, a su propia posicin doctrinaria.
Por lo dems, h ay que sealar que el positivismo lgico ha trasvasado, con alguna modificacin ines.encial, a sus propios moldes lo
fund amental de la problemtica de E. M ach . El Crculo de Viena,
con sus proliferaciones anglosajonas es, en el fondo y h as ta en la
form a, una reiteracin tarda on recursos simblicos y semnticos,
de la concepcin positivista del machismo.
Ante todo, es nccesari'O subrayar que no hay oposicin entre Logstica y Lgica dialctica, como suponen y lo proclaman los partidarios de la primera. Entre stos, algunos latinoamericanos con mentalidad colonial, que exteriorizan una .a dhesin idoltrica, y muy pasatista, por B. Russell , afirm an con ingenuid ad de n efitos que la
"lgica matemtica" (as designan 'ellos a la Logstica) es muy sup erior a la lgica dialctica. Adems de falsa, tal opinin aparece
como ridcula, cuando se acotan estrictamente los dominios de ambas disciplinas. El radio de aplicacin de la lgica dialctica materialista es enormemente m s am plio y rico de contenido que el de
la Logstica, como tendremos oportunidad de verlo. L a fertilidad
de la primera es eviden te, no slo en el terreno del acaecer socialhistrico, sino tambin en el de las diversas cie ncias naturales, incluyendo hasta la microfsi a .
L a influen cia tarda de B. Russell, 'Wittgenstein, C arnap, ha
obrado deformativam ente sobre la mesocracia universitari a de L atino Amrica . Sus representantes, dogmticamente, h an h echo de
la "lgica m a tem tica" o " lgica simblica" un a esp ecie de p anacea. Si los positivistas del Crcu lo de Viena desvirtuaron el carcter
instrumental de la Logstica, adosndole sus propios y, a veces, subrepticios supuestos fil05ficos, los mdicos panegiristas de estos p ases
coloniales la h an absolutizado h aciendo de ella una Weltansc hauun g.
Segn ellos, la " lgica matemtica" hace intil toda pesquisicin
en los dominios filosficos (en el de la gnoseologa, epistemologa,
tica, me tafsica, etc.) ya que en stos los problem as " no tien en
sentido" , son mal planteados o no cabe plantearlos. Slo los logsticos son aptos para d eclarar su legitimidad y discutirlos, ya que
ellos saben acudir al m etalenguaje Ln y a l clculo sentencial, de
clases, de rel aciones, etc., empleando, adems las "tablas d e verdad"

26

I Carlos

Astr,a da

("valor de verdad" es una expreSlOn introducida por Frege, para

los juicios) y las "conectivas". A los l'Ogsticos nativos que se dedican a proclamar y poner en prctica las ventajas de estos clculos
para toda clase de conocimientos (aunque se mueven con lentitud
y a tropezones dentro de los esquemas m eramente deductivos y "formalizad'Os", partiendo. de "axiomas"), les sucede que con una mano
ordean la vaca y con la otra. . . sostienen la criba . .
Cuando, en el segundo Congreso de Filosofa de Ginebra (1904),
Couturat, Lalande e Itelson, sin acuerdo previo entre s, propusieron
designar con el nombre de "Logstica" al conjunto de nociones, frmulas y reglas d e clculo de la nueva Lgica (que ya delataba en los
lineamientos lo que sera su construccin) p ensaron que ella poda
constituir, en el dominio de las ciencias, sobre todo deductivas, una
especie de lengua internacional clara y compr,ensible para la comunicacin cientfica. Facilitara esta tarea a la Logstica la tendencia,
quiz nsita en ella, hacia la form alizacin; su carcter formal mismo, adems, la hace indispensable para la d educcin cientfica, aunque se pone en duda que sea un medio til para la invencin y la
demostracin.
Sin embargo, posteriormente a la enunciacin de este programa
ajustado y legtimo, comenz a imperar el arbitrio individual y cada
tratadista introdujo nuevos signos y connotaciones simblicas en el
lenguaj e form alizado de la Logstica; aument el nmero de las
llamadas "conectivas" o modific sus signos. Adems, en la lgica
modal, en la cuantificacional (o clculo funcional de las clases),
unos l'Ogsticos emplean letras m aysculas, otros minsculas, y algunos letras diferentes que los anteriores, para la notacin. Tambin
vara el significado que asign an a los smbolos. Otro tanto acontece
con los signos m etalgicos. As, Lukasiewicz cre una notacin enteramente personal y diferente de las anteriores ; adems 'Otra notacin para el " cuantificador". V ale decir que el sistema de notacin
de la Logstica est muy lejos de ser unvoco, sino que, por el contrario, se ha convertido en una especie de varios Vo'lafJks, cada uno
de uso particular y exclusivo de los tericos e innovadores de la
Logstica, los que se ponen de acuerdo h aciendo una mezcla de
aqull'os. Proliferan de este modo los sistemas de notacin, tablas,
diagramas (para las lgicas tri valen tes y polivalentes) hasta el extremo de constituir una verd adera Babel.
En presen cia de sus primeras y ya evidentes extralimitaciones,

Dialctica y positivismo lgico

I 27

Alois Riehl llam al clculo logstico " deporte lgico". Si l pudiese

observar en alguno de nuestros pases coloniales el terrorismo sintctico-semntico-logstico militante implantado por l'Os cultores de
aqul, especificara m s esa acertada calificacin llamndole a ese
deporte "boxeo lgico" . Los que lo practican, como m atemticos y
fsicos o aficionados a la m atem tica y a la fsica, se caracterizan
en la mayora de los casos por su d esconocimiento de la filosofa (de
su gran problemtica), a la que enjui cian en n ombre de la panacea
de la "lgica simblica" con celo e intransigencia de nefitos.
H ay que destaca r que los m aestros, tan citados y a veces mal
interpretados por ellos, jam s levantaron la objecin fundamental
que h ace la friolera de cincuenta aos hizo Paul Natorp al forma
lismo deductivo de la Logsti ca. Al r ferirse a la tenta tiva de sus
rep resentantes de hacer de la lgica formal una rama de la m atem tica (basndose en el carcter deductivo de ambas) y de asignade como tarea el establecer las leyes del procedimiento d eductivo
y la justificacin de la validez universal y necesaria que l pretende,
escribe N atorp : " Puede, empero, establecerse y justificarse un procedimien to lgico median te la operacin del procedimiento mismo?
Esto es en s un contrasentido puesto que el mt'O do de la deduccin
tena que ser ya presupuesto como formul ado y justificado para que
las pcticionadas formulacin y justifi acin puedan resultar vlid as.
La marcha circular de la fund amentacin es evid ente ... L a imposibilidad de tal propsito est manifiesta, si luego se comprueba
cmo adems el procedimiento de la deduccin mism a es presentado. Se asientan en la cima defini iones, las que expresam ente
slo significan conven cion es sobre el uso de ciertos smbolos, no
iuicios, los que necesariam ente seran verdaderos o falsos. Se formulan despus principios con respecto a estos smbolos. es decir, se
dan prescripciones sobre la admisin de ciertas combinaciones diversas y cambiantes de los mismos. . . D e h echo, p ara estas combinaciones tampoco es indicado o ech ad'O de m enos ningn sentido
ulterior; ellas estn ni cam ente sujetas a la restriccin de no poder
anuhl rse a s mismas" 9.
Esto es slo un a mue tra de las crticas formuladas a la logstica,
a su "fundamentacin" deductiva en crculo (circulus in probando).
Pero, desde h ace m edio siglo, h ay otras que ponen de m anifi.esto las
extralimitaciones e insuficien cias de las construcciones logsticas, en
9 Die Logisc hen Gnmdlagen der Exakten W issenschaften, pg.
Berln 1910.

5-6,

28

I Ca1"los

Astrada

razn de la pretendid a y no probada validez de sus principios. Los

que conocen Filosofa y Lgica, a la vez (y no solam ente Logstica
de modo fervorosam ente mnemotcnico) no pueden pasar por alto
las crticas que desde el punto de vista filosfico se han h echo a los
aspectos centrales de la Logstica y a sus p asos operativos. Nos referiremos nicam ente (dejando de lado la de Cassirer, Riehl, tambin
importantes) a la crtica de H. Poincar. ste, acerca de la pasiografi a de Peana (contenida en su Fo rmulaire de mathem atique, Pars
1901) nos dice : "El elem ento esencial de este lenguaje son ciertos
signos algbricos que r epresentan las diferentes conjunciones: si, y, o,
pues. Que estos signos sean cmodos, es posible ; pero que ellos estn
.destinados a r en ovar tod a la filosofa, es otro as un to. Es dif cil :ldmitir que la palabra si a dquiere, cu ando se la escribe 3, una virtud
q ue ell a no tena cuan d se la escri ba si" 1 0 (3 es uno ele los die cisis
.smbolos de la tabl a id eogr fica de Peano) . En tal observacin,
Poincar apunta certer am ente a la dep enden cia inabolible en que
es t el simbolism o logstico respecto del lenguaje. Sobre los principios que Russell introduce en el clculo proposicional y que considera ind em os trables, explica Poincar : "Pero estos pri ncipios indemostrables son llamados a la intui cin, son jui cios sintticos a priori.
Nosotros los v e ramo ,~ com o intuitivos cuando los encontrsemos,
ms o menos explcitamente enunciados, en' los trat ados de matem ticas; ; h an ca mbiado ell os de carcter, porque el sentido de la
palabra lgica se ha ampli a do, y nosotros los en contramos al presente en un libro intitul a do Tratado de L gica? Ellos no han cambiado
de naturaleza,' ellos solam ente han cambiado de lugar" 1'1.
Poincar h a visto p er f.ec tamente que los errores y contra dicciones en que, segn propia confesin, suelen in currir, tan a m enudo,
los log'sticos, .a m en azan de ruina el edificio entero que ellos est n
levantando y constantemente refaccion an do. Para que prosiga la
construccin de s te y se logre m antenerlo inclume se requiere que
las reglas - ya que la intui cin no est llam a d a a p ermitirnos cliscriminar acerca de las mism as- p osean una validez incuestionable.
"Pero enton ces - afirm a P oin car, dirigindose a los logsticoses necesario que ellas sean infalibles; es slo a 'una autoridad infalible que se puede tener confianza ciega. E sto es, pues, un a necesidad para vosotros. Seris infalibles o vosotros no seris. No tenis
el derecha de decirnos : " Nosotros nos equivocamos, es verdad, pero
10

S cience et M t h r> de, pgs 166-1 67, Pars 1912,

n Op, cit. , p g . .1 75.

Dialctica y positivismo lgico I 29

vosotros os equivocis tambin". Equivocarnos, p ara nosotros, es
una desgracia, es una desgracia muy grande, p ero para vosotros es
la muerte" 12 .
Aparte de esta obj cin fundam ental respecto a las desastrosas
consecuencias de la falibilidad de las reglas logsticas, Poincar tambin seala la impotencia y complej id ad de las e cuaciones logsticas
para la demostracin, y qu e ellas en lugar d e facilitar ~a invencin
cientfica, la traba n. Carece la logstica, adems, de concisin desde
el mom ento que para establecer que 1 es un n mero necesita 27 (veintisiete) ecuaciones, como aqul h ace notar ; y, con respecto a idnti ca complicacin en las distinciones, nos di ce: "Si nosotros distinguimos, con Whiteh ead, el individuo x, la clase de la cual el nico
miembro es x y que se ll amar ix, despus la clase de la cual el
nico miembro es la clase de la cual el nico miembro es x, y que
sc llamar iix puede creerse que con estas dis tin ciones por tiles
que ellas sean se va a aligerar mucho nuestro p aso?" ~~ .
4)

DED UCCIN MATEMTICA y

D E DUCCIN LGICA

En lo que respecta a B. Russell, en su propsito de fund am entarlgicamente la teor'a de las clases, cae en el error de tr.atar, en vano,
de deducir el conceDto d e clase, que tal como l lo fo rmula, es especfi cam ente matem tico, del con cepto de juicio, ql,le es esp ecficamente lgico. Para ello, ap ela al recurso, m atem tico y no lgico,
de la interpretacin cu antificante de la relacin de la cpula lgica
- trmite subrepticio en la llamada fun cin proposicional- a fin
de suministrar al jui cio un fund amento positivo.
Aparte de esto, B. Russell llama " deduccin lgica" a la deduccin matem tica, las que son esencialmente diferentes. E sta confusin
corre a travs de todas sus disquisiciones sobre lglca simblica. Ello
est bien manifiesto, por ejemplo, en esta expli cacin: "En la deduccin, una
m s proposiciones son llamadas pTemisas, de las cuales
nosotros inferimos un a proposicin llamada conclusin . Para nuestro
propsito ser conveniente, cuando h ay originalm nte varias premisas, unirlas 'e n un a p roposicin simple, a fin de esta r autorizados p ara hablar de la premisa as como de la con clusin, De este modo nosotros podemos considera r la conclusin como' un proceso en el cual
pasamos del conocimiento de una cierta proposicin, la premisa, ' al

11.l
1.3

Op. cit., pg. 194,

Op. cit., p;g, 193.

30

Carlos

Astrada

conocimiento de otra proposicin, la conclusin, pero no consideraremos tal proceso como deduccin lgica a m enos que l sea conecto, es decir, si n o h ay una tal relacin entre premisa y conclusin, que tengamos el derecho de creer en l a conclusin si nosotros
sabemos que la premisa es verdadera. Esta es la relacin que es
principalmente de inters en la teora de la deduccin lgica" H .
No se trata aqu de un a dedu ccin lgica, como cree Russell,
sino m atem tica. Kant fundament claramente la diferencia entre
ambas. Es sabido que el procedimiento de Russell y de los repre
sentantes de la lgica simblica es an altico. Pero, un anlisis que
se remonta a los principios - Kant lo h a mostrado bien en la Crtica
de la razn pura y en la L gica- requiere ser probado por una deducoin de los principios an alizados, trmite m ediante el cu al stos
son puestos suficientemente en eviden cia.
La deduccin analtica como deduccin lgica y, en general,
filosfica, es fund am entalmente diferente de la deduccin matemtica. Aquella tiene que partir de principios evidentes o demostrables como tales. El anlisis ti ene por supuesto una diversidad ordenada y l va a las d efiniciones inmanentes a tal ordenacin. El anlisis lgico se ,d irige a la idea de ordenacin dada y, por lo tanto, al
fundamento de la orden acin. En cambio, el an lisis matemtico se
dirige a las relaciones de ordenacin de los elem entos del orden dado.
La confusin de ambos trmites, en B. Russell, est patente. Su
anlisis deductivo no es, como l afirma, lgico, por cu anto, bajo
modificacin del punto d e vista de la ordenacin, toma las definiciones consecutivas como fundamento de la deduccin. Tal procedimiento proviene d e la inveterada y explicable propensin del m atemtico .a servirse d e este' m odus operandi, legtimo en m atemtica,
pero, en h omenaje a la claridad y precisin filosficas, es n ecesario
llamar a las cosas por su nombre y determinarlas d e acuerdo a su
naturaleza .:<..
.
Kant, que distingui perfectamente deduccin filosfica de deduccin m atemtica, nos dice: "La sntesis es o filosfica o matem14 Introduc tion Yo M athematical Philoso phy, Cap. XIV, Incompatibilit y and the th eory of dedu ction, pg. 145-146, ed. cit.
,* Nos limitamos a una d e las principa.J es objeciones que suscitan los
~ll nd amen to s aportados por B. RusseJl para la lgica simblica. Sera largo
y re dund ante entrar en el anlisis de Jos errores y equvocos del clculo a
base de funciones proposicionales, sealados ya d esde hace cuarenta aos por
la crtica. Basta un ejemplo (y para ello empleamos los conocidos signos
establecidos por Whiteh ead y Russell, en Principia M'llthematica, Vol. 1, pg.

Dialctica y jJositivismo lgico

I 31

tica e igualmente tambin el anlisis. La sntesis filosfica es el enlace mediante un fundam ento" ~5, y, para explicar del todo su afirmacin, podemos agregar que el anlisis filosfico (y su demostracin mediante la d educcin) supone ir a tal fundamento . Asimismo,
Kant con respecto a la necesaria separacin de matemtica y filosofa, escribe : "Es justamente tan infructuoso y absurdo filosofar en
el campo de objetos de la matemtica, como querer hacer progresos
en el de la filosofa por medio de la matemtica, tanto en lo que
concierne a la finalidad como al talento ,exigible por .ambas, las que
mutuamente estn fundadas en la razn I(pues esto significa conocimiento a priori), y en esto no se diferencian una de otra segn el
grado, sino segn la especiJe. En los sujetos ocu,pados en ellas y en
su diferente disposicin natural para las mismas se percibe, -no sin
admiracin, su heterogeneidad hasta el extremo que, en atencin
a su importancia y al valor de su tarea especfi ca, se tratan o desdeosamente o con hostilidad" cu;.
Por no haber reconocido que la deduccin filosfica slo es t al
a base de la idea de ordenacin o de fundamento, Russell ha cado
en -el conocido sofisma de "la clase de todas las clases que no se contienen a s mismas" (la cual no se contiene y se contiene a s misma).
De ah que para salir de esta seudo contradiccin, oitada a cada rato
por los tardos epgonos del clculo proposicional, haya tenido que
acudir a la "jerarqua de los tipos" (tipo = extensin de la significacin de una funcin proposicional; toda proposicin que contiene
6,7, 12, Cambridge, 1910). La "implicacin" no es, corno cree Russell, analitica: "p J q" as como "~p ;J q", si la premisa p es fa lsa, entonces "p
es verdadero y q es fa lso" es t ambin falso; lu ego "o no q o p (~ p v q) es
verdadero, y por consiguiente "si p estonces q" (p. q ) es verdadero, 10 que
evidentemente sera un sofisma. Lo que p asa, y se documenta en este caso,
es que la "implicacin" no es una consecuencia analtica por cuanto ni la proposicin falsa. p, ni la proposicin ve:rdadera q es inma n ente a. la estructura
judicativa hipottica "si p entonces q" , ni tampoco es inmanente a la estructura judicativa problemtica "o no - p o q". Slo d e la proposicin "p es
falso" se sigue analticamente tambin la proposicin "p es verdadero" es
t ambin falso. (Vase, para comprobacin de la inferencias arriba apuntadas, Introduction, pg. 147, ed. cit. , " .. . " p implies q" is to mea.n "not-p
01' q": its truth-value is to be tru tb. if p is fa lse, likewise if q is t Du,e , and
is to be fa.lsehood if p is true and q is false").
i5 R eflexion en Kants zur kritisc hen Philosophie . II Reflexionen ;ur
Kritik der reinen Vernunft, p g. 299, edita das por Benno Erdmann, Leipzig
..
_
,
1884.
16 Opus Postumum,
pgs. 544-546. XII Convolut. 1 Bogen Seite, 1-4,
Artur Buchenav, Berln, 1938.

n:

32

I Carlos

A strada

una variable defin e un tipo, el cual es, a su v ez, definido 'por la

fun cin proposicional f (x) y al axioma del cr,culo vicioso, formu lado por l y por Whitehead: lo que presupone que el todo de un
conjunto o coleccin no es miembro de st a. Tal ax,ioma, enlazndose con la jerarqua de los tipos, p ermite la eliminacin de las
contradicciones a que llevan los conjuntos y la sedicente paradoja
de la teora de las cl ases. Es decir, que un a fu ncin proposicion al no
puede tener como argumento a s mism a o a algo de ella deducido.
Por lo m enos la jerarqua de los tipos tiene de positivo el mostrarnos
que es falso considerar a es tos tipos entre s como clases, las que
consisten en elem entos, del mi smo tipo, evitando as! la paradoja de
la t eora de las cl ases.
H emos puesto de manifiesto el error en qu e incurre B. RusselI,
al confundir deduccin filosfica con deduccin m atemtica, y las
consecu encias que aqut trae apareadas. Por lo dems esb muy lejos de estar decidido, como l y los logsticos piensan, si los juicios
matemticos son a nal'ticos, como sostiene L eibniz, o sintticos a
priori como ensea K ant. Acerca de la afirmacin de ' K ant de que
las proposiciones aritmticas son sintticas a ' priori much o se ha discutido por parte de los filsofos y ms por los matem ticos. Ya al
ao de la ' publicacin de la "Crti ca de la razn pura" surgi la
primera impugnacin de dicha tesis, h echa directamente a K ant por
J oh ann Schultz. Mucho despus el gran matemtico Gottlob Frege,
quien introdujo por primera vez la funcin proposicional ampliando el horizonte de la lgica y dando, a la vez, una base analtica,
para el ulterior desarrollo de la logstica, sostuvo, contra Kant, que
las proposiciones aritm ticas no son sintticas a pTiori, sino analti cas.
Louis Couturat fu e el ltimo matemtico destacado y, tambin 10g;,tico, que reproch a Kant h aber sostenido sin fund am ento que los
juicios m atem ticos, y con cretamente el juicio aritmtico, son sintticos a jhiD'ri.
, D espus de aducir la respuesta de K ant a Schultz, como la argumentacin m s esclarece dora y precisa que ste h aya aportado
para rebatir' por anticipado las crti cas que se p uedan formul ar a su
asercin, sintetizaremos, enfocndolos crticamente, los argumentos
de Frege y Couturat.
En carta a Schultz, de fech a: 25 de noviembre de 1788, y con
referencia a las obj eciones de ste y a la obra que le anuncia (Pr,fung der KantiSlchen KrVtik) , Kant le dice : "La aritmtica general
(Algebra) es una ciencia de tal modo ampliatoria. que no se puede

Dialctica y positivismo lgico

I 33

mencionar ninguna de las ciencias racionales que a ella en esto iguale, hasta el extremo que las partes restantes de la pura mathesis
esperan en gran m edida su crecimiento' de la ampliacin de aquella
teora general de las magnitudes. Si sta consisties'e d e m eros juicios
analticos, entonces la definicin de las ltimas ser'a por lo menos
incorrecta por cuanto ellas consistiran en meros juicios aclaratorios,
yen tal caso un importante problema sera difcil de resolver: Cmo es posible la ampliacin d el conocimiento m ediante simples
juicios analticos ?". .. " Si yo considero 3 + 4 como la expresin de
un problema, a saber : encontrar para los nmeros 3 y 4 un tercero
igual a 7, p ara el cual el uno es tomado en cuenta como el complem en1tu-m ad tot um del otro, el resultado acaece mediante la accin ms simple, que no requier.e ninguna prescripcin particular
para la soluci6n, la adicin pucesiva que produce el nmero 4 slo
como continuacin del contar a partir del nmero 3. El juicio
3 + 4 = 7 parece ser, por cierto, un mero juicio teot:tico, y lo es
tambin obj etivamente; p ero subj etivamente el ,+ designa una esp ecie de sntesis, la de hallar de dos nmeros dados un tercero" ...
"Supuesto ahora que fuese un juicio analtico, tendra precisamente
que pensar lo mismo d e 3 ,+ 4 como de 7, y el juicio slo me hara
ms claramente consciente mi idea. Ahora bien, como la sustraccin
12 - 5 = 7, da un nmero 7, d el cual yo pienso lo mismo que antes
pens de 3 ;+ 4, entonces, de acuerdo al principio eadem uni tertio
su'nt eadem inter se, cuando pienso 3 y 4, pensara al mismo tiempo
12 y 5, lo cual es contrario a . aquello de que tengo conciencia u.
A continuacin, Kant recuerda a Schultz que todos los juicios
analticos por conceptos se caracterizan porque ellos quiz pueden
presentar tambin un predicado contenido slo como concepto parcial en el concepto del suj eto, y slo la defini cin exige que ambos
conceptos sean recprocos. Y K ant agrega, con gran precisin y claridad: "Solamente en un juicio aritmtico, a saber, en una ecuacin,
tienen que ser ambos con ceptos 3 '+ 4 Y 7 enteramente conceptus
reciproci y objetivamente ser idnticos totaliter. En la tarea de resumir por el concepto 3 y 4 en un nmero, el nmero 7 entonces no
tiene que h aber surgido por anlisis de tal concepto, sino mediante
construccin sinttica, la que representa el concepto d e la composicin de los dos nmeros en una intuicin a priori, a saber, en una
nica enumeracin" 18 .
. .
! ,
),7

18

Briefe, 1. pp. 369

Op. cit., p . 37 1.

370; Kants Wel'ke, Bd. 9, ed. Cassi rcr.

34 I Carlos Astrada
Esta discriminacin kantiana, tan slidamente fundam entada,
nos permite cerciorarnos que Frege se equivoca al sostener que
7 '+ 5 = 12 no es un juicio sinttico .a jJriori, sino analtico. En
esta proposicin} 7 1+ 5 = 12, prototipo de juicio sinttico a "priori,
para Kant, trtase, segn Frege, slo de una ecu acin, en la que
el nexo entre sujeto y predicado queda excluido, disuelto. D e aqu
que de acuerdo con este criterio llegue a sostenerse que 7 es el sujeto,
considerando que 7 = 12 si es aumentado en 5 unidades, o que el
suj eto es la suma de 7 y 5 (lo que es m s conforme con el carcter de
dic,ha proposicin) o, por 1ltimo, qu e el suj eto del jt~icio es la relacin existente entre los nmero designados po.r 7 + 5, por una
parte, y 12, por la otra, a los que atribuimos como predicado la
igualdad, .0 m ejor, la identidad, D e este modo el juicio queda descpmpuesto analticamente, como es evidente, 'pues se pa rte, en realidad, como se desprende de lo ya ;ealado por Kant, en Jo precedentemen te citado, de 12, y se lo descompone en 7 + 5. Pl,lcliC'nno
serlo .tambin en 8 + 4 en 9 :+ 3, que de acuerdo al procedimiento analtico con relacin a 12 son objetivamente idnticos
tOltalite,r. Es que Frege, al otorgar la primaca a las relaciones de
tipo ,ccuacional para el anlisis opera:tivo, separa y h asta proscribe,
en lo que l llama nexo. en tre "relaciones lgicas" , la relacin entr.e
suj eto y predicado. Ello puede, quiz, estar justificado cuando slo
&,C opera ~on ecuaoiones sobre la b ase de la deduccin, que no. va
Ips . all de equivalencias analticas, es decir, de identidades, por
cpmplejas que stas sean. Es eviclente, pues, que si todas las ecuaciones son ~proposiciones, no todas las proposiciones son ecuaciones.
Haber incurrido, precisam ente, en esta ltima identificacin fue uno
de los errores de la lgica .algebraica de Schrader, que desconoce 10
genuinamente lgico, y contra la cual con toda razn, aunque paradojalmente, polemiz Frege. Si esta lgica, considerada en su conjunto fue un aporte de significacin para la logstica en cierto.s
aspectos, devino despus por obra de su superflua y artificiosa complejizacin y detallismo un modus operandi m ecnico y en el vaco.
Por lo dems, con su teora de las "relaciones lgicas" y la no confesada primaca d,e las de tipo ecu acional, Frege no llega, como se
propuso, . a la regin de lo puramente lgico, si.n9 q.u e queda en el
plano de las ecuaciones, y, adems, su pretensin de ir ms all de
la mera estructura judicativ:a es apeI1as un ir m..~ all de su mera
expresin verbal. No otro alcance' tuvo su propsito de quebrar el

Dialctica y positivismo lgico

I 35

dominio de la palabra sobre la mente humana, empresa utpica de

matemticos.
En lo atinente a la objecin de Couturat contra el carcter
sinttico a priori de los juicios aritmticos, ella ha sido discutida e
impugnada, en favor de lo afirmado por Kant, tanto desde el sector
de los matem?,ticos (el caso m s destacado es el de H. Poincar)
como del de los filsofos. Veamos, en primer lugar, el argumento
de Kant respecto a tales juicios: " Porque se opinaba que todos l'Os
razonamientos de los matem ticos se seguan del principio de contradiccin (el cual es requerido por la naturaleza de toda c erteza
apodctica) se estaba p ersuadido de que tambin los principios se
reconocan en virtud del mismo; en lo que se equivocaban, pues
una proposioin sinttica puede, sin duda, ser considerada segn
cl principio de contradiccin, pero jams en s misma, sino slo
cuand0 es presupuesta 'Otra proposicin sinttica, de -la que pueda resultar la contradiccin" 19. Es decir, y esto lo vio bien K ant,el principio de contradiccin no rige para una proposicin sinttica en su
contenido intraproposicional, sino que su validez se refiere a esta
clase de proposicion es desde el punto de vista interproposicional.
Respecto al carcter sinttico del juicio aritmtico, Kant explica:
"Al principio se poda p ensar que la proposicin 7
5 ~= 12 es
una proposicin rneramcnte analti ca, que res ulta d el concepto d e una
suma de siete y cinco conforme al principio de contradiccin, pero,
si esto se consider,a de m s cerca, se ve 'ql:le el concepto de suma
de 7 y 5 no contiene n ad a m s que la unin de ambos nmeros en
un nico nmero, con ID cual no se piensa en modo alguno cul
sea este nico nmero que reune a los dos. El concepto de doce
no es por ello de ningn modo p ensado porque yo piense simplemente aquella unin de siete y cin co". .. "Es necesario, pues, salir
de este concepto, pidiendo ayuda a la intuicin que corresponda a
uno de ambos nmeros . .. " 20. Y Kant toma como ejemplo, inapropiado sin duda y que h a dado lugar a m al entendidos, el de los
cinco dedos de la m ano ; pero su afirmacin de que la proposicin
aritmtica .es sinttica a priori no ha sido invalidada, con fundamento serio, h asta ahora. Lo intent, como ya apuntamos, Louis
Couturat, tratando de probarlo, desde el punto de vista aritmtico,
por la va demostrativa (en su muy citado e invocado -en la poca

:+

19 Jitik der reinen Vernunft, Ein leitung, V, p. 42 , Kants Werke, Bd . 3,

ed. Cassirer.
20 Op. cit" p. 43.

36 I Carlos A strada

en que se public y aun con posterioridad- ensayo L a Philos o'p hie

des mathma tiques de Kant, "R evue de M taphysique et de Morale", 1904, nmero dedicado a K ant en el centenario de su muerte,
como asimismo en su obra Principes des Mat hm atiques). Explica
Couturat: " Como no prueba su tesis m s que por ejemplos, estamos
obligados a discutir sus pm pios ejemplos" . . . " . . . El concepto de
suma de 7 y 5, por lo mismo que implica la reunin de dos, nmeros
(o, ms exactam'ente, de sus unidades) en u n solo nmero, contiene
este nmero mismo, atento a que ste est determinado por eso d e
una m anera unvoca ; entre 7 + 5 y 12 hay no solamente igualdad,
sino ide11Jtida,d abso lwta. Esta p roposicin resulta, por una parte, del
principio d e identidad, por la otra, de la definicin de la suma y
de los nmeros 7 y 5, y p or consiguiente ella es analtica. No es
necesario recurrir a ninguna intuicin, sea aquella de los dedos de
la mano, de tantos o guij arros, p ara demostrar con todo rigor esta
proposicin" 211. Y Couturat, p ara abonar su tesis del carcter analtico de la proposicin del ejemplo kantiano, nos ofrece la siguiente
demostracin, que transcribimos ntegra : "D efiniciones (de cada
uno de los nmeros enteros contenidos en la proposicin) :

2 1= 1 '-1- 1, 3 /= 2 1+ .1, 4 = , 3
1, 5 = 4
1, 6 = 5
1, 8 = 7 + 1, 9,= 8
1, 10 1= 9
1, 11 = 10
7 1= 6
12 = 11 1+ 1.

En virtud de la definicin de la suma, se tiene: a

i+ b) -+- 1. Por consiguiente:

= (a

7 "+
7 ,+
71
+
7 +

5 = 7 +
4 = 7 .+
3
7+
2 = 7
, =,

1,
1,

'+ (b + 1)

(7 + 4)
1.
(7 :+ 3) :+ lo
(7 \+ 2) + 1.
(7
1) + lo

7 "+ 1 = 8 .

Como:
Luego:

(4 1+ 1) ,(3
1)
(2 1+ 1) =
(1 :+ 1)

.+

,+

+ 2 '=

(7, 1+ 1)

7 + 3 = (7,
7 -I- 4 1= (7
7,: + 5 1= (7

+
+

2)
3)
4)

+1

+
+

8+ 1 = 9.

1 = 9
1 = 10
1 = 11

+
+

1 = 10.
1 = 11.
1 = , 12.

Se notar que constantem ente hemos procedido por sustitucin

21 L a Ph ilosop hie des A1athmatiqu es de Kan t" p. 33 8-33 9, Revue de
M et . et de M or., ,190 4.

Dialctica y positivismo lgico I 37

de trminos iguales, es d ecir idnticos, de modo que nuestra demostracin es m s simple y m s analtica que ningn silogismo" 2.2 .
D esde el punto de vista m atem tico es, sin duda, una demostracin
p erfectamente correcta; p ero, no obstante, se la h a discutido y aun
clarificado, oponindosele m s de una demostracin en contrario,
y sin m odificar n ada sustan cial en la presentada por Couturat, que
paradojalmente resulta que ste, sin sospecharlo, vien e a coincidir
con lo sostenido por K ant sobre el carcter de la proposicin aritmtica, h abiendo surgido su disidencia por incomprensin de la tesis
kantiana. Para cerciorarnos de ello, aducimos a modo de ejemplo
la contra-demostracin consignada por Roger D aval en su libro
sobre la m etaf.sica de Kant segn la teora del esquem atismo. Escribe Daval: "Si K ant volviese, le ser'a fcil dar a Couturat una
respuesta chistosa. Le bas tara con escribir de este modo la precedente serie de identidades : (designando Sx: el nmero que sigue x) :
A:

7 '+
7 +
7+
7 +7+

5 = 7 ,+ S4 = S (7

4 = 7
3= 7
2 = 7
1=

+
+
+

S3 = S ( 7
S2 = S (7
SI = S ( 7
S7

+ 4..)
+ 3)
+ 2)
+ 1)

y luego, utilizando sucesivamente las definiciones de los nmeros

S7=8, S8 = 9, S9 = 1O, SlO= 11 , S11= 12, escribir remontando la
serie:

7 ~+ 1 = S7 = 8
7
7
7
7

+ 2=
+ 3=
,+ 4 =
+ 5=

S
S
S
S

(7 + 1) = S8 = 9
(7 + 2) = S9 = 10
(7
3) = SlO = 11
(7'+ 4) = S11 = 12

Bien que no se h aga otra cosa que susti tuir unas expresiones
iguales a las otras, la primera etapa A h a consistido en escribir:
7+5 ,= S (7+4)

= S [S (7+3) 1 = SSS (7+2) = SSSS (7+ 1)

SSSSS (7)

Sin embargo, la ostentacin de las S en el nmero de 5 no responde exactamente al procedimien to de construccin preconizado por
'2i2 L a, Philoso!Jhie des M at hmatiques de Kant, p . 399 (nota 1), Revu e
, ____ ,_,
de Met. et de Mor., 1904.
__' . __ ~

38 I Carlos Astrada
Kant. . . " (contar con los cinco dedos de la mano) .. . " Qu diferencia h aremos entre contar con los cinco dedos y alinear cinco S
sobre el papel ? Se dir que la escritura importa poco, que el a ritmtico piensa abstractamente sus cin co S? L a objecin no tendra
el menor valor, ya que ella reh abilitara a K ant al mismo ttulo que
a Coutura t" 23 .
Couturat, al hacer hin capi injustificado e n la inadecuad a indicacin de Kant de apelar a los cinco dedos de la mano para integrar en un nico nmero, 12, la sum a de cinco unidades agregadas
al 7, afirma, interpretan do errneamente lo que K ant llama necesida;d dc recurrir a la intuicin: " Se tra ta de afirm ac.iones gratuitas,
qu e no estaran justificadas m s que en un a concepcin groseramente
empirista de la Aritmtica" '21 . D aval aclara y destaca el error qu e
supone esta afirmacin: "Coutura t parece no h aber comprendido
n ada o por lo menos no h abcr tenido en cuenta la intuicin pura.
Es en la intuicin pura, y no en la intuicin emprica que tiene lugar
el despliegue del nm ero 5; esta ltima n o es m s que un revestimiento intil de la primera, y no es buena m s que a fin de ilustrar un
procedimiento p ara p ensar demasiado difcil de captar para un ni o
o un lector mal h abituado a la abstraccin. La demostracin dad a
por Cou'turat es sin dud a, en un sentido, analtica, si se decide llam ar
analtica a una demostracin que no utiliza ms que ]a relacin d e
identid ad. Pero eso no impide q ue la demostracin utilice un procedimiento de despliegue que p uede quedar como un puro procedimiento m ental o realizarse concre tamente; en este sentido ell a es
sinttica. Kant no h a querido decir otra cosa" 25.
Hace ya m s de cincuenta aos, H . Poincar, al h acer la crtica
de las nuevas con cep ciones de las m atemticas, representadas por
Cantor, Hilbert, P eana, Russell y Cou turat, como tambin de la
logsti ca y de los aportes a sta, de los cu atro ltimos, seal despus
de una p enetrante valoracin crtica de las tentativas de Russell,
Peano y Couturat por invalidar la tesis kantiana acerca del carcter
sinttico a priori d e los juicios aritmticos, que las mismas h aban
fracasado. A este respecto, sint etizando, Poincar escribe: "En estos
ltimos aos, numerosos trabajos h an sido publicados sobre las matem ticas puras y la filosof a de las m atem ticas, con vistas a despejar
y aislar los elem entos lgicos del razonamiento matemtico" . .. "Para
23

~4
25

La Mt aph ysique de Kant, pp. 133-1 34. Pars 195 1.

La Philisophie des Math matiques de Kant, p. 33 B, ed. cit.
La Mtaph ysique de Kant, pp. 134-135 .

Dialctzca y positivism o lgico

I 39

el seor Couturat, los trabajos nuevos, y en particular aquellos de los

seores Russell y Pea na han zanjado definitivamente el debate pendiente, desde tan largo tiempo, entre L eibniz y K ant" ... " Podemos suscribir esta condenacin definitiva? Yo no lo creo y voy a
ensayar de mostrar por qu" ... 126 . Y viene aqu su preciso y conocido anlisis crtico de dichas teoras. R esumiendo su crtica a Russo'
y Hilbert, afirma Porncar : " ... D ecir que ellos h an zanjado definitivamente el debate entre Kant y Leibniz y arruin ado la teora kantiana de las matem ti cas, es evidentemente inexac,to. No s si ellos
realmente han credo h aberlo he ho, p ero si lo h an credo, ellos se
han engaado" 21.
Russell, llevado por su concepcin analtica en matemtica y
empirista en filosofa, rechaz la filosofa de Kant. A este respecto
nos cuenta: "'En Cambridge fui adoctrinado con las filosofas de
Kant y Hegel, pero G. E. Moare y yo llegamos a rechazar ambas filosofas" 2.8. T al repulsa de K ant, como se ha visto, fue el r esultado de
una inma tura "precocidad". La identificacin de matemtica y lgica
es tpica de la postur a de B. Russell, y s ella la que lo lleva errneamente a subestim ar a Kant. Nos dice: " El objeto primario de Principia Math ematica fue mostrar que tod a la m a tem tica pura se sigue
de premis.as puramente lgicas y que emplea solamente conceptos
definibles por medio de trminos lgicos. Esta era, desde luego, una
anttesis de las doctrinas de K ant e inicialmente, yo estim el traba jo
como un parntesis en la r efutacin de "aquel sofsti co filisteo", segn
lo describi Cantor" 20 . D ando por supuesto - lo que ya es conceder
demasia00- que K ant, que no sali de K'onigsberg y vivi consagrado
a la meditacin y escribi la Crtica de la razn pura, tuviese alguna
limitacin, no sabemos quien tipifica mejor al filisteo, si C antor o el
mismo Russell, con su insularidad filosfica. Lo cierto es que Georg
Cantor con su p aradoj a o sofisma del infinito como una magnitud
constante y fij a, y ms all de tod as las magnitudes finitas , o "infinito
actual", se propona, en el fondo, demostrar la existencia de Dios
como constante (Dios no slo creador, sino tambin conservador del
mundo en cada uno de sus momentos), m s concretamente la existencia eterna de J ehov . El sofisma de Cantor resulta de su' a firScience et Mthode, pp. 155-156, ed . cit.
Opo cit., p. 191.
~8 La Evoluci6n de mi Pensamiento Filos6fico, pg. 10, trad. cast.,
Aguilar 1960.
2 0 Op. cit., pg. 74.
26

21

401 Carlos Astrada

macin de que h ay un mero cambio de grafa entre la serie de los
nmeros y sus cuadrados respectivos, cuando, en realidad, se trata
de un' cambio de definicin, y de ah si sustitumos 5'2 por 25, y as
sucesivamente d esap arece el orden na tural que haca posible asimilar
ambas series. P ero, dejando de lado tal sofism a, en lo concerniente
a Kant; cabe subrayar que en cuanto a fertilidad filosfica nO' resiste
parangn con' alguno de los captulos de la "Crtica de la razn pura"
(por ;ejemplo, el d el "esquem atismo de los conceptos puros del entendimiento", o d de la " deduccin de los con ceptos puros del entendimiento", o el " del principio supremo de todos 10s juicios sintticos")
la totalidlid de Principia Mathematica (con sus tres tomos), en el
,asp ecto filosfico, desde luego.

5)

LA CRTICA DE LA LOGSTICA EN LA FII.JOS'FA CONTEMPoRNEA

Algunos ' de los filsofos contemporneos h an h echa certeras objeciones crticas sobre el carcter y alcance de la logstica. Entre ellos,
el que podemos llamar el p enltimo H eidegger, pues el actual,
despus de intrincadas cavilacion es, se h a plegado cada vez ms, si
no al clculo logstico, a un "pensar" "primario", que, hacia atrs,
ancla en la~ etimologas y en la penumbra de lo irracional, y h acia
adelante se mueve en el vaco de la ilusoria prospeccin; p ensar
. cuya reflexin, ,segn Heidegger, se de tendra a mitad de camino si
l se atuviese, por ,ejemplo, a estimular .el empleo pacfico de la
' energa atmica -x'. En Was ist M e.tap'hysik? y Was heisst D enken?
se h a pronunciado contra la logstica. Considera a sta como un produclo bastardo de la "Lgica", a la que pone entre comillada para
indicar que ella "es slo un exgesis de la esencia del pensar" conforme a "la exp eriencia del ser obtenida en el pensar griego". Enfrentndose, pues, con la logstica, en el primero de ambos trabajos (4'
Ed. Nachwor,t, 1943), nos dice: "Todo calcular hace surgir lo computable en lo computado, p ara ampliarlo en el prximo recuento. El
clculo no deja advenir otra cosa que lo computable. Cada cosa es
slo lo que eUa cuenta. Lo computado cada vez asegura el avance
del computar. Este emplea progresivamente los nmeros y es por
s un continuado consumirse .a s mismo. El desarrollo del clculo
con las cosas vale como la explicacin d e su ser. El calcular emplea
anticipadamente toda cosa (Se.iende) como lo contable y utiliza lo
computado p ar a el recuento. Este empleo de las cosas (del ente),

* Vase nu es tro Ebro, La Doble Faz de la Dialctica, Cap . X, 2, Editorial D evenir, Buenos Aires.

Dialctica y positivismo lgico I 41

en el cual ellas son consumidas, denota el carcter del clculo
que se devora a s mismo. Slo porque el nmero es indefinidamente
acrecentado, y esto en la direccin indiferencia da de lo grande y lo
pequeo, puede la esencia del clculo que se consume a s mismo
ocultarse detrs de sus productos, y otorgar al pensar calculador la
apariencia de la productividad; mientras l, empero, anticipadamente, y no en sus resultados posteriores, s lo d a validez a cada una
de las cosas en la forma de lo que es aproximable y consumible" ~o .
y en la segunda de las dos obras mencion adas, reiterando la mism a
idea acerca de la conexin de "pensar" y "Lgica", escribe: ... los
"conocimientos de la lgica se han tornado cientficamente frtiles
en una ciencia especial, que se llama logstica. Ella es la ms especializada de las ciencias especiales. La logstica es considerada en
muchas p artes, principalmente en los pases anglosajones, como la
nica fonna posible de la filosofa estricta, por cuanto, a la vez, sus
resultados y procedimientos rinden una utilidad segura para la construccin del mundo tcnico. D e ah que hoy, en Amrica y en otras
partes, la logstica comience a adquirir dominio sobre el espritu. A
causa de que la logstica se acopla de manera apropiada con la psicologa moderna, el psicoanlisis y la sociologa, el trust de la filosofa
venidera es perfecto. Sin embargo, esta alianza para el cerco o bloqueo no es, d e ningn modo el resultado ,d el poder de los hombres.
M s bien, estas disciplinas pertenecen al destino de una potencia
que viene desde lejos y para la que quiz las palabras griegas
'ltolllOlc; (poesa) y LXVll (tcnica) continan siendo los nombres
apropiados . .. " al.
Con prescindencia de su tesis fatalista de la potencia innominada
y suprahistrica del "ser", de la cual tanto al acaecer r...istrico (ntico) como la tcnica y h asta la poesa son sus arcanas "destinaciones",
se imponen varios reparos y precisiones a las ideas de Heidegger sobre
la logstica. El clculo logstico, por su carencia de m eta d efinible
no es aprovechable, como supone H eidegger, para las creaciones de
la tcnica. La utilid ad de la logstica, en la construccin de este nuevo
reino del ser que constituyen las m quinas, est en otro plano m s externo y accesorio. Ciertamente, merced al desarrollo de la ciberntica
y al nuevO' mtodo de calcular aportado por ella, el que implica un
enorme ahorro d e .trabajo humano, ha surgido un a rama muy importante de la matemtica, que es la matemti ca de las mquinas. Pero,
30

31

Wa s st Metaphysik?, pg. 43-44, 5 Aut , 1949.

Was heisst D enken?, pg. 10, Tbingen, 1954.

42

I Carlos

Astmd'a

hasta ahora no h ay una log'stica de las m quinas. Como es sabido,

los contactos a relay son los circuitos que se emplean no slo en las
m quin as de calcular, sino tambin en los artefactos autom ticos de
direccin . Como un circuito de esta clase tiene la pos icin de cerrado
o abierto, y no h ay p ara l otra posibilid ad, r esponde, por semejanza ,
al prinr::ipio de la lgica formal del terceTC} excludo, cuyo alcance
condiciona la correccin de u n enunciado. Pero, aparte de esto, cabe
sealar un paralelismo analgico entre los circuitos a relay (sea en los
artefactos autom ticos de direccin o de calcular) y' las " conectivas"
de la lgi ca sentencial (las que po-r fin h an dejado de funcionar en
la campana pneum tica del formalismo y p asan a prestar un servi cio
auxiliar, connota tivo en la cibernti ca): " ,-.J" (= no) , " ." (= y) ,
"v" (= o) , e tc. El primer signo, o sea " ,-.J" , denota en el relay que
el c:ircuito puede es tay cerrado o abierto, y por tanto, el paso de circuito cerrado a .abierto, o a la inversa; el signo " ." o "y" denota que
si el circuito gen eral consta de dos circuitos parciales en serie, aqul
estar cerrado ni ca mente si los ltimos quedasen cerrados; en el caso en qu e el circuito general est formado por dos circu.itos paralelos,
el signo "v" denota q ue el primero (el general) quedar cerrado en
el caso en qu e uno u otro de los dos ltimos est cerrado *. En el
caso de un ci r~u i to general constitudo por dos circuito's en serie,
cabe sea lar que el sign o no es una "conectiva" singular, sino bin aria (;H') . L a correlacin connotativa de las tres "conectivas" o signos
sent'en eiales con la situ acin de los ircuitos verifi ca la apli cacin de
rrue son suscep tibles lOs principios el e la lgica algebraica bisimblica
de L. Boole. Ello pon de m anifi esto la correspond encia esquem tica
entre los crcuitos a relay y el razonami n to lgico y sus operaciones
con sus signos conn o tativos . Esta correlacin fue m ostrada h ace m s
.. Para ' la ejemp lificacin de es tos casos y sus correspondientes frmulas, vase E. K olm an - J. P. Frolov, " L a Cibern tica y el C erebro huT"l ~ n "''' . n~"s. 5 1-.'1 3, :rvr"r> tPvideo. 1'958 .
.*". A prop sito' d el sis tema de nu meracin bin ad a como lengu a je lgico
y In p osi b i lid ~ cl r1 f! un a mqu ir> a J.goirq. Pierr p de L a ti! escrib e : " ... Basta a dmitir qu e 1 significa s y qu e O sign ifica no, para comprend er, de pronto que
el s.istema binario p ued e asimismo tra du cir m a t emtica m ente los r azonamientos lgicos . . D e esta su erte, las m quin a.s d e calcula r electrnicas d e hoy podrn convertirs e m aa na. s.imp lifi cad as an tes qu e complicad as, en mquinas
d e r azonar, en m quinas lgicas ... Aqu ell o que slo p ar ece teora ma temtica, por la d em s. nun ca intil , es en realid a d el propio lengu aje de la 16gi ca, p rocede de la na turaleza .p rofund a de las cosas, y .neva a cabo el clculo en su ms elementa l d esnudez" . " El P ensam iento Artifi cial. Introduccin
a la Ciberntica", p g. 261-262, tra d. cast., Bue nos Aires 1958.

Dialctica y fJositivismo lgico

I 43

de treinta aos por V. Shestakov y por C. Shannon (el inventor del

"juguete" ciberntico del ratn, que lleva su nombre) .
Adem s, retomando las citadas palabras de H eidegger, en su ltima parte, cabe formular a sus afirmaciones otro reparo. l aproxima la logstica no slo a la psi ologa (considera, sin duda, a sta en
su orientacin gestaltis ta y en la ltima tendencia del beh aviorismo
que se desarrolla en conniven cia con los supuestos del positivismo
lgi co ) ' . sino tambin a la sociologa. Se refiere a la tendencia h acia
la "formalizacin" de estas disciplinas, lo que slo vale para los
pases anglosajones y algn sector del pensa mi ento europeo continental. El primer ensayo de envergad ura p ara dar a la sociologa un
carcter formal-analtico y, a la vez, emprico, med'iante la radi ca l
formalizacin de sus con tenidos, fu e el llevado a cabo por Simmel,
No obstante, su punto de partida, como l expresamente lo reconoce,
cs uno histrico, con contenido social bien concreto: "Las exigencias
de la sociologa como ciencia son el reflejo terico del poder prctico
que han alcanzado en el' siglo XIX las masas frente a los intereses
individuales". Cabe, de paso, h acer notar que frente a esta sociologa
form al, y a su ulterior y acentu ado giro superestructurali sta, tiene
mucho m s influj o y vigenci a en el mundo contemporneo la sociologa m aterial dialctica, ceida a los mutabl es contenidos de la
experiencia social-histrica.
Slo el punto de partida es emprico, el que despus, en el proceso de sistematizacin, no es tenido m s en cuenta, pues van a devenir obj eto exclusivo de la sociologa las m eras formas vaciadas de
todo contenido. La sociologa abstracta y analtica que precoriiza
y elabora Simmel, en tanto que se propone poner de resalto y fijar
las form as puras, tiend e a lo sistemtico, es decir, a abarca r en un
todo global a tales form as. Simmel define, en consecuen cia, la sociologa como un mtodo sui generis que tiene que h acer por entero
abstraccin de todos 10s contenidos sociales; considera conl0 form a
sociolgica bsica la accin recproca nter-hum an a, la que se diversifica en diferentes esp ecies. Estas ltimas son las que forman las
correspondientes es tructuras sociales o ms exactamente de socializacin. A la sociol oga slo le incumbira las formas de socializacin
tal como stas existen en sus mutables contenidos. Estos ltimos, en
la sociologa formalista y abstracta simmeliana, qu edan fuera del
enfoque sociolgico. Ellos, aunque forman parte del acaecer real,
no pueden ser objeto de la sociologa.
Otra concep cin de la sociologa que tambin prescinde de la

44 ICarios Astrada

base infraestructural de la sociedad, p ara limitarse a una teora de

las relaciones inter-human as ( zwischenm enschlichen Bezie hungen),
es la de Leopold von Wiese, fu ertemente influido por Simmel; teora
expuesta en su Allgem eine SoziO'logie, 1933, y reiterada en trabajos
posteriores. P ara von Wiese la sociologa, a la que cO'nsidera una
ciencia particular, tiene por obj etO' lo social, o sea -en su conceptoel acaecer inter-humano. Lo soc,ial es, de acuerdo' a su definicin, la
totalidad de los procesos observados. En este enuncia do estn implcitas dos tesis principales, de las cu ales la primera en orden de
importancia es de que " h ay una esfera social de la vida humana" (!) ;
de que "existe al la do de lO's cu erpos, y almas de los hombres individuales una re d insustancial de relaciones entre ellos, r elaciones d e
las que surge: tod a cultura" 82 . La segunda t esis es la de que "esta
esfera no ha sido h asta ahora suficientemente estudiada, aisladam ente de los otros dominios de la vida" ~3 . L a sociologa como q;pecialidad cientfica slo. pu ede ser, segn von Wiese, " la doctrina de
lo social", es decir de la accin de los hombres unos sobre otros, en
la coexistencia o sucesin d e los mism os" <114 . Aunque esta doctrin a
de las relacion es difier e de .Ja doctrina de la cultura o sociologa de
la cultura, ella 10 mismo que sta se mueve en la instancia de las
superestructuras, slo que su inters se concentra en los "contenidos"
convivenciales de las relaciones inter-humanas. D e ah que von Wiese
a firma: "Los actos d e unin y de sep ar.acin, las aproximaciones y
alejamientos son los procesos en ,los cu ales se desarrolla la total existencia inter-human a" 315 .
La tendencia h a cia la formalizacin h a tomado diferentes direcciones aunque afines en cuanto a su finalid ad, segn se tome como
punto de partida la "estructura", la "funcin" o los tomos sociales.
As tenemos, la sociometra de J. L. l\10r eno, con los tomos, .acaeceres, interaccion es y secuencias d e acaeceres; el an lisis de interacciones
de R. F. Boles, con el fin de obtener " perfiles" , secuencias, "matrices"
as como fases de los procesos de interaccin para m edir las "regularid ades de: las r elaciones". Se trata, como vemos, de vaciar la sociolqga de todo contenido. En presencia de tales intentos fallidos de
formalizacin, con r azn h a p odido afirmar G, Lukacs que la sociologa como disciplina universitaria se h a propuesto "separar cuidadosamente los fenmenos sociales de sus b ases econmicas, remitir el
3'2

34
35

Y 3,3 S oziologie - Geschichte

Op. cit., p. 16.
Op. cit" p, 137.

1!nd

fJlauptprobleme, p. 15, Berln, 1950.

I

Dialctica y positivismo lgico

I 45

estudio de los fen m enos econmicos a otra disciplina estrictamente

disociada de la primera " 3;6. D e ah que los representantes de esa
sociologa privada d e su sustrato econmico - destaca Lukacs- " al
tratar las determinaciones de la sociedad capitalista como categoras
"etern as" d e tod a sociedad, al " deseconomizar" la sociologa ellos la
"deshitorializan" al mismo tiempo" 3 7 ,
y con rela:ein a lo formal y, en m ayor m edida, a lo "formalizado", h ay que sealar el equvoco, originado en la lgica m atem tica,
de la palabra f01'm al. N adie desconoce que las r elaciones matemticas
son formal es cuando se l as contrasta con las relaciones materiales de
h echos. Pero aqullas, as como las supuestas relaciones " lgicas" de
la logstica y de l a lgica m atematizante, son un contenido del pensar;
y este contenido frente al procedimiento d el pensar mismo puede
justificadamente ser ll am ado formal. Esto tiene pleno sentido, pero
no el escamoteo de lo formal como contenido d el p ensar. La identificaci'n de relacion es lgicas con relacion es ma tem ticas o con las
que establece l a logstica .., provien e del error de dar por sentado que
pensar matem tico y p ensar lgico son m eras especies de un pensar
puramente form al. L a fa lta de discrimin acin entre ambos radica
en que la lgica m atem atizante ignora el carcter filosfico-a naltico
36

La Destruction d e la R aison, t. I, Preface, p. 29, trad. franc o Pars,

1958.
Op. cit., p. 29.
Con respecto a esta cu estin acertadam ente expresa B. v. Freytag
Uiringhoff: "La logstica es, pues, m a tem tica. Pero, es ella pura lgica? Son
ambas ldnti ca~ , p ero, en t odo caso, no totalmente. Si son id nticas parcialmente, entonces la lgica es el gn ero, y la logstica es la esp ecie. Esto se
manifiesta ya en sus pretensiones: L a logstica pretend e ser lgica ; la lgica
no pretend e ser logstica" (Lo g;i k, ihr System und ihr V erhiiltnis zur Logistik,
p. 194, ed. cit.) . Seala B. v. F reytag qu e la logstica hace mal uso de los
ms importantes tnninos' lgicos y a grega: " L as .p alabras han quedado, pero con la significacin modificada: id entida d, conjuncin, disyuncin implicacin, concepto, enunciado, tautologa, contradiccin, etc. Esto tena que ser
as porqu e el viejo sentido Jgico d e estos trminos no pu ede ser expresado
en los clculos" (Op. cit., .1 94 ) . E l autor, a l fin al d e su obra, formula
quin ce certeras t esis sobre la r elacin d e la lgica con la logstica, de las cuales desta camos ~as siguientes : "Un clculo lgico es un caso ;particular de
matemtica aplica da ; d e m a tem tica aplkad a a la lgica" (Op. cit., p. 200).
"Es' hasta cuestionable si la logstica es superior a la lgica en problemas propiamente lgicos . . .... . " . " L os res ulta dos d e la logst ica pu ed en incontestablemente situarse en el crculo de t ar eas d e la fundam entacin de la matemtica. A ell a se la d ebe ll amar 'matematstica' y, con esto, expresar que ella
es una ciencia auxiliar especial, aju sta da para el empleo en este dominio".
(Op. cit., p. 201).
87

46

I Carlos

Astrada

de la lgica. R especto a la eSClSlon indiscrimin ada entre materia y

forma por parte del positivismo lgico, J ohn D ewey escribe, en su
"Lgica": " ... El positivismo lgico en sus formulaciones habituales se r esiente de tal m aneTa d e la influ encia de a quel formalismo
lgico, qu e deriva del an lisis de las teoras matem ticas, hasta el
extremo de empearse en un a distin cin sutilsima entre materia y
form a bajo el m embrete de "significado de las palabras" y de "relaciones sintc.ticas". D esde luego que n o h ay duda que la teor'a lgica
debe distinguir entre form a y m ateria. Pero la n ecesida d de la distincin no decide si ellas son o no son ind epe nd~e ntes la una de la
otra: si, PQr ejemplo, e].]as no estn intrnsecamente ligadas entre s
en la efectiva m a teria lgica, siendo distinguibles solamente en el
anlisis terico. Mien tr.as las proposiciones y el lenguaj e inducen a
operar una distinc.in entre las significaciones de las p alabras que
cons,t ituyen el vocabulario de aqul y las relaciones y el orden amiento
sintctico, es .claro q'u e este h echo de por s no h ace otra cosa que
replantear .de otro m odo el mismo viejo problema fundamental de la
relacin, o esen cia de relacin, en tre m ateria y forma, o entre significaciones y sintaxis. Una presuposicin tci ta o expl'cita que la distincin sea prueba de la independ encia de materia y forma, con
conexa identificacin en esta ltima del hecho propiamente lgico,
no es otra cosa que una p eticin de principio, dmlose por convenido
el punto que est propiamente en discusin" 38 .
L a confusin . constante e injustificada de estructuras lgicas y
formas m atem ticas es visible en la logstica y su modus operan di.
Cuando Frege -que posea un a muy ag uda p eroepcin para los problem as de .]a lgica- cree v entajoso que las matem ticas pued an
reducirse a la lgica, lo que en verda d l comenz por hacer, y con
ello cd,io a Russell una .i dea que lo llev h asta las m s errneas consecuencias, fue re du6r la ltima a las primeras, desconocer el carcter
ana1ltico-filosfico de la lgi ca, tom an,do el trmite de la deduccin
matem tica por " d e,u ccin 'lgica", con los resultados que ya .hemos
puesto de m anifiesto *. De a h que W. C. Kneale, acudiendo cautelosamente al eufemismo, h aya podido sealar Giue en muchos est
justificada la inclinacin "a creer que la influencia de la filosofa
38

1949.

Logica, teor a dell'indaogine trad. ital. , pg. 380-381, Einaudi Editare,

* Para la critica de la concepcin d e Frege, remitimos a la obra ya

cita;<;la de P. Natorp, Die IO IJischen Grundlagen d~r e.~akten Wiuenschaften ._
p gs. 3 y sgs. y 112 y sgs., ed. cit.

Dia[.ctica y positivismo lgico

I 47

matemtica sobre la filosof a general h a sido desgraciada -aunque

creo que estarn d e acucrdo en que por lo m enos ha pr.oducido algunas novedades interesantes" 3 9. La causa de lo primero reside, en
parte, tal como lo seala H ermann Weyl -al comienzo de su "Introduccin a la Filosofa de la M atemtica"- en que se tendra que
conocer la m atemti ca para filosofar sobre ella, p ero que para el matemtico el camino hacia la filosofa es muy dificultoso . Lo que implcitamente quiere significar que cu ando el matemtico incursiona,
sobre todo con prurito innovador, en la fi losofa, debe conocerla a
fondo.
En sntesis, y con relacin a lo que hoyes la logstica y a la
"reduccin" de la m atemtica a la lgica o a la inversa, se puede
considerar como cumplido lo previsto por B. v. Freytag LOringhoff:
"La matemtica'x- corre an el peligro de caer por obra de las excrecencias de la logstica en un caso extremo de seudo filosofa como
ciencia particular" '10. Al neo-positivismo, como pretensa filosof a, en
general, y la logstica y sus mdicas proliferaciones parasitarias, nadie
los ha enjuiciado m s enrgicamente que Ernesto Bloch, quien nos
dice con respecto a aq ul, que "no nos ensea sino A = A, Y no pasa
de ah"; "es el arte de no pensar jams dialcticam ente, de no aprender a fi losofar. Para ello convierte en lgica lo que no es m s que
logstica, es decir, un recurso auxiliar abreviado de la exactitud lgicoformal, y eleva a v erdad de ltima instancia la simple certeza revelada
por los sentidos (de la que H egel arranca en su anlisis) ... Esta acLa Revolucin en Filosofa" pg. 40, trad. cast., M adrid, 1958.
Nuestras objeciones criticas se refieren a esa hybris que' es la mezcla
de matemti ca y lgica, qu e ha cristalizado en la lgica simblica. Est, pu es,
muy lejos d e nu estro propsito d esconocer la eLevada y singular alcurnia de
la matemtica, como cien cia. Desde Thales hasta Platn y Aristteles, pasando por los pitagricos y d es de Nicols d e Cusa (con su coincidentia oppositoTum, matemticamente ej emplificad a), h as ta Spinoza, pasando por Descartes
y Leibniz que fu eron fil sofos y matemticos, la matemtica ha tenido un
papel fundament a l - medu lar, dir amos - en muchos sistemas filosfi cos.
Incluso Kant, sin ser matemtico, da a ella un luga r destacado cuando cstablece los requisitos d e lo que l consi dera conocimi ento a priori. Tampoco
olvidamos que en la ms r eciente ontologa a lemana, en las formulaciones ~is
temticas de Nicoli Hartmann y Gunther J acoby (las sealamos sin abrir
juicio sobre las mismas), la matemtica, tomada como un todo y no en ~us
aspectos parciales, juega un papeL principal. As, en el primero, en su teora
de 105 categorialmente diferentes estratos o capas (Sc hicht en) que intervienen en la "edificacin d el mundo" ( D er A ufvau ele r realen WeLt), las formas y productos matemticos tienen parte medular,
.0 Gedanken zur Philosophie der M at hematik, pg, 11, Neuwied, 1948.
39

48

I Carlos

A strada

titud . .. rechaza d esdeosamen te, como carente de sentido ( m eaningless) todo concepto que p retenda ser algo ms que formalmente
exacto, que aspire a ser m aterialmente verd adero. L a necesidad de
tranquilizar la conciencia y de darse aires de una especial cientiflicidad hace que qui enes as se sitan ante los problemas los enfoquen con perspectivas de r.anas, atribuyendo a esta manera de ver el
nombre de "positivismo". Esta actitud h ace estragos principalmente
en pa'ses como Austria, Polonia, recientemente tambin en los Estados Unidos, es decir, en pases sin tradi cin filosfica propia ... " 4'1.

4'1 El Pensam ie nto de H egel (D ie S elb sterke nntnis, Erliiuterun ge n zu

H eger~ , pgs. 82 y 80-81 , tra d, cas t., M xico, 1949.

Captulo 11

6)

SOLIPSISMO, SINTACTISM O y SEMANTISMO

Ante todo, d eberros seal ar que la problem tica del Crculo de Viena,
enfocada en sus ms conocidos representantes, es una reiteracin
en otros moldes, con algunas variantes qu e h abr qu consignar, de
la concepcin de Ernes,t o Mach con los a ditamentos a luvionales
(sintactismo, sem antismo, empirismo) del m achismo posterior.
Esta p osicin se h ace presente, en primer lugar, en R. Carnap,
en cuya obra D er logisc he Aufbau der W elt positivismo lgico y logstica se en cu entran y llegan a ser uno y lo mismo. Hay que establecer previamente, para exponer sintticam ente y en su conjunto su
teor'a, qu es lo que Carnap entiende por "constru ccin del mundo"
y por conocimiento de la realidad. Se propone llegar a una ordenacin objetiva que l llam a sistema d e constitucin .
Para el adecuado ,e nfoque y explicitacin de la "teora de la
constitucin" debemos sealar que Carnap parte de ,la distincin
entre conceptos propios .e impropios. Los primeros son los conceptos
reales o sea con ceptos de objetos 'reales. E s de h acer notar que C arn ap, como lo consigna expresamente, no h ace ninguna distincin
esencial entre obj etos constitutivos y conceptos constitutivos; y se
refi ere a veces a los primeros, y a veces a los segundos. Adem s establece : "A cada con cepto perten ece un objeto y slo uno" 42 .
Despus de los conceptos reales vienen los conceptos formales
&2

Del' logische Aufb au der We lt, p g, 5, 2, Auf. Hamburg, 1961

50 ICarIos Astrada
como "y", "o", "todos", "no", los cuales, aunque nos ayudan a
enunciar algo acerca de la rea lidad n'O designan nada real. Estos
se llaman conceptos "lgicos", a los que h ay que agregar los conceptos matemticos formales . A l'Os conceptos propios se enfrentan
los impropios, los que por carecer de la nota caracterstica de
los conceptos reales, esto es, de la constancia, son slo definibles
por un sistema de axiomas . P'Or ello no tienen una significacin
fija y .s slo variable, y designan lugares vacos (L e'erstellen), los
que pueden ser sustituidos - como casos de aplicacin del sistema
de axiomaspor conceptos reales o conceptos form ales. El
"sistema de constitucin" se funcionaliza con vistas al "conocimiento" mediante reduccin y anlisis; la realidad debe ser reducida a lo dado, es decir que los objetos tienen que constituirse por
lo dado. Se tratara, para Carnap, de un sistema unitario d e reduccin el que slo necesi ta y emplea, fu er a de los signos logsticos,
un mnimo de conceptos raigales. Cada obj eto de la experiencia
----explica Carnap- puede definirse exactamente y transferirse tambin c~n exactitud, de sujet'O a sujeto por medio de una combinacin logstica de tales conceptos ra igales. Con este instrumento se
puede resolver la tarea de la "construccin lgica del mundo", la
que se opera por una estratificacin horizontal. Para aclarar el sentido de este punto d e partid a y el objetivo perseguido, lo ms indicado
es referirse a los aspectos principales y ms concretos. Precisemos lo
que significa la nocin de lo "dado", ya consignada. Lo dado, para
Carnap, lo mismo que para M ach, al que el primero se aproxima
con tal nocin, es lo carente de suj eto, lo a-subjetivo. Hay, a pesar
de la unidad del dominio de objetos, una pluralidad de esferas d e
objetos. A stos hay que ordenarlos dentro del sistema, paar constituirlos cognitivamente, aun a costa de ser infiel a lo dado; empieza
Carnap por incluir en el mismo los objetos psquicos y los fsicos, y
nos explica: "Para poder llevar a cabo la disposicin de los objetos
psquicos y de los fsicos en el sistema de constitucin, de acuerdo a
su relacin cognitiva, tenemos que dividir en dos partes el dominio
de los objetos psquicos ; separamos los objetos " psquicos extraos"
de los objetos psquicos ProfJios" 43.
La construccin del mundo tiene lugar a partir de la lnea fundamental de las viv~ ncias elementale~ y amorfas. Sobre sta emerge
el estrato cle los objetos psquicos propios (eigenpsychischen) al que
se superpone el estr.ato o capa de los objetes f.c;icos, sobre el cual surge
'3

Q.p. cjt., p!g. 79, ed. cit.

. \'."

Dialctica y positivismo lgico I 51

el estrato de los obj etos psquicos extraos (f-r,e mdps yc hischen) , y

sobre ste, por ltimo, se levanta el estrato de los obj etos espirituales.
Ante todo, p ara aclarar cm o cierta clase de obj etos es reductible a otra y la p osibiEd ad rec proca de reduccin entre ellas, C arn ap seala que los obj etos fsicos son reductibles a los psquicos y a la
inversa. "L os enun ciados sobre obj etos fsicos se pueden convertir
en enun ciados sobre percep ciones, por consiguiente sobre obj etos
psquicos. El enunciado de que un determin ado cuerpo es rojo es
convertido, adem s, en un muy complicado enunciado acaso acerca
del oontenido, de modo que bajo ciertas circunstan cias aparece una
determinada sensacin del rgano visu al ("rojo" ). . . Adem s, a
cada propiedad del p roceso psqui co corresponde unvocamente una
determinada propiedad (aunque de enteramen te otra especie) de1
proceso cerebral . " D e donde, cada enun ciado sobre un obj eto psquico es traducible en un enunciado sobre un obje to fsico" H.
Para destacar la r elacin en tre las cu atro clases m s importantes
de objetos, C aruap n os ofrece (en S cheinjJ1'obleme in d e j' Philoso phie ,
ensayo reimpreso y agregado a la 2" ed . de D er l ogische A ufb au d eT
W dt) un esquem a ".terico gnoseolgico" de los mismos de acuerdo
a un sistema de estratos, sgu ema que re.producimos a con tinuacin:
4.
3.
2.
1.

O bjetos
Obj etos
Objetos
O bj etos

espi ri tua les

psquicos extraos
fsicos
psquicos propios

L a forma qu e debe ser dada al sistema de "consti tucin" se Cl::racteriza en razn de que ell a no slo trata de p oner la ordenacin
de los obj etos en relacin a su reductibilidad, sino tambin en relacin con la primariedad cognitiva. Carnap nos dice Cju e " un obj eto
se llama cognitivamente j;rimaro en relacin a otro, al cognitvamente secund.ario, cu an do el otro es conocido p or la m ediacin del primero y por lo. tanto su reconocimien to presupon e el reconocimi ento
del p rimero" 4".
Se puede definir con estrictez cien tfica, segn Caruap, los obj etos de un estra to o cap a por medi o de los obj etos del estrato inmediatamente subyacente. As, un enunciado sobre lo p sq uico extrao
(por ejemplo, el estado de desesp eracin o de clera de una p erson a ) ,
no es otra cosa estrictamente que un enunciado sobre obje tos fsicos
H

46

Op . cit. , pp. 77 y 78, 2. Auf. 1961.

Op. cit. , p . 74, ed. cit.

52

I Carlos

Astrada

(contracciones del rostro, reacciones mmicas), un enunciado acerca

de stos signiiica, con igual estrictez, un enunciado sobre obj etos
psquicos propios como n uestras p ercepciones pticas, la focalizacin
de nuestra atencin; y un enunciado sobre stas es un enunciado sobre
las viven cias elem entales y amorfas. Como un conocimiento de lo
psquico extrao, o sea, d e la concien cia aje na, no es posible sin la
mediacin de lo fsico (lo somtico, en caso del ejemplo) y como,
por otro la do, un conocimiento d e los procesos psquicos ' propios, esto
es, de la propia con ciencia, es posible sin el conocimiento de lo fsico,
resulta que los obje tos psquicos propios son cognitivam ente primarios
con relacin a los fsicos Y, en cambio los objetos psquicos extraos,
la conciencia ajena, son secundarios 4<6. P ero desde que la objetividad
psquica propia, si h a de poseer una estru ctura (estructura, aqu, es
la totalidad o conjunto de las propieda des formales de una relacin),
tien e que ser ;una obj etividad de relacin, es n ecesario recurrir a los
elementos de los productos psquicos propios, elem entos que, segn
Carnap, seran primarios, rela tivam ente al conocimiento, p ara todo
lo otro.
L a base, pues, del sistema de constitucin es la obj etivida d de
lo psquico propio, o sea, el dominio de las vivencias individuales . D e
la corriente de estas viven cias, explica Carnap, tien e que p artir un
camino para "constituir 10 objetivo", el que h ay que r ecorrer cuando
se trata de orden ar los obj etos no slo lgicam ente, sino tambin en
lo relativo a su conocimiento. Tal es la b ase sobre la cual Carnap
asienta su "construccin". Nos dice, en r azn de lo que ya hemos
expues to, que ",es elegida la forma d e sistema con base psquica pmpia" H . L as viven cias elem entales SOl1 , para C arnap, lo "dado", Y
10 dado, son las vivencias en su totalidad Y unidad conclusa 48 .
Ellas, que no son definibles como determinaciones del yo - ya
que la refer en cia .a ste no sera ninguna propieda d originaria de lo
dado- son los elemen tos fundamentales del sistema de constitucin.
Estos no son susceptibles de ser interiormente an alizados, sino, a lo
m s que se puede llegar es a un ,cuasi-anlisis de los mismos.
Aqu nos en contramos con la nocin de "elem ento" apenas retocado, tal como la definiera Ernesto M ach. E ste la explica como
sigue (por lo citado puede verse,en lo fund am ental, el entronque del
positivismo lgico e n esta posicin) " .. . Aparecen poco a poco dife-

,al ' ,
16

47

(13

Der logische Aufbau der Welt, pg. 79, 2. Auf. Hamburg, 1961.
Op. cit., pg. 8, Berln 1928; 2~ ed. Hamburg 1961.
Op. cit., pg. 92, 2$ oo.

D ialctica y jJositivsmo lgico I 53

rentes complejos compuestos de partes integrantes comunes. D e los

cuerpos se separa lo visible, audible y palpable. Lo visible se disuelve
en colores y forma. En la diversidad de los colores se destacan algunas
partes integrantes en pequeo nmero, los colores fundam entales, etc.
Los complejos se disgregan en elementos, es decir, en p artes integrantes ltimas, las que h asta ahora no se podan descomponer ms ...
El hecho de que el f'sico no pueda perseguir las relaciones directas
de estos elem entos, sino relaciones de relacion es de los mismos, eso no
debe molestarnos . .. La cosa, el cuerpo, la materia no es nada fuera
de la composicin de los elementos, de los colores, los tonos, etc." 49.
Aunque Carnap objeta a Mach que los elem entos psquicos de
diferentes cl ases, de los que es tn constitudas las vivencias, son puras abstracciones .)!. y que falta la base psquica propia, aqul, al postular la "neutralidad" d e la base del sistema, la que no es ni psquica
ni fsica, (ni ideal ni m aterial L lo h ace enteram ente en el sentido
de Mach . y si, como lo sos tiene, recin cabe h ablar de referencia al
yo cuando las vivencias d e otra p ersona es tn ya constitudas por las
vivencias propias, es decir por "mis" vivencias, en este caso se introduce una supuesta intersubj etivid ad, pero esto no lo salva a Carnap
de caer en el solipsismo (y n o en uno puramente metodolgico, como
l supone ) y de quedar recludo en l. R especto al propsito perseguido por C arnap en la obra a cuyo contenido nos venimos refiriendo,
A. J. Ayer, tambin destacado representante del positivismo lgico,
reconoce su fracaso y que desemboca en un solipsism o r adical . .. "El
resultado fue construir t odos los juicios empricos como descriptivos
del estado actual o posible curso de la experiencia d el sujeto . El punto
de vista, a partir del cu al se escribi este libro, recibi el nombre de
solijJsism o mef; odolgico~ emplean do la palabra "metodolgico" , para
mostrar que el solipsismo no se deba tomar en serio. Pero aqu no
consigui realizar su intento. El caroter de solipsismo no se d esvaneci" 5'0.
'
Si tenemos en cuenta la estratifi cacin de. las esferas de obj etos
y que. cada estrato, p ara ser definido exactamente, es refe rido a la
horizontal subyacente, se impone inquirir por qu el suj eto no pe rmaDie AnalJlse cler Empfinclunge n, pgs. 4 y 5, 6 Auf J ena 191.1.
Contra la objecin d e qu e el elemento es un a a bstraccin, ya se "defendi" M ach, en not a d e p g. 4 (Op. Cit.) : "si se concibe este proceso (la
d escomposicin d e los complejos en elementos) como ab straccin, por esto,
pues, los elem entos ... no pierd en nad a de su significacin".
50 "El Circulo de Viena" en R evolucin en Filosofa, pg. 99, ed. cit.
49

54 I Carlos Astrada
nece o queda adherido a sus vivencias elementales, sino que desde
stas asciende de m odo form ador y con figurador hacia los estratos
superiores.
T engamos presente que los obje tos psquicos , como base del sistema de con stitucin, son reducidos a la "corriente de las vivencias" .
A este respecto, explica Carnap: "La designacin de "psquico" abarca
bajo ciertas circunstancias tambin lo inconsciente ; el dominio fundamental reside slo en lo consciente (en amplio sen tido) ; a l pertenecen todas las vivencias, si se reflexiona sobre ellas simultnea o posteriormente. . . El dominio fund amental podra tambin ser designado
como "lo dado"; sin embargo, debe tenerse en cu enta, adems, que
con esto no es presup u esto algo o alguien al cual lo dado es dado" 51;
lo "dado" "son las viven cias mism as en su totalidad y unidad conclusa" 52 . De modo que lo dado es a-subj etivo (subjektlos). Estamos
ante las vivencias elemen tales, las que constituyen los elementos bsicos del "sistem a de constitucin". E stos el em entos son, pues, "unidades" indescomJlonibles 53. De man era que dentro del mbito de los
objetos ps'quicos ten emos una zona de vivencias elementales a-subjetivas, y aunque el todo, incluyendo lo inconsciente, sea designado
con el nombre in ad ecu ado de lo "consciente" , no es posible explicarsecmo se asciende de esta regin de elementos origin arios a las
instancias de los obj etos estratificados. E stos, podrn ser considerados
desde el punto de vista "lgico", pero no "constitutivo" . Del pozo
de los elem entos originarios, de la encerrona de las viven cias a-subjetivas en que se h a introduci do Carnap, nada -ya que h asta la ms
mnima din mica p1'Opia del sujeto h a que dado excluda- puede
hacerlo emerger, para "constituir" el mundo, hasta las otras capas
de objetos. El puro sensorio, con su s elementos originarios (Urele117!en'te), es p asivo y slo se lo puede " describir" ( quin y cmo?).
Entonces cabe preguntar en razn de qu fuerza o tend encia ascendente, que opera dentro del sistema, sobrepasa lo dado para constituir
el mundo sobre l a base de los datos vivenciales y sensoriales. Estos
interrogantes -expr'esin de difi cultades insalvables- quedan sin
respuesta ; y de ah que, en definitiva, el sistema no sea una "construccin lgica del mundo" sino una reduccin lgica a sus estratos
horizontales, desde que tal redu ccin remata en el estrato de las
vivencias elymentales. Para esta reduccin lgica cstn los conceptos,
cuya divisin y car cter ya h emos consignado. Cul es su fun cin
51

53

Y 5'2 D er logisc he Aufbau der W elt, pp. 86 y 87, 2, Auf. 1961,

Op. cjt., p. 93 .

Dialctica y positivismo lgico

I 55

y cmo surgen en conexin con el sistema, dndole a ste su armazn?

Estos conceptos deben dar cu enta de los objetos, es decir de l~
productos constitlldos. A la conocida con troversia entre el idealismo
marburguiano, para el cual estos productos son creados por el pensar,
y el realismo, que afirma que ellos son slo conocidos, Carnap la zanja de modo "original" apelando a una designacin qu~ pre tende ser
"neutral" con relacin a las posiciones antagnicas. As, nos dice :
"La teora de la consti tucin emplea un lenguaje neutral; de acuerdo
a ella, los productos no son ni "engendrados" ni "conocidos", sino
"constitudos" y h ay que acentuar qu e esta palabra "constituir" siempre es m entada de modo enteramente neutral. D e ah que, d esde el
punto de vista de la teora de la constitucin la polmica de si "creado" o "conocido" es una ociosa cuestin de lenguaje" 54 . Cmo' estos
productos se configuran en fun cin del conocimiento ? As' como estar
incgnita es transferida a una tcrcera instancia que nada explica, puede serlo tambin a una cuarta y form ul ar: los productos ni son creados por el p ensar ni son conocidos, ni son constitu dos, sino que son
"traducidos" (que el "procedimie nto" es, de acuerdo a tal criterio,
viable, lo confirma la cir cunstancia de que Carnap, en T estability and
Meaning, 1950, r emplaza la palabra "constituir" por "reducir", de
modo que en virtud de un viraje ms acentuado hacia el subjetivismo
solipsista, los objetos o productos son reducidos a las vivencias propias) .
Situado en el punto d e vista del positivismo lgi co, C arnap, para ser consecuente, tiene que r ech azar la tradicional distincin entre
fenm eno y esencia. El primero no existe para l; y la esencia no es
obj eto de la teora de la constitucin, pu es, como contenido de una
relacin, slo puede ser r epresenta da nada ms que como relacin.
Todos los problem as de esencia son problemas metafsicos, y stos son
problemas puramente ilusorios. Su teora d r l conocimiento,. "libre de
metafsica". reposa, en definitiva, en un subj etivismo metafsico sensorialista. De all que al suj eto -sujeto difcil de identificar- le
imponga realizar la tarea, sin sentido, de resumir el mundo t al como
ste sera "dado". En el bosqu ejo de la esfera de objetos psquicos
propios, se trata de "clases de cualidad" , "clases" de sonsorialidad,
sensaciones, colores, cuerpos coloreados, lugares del campo visual y
"ordenacin temporal". D espus de este primer paso "constitutivo".
en el segundo, se habla del trnsito el e la ordenacin bidimensional
54

Der logische Aufbau der Welt, pg. 5-6 ed . cit.

56 ICarIos Astrada
del campo visual a la tridimensional del espacio de las cosas visuales.
Estos pasos y trnsitos se "iluminan" en virtud del trmino (.tan caro
a los logsticos ) " puntos del mundo", que se resuelven en puntos
espaciales (y stos en coordenadas temporales y luego en coorden.a dfts
tempo-espaciales ), a los que Carnap a tribuye cualquier , cua:lidad,
como color y otras, etc. El h echo es que, desde el dOminio solipsista
de las vivencias elem entales, el "sujeto" slo por arte d e m agia puede
salr p ara reducir lgicam ente el mundo a los estratos horizontales
de la esfera d e obje tos. Como ltima observacin ilustrativa a este
respecto cabe sealar que Carnap acepta que concepto y cosa son
idnticos, p ero esto n o quiere decir que el conce pto deba considerarse sustantivado, sino que se trata de la funci6nalizacin del objeto.
y un obj eto que no. se deje reducir a "mis" vivencias, es un obj eto
imaginario.
Alguns discpulos europeos y seguidores de Caruap h an sugerido o sostenido que D er logische Aufbctu d er W ell1t es una obra cuyo
enfoque y mtodo h an sido. modificados y superados por su autor.
No h ay tal. En la segund a edicin de esta obra, 1961, en el prlogo
p ara la mism a, Carnap escribe : "Con cuerdo aun hoy con la actitud
filosfica que est en la base del libro, Esto es vlido ante todo para
la posicin problem tica y los rasgos esen ciales del mtodo empleado,
El problema fundamental conCierne a l a reconstruccin racional de
conceptos de todos los dominios del conocimiento sobre la base de
conc'ep tos que se relacionan directamente con lo dado" 55 .
La imagen 'que resulta del mundo as "constitudo", a base d e
un supuesto objetivismo de las vivencias elementales, es de un increble esquematismo, superficialidad e ingenuidad.

7)

ANLISIS SIN TCTICO y LENGUA JE FILOSFICO

Siempre a tt'do por el seuelo de una concep cin "libre de m eCaruap ve en el an lisis del len guaje el camino para.la "superacin" de la m etafsica. Se aboca, para ello, al an lisis del sentido
de las ,proposiciones y encuentra que ste reside en el mtodo de su
verificlcin. Este m todo estriba en m ostrar, en dar prueba y, en
ltima instancia confirmadora, en percibir sensorialmente. Este es el
punto d e p artida del an lisis sintctico del lenguaje.c la:bor que
t afsi ca'~,

Op. cit., Vorwor t, p. IX, 1961.

el ensayo de Carnap intrpidamente intitulado, Ueberwindung
der Metaphysik dureh lo gisehe Analyse der Spraehe, en la Revista E.r kenntnis,
1931, Bd. 11 pg. 218 y sigo
55

,*. Va.s'e

Di alctica y positivismo lgico

I 57

ampla y determina en cuan to a su alcance en un trab ajo posterior.

El punto de vista adop tado aqu es que el lengu aje es un sistema
de signos coordinado a las vivencias; el lenguaje, tal como lo conciben los nominalistas consistira en los signos que son las p alabras, y
en las reglas p ara la form acin de las proposiciones (oraciones), es
decir, en la sintaxis. Para indagar las prop osiciones h ay que tener
nicamente en cu enta la sucesin y el gnero de los signos, esto es,
considerarlas formalm en te con prescindencia total de los juicios;
tambin las relaciones lgicas entre las proposiciones resultan slo
de la estructura sin tctica oracion al. D e este modo, h ace de la lgica
un a parte de la sin taxis. Segn Carnap .. , "se puede disponer de
modo enteram ente libre sobre la forma lingstica en todo respecto ; . .. se puede elegir con p len a libertad las formas de la construccin
de las proposiciones y las determinaciones de su transformacin" 1>6.
D e esta suerte, las leyes y reglas de la lgica van a ser el resultado d ~
fij aciones cliscrecionales, lo que . se sigue del supuesto de la identificacin, de hecho, de p ensar y lenguaje. La consecuencia d e esta
tesis, que va a contrapelo de la evolucin histrica del lenguaje y
sus formas sintcticas, y del nexo efectivo de la lgica con el mismo,
es que la lgica, p ara Carnap, es considerada del todo un producto
de con vendo nes in dividuales, con p rescindencia de la realidad objetiva. D e aqu que i afi rme : "Cada cual pu ede construir como l
quiera su lgica, es decir, su fo rma lingistica. Cuando l quiera
discutir con nosotros, tiene slo que indicar claramen te como lo quiere
hacer" 57,
.
Esta p eregrina teora de la lgica sintctica d el lenguaje ni siguiera . se plantea el problema del proceso lgico en su relacin con
el lenguaje y la fun cin de sus formas sin tcticas, inseparables de su
semntica, y toma el camino inverso del qu e h a seguido el pensar a
partir del lenguaje (con el consiguiente influjo reactivo de ste sobre aqu l). T al concepcin va desde una lgica conven cion al y formalizada a las form as sintcticas, abstradas del nexo en que estn
integradas, y h ace de aqull a un elemen to de st as . Es la cuestin,
ni siquiera soslayada por Cam ap, de la inclusih de significado en
la vida y evolucin del lengu a je. R especto a ella, sealndola con
claridad, nos dice Julius Stenzel, que se trata "d el punto de vista, de
si consideramos este campo de procesos " lg:icos" que nos a:bre el lenguaje como humus nutricio del que puede brotarnos verdadero escla56Lo gische S yn tax d e!' S prac h e, pg. V. Wi en 1943 .
57

Op. cit., pg. 45.

58 , Carlos Astrada
recmiwto tambin por lo que a los problem as lgicos se refiere" 58 .
Los sintactistas preconizan, con ingenuo optimismo, las ventajas
de un lenguaje artificial - ormalizado- para evitar la ambigedad,
plurivocidad y vaguedad del lenguaje corriente. La razn de tal sustitucin reside en que la sintaxis del lenguaje corriente carece de exactitud, y sus reglas, debido a las numerosas excep ciones que ofrecen,
no permiten operar en el dominio de la ciencia estricta. Este lenguaje
artifi cial, en oposicin al lengu aje usual, cuyos smbolos son con ceptuales, consiste slo en smbolos artificiales. La introduccin del uso
de smbolos artificiales es hermano gemelo del form alismo. Este se
atiene nicamente -como ya h emos visto- a la form a grfica de los
signos con los que opera de acuerdo con las resp ectivas reglas de
transformacin. Pero, a estos signos --explica Bochenski- "se los
m aneja como si ellos n o fueran signos, sino ciertamente figuras de un
juego, piezas que se p ueden combinar y cambia r de diferente manera" 50. Se trata, pues, de una ficcin de signos, por donde el formalismo t ambin coincide - y no perifricam ente- con el positivismo fi ccionalista de V aihinger (con su PhilosoPhie des Als Ob). A
causa de este carcter de ficcin ldica que asume el formalismo,
anota Boch enski -suavizando la expresin con un m atiz- es que " se
h a dicho una vez, en broma, que quien se sirve del formalismo, ese
no sabe lo que dice, y si lo que l dice, es verdad". Nosotros conocamos la versin con el agregado - que le da m s causti cidad" ni en qu lenguaje artificial (si en el m etalenguaje L 2 o L n) lo dice" .
La sintaxis del lengu aje artificia l tiene sus reglas y categor'as *.
Las reglas de un idioma cualquiera (por ej . el idiom a S) determinan
qu expresiones p ertcnecen a este idiom a, o sea tienen pleno sentido
en l; todas las otras expresiones son, en es te idioma, carentes de sentido, por ejemplo, la palabra "hombre" es un a expresin p ero carece
de sentido en alemn. L as exp resiones plenas de senti do se dividen
en dos clases: expresiones atomales (atomare ) o simples, y molecul ares o compuestas. L as segun das, de acuerdo a la primera regla sintctica, deben estar constitudas exclusivamen te por expresiones que en
el respectivo idioma tienen p leno sentido, o sea, p or expresiones a tomales tambin p len as de sentido en tal idiom a. L a composicin de las
mismas, segn lo prescribe la segunda regla sintctica, debe tener
lugar de acuerdo con cleterminadas -eglas de formacin del lenguaje.
58
59

Filoso f a d el L enguaje, p g. 11 4, trad. cast., M ad rid, 1935.

Die Z eitge n ossisc h en D en km eth ode n, .pg. 4 7, 2 Auf. , Bern, 1959.
Vase op. cit., pgs . 5 1-52 y 53.

Dialctica y positivismo lgico

I 59

Pero, las reglas formativas de todos los idiomas tienen un meullo

comn, y ellas pueden ser resumidas en las llam adas categoras sintcticas. El concepto de categora sintctica corresponde exactamente
al concepto de p arte de la proposicin en la gram tica usual. En el
plexo de las categoras sintcticas, se distingue el concepto de "functor" del de "argumento". Una expresin que determina a otra: se
llama functor; la expresin por l determinada, "argumento". Si
decimos p. ej. "y" en el enun ciado (con relacin a estas distinciones) : "Esto es profundo y original", "y" determina las dos partes del
enunciado ("profundo" y "original" ) y es, por ello, su functor; en
cambio, los dos enunciados p arciales son los argumentos de "y". De
modo que en todo idioma de estructuracin completa hay dos
clases de expresiones ,.~" unas pueden ser slo argum entos (nombres
individuales y enunciados), las otras, en cambio, fun ctores. Los
argumentos se ll am an categoras sintcticas fundamentales; los functares, categoras fun cionales (Funktorenkategorien).
El nmero de las categoras sintcticas fundament ales es discrecional, y stas parecieran proliferar por generacin espontnea, si
detrs no estuviera agazapada la "fecundidad" clasificatoria del
sintactista artificial. H ay, en primer lugar, categoras de nombres
y colores, etc. Los fun ctores se dividen de acuerdo con las categoras
sintcticas de sus argumentos en fun ctores determinantes de nombres
("duerme: ', "deslumbra" "es m s grande que"), functores determinantes de enu nciados ("y" "o" "no fS as que") y Iunctores determinantes de {unctores, por ejempl o, "muy" en el enunciado: "el
sintactista es muy meticuloso" , cuyo argumento es, "meticuloso" .
Dejemos de .lado las dem s minucias del escolasti cismo de los sintactistas artificiales y consideremos su modus operandi con las categoras
sintcticas, y lo que de acuerdo a ste posee sintcticamente "pleno
sentido" .
L a operacin se rige por la siguiente "regla formal universal" :
"Una expresin molecular tiene, pues, sin tcticamente pleno sentid0
si cada uno de los functores que en ella intervienen estn coordinados exactamente en nmero y clase ,a los correspondientes argumentos
de sus categoras sintcticas" <60 . D e lo contrario, talexpf'esin carece sintctica mente de sentido. Veamos al sintactista operando al
hilo del anlisis sin tctico de tExtos filosficos. El primer caso lo

*
(JO

Vase op. cit., pg. 53.

Op. cit., pg. 54.

60

I Carlos

Astrada

presenta Bochenski, y el segundo lo aducimos nosotros, para ejemplificar con el mismo concepto del primero, slo que en otra
proyeccin doctrinaria. Primero consignemos lo que tiene sintcticamente pleno sentido: "es idntico" es un functor de dos cifras
(dos en correlacin o dos argumentos), y "se lo emplea con pleno
sentido por consiguiente slo si a l se coordinan exactamente dos
argumentos, como en el enunoiado "el autor de Fausto es idntico
con Goethe" 61. Y vien e el otro caso carente de sentido, que pone
Bochenski: "Un filsofo dice : " la n ada anihila". Aqu la "nada" es
el argumento de "anihila", la ltima expresin nominada es evidentem ente un functor de una cifra que engendra a:l enunciado y determina al nombre. Pero, cmo, entonces, l puede ser determinante
del nombre? Pues, sintcticam ente considerado, qu es la "nada"?
No es evidentemente ningn nombre, si bien p arece ser tal. Si nosotros decimos "no h ay nada" , entonces propiamente queremos decir
"para toda x no es el caso que aq u y ahora hay esta x": "Nada es,
entonces, una abreviacin para la negacin. Pero la negacin no
es ningn nombre, sino un fun ctor" 6 2.
Aqu, el an lisis sintctico se mueve en el vaco, como si la semntica, as sea la formalizada, no existiese, a la que debiera tener
presente aun por el hecho del m aridaj e de ambas, como integrantes
del ":lenguaje artificial" , con l a logstica.
La expresin "das Nichts selbst nichtet" es de H eidegger "x- . Admitamos o no su concepcin, lo que l da a 'e ntender es claro, y no
puede "ser con siderado como un absurd o sintctico" '63 . El argumento no es, como se dice en lo transcrito, "nada" , sino "la nada" con el
artculo determin a tivo (concedamos que es un a dverbio sustantivado,
aunque para la filosofa, desde los griegos h asta el presente, es un
nombre sustantivo). Slo es un absurdo tal enunciado para un anlisis sintctico torpe, al que se le escapa el significado de la expresin,
lo m entado en ella . "Nada" es la ausencia absoluta de todo ente, el
no-ser (verbo su stantivo) ; viene de res-non -nCIJt,a (cosa no na-cida) y
significa lo mismo que el nant francs y el Nic hts alemn. Es sabido
que los griegos, por el giro intelectu aJista de su pensar, identifican lo
real y lo p ensable con lo que puede ser dicho; no afirman una realidad ininteligible, p ero cuando encuentran esta realidad, hacen de ella
Op. cit., p ,\,. 54.
Op . .cit., pg. 54-55 .
... V ase W as ist Meta{Jhy~ik? pgs. 31 y 26, ed . cit.
63 Die Zeitge nosisc he Doenkm et hoden" pg. 55, ed, cit.
61

6)!

Dialctica y positivism o lgico I 61

algo inexistente y lo llaman un no-ser. El no-ser, o sea la nada -el
no-ente- es, pues, la m ateria no inform ada; adem s en el neoplatonismo, esta cuestin se vincula con el origen radical de las cosas.
Entre "nada", como adverbio de n egacin y "la nada" sustantivo, se mueve pues, la reflexin de H eidegger, el que, al resp ecto, escribe : ... "La nada es m s originaria que el no y la n egacin ... , Ja
esencia de la nada es : anihilacin. Esta no es ni una destruccin del
ente, ni ella surge de una n egacin. . . La n ada misma anihila (anonada ) . . . El nO' no surge por la negacin, sino que la n egacin se
funda en el no, el que resulta del anihilar de la n ada. L a negacin,
empero, es slo un modo de 10 anhilante, es decir, un comportamiento precedentem ente fundado ,en el anihilar de la n ada" 64 Estemos
o no estemos d e acuerdo con H eidegger, en su esp eculacin en torno
a la nada y el ente en total, 10 que l dice se entiende p erfectamente.
"Nada" no es una abreviatura p ara la n egacin "no h ay nada". Como vemos 10 que es un absurdo, un contrasentido es el resultado del
consignado an lisis sintctico de la citada expresin.
E l otro caso que se puede poner -y oponer al criterio que informa el an lisis sin tctico- es la conocida expresin de Hegel: d 'as
reine S ein und das re,ine Nichts ist also dasselb e ("el puro ser y la
pura nada es, pues, lo mismo"). H egel, pensando dialcticamente y
atento a la unidad de los contrarios, explica que, en lo m entado en
tal enunciado "lo que es verdad no es el ser, ni ,la n ada, sino que
el ser se h a convertitdo en la nada y la n ada en el ser. Pero igualmente
la verdad no es la indiferenciabilid ad d e ambos sino que ellos no son
10 mismo . . . y de modo inmedia to cada uno ha desap,ar,e cido, en su
contMrio. L a verdad es, enton ces, este movimiento del inmediato desaparecer del uno en el otro : el devenir" ( Wissenschaft der 'Logik, 1
Bd. Cap. 1, C). Podr no ser comprensible de primera intencin esta
idea de conversin dia;Jctrica r ec'proca del ser y la n ada, pero sera
un disp arate si, con la m era apoyatura en el anlisis sintctico form alizado, se afirmase qu e aquella expresin no tien e sentido o es un
contrasentido porque el "ser" es un verbo, y la "nada" ,es un adverbio,
y no se puede decir que ambos son lo "mismo". D esprender tal expresin del plexo del p ensamiento de H egel e interpretarla sintcticamente, es infantil. Ciertam ente, H egel, subvirtiendo toda una problemtica sedimentada en la m etafsica occidental, rechaza la proposicin ex nihilo nihil fit y se remonta m s all de Parmnides; tambin
61

Was st Metaphysikt. pgs. 26, 31

33.

62

I Carlos

Astrada

la dogmtica CrIstian a niega tal enunci ado porque entiende por Iil.
"nada" slo la ausenci a del ente extra-divino, y de ah que afirma ex
nihilo fit ens creatum.
El anlisis sintctico que ejemplifica operativamente Bochenski,
es la aplicacin de la teora desarrollada por Carnap. Es sabido que
esta tendencia, con su pululacin de teoras y enfoques logSticos del
lenguaj e, se ha originado en la obra de Ch. Morris Signs, Language
and Be:havior, 1946.
Para -abreviar, nos concretamos a citar la explicacin concisa
que, con referencia a ' ,la semitica de Morris y su divisin como asimismo con relacin al carcter de la t eora sintctica de Carnap
nos da .el axiomatista E . W. Beth: " Morris distingue: 1) la sintaxis,
que estudia las relaciones de los smbolos entre s'; 2) la semntica, que estu.dia las relaciones de los smbolos con los objetos que
ellos denotan; 3) la pragmtica, que estudia la relacin de los smbolos con el que los interpreta" . Las partes 1) y 2) corresponden
a las disciplinas introducidas por Carnap y Tarski bajo una forma
adaptada a las necesidades de Una lengua cualquiera . .. La sintaxis,
segn Carnap, constituye una extensin de la m etamatemtica de
Hilbert ( ... e ll a suministra a l mismo ti empo el punto de partida
de la semntica segn Tarski). Sea H un cierto clculo abstracto y
sea M (IJ) la matemtica en tanto qu e ell a se relaciona al clculo
H. El punto de partida esp ecfico de M (H) ser n aturalmente el
conjunto de reglas de clculo p ara H . M (H) tena el carcter general de una teora. deductiva que p ertenece al nivel de las matem ticas ingenuas, y en una demostracin de la no-contridiccin del
cloulo H no podemos admitir m s que razonamientos de carcter
particularmente elemental. Sin embargo, una vez que se h a introducido la teora M (H), se puede plantear igualmente otras cuestiones p erten ecien tes al dominio de esta teora, y sobre las cuales
podemos tratar sin que se impongan tales restricciones. Pero, si en
M (H) introducimos mtodos de argumentacin cualesquiera, entonces esta teora estar expuesta a la mism a ctica que las otras
disciplinas .p ertenecientes a las m a tem ticas ingenuas . La teora
abstracta Ss (H) que resulta de es te paso ser precisamente la sintaxis
de H segn Carnap" 65.
Como vemos, esta sintaxis, apoyndose en la axiomtica de HiJ65 La smantique et sa Porte Philosophiqu e, en Semntica (volumen
colectivo), pg. 50 Archivio di Filosofi a, Roma, 1955.

Dialctica y positwismo lgico

I 63

bert, hace uso, en sus arlisis, de un m etalenguaj e extensivo y analgico de las matemticas abstractas.

8)

LA SEMN TICA DE CARNAP y EL MACHISMO

y llegamos al captulo de la semntica, tambin estructurada de

acuerdo a las abstracciones matem ticas, con su trmite de deduccin
e implicacin analti cas. Carnap, para no quedar en estado de levitacin en la atmsfera enrarecida de la sintaxis formalizada, recurre no
slo a la semntica, sino incluso a la pragm tica, en busca del suj eto
que maneja e interpreta los smbolos, sujeto que l h aba eliminado
juntamente con su insercin fctica cn la realid ad objetiva y las inten'elaciones d e los hechos psico-sociales y culturales que son su soporte.
Pero, a este suj eto lo pierde de nuevo, ya que su semntica, llevada
por la tendencia de una seudo-objetividad, llega a eliminar a aquel
que h abla, es decir el que m aneja e interpreta los smbolos. Como es
natural, en todo lenguaj e hum ano desarrollado y clarificado, los signos tienen una doble funcin, la subjetiva, en la que se expresa el estado personal de aquel ,que los emplea, y la objetiva en la que el signo
mienta algo a lo que apunta intencionalmente. Este algo es un contenido objetivo. La semntica formalizada slo asigna importancia a
la funcin de mentar, pues, en el lenguaje de la ciencia, interesara
nicamente la funcin obj etiva del signo.
Carnap, de acuerdo con su teora de que la lgica, si aspira a ser
exacta, debe ocuparse de expresiones lingsticas, y no de juicios, o
sea, p e nsam~e ntos que mientan algo, va a establecer 1a diferencia entre verdad fctica, dependiente del carcter contingente de los h echos,
y la verdad "lgica", que va a depender de ciertas y determinadas
reglas semnticas. As, nos dice: "El sistema semnti co es un sistema
de reglas que formula n las condiciones de la verdad de las oraciones
de una lengua obje tiva cualquiera, reglas que de termin an el significado de dich as oraciones" 66 .
Para Carnap y los dem s semantistas de su escuela, la verdad del
juicio no depende de su correspondencia con el comportamiento del
objeto mentado en l, sino de la posibilidad de confirmarla mediante la experiencia. Pero esta confirmacin no puede poseer objetividad.
As, no podemos enunciar "el lpiz es rojo", porque esta proposicin
coloca eJ color rojo en el lpiz, pretendiendo infundadamente ,objeti66 Introduction to Semantics, C. 1., pg. 22, cit. por Kopnin, en D, P.
Gorski, Petlsamiento )1 lenguaje, pg. 370-371, ed. cit.

64- ICarios Astrada

vidad. H ay que relacion arla solamente a los da tos sensoriales. T al

juicio ten em os que formularlo diciendo : " el obje to que me induce a
m entar "lpiz" tambin m e llevar a decir "rojo" . Esta nocin sem ntica d el juicio, saltando a retrotiempo varios milenios, retom a la teora de la escuela de M egara y de Antsten es el Cnico, segn la cual
es imposible que 10 plural sea uno, y lo uno plural. Por consiguiente,
no podram os enun ciar " el lpiz es rojo", sino solamente " el lpiz es
lpiz" y "lo rojo es rojo" .
No modifica en n ada, ni rectifica ,esta consecu en cia el h echo de
que C arnap integre los elem entos en un enunciado y nos diga que la
proposicin "el lpiz es rojo" es verdadera si y , solamente si el lpiz
es rojo, que es la condicin de verdad de tal proposicin, lo que implica comprobar empricam ente el color rojo del lpiz. Pero esta
comprobacin emprica se queda, como ya hem os h echo notar, en los
datos sensoriales, sin llegar al objeto.
En la teora sem ntica de Carnap, se reitera esa m ezcla -cuyos
ingredientes no llegan a fusionarse- de em pirismo sensorialista y convencionalism o nom inalista, que caracteriza la posicin de B, Russell.
Este, con un criterio sem ntico confinado en el dato ' sensorial y la
"significacin", sostien e la tesis de la imposibilidad de nombrar una
persona "inexistente" como sera el caso de Napolen. La existen cia
de la p erson a nombrada debe estar su jeta a verificacin en el mundo
fsico para que el nombre de la mism a p ueda ser empleado con sentido. Segn B. Russell, "la palabra " Napolen" significa cierto individuo, pero inquirimos, no quin es el individuo significado, sino cu Jl
es la relacin d e la p alabra con el individuo, 1'0 que hace que la una
signifique el otro. Pero justamen te, tanto corno es til v erificar la
naturaleza de una palabra corno parte del m undo fsico, as tambin
es til verificar la clase de cosas q ue una palabra puede significar .
Comnmente, cuando empleamos un n ombre propi, im aginamos
que querernos significar una entidad d efinitiva, el individuo llamado
"N ap olen" . P ero, lo que nosotros conocem os como una persona no
es simple. Puede ser un m ero yo individual y permanecer estrictamente idntico desde su n acimiento h asta su muerte. N o existe m an era de probar que ste no pu ede ser el caso, p ero, no hay igualmente
la m enor razn p ara suponer que ste es el caso" 6 1.
U no d e los criterios que inform an la teora sem ntica de Ca rnap'
es el del convencion alismo. Si, de acuerdo al principio asentado p or
~

,117

The Analysis 01 M ind, p gs. 191 y 192, Londo!., 1922.

Dialctica y j1ositwismo lgico

I 65

l, podemos escoger con plena libertad reglas para la formacin y

transformacin de las proposicion es en un clculo lgico cualquiera,
se ll ega en virtud de lo que aquel llama el "principio de tolera ncia",
a una combinacin ldica de los elementos que intervienen en el
clculo. Pero, el mismo Carnap reconoce que esta libertad de eleccin
respecto a .las reglas est bajo la influencia consuetudinaria de la
praxis, de las circunstancias y de la eficacia, con lo que r eintroduce
- reconocindoles vigencia- puntos de vista y normas que estn
lejos de ser convencionales.
L a semntica de Carnap, en resumen, en sus ltimos desarrollos
y reajustes, hace injustificada abstraccin del suj eto oracional, es
decir del que habla, y slo atiende al anlisis de las expr,esiones y de
las relaciones de stas con los objetos designados (mentados), con los
designata, qu edando con ello en la instancia puramente verbal que
sc traduce por lo que l llama "relacin de designacin" . Esta semntica y su mtodo h an sido obj eto de diversas crticas, algunas realmente demoledoras. T an slo destacaremos brevemente la que desde
un enfoque epistemolgico y lgico le ha h echo W. Mays. Este, en
cuanto ' al giro fund amental de Ja semntica teorizada por C"a rnap,
impugna "su presuposicin de que los sistemas tericos se ocupan,
sobre todo, de estructuras lingsticas arbitrarias, que son maneras
de hablar sobre el mundo y no nos llevan de ningn modo a aserciones
sobre su naturaleza o su existencia. Los fsicos u otros, pensando en
Hiroshima, podran sin embargo objetar que problem as, por ejemplo,
como el de saber si los electrones existen, se relacionan a heohos ms
bien que al lenguaje. Parecera que detrs del punto de vista de Carnap se disimulan <las sombras de su antiguo fenomenalismo y el anlisis de las sensaciones inspirado por M ach" '68. Se trata d e un eufemismo de Mays, pues ya h emos visto, al hilo delator de un a cita del
Anlisis de las S ensaciones, que tanto en la posicin de C arnap como
en los supuestos del empirismo lgico en general, est presente, con
algunos r etoques y afeites logsticos, sin tcticos y semnticos, la problemtica del m achismo.
El propio Ayer -empleando disimuladamente el pasado imperfecto- se ve obligado a r econocer que "la posicin" del Crculo de
Viena "era, en sus caracteres principales una mezcla del positivismo
viens de los fsicos del siglo XIX, Ernst Mach y sus discpulos, con
6 8 L ogiq ue et L angagc chez Carnaj;, en Episte mologie gentiqu e, 1 pg.
94, Pars, 195 'J .

66

I Carlos

Astrada

la lgica de Frege y Russell" 16 9. Tal cual lo acabamos de subrayar,

esta m ezcla h eterognea es an el contenido bsico del empirismo
lgico, en su atuendo "actual".
Con resp ecto al m todo, con razn nos dice M ays que "l parece poco justificable en sem ntica, ya que nos ofrece una concepcin esttica del lenguaje, de donde el que h abla ha sido eliminado.
Esto es proba blem ente lo que explica que la semntica filosfica
parezca un tema tan trivial, tendiente a devenir un problem a de
formalizacin de cosas ya conocidas" 70 .
Adem s, el fantasma del "atomic fact", extr.a polado desde el
dominio de la logstica, infl.uye n egativamente sobre el anlisis
semntico., h asta el extremo d e desarticular y atomizar el lenguaje.
D e esta suerte, p asando por a lto algo ya bien sabido d esde hace
sesenta aos, se ignora la existencia siempre de nuevo avalada por
la indagacin, de l as totalidades estructurales que, como resultado
de su propio proceso formativo lo integran, en su plexo vivo d e lenguaje hablado . Puntualizando este error escribe Mays: "Al tomar
el lenguaje escrito como modelo del lenguaje en general, los filsofos
semantistas admiten que las palabras son elementos de base del lenguaje y descuidan el h echo que, en el discurso, por la m enos, es la
frase la que es la unidad. No tenemos razn de suponer que una
frase es un simple compu esto de las p alabras que la forman, ya que
las palabras tomadas aisladam ente son fragmentos m s o m enos
arbitrarios de tales frases" 71.
Todo esto lo saba perfectamente W. Wundt, cuando h ace casi
cincuenta aos public la segunda edicin d e su gran obra V olkerp'Sychologie. Eine Untersuchung der Entwicklungsgese:tze von Sprache,
Mythus und Sitte. Al indagar el lugar de la palabra en el lenguaje,
nos ruce: "La vieja idea de que la proposicin est compuesta de
palabras que originariamente tienen existencia indep endiente, puede
considerarse hoy del todo eliminada de la gramtica cientfica. Tal
idea sucedi aqu a la opinin, con ella emparentada, de los antiguos
estoicos, de que la p alabra misma es un enlace de slabas y letras.
En el lenguaje viviente... existen an los Emites que el lenguaje escrito reiteradamente ha fij ado entre las palabras singula"El Crculo de Viena" en La R evo lucin en Filosofa, p g. 91, ed. cit.
Logiq ue et langage chez Carnap, en Epistemologie ge ntiqu e, pg.
94, ed. cit.
71 Op. cit., p g. 91.
69

70

Dialctica y positivismo l6gico

I 67

res" 7~. Y abordando despus, "el concepto general de la proposicin", Wundt expresa (afirmacin, sin duda, de giro psicologista
por la referencia a "representacin global", p ero justa); " . .. Segn
sus caractersticas tanta objetivas como subj etivas, p odemos definir
la proposicin como la expresin lingstica para la articwlacin arbitraria ,d e un,a r1e1Jresentacn global en sus partes constituti vas puestas
en relaciones lgiclas unas con O'tras. Con relacin a esto, h ay que
h acer notar expresamente que la palabra surge en verdad del .proceso
de esta est,r uctura. .. Entre proposicin y palabra no cabe trazar
un lmite absoluto . Depende en todas p artes de condiciones particulares cmo la estructura de la proposicin avanza determinando
a la expresin primaria de la represenl,cin global y por tanto tambin a la p arte constitutiva primaria del lenguaj e" 73 .
Uno de los m s recientes ensayos de Carnap " Significado y Sinonimia en los Lenguajes Naturales" (Mea nning and Synonymy in
Natural Languages ) -l(- a pesar de sus minucias simplistas, h a sido
sometido a una crtica exh austiva por Mays. No obstante su apelacin a la pragm tica y al anlisis por parte de sta de las significaciones en el dominio de los lenguajes "histricamente dados", cae en
la m s p eregrina nocin de la sinonimia, al margen de la prctica
efectiva del que h abla (del suj eto oracional ). Los ejemplos que pone
de los dos lingistas que estudian y observan e investigan el comportamiento de K arl (un suj eto cualquiera que h abla alemn ) frente a
los "componentes de significado d esignativos", 'blau, Hund, son de
una ingenuidad m s artificiosa, pero menos coherente (por el escamoteo de datos efec tivos) que los usuales " problemas" de palabras
cruzadas.
Adems, la distin cin entre nominar y describir es algo carente
de toda base seria, por cuanto prescinde de la riqueza de la lengua
hablada, con todos sus nexos predicativos, y del mundo que el hombre corriente ha integrado con los entes creados por la imaginacin
y los contenidos aportados por el mito. Su ejemplo del robot es
absurdo porque, aparte de la suposicin gratuita de que tal robot
existe, lo concibe, en la tarea descriptiva y de eleccin de predicados
que le asigna como un semantista que opera de acuerdo con una
7;l

V,o lk erpsychologic, Bd. 1. Pg. 609 (Wort und Sat zJ, 2da. ed. Leipzig,

1911.
73 o.p. cit., Bd. II t. pgs. 248 y 249 (Allgemeiner Begriff d es Satzes) .
.. Vase su tradu{:cin castellana en Antologla Semntica, pg. 25, Buenos Aires 1960.

68 ICarIos Astrada
preconcebida distincin terica entre elementos, a la cual han de
responder los rodajes que integran la estructura de aqul.
Acerca de estos infu ndados asertos de Carnap y de su teora
simplista de la "in tensin" (comprehensin) y extensin, acertadamente observa M ays: "L a distincin entre nombres y descripcin
(el dogma de la com prehensin y de la extensin) sobre la cual est
fundado el robot hipottico de Carnap, ha cado en los ltimos aos
en descrdito. Se ha observado que esta clistincin procede del hecho
de admitir que la significacin d e una expresin es idntica al
obj eto al cual ella se refiere o se aplica. Como descripciones de
objetos mticos, tales como Pegaso, que no se refieren a obj etos
existentes, tienen n o menos un sentido, se a dmite que ellas descansan
sobre ,lguna cosa" 74; pero, para no h acer depender la significacin
de aqull as de la psicologa ni del mundo de la imagin acin o del
m ito, agrega Mays que "ellas son consideradas como predicados
que se refieren a entidades lgicas, simbolizadas por cuantificadores
.
de existencia" 75.
M ays resume la critica de .l a teora semntica que nos ocupa
en trece obj eciones fund am entales, de las cuales slo destacamos
la siguiente: "Carnap acenta fu er temen te la funcin simblica
del lenguaje, y eso se refleja en sus " disciplinas puras". Es dudoso
que sus lenguajes artificiales sean, verdaderam ente, lenguaj es, ya
que la primera funcin de un lenguaje es ser un instrumento de
comunicacin entre 'l as gentes" 7 6 . En efecto, tales lenguajes artificiales, son una jerigonza, o un lenguaje d e un reducido nmero
de seas convencionales entre mudos.

74 Y 75 Logique et L angage chez Carna p, en Epist emolo gie Gentique,

pg. 120, ed . cit.
76 Op. cit., pg. 122 (lO) .

Captulo JI

9)

L GICA y MATEMTICA S EGN T AR SKI

Debemos tambin referirnos en la forma m s som era posible, a

la semntica de T a rski y a su llevada y traida "concep cin sem ntica de la v erdad", especie de pieza "m aestra", a la que los empiri stas lgicos otorgan p apel p reponderante en el juego sem nticologstico. Ante todo, es de h acer notar que Tarski, como los dems
representantes de esta tenden cia, reducen la lgica a m a temtica
(aunque a veces, tambin afirm an que la segunda p ertenece a la
primera) y toman la deduccin m atemtica p or deduccin lgica,
como ya lo hemos se,a lad o , Es as que aqu l afirma " que no existe
ninguna diferen cia esen cial entre los razonamientos del dominio
de la lgica y los del dominio de la m atemtica" 77. Considera el
concepto de clase como un con cep to lgico : "La p arte de la lgica
en que se analiza el concepto de conjunto y se estudian sus propiedades generales, se denomina T e'ora de las ,;lases ,' a veces, esta
teora se trata como una disciplina m atemtica autnom a y como tal,
se la llama entonces T eora de los conjuntos" 78. Pe ro en definitiva,
la diferen cia entre ambas es cuestin de nombre; slo que en lgica
se :}lama clase y sta estrrba en el concepto de un objeto o individuo, mientras que en la m atem tica se la designa "conjunto",
y reposa en definiciones de nmero cardinal, suma, etc. Los 10gs77

78

Introduccin a la Lgica) pg. 74, trad . casto Buenos Aires, 1951.

Op. cit" pg. 86.

70

I Carlos

Astrada

ticos frecuentem ente al hablar de "miembros" de una clase los

llaman "conjuntos", y se refieren indistintamente a clase o conjunto.
Tarski es de los que afirman que la aritmtica (como tambin
el lgebra y el Anlisis) es p arte de la lgica, y asimismo sostiene
el carcter precedente de sta (preliminar) para la demostracin
de todos los teoremas de la Aritmtica, pero a condicin de "ampliar
el sistema de las proposiciones lgicas con una nica proposicin,
no tan clara como las restantes, el llamado axioma de infinitud,
que afirma la existencia de una infinidad de objetos distintos" 79.
A pesar de que Tarski sostiene que los problemas de los conjuntos
finitos e infinitos encu entran su solucin mediante conceptos lgicos,
"sin recurrir a ,ningn concepto d e la aritmtica" :so, todos los casos
(ej emplos) que considera p ertenecen a la aritmtica y a la geometra traducidos a clculos funcional es. P ara afirmar aquella tesis
apela a la n ocin de coordinacin ,.;;. .aplicada a un conjunto coordinado o a un subcon junto, lo que lo lleva a la paradoj a de las clases
de la cual intenta salir mediante el recurso de postular un conjunto
infinito, ejemplificndolo con los nmeros naturales. Y estamos as,
de nuevo frente a una nocin m atemtica, y no lgica.
Adems, T arski -y esto muestra la imprecisin de los logsticos
y semantistas acerca de las relaciones entre lgica y matemticaincluye la lgica en la matemtica por el carcter deductivo de la
primera partiendo de una supuesta disciplina deductiva genrica.
D e acuerdo a esto n os dice que "no s'Olamente toda disciplina matemtica es un a ciencia deductiva, sino que, recprocamente, toda
ciencia deductiva es tambin una disciplina matemtica (segn la
cual la lgica deductiva debera contarse asimismo entre stas)" ~l .
Ya, con motivo de la logstica y sus supuestos y mo dus operandi)
h emos sealado esta confusin.
10)

EL CO NCEPTO DE VERDAD EN LOS LENGUA JES FORMALIZADOS

Previamente al enfoque de la sem ntica segn T arski y su mtodo de aplicacin, explicarem os brevemente lo. que son 101S grados
semnticos, cuyo prin cipio fund amental consiste en distinguir entre
el lenguaje sobre las cosas y el lenguaje sobre el lenguaje mismo.
Al primero se lo llama "lenguaj e-objeto" , y al segundo "meta79

*
81

Y 80 Op. cit ., pgs. 98 y 97.

Vase op. cit., pg. 118,
Op. cit., pg. 68.

, ,,

d,~

L.

Dialctica y positivismo lgico

I 71

lenguaje". Las cosas que no son signos constituyen el grado cero,

designan a las cosas u objetos; a su vez, a este grado se agrega un
segundo grado o escaln, el cual consiste en signos que designan los
signos del lenguaje-objeto; este grado es el m eta-lenguaje del prim er lenguaje "". y se puede proseguir indefinidamente construyendo
un "meta-lenguaje" d el primer meta-lenguaje, hasta un "metalenguaje del ensimo lenguaje".( L n).
T arski aborda inicialmente el anlisis de lo que significa desde
el punto d e vista conceptual el enunciado verdadero en el lenguaje
corriente, en su ensayo D el" W ahrheitsbegriff in den formadisierten
Spmchen ' ' '*. Al referirse a los esfuerzos tendientes a la construccin de una correcta definicin de la verdad, nos dice que "el
ensayo de una defin icin sem ntica p arece ser el ms natural" 32 .
Propone un a definicin de este tenor : (a ) "u n enunciado verdadt>
ro es un enunad()l que di ce que las cosas se comp'ortan de tal
manera, y las cosas se com pol"tan de tal maneTa 8 3, mas, segn Tarski, en lo que respecta a correccin formal, la expresin que aparece
en el enunciado deja mucho que desear, y tarea de una definicin
semntica sera precisarla. Pero es el caso que se presen tan ciertas
proposicion es de carcter especial, adecu adas para una definicin
parcial de la verdad de un enunciado, y a s tenemos el esqu ema
general de proposiciones tales como : (b) x es un enunciado verdadew, en.tonoes y slo enton ces si p; pero, p ara lograr una aclaracin concreta - seguimos con la explicacin de Tarski 8 4 -colocamos en el esquema del tipo (b ) en lugar del smbolo p un enunciado, y en lugar de x un discrecional nombre individual de este
enunciado, y si se nos da tal nombre, h emos de ten er en cuenta
que la categora m s importante de nombres que llenan tal condicin son los nombres entre' com~llados, por ejemplo., el n ombre "nieva" (notem os de paso qu e no se trata de un nombre, sino de una
locucin verbal, una proposicin impersonal o "sin sujeto" ).
Enton ces, tenemos que la correspondiente aclaracin del tipo
(b) es: (c) "nievta" es un enun.ciado verdadero ent on ces y slo
entonces, si nie U1a. Y, a su vez, p ara construir la aclaracin de 'este
enunciado debemos nominar y describir los nombres ' que intervic.. Vase J. M. Boch enski , op. ci t" pg. 59.
** R eproducid o por Bochenski en sus par tes principales en op. cit. , pgs.
67-72, qu e es el t ex to qu e tenemos en cuenta.
8.2 y 83 Op. cit., pg. 67.
8 4 Op. cit., p g. 68.

72

I Carlos

AS'trada

nen en ste; saber de qu palabras, as como de qu signos cada

palabra singular consta, la expresin design ada por los nombres,
etc. De este modo ten emos la siguiente aclaracin, que es construda
sin necesidad de acudir a un nombre entrecomillado: ( d) una: expre'sin, que es formad a de una palabM, la cual consisitle de cinco
letras qlue se suceden una a otra: n, i, e, v, a es un ,enunciado viercfu,dero, en!t onces y slo entonces, si nieva (en alemn, el texto difiere porque ,es schneit consta de dos p alabras). " Proposiciones, que
como la (c) y la (d) son anlogas, parecen ser evidentes y concordar del todo con la significacin de la palabra "verdadero",
que encontr su formulacin en la expresin (a) " 85 . Ellas no
suscitan ninguna duda. Es una construccin semntica CQn clave
muy simple y clara (j!). Pero aqu viene el gran problema que
ha causado tantos desvelos a los lcidos y tesoneros semantistas:
"Se conocen situaciones en las que afirmaciones de este tipo, en
unin con otras premisas no menos evidentes intuitivam ente, conducen a una contradiccin manifiesta a saber, a la llamada an1t'i1Mmia del mentiroso" SG. Tarski se atien e a la formulacin dada a
la mism a por Lukasiewics. A base de tal enunciado o paradoj a,
aqul, mediante una serie de operaciones de sustitucin, pretende
mostrar la imposibilidad de superar la " antinomia" y por esto
llega a la conclusin que "an pareC'e m uy d'wdosa la p'osibilid,ad
de un uso consecuente y adems concordante co n los Iprincipiosde
la lgica y el espritu del lenguaje corrient)e, de la expMsin "enunciado ver,d adero", y de lo qu e~e ah se sigwe, la posibilidad de la
construccin de ,cualquier de.finicin corTecta die esta expresin" 87.
D e los pasos operativos de sustitucin en el empleo del s'mbolo
c, a que ap ela T arski, slo consignaremos el '(B) c no es un enunciado ver,dad';ero," es un enunciado verdadero ,entonces y slo entonces, si c no es un enunciado ve1"dadero. Es decir que el valor de
verdad de este enunciado es falsedad. Es la seudo paradoja o antinomia del "mentiroso", que cabe formul arla as: "Lo que yo digo
ahora, es falso".
Tarski, a base de este enun ciado que no es tal, opera en el vaco
e incurre en una monocorde logomaquia. Intilmente se ha buscado slucin lgica o sem ntica p ara las ll amadas "paradojas".
Estas seudo antinomias h an sido guillotinadas .p or la elemental
distincin fenomen olgica entre lo que posee sentido y lo que
S\5
87

y 66 Op. cit. , pg. 69.

Op. cit., pg. 72.

Dialctica y positivism o lgico

I 73

carece de l. En primer lugar, el "enunciado" "lo que yo digo

ahora, es falso" no es una proposicin porque lgicamente sta no
puede enunciar nada acerca de s m isma. Ya, O ccam, en su teora
acerca de "los trminos, el juicio y la argumentacin", ,dej aclarado que el juicio (la proposicin ) no puede implicar un enunciado acerca de s mismo, pues, para ello, falta la i1Vtentio o conClep:t us, referido a la alterid ad u obj et9; cuanto menos puede implicarlo una proposicin que no es tal. An ms, la llevada y trada
paradoj a del "m entiroso" es una expresin-predicado, o sea . un
predicado suelto, ya que no se consigna sobre qu el enuncia, qu
es aquello de lo cual se dice que "es falso". Para convencerse de
ello, basta integrar con tal p redicado una proposicin completa,
como por ejemplo : " Lo que los semantistas dicen , que el lenguaje
corriente no tiene precisin ni recursos expresivos, es falso".
Si dejamos de lado que la expresin "l afirma que lo que dice
es falso" no es un enunciado, sino un simple predicado suelto, se
p uede ver desde el punto d e vista lgico que la p aradoja del "mentiroso" (m en dax) , eA'}Jlicitada a partir de la formulacin que le
dio su inventor el megrico Eublides, presenta dos p artes o momentos, cada una de las cuales no entraa antinomia, y esto rectifica lo sostenido por T arski. Lo que p asa es que tanto Lukasiewics
como T arski, en la forma consignada, la han tomado de segunda
mano. Tarski dando por sentado que desde el 'p unto de vista del
lenguaje corriente y de los p rincipios lgicos tal "enunciado" encierra una antinom ia insuperable, trata de darle cuo semntico, de
una semntica formalizada. Esta paradoja no es una paradoj a
semntica, sino dialctica, ms concretamente erstica. V emosla
en su forma originaria, aunq ue, como h aremos notar, no ha sido
interpretada de modo unvoco. Eublides, discpulo de Euclides y
representante de la escuela m egrica, formul este razonamiento
capcioso como pregunta : " Mien te o no, uno que dice que miente?" (Diog. L aert. 1, lib. II, " Eublides" ) . Se trataba, para Eublides, de una pregunta de dialctica, erstica, ya que l, a diferencia
de su maestro Euclides, di a la dialctica un carcter puramente
formal. Lo mismo que para la escuela es,toica posterior, para los
discpulos de Euclides infl udos por la escuela eletica y p articularmen te por Zenn, la Dialctica (Lgica, en realidad) se desarrollaba esencialmente conforme a los concep tos que designaban pregunta y respuesta . Eublides, como oponente, formulaba la pregunta : Suponiendo que alguien dice: "Yo miento, dice l, pues,

74 I CarlolJ Astrada
con esto la verdad o miente al decirlo?" Si el defensor, en el dilogo erstico, deca: "l dice la verdad" , entonces era refutado por
el oponente (Eublides ) sealando que " uno miente si l dice que
miente, y con' esto dice la verdad ; y si e! defensor contestaba "l
mien te" , enton ces el oponente lo refu taba se alando que "uno dice
la verdad si l dice que miente, y con es to miente" , En esta formulacin sobre la b ase de la erstica dialctica, de acuerdo a los
con ceptos de pregunta y respuesta, aparecen ya aunque no claramente los dos momentos del razonamien to capcioso o sofism a.
W . N estle lo traduce e interpreta articulndolo en dos p artes:
"Si t dices "yo m iento" y dices con esto la verdaq, entonces t
mientes. Si t dices efectivamen te que m ientes, y sin embargo expresas la verdad, en,tonces t mien tes" (D ie S ohatiker, pp. 17 3, 4 1,
Jen a, 1923 ) . En ambas el "mentiroso" miente ; en la primera porgue su prop sito es "men tir"; en la segunda p orque es verdad que
efedtivam ente ' miente. T. Gomperz nos da una versin en que
aparecen m s explcitas las dos p artes de este razonamiento capcioso : "Si alguien miente y dice m entir, miente l o expresa la
verdad ?" . "Surge la apariencia que l h ace ambas cosas a .] a vez
y esto vala justam ente como imposibilidad lgica. Nuestra primera
inspiracin es replicar : el enunciado con resp ecto del enunciado
falso es ver dadero, sien do aque! mismo sin em bargo falso" , , . En
cuanto al con cepto de m en tira, h ay que aclarar : "Se tiene, p or as
decir, que disociarlo y descomponerlo en sus elem en tos. D e los
cuales h ay dos : lo contrario a la verdad de una comunicacin y
la intencin de desorientar que acomp aa a aquella comunicacin.
Aquello existe en el caso en cuestin, sta falta. 0 , como en las
p alabras griegas " decir falsedad", el momento subjetivo de la intencin aparece con m enor fuerza que en nuestro "mentir" , entonces
tendra que distinguirse e! contenido contrario a la ve rdad del enunciado de su aptitud d e engaar" (Griechische' D enker, p. 157, 1I.
Bo., 3. Auf. ). Ya Aristteles seal la posibilidad de solucionar
refutaciones sof.sticas originadas en el empleo de trminos (conceptos) absolutos y r elativos, As nos dice que "en lo que concierne a la cuestin de saber si el m ismo h ombre puede, al mismo
tiempo, decir lo' qu e es falso y lo que es verdadero ; solam ente por
el hecho de que uno no se apercib e fcilme nte si el trmino abs;olut,a ment.e debe ser atribuido a lo que se dice de verdadero o a lo
que se dice de falso, el sofism a p arece difcil de resolver. N ada impide no obstante que el discurso no sea falso en sentido, absoluto,

Dialctica y positivism o lgico

I 75

y verdadero desde algn pun to de vista o para una cosa determinada, dicho de otro m odo, verd adero en algunos casos, pero no
verdadero en sentido absoluto" (Las refutaciones sofsticas, X XV,
180 b 5, trad. franco Tricot ) .
A nosotros nos inter esa el razon amiento capcioso ' en cuestin
desde el pun to de vista lgico objetivo, considerado en las dos p artes
o m omentos que l presenta, lo que nos p ermitir analizar la formulacin semn tica qu e le h a dado Tarski. Para ello es necesario
destacar esas dos partes del sofisma. En la versin que nos trasmite,
en sus Noc h'es Aticas, Aulio Gelio, aqul aparece formulado as' :
" Si yo soy m en tiroso y digo que miento, es que yo miento o es
que digo la v erda d ?" (Edic. franco bilinge de Maurice M ignon,
t. I II, lib. XVIII , II, pp. 222'-223). AqU ambas partes de! razonamien to capcioso estn insinuadas, p ero no dd todo discriminadas.
T ambin Cicern - uno de los principales intermediarios entre la
fil osofa an tigua y su posteridad cultural- nos ha comunicado en
Cuestiones A cadmicas, aquel sofisma en forma que se ' deja explici tar. Gracias a la ptima interpretacin de O. Plasberg (en su
Tullius Cicero, Academico rum reliquiae cum Lucullo edidit., pp. 73,
ed . T cubner, 1922) podemos apreciar las dos partes o momentos
de este razon amien to capcioso. Conforme a la ndole de la dialctica erstica m egrica, l interpreta en la siguiente forma el correspondiente pasaje ciceroniano, considerado dudoso (si te inentiri
dicis idq ue verum dicis, m entiris . .. vemm dicis):
a) Si t dices que m.ientes, y con esto dices la verdad, entonces t mientes;
b) Si t dices que mientes, y . con esto mien tes, enton ces t
'dices la verdad.
En ninguna de las dos partes o momen tos del sofisma' existe
an tinomia, como verem os despus del anlisis lgio dd mismo.
Integrand o toitam ente el predicado en un a proposicin, en ambas
partes, tenemos que a) significa : es verdad que mientes; y b): no
es verdad qu e mientes. P ara llevar a cabo el anlisis lgico objetivo
acudimos a la expresin, in trod ucida por F rege, de "valor de verdad" de u na proposicin, la que se refiere siempre a un S a"chverhalt,
es decir a un estado de cosas, e! que p uede existir, darse, o no
existir, no darse (esto es, si se puede o no ten er experie ncia de l,
comprobarse). El valor de verdad es la piedra de toque p ara determin ar la verd ad o falsedad de una prop osicin. Es eI- criterio ya

76

I Carlos

Astrada

formulado por Aristteles: "Todo discurso no es una proposicin,

sino solamente el discurso en el cual reside lo verdadero o lo falso,
lo que no sucede en todos los casos: as la plegaria es un discurso,
pero ella no es ni verdadera ni falsa" (D e la Interpretacin, IV,
17 a, ed. Tricot, p . 84). Es claro que Aristteles consideraba la
proposicin con vistas al objeto acerca del cual ella enuncia algo.
Explicitemos lgicamente las dos partes a) y b) del argumento capcioso consignado:
c) Si t dices que mientes, y efectivamente mientes (con resp ecto al objeto del enunciado) , en tonces no dices la verdad
o dices falsedad .
d) Si t dices qu e mie nt~, y efectivam ente no mientes, entonces dices la verdad o no dices falsedad.
Certeramente, en lo anteriormente citado, explic Gomperz
que de primera inspiracin demos : el enunciado con respecto
del enunciado falso es verd adero, siendo aquel mismo sin embargo
falso. Esto, si no descomponemos en sus elementos la expresin
"mien te", no, como propone Gomperz, para determinar en el concepto de "mentira" la intencin que pueda ocultar, sino para precisar y destacar los elementos lgicos objetivos nsitos en tal predicado o sedicente enunciado. Tarski, que apela subrepticiamente
al criterio del "valor de verdad", h a sucumbido a esa primera "inspiraoin" y escribe (con respecto de a) de nuestra connotacin) :
"c no es un enunciado verdadero" , es un enun ciado verdadero entonces y slo entonces, si c no es un enunciado verdadero. T arski
confunde el llam ado "valor de verdad", que es una frmula o criterio aplicable a la proposicin integrada, con lo que parcialmente
enuncia el predicado disociado del resto de la mism a. Es as como
establece una seudo antinomia entre el valor de verdad y el predicado incluido en la frase en cuestin. Entonces, incurriendo en
tumefacto re toricismo semntico, se debe escribir: "c no es un
enunciado verd adero" no es un enun ciado v erdadero, entonces y
slo entonces, si c n o es un enunciado verdadero. Pero como en
el ejemplo de "nieva" , que pone T arski, podemos simplificar saliendo del mbito diablico de la "antinomia". As en c (de nuestra
connotacin) tendramos: c no es un enunciado verdadero, si l
miente; su "valor de verdad" es falsedad. y en d: d es un enunci.ado verdade ro, si l no miente; su "valor de v erdad" es verdad.
La p aradoj a del "mentiroso" no es una p aradoj a semntica,

Dialctica y positivismo lgico

I 77

sino erstica y como tal entraa una argu cia sofstica (respecto a,
los diferentes tipos de paradojas de la escuela m egrica, vase U eberwegs Grundriss ' der Geschichte Jer PhilosojJ'hie, 1. Praechter T eil,
Die Philosophie des Altertums, pp. 155-158, 12. Auf.). En la argumentacin erstica entre Eublides (oponente) y el defensor, y ante
la pregunta capciosa acerca de si uno que dice que "miente" miente o dice la verdad?, el sofisma se desh ace si notamos que l a respuesta del defensor : "m iente" , h a sido dada situndose en la p arte
del argumento explicitada en a) y que Eublides le replica: "dice
la verdad", basndose en el otro momento explicitado en b). y
si el defensor contestaba: "dice la verdad" apoyando su contestacin en b) , Eublides le replicab a des de a). Un ingeniosa juego
al escondite, que los semantistas, con gran alharaca, han dramatizado al margen de la lgica, pretendi endo que sta es impotente
para superarlo.
Por el escam oteo o desconocimiento del contenido intencional
de las proposiciones- digmoslo de paso- los semantistas y logstiGOS han incurrido en crasos errores. Gustavo Bergm ann, que ha
tratado con sentido crtico los problemas suscitados por la sem ntica, seala precisamente en su en sayo intitulado Int entionality,
las consecuen cias de tal error. Bergm an se pregunta: "" p" y Vr.
(p)" tienen el mismo significado? .. Tomemos los dos enunciados
"Pedro ha muerto" y "Es verdad que Pedro h a muerto" 8,8. TantO'
Tarski como Carnap y sus resp ectivos discpulos h an problematizado el "significado" de las dos proposiciones tratando de identificarlo en ambas, y lo mismo h acen los dem s sem antistas, llegando
a establecer la frmula "P1" == 'Vr. ('p1.' ) o "p" es verdadero
p.
A es te respecto, Bergmann nos dice: "La tentativa de responder
a esta cuestin', construyendo esquemas y procurando discernir en
ellos, algo que correspond a a este significado de tener -el mismo-significado es manifiestamente absurda. Por desgracia, Carnap y al-'
gunos de sus discpulos h an invertido recientem ente mucho tiempo
en este vano intento . En cu anto a la refierencia, la respuesta es obvia.
Los dos enunciados no se refieren a la misma cosa. Lo mismo vale
para el significado intencional" 89.

==

ss Intentio nality, en S emntica, pg. 214, Archivio di Filosofia, ed. cit.

89 Op. cit., pg. 214.

78
11)

LAS

PARADOJAS:

NOMBRES

AUl'OlJGIOOS

I Carlos

Astrada

H E T EROLGIOOS

La tema de las p aradojas contiene un captulo baldo, aquel en

el cual los semantistas realizan la mdica acrobacia de los nombres
"aufolgicos" y "h eterolg.icos". Esto supone, como se ver' , una
mxima agudeza semntica y una especial versacin lgica.
Estamos ante la Ilamada paradoja Grelling-Nelson. Segn Kurt
Grelling, "h ay p alabras que tienen la peculiar caracterstica de caer
ellas mismas dentro del con cepto que designan, por ejemplo, "de utsch"
es alem ana. Por el contrario, la p alabra fran zoesisch no es francesa.
Designamos "autolgicas" a las palabras de la prim era clase ; las
no autolgicas sern " heterolgic.as". Investiguemos .a hora la misma
p alabra "heterolgica". D ebera ser autolgica o no autolgica. Supongamos que sea autolgica; lo cu al signifi ca que ella misma cae
bajo el concepto que designa; es, pues, h eterolgica. Si es h eterolgica, entonces cae bajo ,el concepto que designa; es, por lo tanto,
autolgica. Se puede decir de la palabra h eterolgica: si es autolgica es heterol gica, esto es, n o autol gica y a la inversa" 90 . He
a~ 1a dramtica contradiccin, que quita el sueo a los semantistas.
Pero, sucede que Grelling confunde el concepto que la palabra
mienta, o bajo el cual cae, con referen cia a s misma, y la denotacin de la p alabra, que se refiere a objeto o entidades (ya sean stas
palabras) ; l a palabra no puede denotar acerca de s misma. Es que
los semantistas .formulan r eglas y principios, como el de la denotacin, que luego ellos mismos se en cargan de vulnerar.
De acuerdo con lo enunciado por Grelling y sobre la base de
los ejemplos que aduce podemos formular el siguiente principio sinttico a priori (lo que implica una h ereja p ara la sem ntica y su
"analiticidad"). Todos los nombres adj etivos, que designan (en
cualquier idioma) la nacion alidad de p ersonas o el idioma de otros
pases (o mbitos idiomticos) son h eterolgicos; aS, por ejemplo:
fram zuski no es francesa, sino rusa; chinese no es china, sino inglesa;
sp'(].nisch no es espaola, sino aleman a; russian, no es rusa, sino inglesa; m'gentinisch no es argentina, sino alemana; anglais no es
inglesa, sino francesa; italiano no es italiana, sino espaola (en
cambio italino, con acento en la a, es italian a, es decir autolgica). W. Quine nos informa que "el adj etivo portugus no es hete, 90 Teoria de los Conjuntos (Mengenlehre), trad. cast., pgs. 115-116,
Mxico, 1943.

Dial.ctica y jJositivismo lgico

I 79

rlogo, porque es un adjetivo portugus" In . Es un grav1Slmo error;

Quine, durante el tiempo de su p rmanencia en Sao Paulo, o no
aprendi el portugus o creyendo aprenderlo en realidad aprendi
espaol, o se trata de un error de la traduccin (para aclarar este
intrngulis sera necesario introducir una conectiva tricondicional,
y esto lleva ms all de la lgica bivalente !), porque "portugus"
es heterolgico por cuan to n o es una p alabra portuguesa, sino espaola; en cambio "portuguz" es p alabra portuguesa, es decir
autolgica.
Asimismo se puede formular otro principio de igual carcter
con resp ecto a las palabras autolgicas, diciendo que todos aquellos
adjetivos o nombres que en cu alquier idioma designan el propio
idioma o n acion alidad de las personas son autolgicas; deutsch es
alemn, english es ingls, franyais es fra ncs, italino es italiano,
portuguz es po.rtugus, esp:aol es espaol, etc. etc. En contra de
lo que afirman los h eterologistas y autologistas, ningn adjetivo
se denota a s' mism o en cuanto a su concepto. "El adj etivo " Largo"
- nos dice Quine- es h eterlogo porque no se denota a s mismo,
es decir, no es largo" 0.2. Tal adjetivo no es ni corto ni largo, no
contiene ni un adarme de longitud ; la que es corta es su grafa,
la expresin d e su concepto, fontica o grfica, m ediante un reducido nmero de signos (letras) . Los h eterologistas confunden ambos aspectos; de ah su candorosa propensin a ech ar mano de la
cinta mtrica p ara medir el concepto como significacin de las
palabras. El a dj etivo verde es, naturalmente, heterolgico porque
no es verde, no contiene ni una .p artcula de color verde. En sntesis, a nadie que no sea un genial h eterologista, se le va a ocurrir
que en el enunciado "el oro es amarillo", el predicado es het erolgico porque no es de color amarillo.
12) EL

C ONCEPTO SEMNTICO DE L A VERDAD

V eamos ahora, p ara terminar con la semnt,ica, tal como la concibe el empiri smo lgico, la teora acerca del con cepto semntico
de la verdac, segn T arski. L a posicin de ste la presentaremos
en f'Orma muy sinttica, destacando slo Jo que para l sera una
definicin conclusiva de la verdad, y ' os supuestos subyacentes de
la misma.
M
1).2

E l se ntido de la nueva 16gica, pg. 4, trad. cast., Bs. Aires, 1958.

Op. cit., pg. 4.

80

I Carlos

Astrada

Tarski, para decirnos lo que entiende por verdad, se atiene~

en d efinitiva, a la estructura formal del lenguaje en que " debe"
formularse su definicin. Comienza p or sentar que el trmino "verdadero" debe aplicarse a oraciones, o sea, a proposiciones enunciativas, expresin sta ltima que l desecha porque los filsofos
no se h an puesto de acuerdo acerca de su alcance 93 .
Tarski invoca - n o sabemos por qu, ya que no se atien e a eUala definicin aristotlica de la verdad, la que lleg a ser la definicin clsica adoptada por todo el objetivismo racionalista de los
tiempos posteriores. Ella reza: "Un enunciado falso es el enunciado
que lo qlie es, no es; o que ]0 que no es, es; en cambio un enunciado verdadero es el enunciado qu e lo que es, es, y que lo que
no es, no es (Met. r IV 7, 1011 b 26). V ale decir que Aristteles erige en criterio de la verdad la concordancia del conocimiento con el objeto, al cu al l se refiere. Para que la incongruencia entre el punto de partida que adopta y la con clusin a que
llega no sea tanta y ni tan chocante, T arski debi citar (Met. e
IX 10, 1051 b 17) . . . "H ay lo verd adero y lo falso slo como un
mero encu entro y denominacin de lo verdadero - denominar y
enunciar no es lo mismo- y un no saber lo verdadero y no encontrarlo" .
Segn T arski la verdad no expresa la r elacin del pensar con
el . objeto, sino las propiedades de las oraciones. Afirma : "El problema de la definicin de la verdad logra un significado preciso y
puede ser resuelto de una manera rigurosa solam ente para aquellos
lenguajes cuya estructura h a sido exactam ente esp ecificada" 94.
Para esta tarea no cuentan los lenguajes naturales o "h ablados",
sino nicamente el lenguaje formalizado de la "lgica deductiva".
A fin de determinar las condiciones que deben llenar los lenguajes en los cuales h a de darse la definicin de la verdad, T arski
aborda de nuevo -ya 10' hizo en El concep,to de la verdad en los
benguajes form aJlizados- la m anida p aradoja del "mentiroso"; el
caballito de batalla de los seman tistas. Como ya hemos visto en
qu consiste esta "paradoja" o " antinomia", dejar emos de lado
este redundante aspecto de su disquisicin, a p esar de la importancia - harto discutible- que aqul le asigna como punto de partida
de las elaboraciones de la sem ntica terica. Cautelosamente ad93 The S ernan tic Conception of T ruth and t he Foundatio ns of Sernan tics,
pg. 342, en Ph ilosophy and Ph enomenological R esearch, Vot IV, n Q 3, .1944.
94 Op. cit., pg. 347.
.

Dialctica y positivismo lgico

I 81

vierte Tarski que no pret ende que su concep clOn sem ntica sea la
"correcta" o la "nica 'p osible" 9 5 . Adem s p arece ser habitual en
l eludir las objeciones que se le han h echo, diciendo que no las entiende; y cua,n do se le h a observado que la definicin de la verdad
que l ,p ropone n ada tien e qu e ver con "el puro problema filosfico
de .}a verdad" , responde que " n adie le ha mostrado jams de manera inteligible, qu6 es exactamente este problema" 96, no obstante
invocar casi al comienzo de su exposicin el concepto aristotlico
de verdad, que es una r espuesta a l "problema filosfico de la verdad". Tarski se hace el Pilatos y sigue semantizando. Y cuando se
le ha dicho que su definicin de ' "oracin verdadera" no capta "la
esencia de este concepto", responde que nunca ha podido entender lo que es la e;sencia de un concepto" 97 . Entonces, cmo se
aventura a darnos una definicin -as sea puramente semnticade la verdad? En t anto que asentamos la definicin de verdad la
esencia es el concepto de verd ad ; la esencia es el resultado o producto de la definicin . E stos intrpidos semantistas, a p esar de
mencionarlos, no han pasado por Platn ni por Aristteles ni por
Descartes, ni por H egel, ni siquiera sospech an que "esencia" no
tiene nicamente un sentido metafsico, sino tambin lgico.
Veamos directamente, para resumir, el alcance del trmino
verdadero en la pret endida d efinicin semntica de la verdad.
Tarski llama adecu ada a una definicin de la verdad si de la misma se siguen todas las equivalencias que tengan la forma (T) (esquema oracional): p es verdadera si y slo si, p. Si remplazamos
"p" por una oracin particular, y x por el nombre de esta oracin
llegamos, segn T arski, a una definicin parcial d e la verdad; para
definir a sta con un sentido general, t enemos que Tesumir o "conjugar" todas las definiciones p ar ciales. L a d efini cin, la oracin
" la nieve es blanca" es verdadera si y slo si, la nieve es blanca,
es para Tarski form almente corr ecta y m aterialmente adecuada.
Esta definicin entra ara todas las equivalencias de la forma (T).
Con su concepcin sem ntica de la verdad trat a de eludir el plano
lgico y de all su tesis de que debe h aber oraciones que pueden
ser v erdaderas semnticamente, y no lgicamente.
A base de lo que Tarski llama equivalen cias, en las que se
substituyen la oracin por el nombre de la oracin misma, y dando
por supuesto que semnticamente la verdad no implioa nada con
05
96

Op. cit., pg. 355.

Y Qr Op. cit., pg. 361.

82

I Carlos

Astrada

relacin a las condiciones en que puede asentarse una oracin cualquiera, como por ejemplo la nieue es blanca) da los siguientes pasos, a partir de esta ltima: La oracin " la nieve es blanc.a" es verdadera)' la oracin " la nieve es blanca es verdadera si y i.lo si) la
nieve es blanlca. Pero, en nombre de la concepcin semntica debe
reohazarse esta ltima equiva lencia y aceptar su negacin, llegando
al siguiente enunciado : La oracin " la nieve es blanca" es uerdadera si y slol si) la niev'e no es blanC'a '(o ;quiz: la nieve) de hecho)
no es blanca) U8 . Tarski aqu cree h aber eludido la instancia lgica
pero incurre en un cra so error. El parntesis, que como inexplicable contera le pone a la oracin en que ha de trasparentar un
concepto semnticamente puro de la "verdad", lo delata y, a la
vez, remite a la nocin no asimilada ni comprendida que est en
la base de tal enunciado que as resulta un "hierro de madera", o
el baciyelmo de Sancho, que no es, ni el yelmo de Mambrino (el
nico y autntico semantista ) , ni la baca de los barberos dd
empirismo lgico.
13)

SACHVEItHALT y

TATSACHE

V eamos brevemente el origen e historia edificante de esta confusi n que los log'sticos y semantistas h an arrastrado tanto tiempo
y que ha tornado galimticas sus exposiciones " doctrinarias" .
Hace aproximadamente setentisis aos afirm Frege que los
enunciados son d e tal naturaleza que, ya sean verdaderos o falsos,
se rigen conforme a " estados de cosas (Saichverha:l ten), los que
pueden existir o no existir. Esto no significa otra cosa sino que la
proposicin por su estructura lgica puede ser verdadera o falsa,
aunque no le corresponda un objeto real. Si el Sachv erha.lt acaece,
entonces tenemos un T.atsache) pero el enunciado puede ser verdadero o falso, sin el hec.ho (o el de helcho ). Tal con cep to de Frege
fue adoptado muy confusamente por Wittgenstein, que jams lleg
a distinguir con claridad entre Sachverhalt y Tatsache. En la edicin bilinge, germano inglesa del Tractatus) se traduce errneamente Sachuerhalt por ato1mic tact) expresin introducida por B.
Russell y aceptada sin reparo pOr Wittgenstein, en virtud d e m
propio error. As, en 2.011, dice que es esencial a la cosa ser la
, parte constitutiva de un "estado de cosas" (Sachverhalt). De donde, no tiene sentido llamar al Sachverhalt "hecho atmico". Y en
08

Op. cit., pg. 362.

Dialctica y positi vismo lgico

I 83

2.012, afirm a que si la cosa puede acaecer en el Sachver halt, entonces la p osibilidad de ste, est ya pI1ejuzgada en la cosa. En
realidad es a la inversa; 10 que .pasa es que Wittgenstein, por no
h aber comprendido la nocin de Frege, no se p erca ta que el Sachvel,rhalt es posible en funcin de un enunciado, pero esto no quiere
decir que por ello ha de existir. Se trata aq u, no de la existencia
del Sachv erhalt, sino del h echo (Tatsache) como parte de un "estado de cosas".
Este puede, o n o, existir, p ero el acaecer de un hecho que es
parte constitutiva de l, torna p osible su existen cia. Los logsticos
y semantistas h an p ersistido (por lo menos, desde 192 1, fecha de la
publicacin de la L ogisch Philosophische Abhandlung, en A nnalen
der Philosop'hve., o desde su edicin bilinge germano-inglesa en
1922) en esta confusin, verdadero gazapo, origen de los gorgoritos, trabalenguas y seudo paradojas, habituales en ellos; confusin
slo recientemente puesta de m anifiesto y a m edias aclarada, con
respecto a Wittgenstein y tambin a R ussell, por Erik Stenius. Este
expiica en correlacin con el concepto de Frege -aunque no se
remonta al fundam ento que al mismo asign a el ltimo- que el
Sachverhalt (o estado de cosas) puede, o no, existir, p ero si se da
en la realidad, ten emos entonces un Tatsache 99 . Se trata, como se
ve, de un Frege mal comprendido y peor refractado por Russell,
Wittgenstein, y los que a stos h an seguido, Tarski, etc. R efirindose a la traduccin de Sachverhalt por atom ic tact, dice Stenius:
" Esta traduccin p arece confusa, y la confusin ha aumentado con
la interpretan de l a terminologa de Wittgenstein por p arte de
Russell en su introduccin al Tractatus lJ 100. No es que parezca
"confusa", sino que ella es el resultado de una tergiversacin.
Para aclarar la "confusin" Stenius adu ce, como ejemplo, las
dos proposiciones siguientes en r elacin con el Sachvethalt correspondiente (en teora) :
19 ) La 'una es m s p equea que la T ierra
29 ) , La tierra es ms pequ ea que la Luna
D e la primera, dice Stenius (en su terminologa ad hoc ) que
no slo es aseverado (asserted) sino que tal "es el caso"; a su
99 The Wittgenstein's Tractatus Logico -Philosophicus A Critica! ExpO>sition of the Main Lines of Thought, pgs. 29-30 y 31 (III The Concept
of A Sachverhalt), Oxford, 1960.
100 Op. cit., pg. 29.
.,

84

I Carlos

Astrada

"contenido d escriptivo" corresponde el hecho (Tatsache) , y la

proposicin es verdadera; de la segunda, que slo es aseverado,
pero no es tal el caso, falta el hecho y la proposicin es falsa ":f.
Con relacin a la primera, el S,aJCIwerhalt (que le corresponder'a ) existe y tenemos por tanto, el Tats,ache; el "estado de cosas",
con su existencia, la confirma, pues es una proposicin emprica
y cientficamente verdadera . En cambio, en la segunda aqul no
existe, esto es, el T,atsache no la confirma y la proposicin es falsa.
Ambos ejemplos proceden de Frege, figuran en su Grundlage dr
Arithmetik; por lo visto, la inventiva de los semantistas y logsticos
es muy magra, ya que desde hace cuarenta aos vienen repitiendo
h asta la saciedad los ejemplos aportados por Frege, con el agravante de no haber comprendido el concepto en que ellos se fundan.
Como ya vimos, un a nocin de Frege no comprendida, dio
origen a una mala interpretacin y confusin por parte de Wittgenstein y Rus~ell. El primero, con posterioridad a su Tractatus,
ha remachado tal confusin en sus Tage bch e'T. Aqu nos dice, poniendo un ejemplo grfi co: "Pensemos en escritos jeroglficos en
los cuales cada p alabra representa su significacin . Pensemos en
que tambin imgenes reales de estados de cosas (S achverhalten)
pueden corresponder o no corresponder. (Pone el siguiente ejemplo grfico) :

Si en esta imagen el individuo de la derecha representa el

hombre A y designa el de la izquierda al hombre B j entonces la

* Vbse

O)).

cit., pg. 3D.

Dialctica y positivismo lgico

I 85

totalidad del dibujo poda enunciar que A hace esgrima con B.

La proposicin, en la grafa de la imagen, puede ser verdadera y
falsa. Ella tiene un sentido independientemente de su verdad o
falsedad. En ella tiene que poder demostrarse todo lo esencial" ~'0t.
Wittgenstein remite a Tractatus (4. 006): "Para comprender
la esencia de la proposicin pensemos en la escritura jeroglfica,
que reproduce los hechos (T.atsach en) que ella describe" .
Si la proposicin copia "hechos" mediante el lenguaje figurativo, ella es expresin de un Tatsache, y no posee, como afirma Wittgenstein, un sentido independientemente de su verdad o falsedad.
Lo esencial de ella como proposicin est en el plano lgico. Su
esencia entonces, como enuncia Frege, es ser expresin de un Sachv'erhalt, el cual puede existir o no existir. Por ser mera copia de
un hecho, "todo lo esencial" que en ella ha de demostrarse no es
tal, pues, como supone 'Wittgenstein en virtud de su errnea comparacin con la escritura jeroglfica.
Wittgenstein confunde lo mentado por la proposicin con lo
representado por la escritura jeroglfica. Si -de la proposicin "A
y B'" hacen esgrim a ("o Juan hace esgrima con Pedro", o la inversa, igu almente vlida), se puede derivar lgicamente todo 10
esencial como expresin de un S ac hverh alt, sin recurrir al hecho
(T,atsache ) , no ocurre 10 mismo con 10 representado por la figura,
la que, sin la proposicin que la ilustra, puede representar cualquier otra cosa (por ejemplo, una vieta, una danza litrgica, etc.) .
A este respecto, H egel destac claramente que, con relacin al
lenguaje escrito "la escritura jeroglfi ca designa a las representaciones mediante fi guras espaciales, el lenguaje alf.a,b tico designa, en
cambio, fon emas, los que por s mismos son signos. Este, por lo
tanto, consiste en signos de signos" Il)02 H egel, pues, saba distinguir
10 que Wittgenstein y los dems logsticos confunden anclando,
merced a su empirismo lgico, en esa in conciliable mezcla de logicisma y sensorialismo.
Volviendo a T arski, sealemos que el parntesis en la oracin
"la nieve es blanca" . . . con el quiz" desnaturaliza la forma que
debe tener tal oracin, pues el " quiz" sale forzado debido al emC(

101 Ludwig 'W ittgenstein, Schriften : Tract at us logico-philosophicus, Ta gebiicher, 1914-1916 Philosophisc he Unterm chungen, pg. 95 Suhrkamp
Verlag Frankfurt an Main, 1960.
1.02 EncycloPiidie der Philosop hisc heu Wissensc haften Dritter Te il, pg.
398 (parag. 459) ed. Lasson.

86 ICarIos Astmda
pleo del juicio hipottico, que elimina, tambin en el parntesis,
h asta la sombra de la proposicin n ecesaria : aunque "de hecho,
"la niev'e no es blanca", qu e sera la formulacin correcta. Esta
supresin de las proposiciones n ecesarias y su infundado remplazo
por las hipotticas (consecuencia del agnosticismo dogmtico, propio d el empirismo lgico) , h a sido destacada por la crtica proveniente del dominio mismo de la semntica. Entre otros, Arthur Pap
h a objetado esta errnea sustitucin ~'03 . Pap seala que carece de
fundam ento resolver las proposiciones n ecesarias en simples reglas
lingsticas, p artiendo del supuesto - resultado de una flagrante
confusin- , de que la n ecesidad de una proposicin estara "radicada" en una regla lingstica o semntica. " Explicar, por tanto,
los principios usuales de la inferen cia deductiva en trminos de
"convenciones lingsticas" es poner el carro delante del caballo" lli04 .
Adems de esto, hay, por p arte de los semantistas, un desconocimiento de la esencia de lo lgico, y, en particular, de la del juicio.
Como ya lo seal Aristteles, slo los juicios pueden ser verdaderos
o falsos; es d ecir, slo ellos tien en la propiedad de la verdad o de la
falsedad. Ningn objeto es propiamente verdadero o falso. Todo
juicio enuncia, afirm a algo, y esto o corresponde o no corresponde:
es verdadero o es falso. P ara la verdad o falsedad de un juicio no
se toma en consideracin su existencia y tampoco algunos rasgos de
su esencia, sino que slo interesa un aspecto de su esencia, el de su
sustancia lgica. La sustancia lgica del juicio es el soporte de la
verdad del mismo.
Por todo lo precedentemente expuesto, se puede extraer, sucintam ente y en forma global, una apreciacin crtica de las concepciones semnticas elaboradas por el empirismo lgico, y del pretendido aporte sustan cial de las mismas -x-.
10 3 Necessary Pl'opositions And Linguistic R ules, pg. 65, en Sem n tica,
ed. cita d il_
104 Op. cit. , pg. 105.
i!- Pod ernos apenas, aludir a las proliferaciones y diversidad d e t endencias tanto d e la semntica d el empir ismo lgico corno d e las escu elas an alticas
inglesas y yanquis. Todas estas conien tes nacieron del surtidor del ,W iener
Kreis y se d erramaron, fecundan do al principio muy acotados predios pata
iniciados, en Cambridge, Oxfor d y C hi<:ago. L a centra l qu e canaliza y distribuye es tas corrien tes es la In ternationaD Society for General Semantics y su
rgano p ublicitario y p ropagandstico E.T.C., que tiene tambin su Reade,"s
Diges t, Selections, from E.T .C. Segn H. Rapopmt (autor juntamente con S.Y.
Hayakawa de 'Wh at is Semantics?) , la semntica genera l es una ciencia emprica d el hombre, d e la que sus d evotos hacen un culto Q. un movimiento re-

Dialctica y positivismo lgico

I 87

Pero para esta valoracin, damos la palabra a Karl Popper,

ex simpatizante con el Crculo de Viena. Con respecto a las construcciones lingsticas de Carnap y los sem antistas que jo siguen, K.
Popper nos dice : "La dificultad de su creacin (de tales construcciones) no est en ninguna relacin con su efectividad, y prcticamente no puede ser expresada ninguna teora cientfica de algn
inters en estos gigantescos sistem as de minucias". " ... Estos lenguajes modelos no tienen base ni en ciencia alguna ni en el sentido
comn" 105. Y ms adelante, refirindose a la esterilidad y artificiosidad de tales construcciones sem nticas, Popper subra ya: . .. "Estos ensayos eran no slo intiles, sino que ellos justam ente han confOrrnlsta de carcter r eligioso, a nlogo a mu ch os otros qu e filor ecen en el ambiente norteamericano. Debemos m en cionar tambin la "semntica t eraputica" de! "cond e polaco Korzybski ", a utor d e S cience and Sanity. Hay qu e consignar que Hayakawa funda grand es esperanzas en la difusin d e la semntica genera l, a la que confronta con la eficacia innova dora d e las teoras marx.istas y de la d el psicoan!1isis. (Vase Note e Commenti d e F. Barone, en
Semntica, pg. 408 y sig.) Todo ello es explicable, pu es siempre al filo de las
guerras y grandes transfo'r macion es sociales de p royeccin r evolucionaria recrudecen viejas panaceas y p equeos cultos exotricos. y capillas, o surgen nuevos,
tod os sucedn eos de las r eligion es en el d eclive. As, hoy t en emos entre los primeros a los Rosacruces, de un teosofismo di simulado, .pe-ro al servicio' de ocultos intereses; las dife r entes 5ectas teosfi cas, d es d e las proveni entes d e "rsis
sin Velos" hasta los secuaces d e Rudolf Stein er ; la C h ristia n Scien ce' o " eddysmo" (del nombre d e la fund a dora M ary Bak er Eddy) ; y entre los ltimos, el
culto d el "Padre Divino" (el qu e circul a en p erson a p or las call es d e N ew
York, en un automvil ill uminado a giorno, r ecogiendo el tributo d e los "fieles"
diseminados cn la urb e ) ; la capilla d e la "sem ntica t erap utica" y las direcciones r eformistas y pr oselitistas d e la mism a; el "Rearm e mora l", qu e hace
d e Dios general en J efe d e los ejrc itos d e un a nu eva "ideolog a": "honestidad, pureza, d esinters y amor ab solutos" . Y en e! Sur colonizado de nuestro
hemisferio, para no ser m enos, ten emos, con r efuerzos latinoam erica nos y cstadounidenses, en Bu enos Aires, el " C entro Cientfico Basilio" espiritista, en
el cual se instr um enta l a mediumnidad vide nt e, mat erializndose el espritu de
J ess d e Nazareth ; esta secta proced e d e la "h erej a" arrian a (Cristo fu e
hombre y no es Dios); el " cu erpo astral" y la comunica.cin sem ntica con
los marcianos le son familiares. Por ltimo la " Logos oia" o " escuela logosfica" (con su iglesia) fundad a por R aumsol, agen cia m atrimonial con casa
matriz en Montevid eo' y sucu~sal en Bu en os Aires. Esta. capillita entronca, por
su enfoque "especulativo", e n la "probl em ti ca" de "L a. felicida d en el matrimonio" de B. Russel1. T enemo s, empero, noticias fid edi gn as. d e qu e un semantista guaran, en tajante oposicin a la. " t eora" d e RusseJl, coloca la eudemona d e la: pareja humana. en otra insta nci a.
:105 The Logic of S cientific Discovery, p gs. 20- 2 1, trad. inglesa, London
1959 (la edicin o,r igina! a lemana ll ev.a po)" ttulQ L ogik del' Fo rscli.ung, y,
data d e 1939l.

88

I Carlos

Astrada

tribuido a la oscuridad y confusin que predomina en la filosofa

de la ciencia" 10G.

14)

LA FILOSO FA CIENTFICA

El empmsmo lgico, a travs de la sem ntica, culmina con su concepclOn de la "filosofa cientfica" y "analtica". V eamos en qu
consiste ella y cul es su fundamento.
Para el empirismo lgico, la filosofa, como una ciencia entre
otras, slo tendra por tarea especfica, no abordar h echos, sino
slo esclarecer por anlisis las proposiciones m ediante las cua:les
expresamos hechos, y tambin el nexo que tienen las proposiciones
en un lengu aje dado. En vista a la consecu cin de este propsito;
hay que concretarse al lengu aje de las ciencias y asimismo al lenguaje corriente implicado en el de s tas. Esta es la labor a que se
entregaron tesoneramente 10s integrantes y fund adores del Crculo
de Viena (y de su trasplante anglosajn) o en relacin directa con
l: M oritz Schlick, Wittgenstein, Caruap, Neurath, Godel, Waismann, F eigl, M enger, Russell, Ayer, etc.
La filosofa, ya que sta consistira en un a mezcla de problem as
aparentes, debe reducirse a un anlisis de 10s modos filosficos de
expresin, esto es, a una lgica del lenguaje. Slo as, ella podra
lograr estrictez o exactitud analtica. Pero esto de acotar la filosofa como cien cia estricta no ofrece ninguna novedad, ya que D escartes formul es ta exigencia (en sus R egulae ()Jd d'irectionem ingenii) y, despus Husserl trat de fund am entarla en su Philosophie
als strenge Wissenschaft (1911), aunque en un sentido opuesto al
del empirismo lgico, ya que ste se a tiene al anlisis del lenguaj e,
mientras Husserl va a la descripcin, no del dominio emprico,
sino de las ideas y esen cias.
Wittgenstein, en sus fragm entarias observaciones de Philosophischen Unt,ersuchungen nos dice (NQ 133 ) que ellos (los empiristas lgicos) tratan de lograr un a "claridad p ed ecta" , "pero esto
significa solam ente, para ellos, que .Jos problem as filosficos deben
desaparecer del todo. A decir verdad, el descubrimiento es cap acitarme para interrumpir el filosofar cuando yo quiera. Slo en ejemplos es mostrado un m todo, y la serie de estos ejemplos se puede
interrumpir. Lo que se resuelve son problemas, lo que se elimina son
dificultades, p ero no un problema. No h ay un mtodo de la filo sofa,
10G

Op. cit., pgs. 378.

Dialctica y jJositivismo lgico

I 89

pero s hay mtodos, en cierto modo, diferentes terapias" 101. De

dnde h abr sacado 'Wittgenstein que la filosofa tiene un solo
problema?
l parte del supuesto solipsista de que " los lmites de mi lenguaje son los lmites de mi mundo" (Traotatus 5.6) y de que "el
lenguaje disfraza los pensamientos" '(Ibd. 4,002). Y de la comprobacin de la ambigedad del lenguaje corriente infiere que "la mayora de las proposiciones y cuestiones que han sido formuladas
sobre asuntos filosficos no son falsas, sino sin sentido, La mayor
parte de los problem as y proposiciones de los filsofos consiste en
que no comprendemos la lgica de nuestro lenguaje" (Ibd, 4.003).
J ams Wittgenstein - que padeci de una enorme confusin mental- tuvo .ja menor sospecha de que el pensamiento filosfico crea
su propio lenguaje- un verdadero m etalenguaje ; que, p. e.: la parte
del 'P armnides, de Platn, en que se habla del ser, el no ser y la
verdad, est escrita en metalenguaje; que toda la "Dialctica trascendental" de la Crtica de la razn pura, es t escrita en metalenguaje; que la Fenomenologia dell EsjJritu, de Hegel, y todo lo
que en ella se refiere a las Gestalten de la conciencia, tambin estn
escritos en metalenguaje. Es esta la profunda razn que llev a
H egel a decir que la "filosofa es el mundo al revs".
Que el pensamiento filosfico arbitra su propio .J enguaj e, ya
que lo que l expresa v.a mucho ms all de la literalidad de las
palabras y de l.as proposiciones no slo queda de manifiesto en la
praxis lingsti ca de un K ant, sino que ste alude a tal lenguaje
y a su finalidad expresiva. L a necesidad de asig'n ar un primer plano a las ideas y nociones que trata de formular lo lleva precisamente
a eludir la .ambigedad del lenguaje corriente, acudiendo a uno que
se pliegue m s estrechamente a lo que l quiere significar.
' As, en su conocido escrito polmico Ueber eine Entdeckung
nach der ,(llle neue Iitik der reinen Vemunft durch eine' iilte'T1e
entbehrlich gemacht werden sOill ("Sobre un descubrimiento' segn
el cual toda nueva crtica de la razn pura debe hacerse superflua
por obra de una anterior"), K ant, con relacin al as intitulado artculo del seor Eberhard, editor del Philosophischer Magazin,
muestra los errores en que incurre ste, que pretende invalidar su
crtica de la razn, afirmando que ella es t ya h echa en la filosofa
de Leibniz, y con ' ello confunde los juicios sintticos a priori en
sentido kantiano con los juicios sintticos a posteriori, a los que
l01

Schriften van Ludwig Wi ttgenstein, pg, 347, ed., cit.

90 ICarIos Astrada
Leibniz, adems de en el terreno de la experiencia, sita en el dominio de la metafsica (la dogmtica). y con este motivo Kant
se refiere a algunos "historiadores de la filosofa" (cuyo "modelo",
sin duda, es el seor Eberhard), que dedicados, como partidarios,
a hacer la alabanza de algn filsofo, sin sospechar cul ha sido la
intencin que lo ha guiado, caen en el absurdo "porque indagan
sobre las palabras de lo que ellos han dicho y no pu eden ver lo que
han querido decir" 108
Lo importante es, pues, lo que el filsofo ha querido decir, y
este es el lenguaje, a veces cifrado, del pensamiento filosfico. Las
palabras y las proposiciones en que 'este pensamiento se articula, es
su medio expresivo, p ero no su finalidad. De esto es lo que no se
percatan los que, como Wittgenstein y los semantistas que lo siguen,
se circunscriben a indagar p erifricamente el "sentido", mejor, el
"sin sentido" de proposiciones y trminos filosficos.

15)

ANLISIS LINGSTICO, FILOSOFA y METAFSICA

El anlisis lingistico que preconiza y practica el positivismo lgico es negativo respecto al contenido y problemtica de la filosofa,
tanto considerada sta en su acervo 'tradicional como en el moderno y contemporneo. Esto de considerar sin sentido o ficticios los
problemas filosficos, en virtud d el modo verbal de su formulacin,
carece de originalidad. Ya el padre del mtodo inductivo, Bacon,
sostuvo esta tesis de que los nombres d e cosas pue den hacer creer
en objetos inexistentes, y la ilustr, al estudiar (en su N ovum Org<anumo, 1, 59', 60) "los dolos del foro" los que "son impuestos a la
inteligencia por el lenguaje".
Los empiristas lgicos recusan la metafsica, no a causa de las
dificultades que ofrecen sus problemas (su insolubilidad), sino porque sus apor'as y proposiciones, por no referirse a h echos observados,
cal'eceran desde el punto de vista lgico, de todo contenido.
Pero ya hemos sealado que los positivistas lgicos y semantistas
son oficiantes de una metafsica sensorialista que se ignora a s
misma. Ellos son ms contumaces que el gentil hombre Monsieur
Jourdain, que recin al c<tbo de ms de cuarenta aos descubri
que hablaba en prosa sin saberlo (Par ma fo i, il ya plus de qu,aranJ~e
ans que je dis de la prose, sans que j' en susse rien). Los sensorialislOS

Kants Werke, Bd. VI, p. 71, ed. Cassire r.

Dialctica y positivismo lgico

I 91

tas y positivistas lgicos desde h ace mucho m s de cuarenta aos

(desde el tiempo de M ach, 1885-1901) h acen m etafsica sin saberlo.
As, :Wittgenstein sustituye la m etafsica por la entronizacin
puram ente verbal y carente de todo sentido de lo " m'stico" . " Hay
ciertam ente, lo inexpresable. Esto se muestra, ello, es lo mstico".
(Tractatus 6 .5 22). Niega con ello, su ltima senten cia: "de lo que
no se puede h ablar, m ejor es callarse" (Ibd. 7) puesto que ,l habla
con la pretensin de mostrar (de revelarnos) lo inefable, lo "mstico" que 'se muestra. Olvida o ignora qu e el mutismo del pensamiento es expresin en potencia y que 10 que el hombre expresa supone
un silencio anterior. Son los dos aspectos d el logos, desde antiguo
reconocidos, aquel de! fundamento inefable d e todo decir, y el de
la lgica que informa a la proposicin expresada. Si Wittgenstein
condena el "salir a travs de las proposiciones fuer a de ellas" (Ibd.
6.54), reconoce con ello, implcitamente, que el pensamiento -en
este caso, e! p ensamiento filosfico- crea su propio lengu aje, aunque la superposicin de ambos no se r ealice quiz sin residuo. D e
ah que no cabe mostrar lo que no se pue de p ensar ni nominar
en funcin d e lo pensado. Y por no cumplir con esta condicin,
Wittgenstein cae en una nomin acin vaca; "mostra r" en el sentido
en que l emplea la pala:bra, es nominar lo que se pretende mostrar,
por vaga que sea tal nomin acin.
Entroncando con e! anlisis del lenguaje del positivismo lgico
y ,e n particular con Wittgenstein y la teora de ,los tipos lgicos de
B. Russell, tenemos la "aguda" crtica de los con ceptos del lenguaje.,
principalmente de los lengu ajes no formalizables, de Gilbert Ryle.
Desde el punto de vista de un nominalismo excesivamente superficial e ingenuo, presenta, en su obra Th e Conc ept oi M inlfl, una
teora completa del espritu o mente (mind); m ejor dicho - si nos
atenemos al contenido de su libro-- de los con ceptos sobre el espritu, esto es de los conceptos mediante los cua les enunciamos algo
sobre ste. E l enfoque crtico de Ryle, en .su anlisis de los conceptos sobre el "espritu", toma como frepte p ara la ofensiva la teora
de D escartes.
Segn Ryle, si con cebimos el espritu com o r esulta do de la
escisin cartesiana del ser en dos sustan cias (res cogitans y res extensa), y lo tomamos como una sust an cia incurrimos en un error
con relacin a las categoras (category mistake) y con ello vulneramos las leyes tpicas de la lgica del lenguaje. Pero, adem s, si al

92

\\

I Carlos

Astrada

espritu, al que no es p ermisible pensarlo sustancialmente, lo presentamos como una sustancia cualquiera h acemos de l un "mito" 109,
y en este caso est plen amente justificada la rectificacin del
error respecto a la categora empleada, error que de termina al mito,
procediendo a la desmitologizacin y a eliminar una seudoanaloga,
que, ha surgido por cosificacin , Lo que en el fondo se propone
Ryle es desmitologizar los "mitos" cartesianos del espritu. En una
serie de captulos se dedica a proyectar luz sobre las mitologizaciones del yo, de la voluntad, d el sentimiento, de la p ercepcin, de la
fantasa. Nos explica que la mayora de las teoras sobre el espritu
o mente estriban en errores respecto a las categoras, los que pueden
ser corregidos por el anlisis de los correspondientes conceptos y su
comportamiento lgico (logical behaviour) 1J. 0.
D ecir, en opinin de R yle, que par.a efectu ar una deduccin
se ha operado en nuestro espritu un proceso m ental es errneo,
pues nosotros no efectuamos tal proceso (no p ensamos) en nuestro
espritu, sino en una habitacin o en la calle o en un tren del subterrneo o en un colectivo, o a lo sumo y muy raramente, en alguna
aula universi taria donde alguien en estado fantasm al, sin sustrato oerebral, gorgea sobre la s "nuevas concepciones sem nticas" y las "nuevas lgicas". No n eoesitamos, pues, buscar con la vista el lugar del
p ensar, el escen ario secreto en cuyo tablado se desarrollan los actos
del pensar. Si nos referimos a un acto de concentracin del espritu
o a un proceso m ental que se opera en l, esto no se cohonesta con
el argumento de que el espritu o mente es algo fsicam ente inasible,
ya que, segn R yle, l no es absolutamente n ada o es "nada". Slo
h ay hombres, acciones, cu alidades, pero detrs de stos no existe
algo autnomo como lo que llamamos espritu o m ente. Parece que
para Ryle el cer ebro como rgano del p ensar o como centro de la
actividad mental no existe. Esto no es de extraar ya que en ciertas zonas del pensamiento contemporneo el cerebro y su actividad
especfica es un mito slo apto p ara destilar, en sentido rabelaisiano,
la "quinta esencia" de la identidad.
Ryle parece no h aberse percatado que lo que l llama mitos del
espritu, despus de h aber sido disociados de una simplista sustancializacin, son con ceptos me todolgicos interpretativos o m etforas
descriptivas, y funcionan como tales en la indagacin filosfica.
Una cosa son las ingenuas hipstasis d e la vieja ontologa y otra muy
The Concept of Mind, p. 8, London, 1949.
lno Op. cit., p. 18.

109

Dialctica y positivismo lgico

I 93

diferente el imprescindible empleo metafricamente descriptivo de "'1

conceptos relativos al espritu, a los actos volitivos, a los modos de
la percepcin, a las form as de la fantasa, etc. Prescindiendo de su
injustificada sustancializacin, los "mitos" del espritu funcionan
como meras hiptesis de trabajo e investigacin, y en este sentido
no puede negarse su valor. Por lo dems, Ryle, sin darse cuenta, erige
su propia teora del espritu, fcilmente impugnable, la que slo consiste en indagaciones analticas del lenguaje carentes de estrictez, y
que al fin de cuentas remata en una con cepcin mtico-formal del
espritu construida sobre la b ase del lenguaje natural y sus categoras lgicas, consideradas como verd ades inconcusas ya dadas.
La metodologa que nos permite abocamos a la desmitologizacin de los "mitos" del espritu es tambin algo sui generis. Para
evitar el error en el empleo de las categoras lgico-idiomticas, preconiza Ryle un mtodo analtico del lenguaje que se cifra en distinguir el "saber cmo" ( kno wing how ) del "saber qu" (knowing
th<llit). Se trata d~a distincin entre una serie de conceptos relativos:
a determinad as cualidades del espritu, cualidades de acciones inteligentes o actividades : reflexin certera, cuidado, dominio, agudeza,
o sus contrarios negativos. irreflexin, falta de -lgica, falta de iniciativa, instintividad. H ay, en sntesis acciones racionales, reflexivas, y otras irracionales, impulsivas. Por el hecho de existir tales
acciones de diferente naturaleza no debemos atribuirlas a presuntas
facultades del alma ni hipostasiar componentes, racionales unos, y
otros irracionales de la vida anmica. Como vemos, aunque parezca
raro, todava en 1949 se embiste con m entalidad insular contra la
antigualla de la concepcin sustancialista del alma y la de las "facultades" de la misma.
Con el "saber cmo" y el "saber qu" se trata de establecer
la diferenciacin entre comprensin prctica y saber terico. Segn Ryle es un prejuicio muy extendido que ciertos conceptos corresponden a operaciones intelectuales particulares y que funciones
intelectuales especiales o propi as del espritu otorgan a nuestras acciones el atributo o car cter de "inteligen1tes" 1.11 . El "saber cmo"
no tiene por antecedente el "saber qu", sino que posee una primaca prctica sobre ste, cuyo fund amente no 10 documenta Ryle.
Por el contra rio, algunos de los ejemplos que aduce muestran precisamente que' ambos comportamientos no estn o no pueden estar
tan disociados. As, en el trfico callejero, es cierto que ntls com111

Op. cit., p. 25.

94

I Carlos

Astmda

portamos de m an era "inteligente" sin r ealizar acto m ental alguno

de carcter p articular, a n m s, nuestro comportamiento en este
caso es casi un h bito; p ero en ste su ele ocultarse 'la distraccin o
el no "saber qu", de m odo peligroso p ara el p eatn, por ejemplo,
.pues to que el cruce de calles de intensa circulacin de veh culos
supone en el transente no slo el "saber cm o" h a de cruzarlas, sin
n ecesidad ciertamente de apelar cada vez a la r eflexin, sino que,
ante la aproxima cin de vehculos en arterias de trfico ligero, unicamente puede cruzarlas cuando ' a luz verde del sem foro le indica
libre trnsito, y p ara esto tien e que ap elar al "saber qu", es decir
tiene que saber qu color de luz le veda o le permite el trnsito. Ya
que la orientacin m etodolgica central del positivismo lgico r eside en el principio bsico de que la filosof'a t.ien e intrnsecam ente
que ver con la estrictez de la "expresin" que reza: "ser claro acerca de ser claro a cerca de ser claro", sospechamos que el autor de
. T he Con-cep't o! M ind, al que tenemos que considerar fiel a este
. apotegma, h abr.a debido p ercibir que el enfoque filosfico de estos
problemas tiene directamente que ver con la expresin: ser claro
acerca de "saber cmo" acerca de saber cmo acerca de saber cmo.
Pero en este caso Ryle hubiese tenido que esclarecer m s a fondo el
"saber qu", sin d edicar tanta atencin y empeo en decapitar el
Dragn de la "leyenda del intelectualismo" J.l.2 .

La posicinantimetafsica del empirismo lgico no tiene asidero

alguno, ya que l r ecae en viejas y super a das postur.as metafsicas,
como muy bien lo seala Maurice Cornforth, quien r efirindose a
los resultados de aqu l nos dice: " .. . Produjo una filosofa no diferente en esencia del sensacionismo de M ach o del idealismo subjetivo de Berkeley. La "poderosa tcnica lgica" no er a de hecho
sino una tcnica para decir con un lenguaje nuevo y algo m s difcil
lo mismo que se haba dicho antes much as veces" 1..1<3 .
No es nuestro propsito h acer una defensa d e la m etafsica. Sabemos que la poca de la met afsica y de las grandes construccion es
especulativas h a pasado definitivamente, p ero esto no quiere decir
que la filosofa -sobre todo, la que tiene p or rgano la razn dialctica- h a de enmudecer por ello . L a visin esttica que la m etafsica nos dio d e las cosas no puede reiterarse. Como h ace notar Enge1s, "la vieja m et afsica, que considera las cosas como fijas, naci
1'12

Op. cit., p. 32 y sgts.

"El Empirismo l6gico", en Filoso fa del Futuro, pg. 553, trad. castellana, Mxico.
'113

Dialctica y positivismo lgico

I 95

de una ciencia de la natur.aleza que indagaba las cosas muertas y

las vivas como cosas acabadas"; su mtodo . .. " tuvo en su poca
gran justificacin histrica" J.J.4.
Por la esterilidad de sus resultados, de la metafsica se ha dicho,
tal vez con razn, que es "como las vrgenes consagradas al Seor
que no dan ningn fruto"; o se la defini (d efinicin atribuida a
Scheler ) diciendo que "es buscar en una pieza oscura un gato negro
que no est dentro de ella". Con todo - para su poca- la vieja
metafsica algo signific. En cambio el positivismo lgico, al negar
de hecho la posibilidad del conocimiento o reducirlo a meras equivalencias analticas, se nos presenta como una vestal, semnticamente
pdica, que pare slo tautologas, las que .al igual que esos seres de
dos dimensiones, d escritos en uno de los cuentos fantsticos de Apollinaire, que viven pegados a las paredes, aqullas quedan confinadas,
al estado de frmulas, en el papel impreso, a una distancia astronmica de la realidad obj etiva. (H oy ya no podemos decir, con el
genial matemtico H. Poincar, que "lo que llamamos realidad objetiva es, en ltimo anlisis lo que es comn a muchos seres pensantes y que podra ser comn atados", sino que, de acuerdo con las
conquistas actuales de la ciencia y la filosofa, logrados merced a la
di.alctica, tenemos que invertir la frase y enunciar: lo que es comn
a muchos seres p'ensa,ntes ,Y podra ser co mn a, todos es el resultado
del cono-cimiento cie ntfico de la realidad objetiv'a).
16)

S EMNTICA y

ANALITICIDAD

El afn de huera "analiticidad" h a llevado a .algn semantista nativo a inventar una nueva clase de proposiciones (juicios) analticas, las la poslt.e1iori; "adems d e las proposiciones analticas a priori,
sintticas a priori y sintticas a posteriori" tendramos " las analticqs
a posteriori"; que seran "proposiciones de grado uno y . medio de
verdad". Esto slo un improvisado en fi losofa x' puede sostenerlo :
1;14 Ludwig Feuerbach und der Ausgang der klassisc hen deutschen Philosophie, pg. 18, M einer, L eipzig.
* Los semantistas nativos se mandan la parte, expresin qu e ya ti ene
carta de ciudadana literaria en nu estro idioma merced a la ptima traduccin
realizada por J. Salas Subirat del Ulises de James J oyce, traduccin parangonable con la notable all emana d e Georg Goyert, sup ervisada por el propio
Joyce.
y a propsito del Ulises, digamos que la gran creacin semntica, insuperada hasta hoy, es el monlogo de la mujer de Bloom, sin puntos ni comas,
donde fluye sinuosa, cambiante, matizada, enriquecida .con el reflejo .de datos

96

I Carlos

Astrada

es un disparate. Acaso grado uno y m edio de verdad sea idntico

a grado uno y medio d e inventiva a jJosteriori, y el restante meda
grado, hasta dos, idntico a versacin filosfica a priori. Esto puede
servir de subterfugio a los no aptos para comprender los juicios
sintticos a pl(iori o, dicho l tono con la nueva semntica, la sintetidarl, .(l! prio'ri. Lo analtico, como conocimiento de la posibilidad
lgica es siempre a jJriori. De ah que nos explique Leibniz: "A la
posibilidad de una cosa la cono cemos o a priori o a posteriori" . ..
La conocemos a jJosteriori "si su realidad es conocida por experiencia, pues lo que realmente exis te o ha existido, ello tiene que ser
en todo caso posible" f).5 y entonces tenemos un juicio sinttico a
posteriori. "En todo conocimiento adecuado se utiliza a la vez un
conocimien to a priori de la posibilidad ; si el anlisis se ha llevado a
caho hasta el fin, si no hay ninguna contradiccin visible, la posibilidad de la representacin est manifiesta ~:1J6, es decir, de la cosa,
porque hemos ido analticamente hasta la ley o principio que a
aqulla explica. Cuando el semantista de m arras nos asegura que
"la ley de Galileo es a la vez analtica y a posteriori" no sabe lo que
dice, incurre en un craso error, pues si ella es derivable de la ley
de Newton, lo es analticamente y a priori; no empece a ello que
en su origen (o tomada aisladamente ) aquella haya sido sinttica
y a posteriori. La ley de Newton se puede formul ar proposicionalmente diciendo: "Todos los cuerpos estn sujetos a la ley de la
gravitacin universal" y es una verdad originaria, en el sentido
de Leibniz ; la ley de Galileo es una verdad derivada, que cabe
resolver del todo a nalticamente en la primera.
Tales gazapos provienen del desconocimiento de la formulacin y alcance del principio de identidad en Leibniz y de sus equiexternos, la corriente d el recuerdo y la soterraa del subconscien te (en simu.Jtnea multiplicid ad ).
Adems, no, hay que olvidar el momento solemn e en que el p ersonaje de
la obra, sentado en el 'W ,C" echa mediante ejercicios lin gsticos alusivos, las
bases de la precursin ocle la semn tica t erapu ti,c a (de la verdadera, la de
B.Joom, frente a la otra, la del "conde polaco Korzybski"). 'Y asociando ideas,
deb ernos sealar qu e si nuestros semantistas nativos fuesen ecunimes, y m s
avisados r especto a los aportes vernculos, ya hubi esen rendido su homena je
al clnico argentino qu e, con elegante expresin d e metalenguaje, acu aquello
del "Jlamado sagrado"" fundamento inabolible de toda religin o capilla futura.
115 Schriften zur Logik und Methodenlehre, on H auptschriften zur
Grundlegung der Philosophie, 1. Bd, pg. 26-27, ed. E. Cassirer, Miner,
Leipzig (pueden consultarse _tambin estos escritos en Opuscules et fragments
'inedits de Leib,niz, ed. -L. Couturat. rpar!'s, ' 1903. ' '
,
. , .
1118

Op. cit., pg. 27.

Dialctica y positivis'mo lgico

I 97

vlencias analticas, totales o parciales. Los semantistas invocan,

corno a un animal sagrado, "la ley de Leibniz" (expresin h arto frecuente por ejemplo en T arski), pero parece que ellos slo conocen
a Leibniz por las tapas pues no hay tal "ley de Leibniz". Se trata
del -principio de identidad, en los dos aspectos en que .lo considera
aqul, como "el nico y supremo criterio de verdad de las proposiciones abstractas e independientes de la experiencia, las que o son
idnticas o son reductibles a verdades idnticas" l ;l7 .
Aunque no cabe negar la ntima conexin entre la lgica de
Leibniz, es decir su lgica anal'tica, y la matemtica, sugiere serias
dudas la tesis que en su obra La L ogique de L eib niz sostiene L. Couturat, tesis que fund adamente cabe objetar y segn la cual la lgica
leibniziana es el centro y el nexo entre sus especulaciones metafsicas y sus invenciones matemticas 1.118 . Con relacin a la lgica
y al lugar que sta tiene en el sistema de L eibniz, afirma que ste
" deduca todas sus tesis filosficas de los principios de su scientia
ge7le'r;a,lis, es decir, de su M etodologa", y que "la lgica no era
solamente el corazn y el alma de su sistema, sino el centro de
todas sus invenciones. , . " :ng.
En contra de lo sostenido por Couturat cabe sealar qu~ la
funcin de la lgica formal y analtica en el sistema d e Leibniz
es ser un m edio auxiliar p ara el conocimiento, y no raz y fund amento de ste. L a lgica es, pues, una tcnica del conocimiento,
y no fundadora de conocimiento. Leibniz reconoce expresamente
que la lgica de las probabilidades, preconizada y desarrollada -por
l, recurre siempre a un m aterial d ado. Sobre todo en la historia,
por ejemplo, para la obtencin d e conocimientos hay que tener en
cuenta el material dado, aunque con relacin a esta tarea los axiomas pueden ser un elemento auxiliar. D e modo que en la indagacin histrica leibniziana la lgica no puede ser considerad a como '
el origen de esta indagacin. Ad ems de la necesaria recurrencia
a un material dado resulta indispensable- y as surge de la propia
lgica de Leibniz- tener en cuenta dos fu entes de la certeza, a.
saber, primero investigar en lo dado, y luego la ponderacin lgica
de los resultados de tal investigacin. A este respecto, Leibniz es
claro y categrico : "Cuando se tiene certeza h ay intuicin en todas
las partes del razonamiento, las que sealan la coherencia de
ste ... " 1.20, es decir que existe conocimiento. Y a continuacin,
lJ'17

118

Op. cit., I. Bd., pg. 46.

Y 1019 La Logique de' Leibniz, pp. I X y X II, reed., Hild esheim, 1961.

98

I Cartos

Astrada

refirindose a la probabilidad, afirma: "Se puede d ecir ,que la similitud de lo probable con lo verdadero es tomada o de la' cosa misma
o .de alguna cosa extraa" L21. ComQ vemos, en lo que a tae al conocimiento, Leibniz no queda recluido, como pretende Couturat
y con ste B. RusselI,en el praedicatum in es,t subjecto, tratndose
de las proposiciones contingentes.
Como eplogo de nuestras reflexiones sobre el semantismo,
debemos anotar que h ace ya ms de una dcada, uno de los pontfices m s pasa tistas d el positivismo lgico, B. RusseJl, se convenci
-a lo que parece- de la inoperancia de aquella p osicin y de la
vaciedad de la semntica por ella preconizada, y lo manifest, con
cierto eufemismo, ya que l mismo contribuy a promoverlos juntamente con su propia popular philosophy.
En Logical Positivism escribe: "L a absorcin en el lenguaje
lleva a veces a descuidar la conexin del lenguaje con los hechos
no lingsticos, a unque es precisamente esta conexin la que da
sentido a las p alabras y significacin a las oraciones. Nadie puede
eI1tender la palabra "queso" a menos que tenga una relacin no
lingstica con el queso... La mayora de los positivistas lgicos
eluden la psicologa y por lo tanto tienen poco que decir sobre el
significado y la significacin. Esto los hace, e n mi opinin, algo
estrechos e incapaces de producir una filosofa integral" ~!'2. Prescindamos del h echo que los positivistas lgicos no slo eluden la psicologa sino tambin la cosa intencionalmente m entada por el concepto. En este artculo Russell rectifica sus tesis a nteriores y rechaza
el principio de, verificacin.
Adems el 'fundam ento de aquell a observacin relativa a ",q ueso" es la diferencia entre el " uso" y la "mencin" conocida por
lqs escolsticos (supositio form alis y supositio ma'terialis) y rebautizada por los positivistas lgicos con el original aditamento de las
comillas. "Queso" entre comiJlado se refiere a la p alabra que es
m encionada y ,queso, sin comillas al uso no-lingstico de la palabra, es decir, a la entidad designada por la misma. Sera tremenda
la confusin y grande el desengao si a un sem antista se le ocurriera
comer "queso" (Lo que no significara una imposibilidad p ara l).
1r2iO Y 1'21 Nouveaux Essais, lib. IV, cap. XV, pargs. 3 y 4, p, 406,
lid. Flarnrnadon, Pars.
J I22 Actas del Primer Congreso Nacional de Filosofa, Tomo 11, pg. 1219,
M endoza, 1949. (El artculo qu e citamos figura tambin 'incluido en hogic and
Knowledge, London, ' 1956).

Dialctica y positivismo lgico

I 99

El h echo inn egable es que el positivismo -lgico h a privado al

lenguaje de su nexo efectivo no slo con la psicologa, sino que tambin lo ha disociado de su sustrato real. Con respecto a su concepcin
de la semntica y a su lgica sintctica del lenguaj e, con sus categoras desconectadas del on, de toda base e11ltitativa, h ay que r ecord ar
siempre las precisas explicaciones de Leibniz - autoridad en que
tanto se amparan y en vano los logsticos- acerca de la funcin
que las palabras es tn llamadas a cumplir con relacin al p ensamiento y al conocimiento de las cosas; explicacin con la que los
semantistas quiz no h an tropezado jams . En el captulo X del
libro tercero de los ya cita dos Nouveaux Essais intitulado "Del abuso
de las p alabras" se lee: " ... Sirven las p alabras : 1) para hacer C'01nprensibles nuestros pensamientos; 2) para h acerlo fcilmente y 3)
para dar acceso al conocimiento de las cosas. Se in curre en falta
en el primer punto cuando no se tiene la idea determinada y constante de las palabras, ni ninguna. aceptada y co'mprendida por otros.
Parg. 23. Se carece de facilidad cuando se tiene ideas muy complejas sin tener nombres distintos; sta es frecuentemente la deficiencia de los lengu ajes mismos, que no tienen los correspondientes
nombres; frecu entemente es tambin aqull a del h ombre que no
los conoce, entonces se 'tiene necesidad de grandes perfnasis. Parg.
24. Pero cuando las ideas significadas por las palabras no concuUdan con lo que es reall, se incurre en falt con respecto al tercer punto. Pa rg. 26. 1Q El que tiene los thminos sin ideas es como aqu,el
que no tuviese ms qu e un catlogo de libros. Parg. 27. 2Q el que
tiene ideas muy complejas sera como un h ombre que tuviese una
c>antidad de libros en h ojas sueltas sin 'ttulos y no supiese dar el
libro de otro modo que dando las hojas unas tras otras. Parg. 28.
39 El que no es constante en el uso de los signos sera como un com erciante. que ven diese diferentes cosas bajo el mismo nombr.e. Parg.
29. 4 9 El que liga ideas particulares a las p alabras r ecibidas no
sabra ilustrar a otros por los conocimientos que l pueda tener.
Par g. 30. 59 El que tiene en la cabeza id eas de sustan cias que no
h an existido jam s na. sabra avanzar en los conocimientos r eales.
Par g. 33. El primer:o hab,zar VG1'/;amente de la tarnt ula o de la
carid ad. El segunda. ver animales nuevos sin poder darlos f cilm ente a ,con()cer a los Oitros. El tercero tomar el cuerpo ya por lo
que no es m s que slido, y ya 'p or lo extenso; y designar como
frugalidad, ya la virtud, ya el vicio, que le es vecina.. El cuarto
llamar a una mula con el no'm bre d el caballo; y a aqul que todo

100

I Carlos

Astrada

el mundo ll ama prdigo ser para l generoso; y el quinto, amparndose en la autoridad de Herodoto, 'bu.l1car en la TartaTa una
nacin compuesta de hombres qu>e no !tiene ms que un ojo . . . 1~3.
L03 subrayados son nuestrOs y transferimos al lector determinar en
qu falta incurren los semantistas y positivistas lgicos.

123

Nouveaux Essais", parg. 23, pp. 297 y 298, ed. ci t.

Captulo IV

17)

"CONTRADICCIN" y

D IALCTICA

En una I ntroduccin a la L gica, la de Irvlg Copi, se dice que

por cuanto existen contradicciones o se dan "situaciones en las cuales
operan y en tran en luch a fuerzas con tradictorias" , "el principio de
contradiccin h a sido n egado particularmente por los hegelianos, 105
representantes de la sem ntica general y los m arxistas" , siendo terminolgicamente inapropiado llamar "contradictorias" a las fuerzas
en lucha 1 2.t.
Esta afirm acin es f alsa en lo que respecta a Hegel, los hegelianos y los marxistas . Ante todo, no cabe negar que h ay fuerzas contradictorias que entran en colisin no slo en el dominio de los hechos
econmicos y social-histricos, sino tambin en el d e las cien cias,
incluso en el de la fsica y la mecnica. Para H egel, el p rin cipio de
contradiccin -como l expresam ente lo consigna- n o es, en la
instancia de la reflexin del entendimiento, una ley del pensar porque se trata de la contradiccin m eram ente abstracta (A no puede
ser al mismo tiempo A y no A); lo mismo va le p ara el principio
de identid ad, como principio form al de la refl exin. Pero, en la
instancia de la razn dialctica, la contradiccin, en concepto de
Hegel, es lo fund am ental ; es una ley, no de la lgica formal, del
entendimiento reflexivo, sino de la lgica dialctica, de la razn.
Nos dice, a este respecto: " Todas las cosas son en s mism as contra1,2'1

In troduction to L'ogic, pg, 255, Ncw York, 1954,

102 ICarios Astrada

dictorias, y por cierto en el sentido que este principio, con relacin
a los restantes, m s bien expresa la verdad y esencia de las cosas . ..
Habra que tomar la contradiccin por lo ms profundo y ms esencial: la identidad, frente a ella, es slo la de terminacin de lo inmediato simple, del ser muerto, pero la contradiccin es la raz de todo
movimiento y de toda vida" 1'25 . " . . L a contradiccin es precisam ente el elevarse de la razn por sobre las limitaciones del entendimiento y el resolverse de las mismas" 1'26. Tampoco el marxismo,
fundado en la dialctica m aterialista, niega la contradiccin. Que
los semantistas generales la excluyan y desconozcan en sus disquisiciones, signadas por la tenden cia a la fo rmalizacin, se explica; ellos
se mueven en la campana pneum tica de la tautologa, y como el
positivismo lgico, del ,cual son tributarios, slo se proponen demostrar analticamente la equivalencia de las formas vacas, suspensas
sobre un sensorialismo muy mdico .
En el dominio de la indagacin epistemolgica contempornea,
como asimismo en el terreno d 1 desacu erdo entre teoras cientficas
y conceptuacin filosfica, se h a abierto camino la dialctica, o
mejor dicho, un proceso sui generis de dia1ectizacin de los conceptos y nociones. No cabe afirmar, hoy, que mediante la lgica formal
y los recursos de la logstica se pueda explicar, por ejemplo, los
fenmenos que investiga la fsica actual ; p ero s es seguro que la
lgica dialctica puede orientarnos en todos los e fu erzas por alcanzar una explicacin lgica de los ms importantes descubrimientos
de nuestros das. Esta ap ertura h acia un proceso de dialectizacin
en la esfera de las ciencias supon e, como etap a previa, la crtica de
la absolutizacin de la razn y, a la vez, la de una m etafsica de
la identidad, ya tenga sta base sustancialista o sensorialista.
Ambas tareas h an sido acom etidas por destacados representantes de la epistemologa y de la filosofa de la ciencia contempornea,
p articul armen te por Gastn Bachelard, Ferdinand Gonseth y otros
integrantes del equipo de D ialctica, como as' tambin por p ensadores de otro sector, como Stphan e Lupasco, p ero, con una orientacin similar. La labor de Bach elard, en tal sentido, se ha venido
concretando en diversos trabajos suyos de verdadera importancia.
Ya en L e nouvel esprit scientifique (1937) dej sentado, en lo atinente al pr()blema d e la realidad obj etiva, que no h ay "n aturaleza
simple, sustan cia simple; la sustancia es un tejido de atributos" 112 7
1125
li26
1,2 7

,Wissensch aft der Logik, Bc!. n , pg. 58, ec!. Lasson.

Op. cit. Bd. l , pg. 27, ed. cit.
Le nouvel esprit scie r.tifique, piflg. 142, Alean, Pars, 1937.

DiaMctiea y positivismo lgico

103

En La Philophie du Non ( 1949 ), define la filosof a del conocimiento como "una filosofa abierta" ; preconiza la "filosofa del no"
como procediendo " de una actividad constructiva". . . y aclara:
"Pensar bien lo real es aprovech ar de sus ambigedades, para modificar y al ertar el pensamiento. Dialectizar el pensamiento es aumentar la garanta de crea r cientficam ente fenm enos comp'letos,
regenerar todas las variables degeneradas o ahogadas que la ciencia,
como tambin el pensamiento ingenuo, h aba descuidado en su
primer estudio" ~2,8 .
Bachelard advierte que la posicin que preconiza no acepta la
contradiccin interna. "La filosof'a del No no tiene nada que ver
tampoco con una di alctica ce priori. En parti cular, ella no puede
apenas movilizarse a lrededor de las di alcticas hegelianas" 1129 Hace
suyas las palabras de C. Bralobrzeski (en L es N ouvelles thories de
la physiqne) de que "la dialctica fil osfica, aquell a de H egel, por
ej emplo, procede por oposicin de la tesis y de la anttesis y de su
fusin en una nocin superior de la sntesis. En fsica, las nociones
unidas no son contradictorias, como en Hegel; la tesis y la anttesis
son m s bien complem entarias" llo3O . Se tra ta, como ya anotamos al
comienzo d e este ensayo, de l.Jna di alctica complem entarista, par.a
la que, en el proceso del conocimiento, m s que contradicciones
dinmicas, hay diferentes asp ectos que se in tegran. Tal dialcti ca
complementarista ofrece, como tendremos opor tunid ad de verlo, un
flanco muy vulnerable a la crtica.
Para ejemplificar el tipo de dialctica qu e l propone, Bach elard se refiere a las tentativas de coordinacin de una lgica
no-aristotlica y tom a como punto de referencia el ensayo de
L. R eiser, Non -Aristotelian L ogic and the Crisis in S cien ce (1937).
El fin de Reiser, segn Bachelard, "es probar que el principio de
identid ad, fundamento de la lgica aristotlica, est condenado en
lo sucesivo al desuso porque ciertos obj etos cient'ficos pueden tener
cada uno pro_piedades que se verifican en tipos de experiencia n etam ente opuestos" ] 3 1. Entre las antinomias o tesis y anttesis a que
se refiere R eiser figura la s.iguiente:
"El electrn es un corpsculo . El electrn es un fenmeno ondulatorio" . R especto a esta antinomia Bach elard nos dice : " ... Es1128
lj2 D
:t;3 0

]~:t

La Philosophie du Non, pp. 9 y 17, Pars, 1949.

Op. cit., pg. 135.
Op. cit., pgs. 135-1 36.
Op. cit., pg. 11 2.

<

.; '

104

I Carlos Astrada

. tas dos definicipnes se excluyen una a la otra. Ellas se excluyen

porque tienen el mismo suj eto, y predicados que se contradicen tan
n etamente com o hl,leso y carne, tan n etam ente como ve rtebrados e
invertebrados. Pero, justo es la forma d em asiado fuertemente sustantivada, demasiad o sumariam ente realista la que produce la contradiccin. El pensamiento realista pone el' sujeto delante de los
predicados mientras que la 'exp er~encia en microfsica parte de predicados de predicados, -de predicados lejanos, y se esfuerza sirriplem ente en coordinar las m anifestaciones diversas de un predicado" ~,:l2 . Prescindiendo de que l a coordinacin de predicados supone
un sujeto o un predicado que funciona como suj eto, la verdadera
contradiccin np , ap arece, pues lo contradictorio se m anifiesta ~omo
in ter-proposicion al, y, com o lo establece ' Aristteles : "las proposiciones contradictorias no son verdaderas al mismo tiempo" . (Metafsica r , . 16, 101.1 , b 15) , h abiendo tambin d ~j ado 'sentado que
"la .n egacin de ser blanco no es ser 11ro-blanco, sino no ser b;lan co
(Primeros Analticos, 1,46, 51 b ) . Pero si n o disociam os la unidad
. di~lctica de los contrarios, la contradiccin es inmanente . la
proposicin o intraproposional. E ntre " el electrn es corpuscular"
y "el electrn es u n fenmeno ondulatorio" n o h ay c;ontradiccin,
desde que si "es ondul a torio" en la acep cin de " no corpuscular" la
p redicacin es indefinid a, m ientras que si decimos, " el electrn no
es corpuscular P , la predicacin es definidam ente negativa. Pero
aqu nos movem os en el plano p uramente formal de la contradiccjn. Si ten em os bien en cu enta que de la unidad de los contrarios
de.riva dialcticamen te la justificacin de la predicacin compleja
y contradictoria, .a la que debemos considerar como una ley fundamental de la dialctica materialista, podemos enunciar: "El electrn
es corpsculo y onda" (y otro tanto de la luz); tambin, con H egel,
"el devenir es ser y n o-ser" .
Por otra p arte, cabe seal ar que Bachelard h a atenuado un tan'to su tesis de 1 94~, qu e h mos citado, al abordar posteriormente el
mismo problem a en relacin con las investigaciones de Louis d e
Broglie. En 195 1, nos dice : "Si se pudiese h allar una fenomenologa ndulatori a p ara el electrn, h abra un p aralelismo ontolgico
p erfecto en tre la ptica y la electrnica, siendo las dos doctrinas
desdobladas la un a y la otra en fenomenologa corpuscular y feno1 32

Op. ci t., p g. 112.

,Dialctica y positivismo lgico

105

menologa ondula toria" .1.'\3 . En virtud del " principio de complementariedad", formul ado por Niels Bohr, habra una relacin de
exclusin y a l mismo tiempo de complementacin recproca entre
corpsculo y ond a. H a si do precisamente Louis de Broglie quien ha
movido fund amentales obj eciones al "principio de complementa. riedad" en la formulaci9n d e Bohr, de cuo idealista. A este respecto seala que la r ealid ad entre las dos idealizaciones . extremas
(explicacin del objeto micro fsico de acuerdo. con sistemas autnomos, fund ados en la dualidad onda-corpsculos), se presenta
como intermediaria, pudiendo ser descrita por la imagen de corpsculos que conservan sus m asas individuales en, medio de, un sistema del cu~l la m asa global no es la sum.a de las m asas individuales ~31 , V ale d ecir que de Broglie admite qu e la realidad microfsica ofrece propiedades contradictqrias, lo ,que explica que sea
necesario acudir a instrumentos diferentes ,p ara captar los distintos
. aspectos del oQjeto microfsico, sin que estos puntos de vista diversos eliminen la unidad contradictoria del objeto. Las propiedades
del fenmeno no son, p ues, absolutamente el. resultado de los aparatos de medicin como, en ltima instancia, 10 .pretende la interpretacin filosfica idealista de la fsica cuntica por parte de la
escuela de Copenhague, L a accin recproca que existe e~tre el
micro-obj eto y el aparato de medicin no significa que las propiedades del p rimero sean producto de los apara tos o d el instrumental empl eado.
A raz de la reh abilitacin de la filosofa de la naturaleza de
H egel que tiene lugar en el pensamiento contemporneo, se ha
puesto de manifiesto la intrnsec.a afi nidad existente entre la lgica
dialctica hegeliana y las teoras de ,l a microfsica actual. As, de
acuerdo a los trminos de esta dialctica, el corpsculo representara
la tesis, la ond a, la anttesis, y la global teora microfsica la sntesis,
M ax Wund t ha mostrado en detalle, y en forma muy sugerente, tal
afinid ad. D e este modo el principio de complementariedad se resuelve en la dialctica de las realidades contradictorias que l contempla. Si recin se repara en aquella afinidad, ello se explica porque la dialctica hegeliana era un producto tericamente mucho ms
maduro que la fsica en dicha poca, E l desarrollo de sta no haba
alcanzado el nivel qu e exhibe la lgica dialctica de H egeL
1.33 L' Activit R atio naliste de la Physique Con t emporaine, p, 193, Alean,
. Pars, 1951.
1.31 Vase Dialct ica, N 9 7-8, pp , 328 y sigs., 1948.
1.

106

I Carlos

Astradll,

R etomando los enunciados de Bachelard, es de hacer notar que,

como ste lo seala, su f ilosof a del no, en nombre de un posible
pluralismo racional, con ciliatorio de instan cias tericas diferentes y
susceptibles de complementarse, tiend e no slo a descartar el punto
de vista tradicional de una razn inmutable y absoluta, sino a proscribirlo como posicin filosfi ca ya p erimida. Explica Bachelard - en
conexin con su crtica de la nocin de sustancia en la ciencia moderna- que la razn no es un a facultad de simplificacin, sino, por
el contrario, de ,enriquecimiento y complejizacin . D e ah que la progresin del racionalism o conduzca, segn l, a un "sobrerracionalismol'. Dentro d e la dispersin que es peculiar a una filosofa de las
ciencias, aun en el caso de enfocar un a ciencia p articular, "ella tiene,
sin embargo, una cohesin, esto es, aquella de su dialctica, aquella
de su progr eso" 1 315 . Bach elard, por su modo de concebir la dialctica
a base de conciliacin de enfoques tericos diferentes y eliminacin
de instancias en el proceso de aqulla, llega a decirnos : "Todo progreso de la filosof'a de las ciencias se h ace en el sentido de un racion alismo creciente, eliminando, a prop sito de todas las nociones, el
realismo inicial" L%.
Ferdinand Gonseth, cuya teora idonesta tiene muchos puntos
de coincidencia con la p osicin de Bachelard, considera, en nuestro
concepto, el proceso de dialectizacin en las ciencias, teniendo m s
en cuenta la necesid ad de m antener a travs del mismo lo que l
llam a justam ente "aspectos comp lementarios de lo que se contina
conciBiendo como una realidad" 137 . Gonseth, que busca la sntesis
de los aspectos complem entarios y opuestos que se ofrecen en el conocimiento cientfico, reconoce tambin, desde luego que dentro de
la perspectiva de la dialctica comp lementarista de la escuela de
Zurich, " la situ acin dialctica en la cual se encuentra la ciencia
modern a" 138 y que "la ciencia n o es solamente un campo ofrecido
a la experiencia abierta, sino que cada vez m s visiblemente la m archa cientfica toma un giro dialctico" '1.39.
La situacin dialctica y la dialectizacin de las nociones cientficas a que se refiere Gonseth n o se comprueba y ejemplifica aisladamente slo en algn dominio p articular del conocimiento, sino
105
137

Y iLa6 L a Philosophie du N on, p g. 50, ed . cit.

Connaitre par la science, X (suite), Dialctica, pp. 131. 132, N Q 33 -34,

1955.
nas y 11s9

1950.

Les sciences et la philo so phie, pp. 15 y 16. Ed. Perspectives,

Dialctica y pOitivismo lgico

107

que "es, por el contrario, sobre todo el frente de la investigacin que

el p ensamiento cient'fico se encu entra llevado a una situacin dialctica" HO. Al considerar los as pectos complementarios u opuestos,
m anteniendo el con cepto de una realidad, o sea de la unidad sinttica de aquellos aspectos diferentes o contradictorios "se encuentran"
sobrepasadas a la vez la dialctica de sentido comn de la cosa real
y lo que la cien cia clsica haba h echo de sta H ll .
En lo que respecta al caso que anteriormente contemplbamos,
de la naturaleza del electrn y de la luz, nos dice Gonseth, en lo
atinente a los trmites dialcticos que la fsica tiene e n cuenta: "'P asando de los obj etos ordinarios de nuestro horizonte natural a. los
objetos del horizonte atmico, es la dialctica de la cosa la que se
altera, en particular la dialctica de las presencias y d e las ausencias.
Enlazando la onda al corpsculo, es una nueva dialctica de la existencia real la que inaugura, etc." 142.

18)

IDENTIDAD y CON TRADICCIN

En coinciden cia p arcial con las ideas epistemolgicas de Bachelard,

Stphane Lupasco, m ediante el enfoque de los problemas de la microfsica contempornea y de la dilucidacin de los "valores lgicos",
en una serie de impor tantes y suges tivos trab ajos epistemolgicos y
de filosofa de las ciencias * h a h echo una aguda crtica de la lgica
clsica, que est basada en la iden tidad, y destacado el valor de la
contradiccin, tratandO' de fund am entar su concepcin de un "dualismo antagonista".
El pensamiento lgico -explica Lupasco- est al servicio de
un a realidad que trasciende rigurosamente la experiencia, es decir,
de una m etafsica . "En este universo, la afirmaci n es la nica adecuada a la sustancia y a la identid ad fundamental del ser; y la
negacin no es m s que una privacin, una carencia y un accidente" H 3 . Certeram ente, Lupasco seala el giro antidialctico y, en
consecuen cia, el carcter est tico de un a m etafsica anclada en la
sustancia y su correlato, la identidad. Pero - lo anotamos incidenOp. cit., pg. 18.
Connaitre iJar la science, p . 132, Dialc tida, NQ cit.
H\l Op. cit., pg. 130'. Dialctica, NQ cit.
* Vase. Le dllalism e antagoniste et les exigenees histo l iqlles de l'esprit,
Essai d'llne nouvelle thorie de la connaissance, 1935; L'Experience mierophysique et la Pense hllmaine, 1941 ; Logi que et Co ntradietio n, 1947 .
143 Logiqlle et Contradietion, pg. 11, Pars, 1947.
HO

14.1

108

I Carlo\s

Astrada

talmente- al impugnar un pensamiento fund ado exclusivamente en

la identidad y en una concepcin sustancialista, Lupasco, se refiere
en el prrafo anterior a Aristteles, y nos dice: "Aristteles ha comprendido profundamente que si l permanece adherido ' a lo puramente lgico, la no-contradiccin y por consiguiente la verdad que
ella define no seran posibles. Es por es to que l hace de la lgica un
Organon, confirindole un valor y una existencia puramente instrumentales" 1 41 Lupasco entiende aqu "instrumental" en funcin de
una metafsica, y de acuerdo a sus palabras, cita das en primer trmino, que tambin el pensamiento lgico de Aristteles est al servicio de una m etafsica sustancialista y de la identidad; y, como en
otra parte, l afirma que e! valor de la contradiccin, " el segundo
valor lgico", "h aba sido escamoteado por la metafsica que gobierna e! Organo n" H5, estimamos que Lupasco no est de! todo en 10
cierto y que tal cosa no se puede sostener categricamente respecto
de Aristteles, pues ste no puede ser incluido entre los lgicos
metafsicos.
Aunque es ciertamente tentador buscar la solu cin del problema
aqu implicado a firmando la identificacin del contenido del pensar
con el objeto real, y de las leyes del pensar con las leyes del ser, el
material de las fuentes no otorga ningn derecho para interpretar
de este modo la opinin doctrinaria aristotlica. A este respecto,
estimamos esclarecedoras las indagaciones de H einrich Maier sobre
la "Silogstica" aristotlica, las que h an mostrado la relacin de la
lgica de Aristteles on su metafsica. Esta relacin no es, por cierto, la de la simple identidad ni la de la instrumentalidad del Organo1n
con r elacin a la metafsica, sino mucho ms intrincada. Sin dar por
superada esta dificultad, que impide establecer con certeza tal nexo,
cabe sealar que las form as lgicas han sido obtenid as por Aristteles con independencia de consideraciones metafsicas, ofrecindose
aquellas como copias o calcos de relaciones reales, p ero de ningn
modo fundadas en principios metafsicos -x'. Segn Lupasco, "la expn iencia microfsica revela un a ley de complementariedad contradictoria, sin sombra de un tercer trmino' hegeliano" 146. Es que el
tercer trmino es la unidad de ambos trminos de la dualidad conLogique et Co ntradietio n, pg. 11, Pars, 194-7.
Op. cit., pg. 15.
.
* Vase Die Sy/logistik des Aristoteles, I Teil, Die Lo gise he Th eorie des
Urteils. bei Aristot eles, Einleitung y Ersten Absc hnit, Tubingen, 1896. .
146 Logique et eontrad'i ction, Preface" pg. XI, ed. cit.
1.44
1.45

Dialctica y positivismo lgico

I 109

tradictoria, si a sta la pensamos din micamente. La lz' y el electrn es una unidad de onda y p artcula, y en virtud de sta tenemos
dialcticamente un enunciado de predicacin compleja y contradictoria.
.
No se puede afirmar, sin dud a, la unidad de onda ,y corpsculo,
o sea, la existencia simultnea de las propiedades corpusculares y
ondulatorias si a stas las tomamos en reposo, que es en lo que se
apoyan los partidarios de la teora de la complementariedad. Como
bien lo seala S. MeJiujin, "el concepto de partcula, que expresa
el aspecto discreto de .J a materia, conserva sU sentido tambin para el
estado de reposo de los rnicroobjetos; pero el concepto d e onda,
aplicado a la partcula en reposo, parece completamente absurdo. Si
la partcul a incide en la placa fo togrfica, su localizacin significa
que sus propiedades ondul atorias han desap arecido; si se p ropaga
como onda, resulta imposible h ablar de una iocalizacin puntual, de
un movimiento segn un a trayectoria mecnica. Esto es completamente cierto, pero al enjuiciar desde todos los puntos de vista las
propiedades de los microobjetos no debemos dividir artificialmente
un fenmeno en asp ectos que se excluyen recprocamente. Importa
recordar que la unidad de las propiedades corpusculares y ondulatorias no se efecta en cada uno de estos estados, sino tan slo en
el proceso del movimiento de .Jos microobjetos" 147 .
Con referencia a la metafsica de la identidad y sus consecuencias, Lupasco nos dice : " las construcciones tericas del pensamiento
humano h an n acido de una huida de la contradiccin y del deseo
tenaz de su supresin rigurosa por el monismo del uno o del otro
de los dos va lores de la experiencia lgica y, sobre todo, por aquel de
lo que significa e implica la afirmacin" 148 . El empirismo lgico,
con su tautologa subrepticiamente categrica (al dejar de ser hipottico el juicio de experiencia por h aberse decidido por la no-contradiccin) es, sin duda tribu tario de este monismo, y la logstica,
conectada con ste, tambin, eludiendo la dialctica, trata -como
lo seala Lupasco- " de eliminar la con tradiccin mediante una
disyuncin metalgica entre los dos valores existenciales contradictorios del lgico puro, escogiendo, de ellos, el uno como absoluto,
para conferi r un carcter a parente al otro" 149. En el mismo caso
)l17 El problem a de lo finito y lo infinito, p. 126- 127, trad. casto M xico, 1960.
/'-_I:::-. I. -::- := I:::.I-=:::::--:d
148 L ogiqu e et Contradietio n, p g. 12, ed . cit.
14 9 Op. cit., p g. 16.
. ~, ' ,'.

110

I Carlos

Astrada

estn las lgicas polivalentes, que asimismo p agan, inconfesadamente, su tributo a un por ell as no develado monismo m etafsico. Ellas,
a p esar de la pluralidad de valores que introducen tienden por definicin a eliminar la con tradiccin en virtud de traducir analticamente
lo emprico, qu e es su supuesto, por principios tautolgicos. Este
giro de las lgicas polivalentes h a sido bien notado por Lupasco, que
lo pone d e m anifiesto: "En realidad, la lgica polivalente se encuentra en presencia de una pulverizacin o atomismo de un slo valor,
sea aquel de afirm acin, p ara los lgicos que creen siempre en alguna ma tem tica platnica o en alguna m etafsica leibniziana, sea
aquel de negacin, para aquellos que proceden de la m etafsica del
empirismo ... Los valores entre s no es tn enlazados por nada, sino
por el s o por el no, por la identidad pura o por 'l a no-identidad
pura, y cuando el p ensamiento postula urlO de ellos o la experiencia impone uno, l es absoluto como tal : ningn dualismo intrnseco, en efecto, y ningn conflicto estru ctural --en la :teora, bien
entendido, de los autores de estas nuevas lgicas- lo torna esencial
mente relativo. y es por esto que un principio del cuarto, del quinto, del ensimo excluido r emplaza aqu al principio del tercero
excluido, del cual l no difiere m s que por el nmero y no por el
espritu". 1 50 .

150

Op. cit., pgs. 16- 17.

CaPtulo V

19)

DIAL CTICA y

C ON TRADICCIN

Bachelard, centrado en un enfoque complem entarista seudo-dialctico, opone, por lo mism o, un no mitigado al "obj eto" del conocimiento cientfico, buscando una in tegracin sobrerracion alista de este
ltimo.
Confiando en la posibilidad integradora de este no - que no
llega a ser verdadera n egatividad- objeta la dialctica de H egel.
A este resp ecto seala Lupasco: " Para H egel, la contradiccin no
era m s que una especie de instrumen to de la dialctica; p ara Bachelard, la dialctica mism a toda entera - de la cu al el funcionamiento no se fund a, a decir verd ad, sobre la contradiccin, sino m s
bien sobre una oposicin, sobre un a especie de ruptura bienhechora,
sobre un fenm eno de mutacin in telectual- no es m s que instrumental" l:U .
No cabe n egar que, p ara H egel, la dialctica, desde el punto de
vista metodolgico, es instrumen tal, pero adem s tambin ella responde a la estructura m ism a del proceso de la exp eriencia y del
conocimiento. D e ah que H egel, ya en la Fenomenologa del Espritu, nos diga: "Este movimiento dial.ctico que la concien cia en ella
misma efecta, tanto en su saber corno en su objeto, en cuanto para
ella surge el nuevo y verdadero objeto, es propiam ente aquello que
es llamado experien cia" 152 . La contradiccin, a la que, corno h emos
~I\ l
l S2

Op.- cit., Preface, p g. VIII.

Panomenologre des Gelst es, p g. 73" Leipzig, cd. Hoffmeister.

112

I Carlos

AJ1trada

visto, H egel asigna carcter esencial, es, sin duda el motor del
proceso de la dialctica; p ero ella, aislada del todo unitario que
configura, no tiene sentido pleno. En la experiencia, segn H egel,
obtenemos un todo de determinaciones antitticas, es decir, las contradicciones existen dialcticamente en la unidad di~rnica de este
todo como proceso. L a contra diccin p ermite que la proposicin ex~
prese lo dialctico, lo negativ.o, pero la negatividad dialctica pone
en libertad a lo positivo. D e ah que a la dialctica deb emos comprenderla como la pertenen cia recproca e inseparable de los trminos o momentos contra dictorios, integra dos en un todo.
Bachelard no con cibe a la dialctica como una estructura unitaria, en la que mediante la contradiccin, o sea, en el m ovimiento
dialctico, surge el obj eto a conocer en su verda dero aspecto como
momento esencial del todo del proceso. As como la tesis no se
concibe sin la anttesis, a ambas tampoco se las concibe sin la sntesis
integradora de ese todo. Si sl' nos a tuvisemos al no, 'O, como lo
seala Lupasco, a una esp ecie de ruptura, errneamente supuesta
constructiva, la fisura en el obje to puesto en la tesis y negado en
la anttesis no sera super able, no iramos, as, a un sobrcrracionalismo, como supone y peticiona Bach elard, sino que caeramos en un
hiatus irracional, 'sin poder alcanzar en el movimiento dilctico - interferido por un no impotente para poner en liberta d lo positivo-la sntesis, que es integra dora y no complementaria.
.
Para comprender, con los momentos que la integran, el todo
de la estructura dialctica, basta r emontarnos a la gnesis conceptual de la palabra dialctica. "Dialctica" (de la raz dicotmica
(da) proviene - paradoj almente- de la concep cin del eleata
Melisos, que n egaba tod a posibilidad de escindir al ente: "Si el
ente es dividido, entonces l se mueve. Pero si se mueve, entonces
l cesa en su ser" 15 8 . Las cosas todas, empero, contra lo sostenido
por Melisos, p asan, e n su devenir, de muta cin en mutacin. A la
duracin del acaecer entre e llas - hiptesis por l excluida- Melisos la designa con la palabra diarma y Aristteles la caracteriza con
la palabra diastema, significando ambas escisin, distancia, apartamiento entre dos lmites, entre dos cosas; y esto en el sentido de que
abrimos una fisura (imposible para M elisos, por su concepcin eletica del ente) en el fluir de las cosas, en su proceso, fisura que,
~~3 Diels, Die Fragme nte der Vorsokratiker, ,1 Bd., "Melissos, Fragmente" (10), pg . .192, 4 ed., 1922.

Dialctica y positivismo lgico

I 11 3

merced .al enlace conceptual y dinmico entre ambos 1mites~ permite al -e nte, al obje to en su esencia, surgir en su nuevo y verdadero
aspecto. Es ya sintomtico - lo que ilustra la ' gnesis conceptual de
" dialctica"- que Aristteles a las p artes' 'que integran el silogismo
- las proposiciones- las designe con el nombre de diast,e mata (Prim eros Analticos, 1, 4" 33 ).
Esta cuestin fund amental --que polariza el p ensamiento de
la filosofia pre-socrtica- la decide H er clito en el sentido de la
primaca del cambio; con l se in augura la dialctica, a la que
Hegel sistema tiza erigindola en el instrumento apto p ara dar cuenta de la exp eriencia y de su devenir, consider ando como exp eriencia
tanto al proceso de las cosas como tambin al proceso en que va
implicado el suj eto cognoscente (la conciencia ).
La dialctica es la unidad de las contradicciones, devenida proceso. Es la cO'ntradiccin la que, en el conocimientO' del objeto, nos
permite mediante la determinacin positiva de ste p asar a su determinacin negativa, y asir o reten er una en la otra. Es en este
sentido que H egel afirnla : "Si algo existente no puede en su determinacin positiva trascender al mismo tiempo sobre su determinacin n egativa y m antene r la una en la otra, a l n o le es posible
.tener en s mismo la -c ontradiccin, y entonces l no es la unidad
viviente, el fund am ento, sino que en la contradiccin se destruye" 154.
Bachelard, con r efer en cia a su p ropia posicin, que concibe "el
conocimiento como una evolucin del espritu", nos dice que ella
"acepta variaciones en lo t ocante a la unidad y a la p erennidad del
yo jJienso" 1 5:;. Estas "variaciones", p ero en un sentidO' raiga 1m ente
dialctico, fueron ya destacadas (aunque la p alabra dialctica no
aparece en sus "fragmentos") por H er clito, puesto que, para ste,
nuestro p ensar es un acto del acaecer csmico, y slo por la apreh ensin d e la esencia de las cosas en el curso del devenir, el p ensar
llega a ser verda dero. P ero adems, st.e se enriquece histricamente,
es decir, dialdticamente: "Propio del alma es e l lagos) el que a s
mismo se incrementa" 1Sil.
Tambin H egel, como ya vimos, considera la experiencia en un
sentido integral desde que sta es en su estructura esencial el "m 0'Wissenschaft der Logik, II Bd., p g. 59. M einer, ed. L asson.
L a Philosophie du Non, pg. 9, ed. cit.
Die!s, Die Fragmente der Vorsokratiker, 1 Bd ., "Herclito" Fragmente, 115, pg. - 100, oo. cit.
t1!/i4

a.55
l56

114 ICarios Astrada

vimiento dialctico" que realiza tanto la conciencia, en tanto que
cognoscente, como el obj eto a conocer, qu e para ella surge, as, en
U verdad, como objeto nuevo en virtud del trmite dinmico generado por la contradiccin.

.Conclusin

El vasto campo de aplicacin y vigencia de la dialctica, sobre todo

de la materi alista -con la estrictez metdica por ella alcanzadaque abarca desde el dominio de los h echos social-histricos y d el
conocimiento de las cien cias naturales hasta la microfsica, y desde
la ciberntica y el psicoanlisis h asta las totalid ades biolgicas y psquicas, nos muestra su gran prospeccin en fundamentales asp ectos
de las investigaciones contemporneas.
Ni la dialctica h egeliana, sobre todo con sus sucesivos reajustes
metodolgicos, ni la m arxista, son estructuras cristalizadas, fijad as
de una vez para siempre. Esta ltima, incluso en los fundamentos
que la validan, se expresa por una concep cin en la que, al plegarse
al devenir histrico y sus mutables contenidos, ella misma se encuentra en transformacin y devenir. No obsta a la valoracin positiva de la di alctica y de sus resultados, las crticas (principalmente
del esquema h egeliano) que se le dirigen desde el pun to de vista
del complementarismo de la escuela de Zurich, ni la sustitucin que
Stphane Lupasco pretende hacer de ella p or su " dualismo antagonista", basado exclu sivamente en la contradiccin y en una "lgica
de la energa". Lupasco, al rech azar en el trmite dialctico, tanto
de H egel como de Marx, la sntesis, porque, segn l, ella eliminara la contradiccin, no reconoce que la sntesis no excluye totalmente
la contradicn, sino que a sta, transformada, la conserva; la contradiccin resuelta, lejos de desaparecer ha quedado como momento. Este es el sentido del aufgehoben sein hegeliano que no es un

116 ICarIos Astrada

tajante suprimir (tollere), sino ste plus un retener (conservare) que
progresa h acia un superar (elevare). L a sntesis est ya agrietada
por la contradiccin, desde que, si la tomam os -como debemos tom arla- como identidad concreta, lo positivo en ella (como ya lo
h emos destacado en V) slo tiene sentido en cu anto retiene lOo n egativo y rec'procamente. L upasco remach a su error en su ltimo y
,reciente ,ensayo, en el que afirma: "Sin duda, la anttesis de H egel
existe virtualmente en la tesis, pero sta s enton ces actual y aqulla
virtual, e inversam ente, en consecu encia; en la sn tesis ellas desap arecen, las dos, como por encantamien to, y la sntesis es desde este
m om ento plen amen te actual" 157. Al contrario, la anttesis es - p ara
emplear los trminos de Lupasco- actual en la tesis, y recprocam ente, y a mbas existen actualmente en la sntesis.
Pensamos, adem s, que Lupasco no est en lo cierto cuando
,sostiene que tanto Hegel com o Marx se deciden por "el valor de
afirmacin e identidad" 1518. D el primero podemos, quiz, decir que
su sistema idealista lo lleva a hipo'stasiar el espritu h aciendo de ste
"lo nico on tolgico" 159; pero de ,Marx no podemos sosten er, como
pretende Lupasco, que h aga otro tanto de la "m ateria" 160, porque
a l enton ces tendramos que reprocharle emplear el con cepto de
m ateria en sentido m etafsico, lo que es totalmente infundado *.
En lo que resp ecta a la logstica de los empiristas lgicos, con
t rois m atUTes, pg. 178. J uli ard, Pars, 1960.
Y 160 Op. cit., p g. 171.
* Lupasco precon iza, como' 10 hemos sealado- anteriormente, una lgica en la qu e qu e se afirma la primada d e la contradiccin. Paralela y complementariamente a su "dualismo a ntagonista" h a d esarrollado la teora d e una
"causalidad de lo contrad ictorio". Segn sta, todo fenmeno est li gado a un
" an tifenmeno" . Por va abs tracta, de lgica forrmal, Lupasco h a tratado d e
demostrar qu e la au sencia d e contradiccin en un fenmeno cualquiera no puede ser pensada. No podemos entrar en detalles, acerca d e la sugestiva e interesante con cep cin d e Lupasco, y menos a valorar 10 que h aya de positivo en
ella; acabamos d e se a>lar lo qu e Lupasco critica y excluye - la estru ctu ra
de la dialctica en Hegel y Marx-, afirmacion es errneas e infu ndadas. Remitimos a su libro L e princip e d'a,ntago nisme et la logique de l'nergie, H ermann, 1951, y a su ltimo ensayo Les trois mat7ire5', esp ecialmente a su captulo IV L es dialectiques de l'ne"gie, p. 169, que h emos citado objetando algunas de su t esis. Su. "lgica d e la energa" y la " cau salidad de 10 contradictorio" , con sus tres sistemas y tres tipos correlativos de orto-dialcticas, aplicadas a una pluralidad de devenires, se fund an en la existencia - postulada
por Lupasc~ d e un du alismo antagonista y contradictorio, inmanente a la
energa.
., \ , ~~ ,. . J ... , h-,..' z t:...tJ.'...u. 1 "1'. ' ': 11 "" ,1 (_~
1 5 7 L es
1:!5! , 1 50

Dialctica y positivismo lgico

I 117

sus anexos, el sintactismo y el semantismo, podemos consignar conclusivamente los siguientes rep aros fundam entales a sus tesis.
No hay una diferencia sustancial en reemplazar la p alabra "hechos" del viejo positivism o (o la de "elementos" del machismo) por
la palabra "protocolos" , o sea, por hechos susceptibl es d e ser expresados en un lenguaje determ inado (formalizado) despus de ser
observados, verificados sensorialmente. Ya no se tra ta, para este
positivismo de nuevo cuo, de supuestas relaciones constantes entre
h echos, sino de relaciones sintcti cas resultantes de protocolos "controlados" y sistem atizados.
Adem s, el propsito -tan caro a los sem antistas- de crear
un lenguaje enteramente fo rmalizado, ha fracasado porque ellos desconocieron, desde el comienzo de su tentativa, lo que es in alienable
en el lenguaje n atural, en el " lenguaje obj eto". Con acierto nos
dice Gonseth, en las conclusiones m etodolgicas de su obra "La
gomtrie et le probleme de l' espace": " Un p aso cientfico no puede
efectuarse ms que a p artir de un cierto saber previo y de un cierto
lenguaje preconstituido. Este saber slo est asegurado entre ciertos
lmites" 16:!.. Y m s adelante, Gonseth explica : "Las indagaciones
formalizadoras pueden ser encaradas como un ensayo p ara despejar
una nueva p ersp ectiva de elem entaridad en Lgica , )f y m s geneRecherches mthodologiques, en Dialctic'l, p. 143 N" 33 -34. 1955
La distincin entre " formal" y "formalista" que, con un sentido. de
subestimacin de la lgica a ristotlica, h acen los logsticos contemporneos, no
es cla ra ni concluyente. Con r elacin a ella Lukasiewicz escrib e: " Lgica formal y lgica form a lista son d os cosas difer ent es. L a 'l gica a r i,stotlica es form al, sin ser formalis ta, mi en tras qu e la lgica de los es toicos es formal y
form alista . . .. La moderna lgica form al conced e el m ayor cuida do. a la precisin d el lengua je. Lo qu e' se ll ama forma lizar es la consecu enc ia d e esta tendencia" (Aristo tle's Syllogistic, pp. 15-1 6, 2" ed. , O xford, 1958 ). R ecor demos
qu e la lgica d e los estoicos es' un a m ezcla de consid e'l"aciones lgicas y consideracio.n es gramati cales. E sto. coincid e en ell a con la t end encia a interpretar
el contenido. d e los. concep tos co.mo la suma d e sus n otas carac tersticas, id ea
imprecisa y sup erfi cia1 qu e r eapar ece en el t ra tamjento. algebraizante y matematizant e de la lgica mod erna y d e la logstica d el p ositivismo. lgico. Tambin es infund a da la t eora de los estoicos d e qu e p ensamiento y p alabra son
uno y lo mismo', consi d erad os desd e dis tin tos la dos. Como lo seala Zell er en
su concisa va:lo'l"acin d e la lgica d e Jos estoicos : " .. . L o qu e ti en en de comn las explicaciones de los estoicos slo reside e n que todas ell as se r efi eren
a las condiciones fo'r males d el p ensamiento y d e la r epresentacin" (Die Phllosophie deT Griec hen, III Bd ., 1 Abt., p . 65 , 4- ed ., 1909 ) . Igualmente seveTO
es el juicio de M'ind elban d sobre la lgica de los estoicos : "En general ellos
despliegan las r egl as lgicas en un seco esqu ematismo, en un form alismo purame nte esco.lar, el qu e se alej m s y m s d e las id eas de contenido fundamen16,1

<1

118 1 Carlos Astrada

ralmente en los fundamentos de la matemtica. Este ensayo fracasa
si se quiere extraer de l la prueba de la validez incondicional de
las matemticas, en p articular la prueba de la no-contradiccin
de los procedimientos matemticos y de los procedimientos formalizadores mismos" 1(12. Segn el autor de Qu'est-ce que la logiqu e?,
tal ensayo tendra xito encarado desde el punto de vista del idonesmo, conforme al cual el paso de una situacin dada, tomada
como punto de partida, respondera a ciertas exigencias de coherencia y de adecuacin, o, para decirlo en una palabra, a ciertas
exigencias de idoneidad. l comporta un momento de creacin
(mental o tcnica), que no podra ser identificado con un procedimiento formalizador" 163.
tal de la An altica ,ristotlica para transfo-rmarse en un cmulo muerto de
frmulas . El infru c.tuoso sutilizar de esta prctica se complaca, sobre todo,
en el desenlace de sofismas sin salida, en los cuales el contenido positivo quedaba, sin salvacin, ap risionado en el antagonismo d e las' formas" (Lehrbuch de.r
Geschichte der Philosophie, p. 164,6" ed., 1912); coincidente con stas es la
apreciacin d e Paul Barth. Die Stoa, p. 73-77 y p . 85-90, 3 Auf. Stuttgart, 1922.
El punto de vista d e la lgica d e los es toicos es en el que se sita Lukasiewicz
para enjuiciar la lgica aristotlica -por ciertas imprecisiones de su lenguaje- porque "Aristteles cons tan t emente emplea diferen tes frases para el mismo pensami,ento" (Aristotle's Syllogistic, p. 18, ed . cit.) ; pero es el caso que
cuando Aristteles es preciso en su lenguaj e lgico, consecuente con su teora
de que el silogismo -contrari amen te a lo qu e sostenan los estoicos -no depende de las palabras, sino d e la significacin de stas, l puede ser consid erado formalista en e l buen sentido d e la palabra. Lukasiewicz, empero, explica: "La moderna lgica form al tiend e a obtener la mayor exactitud posible. Este propsito s lo puede ser alcanzado, por medio d e un lengu a je preciso
hecho d e signos estables, visualmente perceptibles" (Op. cit., p. 15). Aqu cst implicita la confusin de estrictez lgica (formalismo) con exactitud matemtica; vale d ecir que se h abla no de 'l gica formal, sino de logstica y de
su simbologa (lenguaj e formalizado), que son dos cosas diferentes. Nbs referimos aqu a formalismo, no en el sentido que se d a a este trmino a partir
de D. Hilbert y qu e design a el formalismo de la lgica matemtica. Lukasiewicz, al llamar formalista a la lgica de los estoicos, .p arece emplear la
palabra en una acepcin ambigua. Creemos, emp ero que le asiste razn a 1.
Bochenski cuando considera como fo rmalistas a las tres estructuras que presenta la lgica occidental: ~a lgica antigua (incluida, na turalmente, la aristotlica), la escolstica y la matemtica (Fo'r male Logik, pp. 15-16, Freiburg
im Breisgrau, 1956) . 'Wolfgang Albrecht (en su obra Die Logik der Logistik,
1954) ha movido fund amental es objeciones contra la interpretacin d e la lgica d e Aristteles por parte de Lukasiewcz. No es clara ni fundada la reladn que establece st e entre la lgica aristotlica y la es toica, y menos el
paralelismo que l smpone existira entre stas y la lgica y logstica contempornea. Este tema no ha sido an objeto de una dilucidacin a fondo.
162 Op. cit., Dial ctica, N 33/34, p. 161.
~6'1 Op, cit. Dialctic;a, N 33/34, pp . .143-144.

Dialctica

,positivismo lgico

I 11 9

En cuanto a la semntica general y a la teraputica, para com-

prender los fundamentos de la vigencia y difusin que tuv.ieron, basta
ejemplificar con la teora "cien tfica" de Alfredo Korzybski, el que
encontr su m s entusiasta epgono en Stuart Chase.
Korzybski, en su voluminosa obra CJelncia JI Cordura se propone, nada menos que la reforma de todas las ciencias en un sentido
n(i)-aristotlico. Para alcanzar esta grandi6sa meta es necesario.el
entrenamiento en la no identid ad como un papel teraputico. De
ms est decir que lo que l entiende por id entidad nada o casi
nada: -como no sea por el nombre- tiene que ver con 10 que Aristteles formul a como principio lgico de identidad. M atemticas y
Semntica seran los dos grandes captulos de la " nueva educacin"
.p rogramada sobre aquella base; la matemtica es considerada como
el nico lenguaje correcto tanto desde el punto de vista neurolgico ,
como biolgico, por ofrecer la matem tica una estructura similar .a
la del mundo y el sistema nervioso.
Basado en estas ideas, Korzybski h ace una inquietante prognosis : Por el deterioro del lenguaje, por ignorar los nuevos cnones
semnticos y sintcti cos, los estadounidenses (la juventud- habituada
por la educacin a un n:odo de pensar y a un lenguaje lastrados
por la "identidad" ) se volvern esquizofrnicos. La honda crisis moral y psicolgica de Estados Unidos de Norteamrica no -es resultado
de su estructura social capitalista y el semillero de problemas emergentes de sta, sino que ella proviene de un lenguaje-inadaptado a
las circunstancias. Barrows Dunham, en su libro M am A gainst M yth,
ha hecho con su crtica irnica certero impacto en la peregrina tesis
de Korzybski, Chase y Compaa: " Por una parte ocurre una crisis
social que nos pone en peligro a todos; por otra, la perplejidad y
la frustracin al tratar de buscar remedio al desasosiego. T al vez
eso se deba a que nuestra bsq ueda no es muy p rolij a, pero de todos
modos nuestro fracaso es eviden te. Comenzamos a pensar. que, tal
vez, hayamos estado buscando una solucin errnea. Nos sentimos
confusos ; y si nuestra confusin proviniera de una brumosa sintaxis
y de una d efini cin poco clara? Nos sentimos desdichados: tal vez
si supiramos cmo se define la palabra " desdicha" descubriramos
que;' despus de todo somos felices. No tenemos din~ro en el Banco :
tal vez si realmente entendiramos la sintaxis de " hay" y la negatividad del "nQ" encontraramos que somo~ riCQs. Toda perplejidad

120

I Carlos

Astrada

se debe a la frustracin de! lenguaj e. Todos los problemas son meramente, verbales" 164 .
Los semnticos enfeudados al empirismo lgico son nominalistas
ti la lettre; pa ,ellos, los conceptos especficos y genricos son meras
palabras, las cuales fuera del nexo del pensar, no designan objetos,
sino que slo son signos para las cosas y sus propiedades. El nominalismo puede ser recomendable para el que principia a filosofar;
es la contraparte de un realismo extremo. (Log'sticos y semantistas
suelen oscilar entre ambas posiciones extrema". Incluso eminentes
matemticos se sitan en una u otra ,a ctitud. As, por ejemplo, el
eminente matem tico K. Gdel, es realista platnico, puesto que
para l las matem ticas son descubridoras y no inventoras de sus
objetos peculiares, los que existen a ptiori como arquetipos eternos ).
Del nominalista de este tipo puede afirmarse lo que se ha dicho del
escptico: En filosofa todo buen principiante es escptico, pero
si queda siendo escptico, no es nada ms que un principiante.
Barrows Dunham ha visto bien que el semantismo a dunado a
una seudo lgica no-aristotlica, con e! alcance que les asignan
Korzybski y su discpulo Chase, tienden a atomizar el mundo para
privarnos de la posibilidad de conocerlo. Esta es la consecuencia de
aquel nominalismo literal y sus cnones sintcticos y semnticos. Asimismo aqul seala, y lo 'documenta, que tal posicin implica un
craso error en lo filosfi co, y una tendencia regresiva en lo social;
en este ltimo sentido ella es, como veremos, una ideologa. Dunham hace referencia a las tesis semnticas del autor de La tirana
de las palabras, que son las siguientes: "No hay perros en general
en el mundo de la experiencia, sino solamente Rover (1), Rover
(2), Rover ,( 3), unos m ansos, otros rabiosos, otros indiferentes".
"No existe el ente "humanidad". Hagamos un llamado tan violento
como se quiera: "humanidad, ven aqu, y nadie contestar". "No
existen sistemas basados en ganancias como una entidad en el mundo real. Slo podemos estudiar la conducta de Adam (1), Adam (2),
Margan (1), Margan (2) *. Es notable que el seor Chase, aunque
niega la existencia de los perros en general, sin embargo llama a
sus tres perros "Rover". Los numerales indican que son perros difeEl hombre contra el mito, p. 228, tra d. cast., Buenos Aires, 1956.
Parece que para el seor Chase t ampoco exis te un sistema econmico
cuyo pivote es la ley de la mayor ganancia, sistema perfect~ente !!studiado
y analizado en su anatoma y en su fun cionaIIJ:ento interno y condenado a
d esaparecer en todo el' orbe, habiendo ya d esaparecido en la mitad de ste.
164

Dialctica y positivism o lgico

I 121

rentes, pero "Rover" indica que todos ellos son perros. Y cmo
sabe esto el seor Chase? Porque todos ellos poseen caractersticas
esencialmente caninas. El seor Chase piensa que la clase es una
abstraccin de su mente, aunque existan los p erros individuales.
Pero, cmo puede ocurrir esto? Rover ( 1) se parecer a Rover (2) '
y a Rover (3), ya sea que el seor Chase posea o no una mente
que sea capaz de abstraer. Los perros estn en la clase y la clase
est en los perros" 16'5. Creemos, sinceramente, que este estricto razonamiento no lo agarra el seor Chase. Rebajemos un poco el nive'l
inductivo (entre las ms divertidas quisicosas de los semaritistas est
la " teoria" de los niveles"). Supongamos que el seor Chase, olvidando por un momento su postura semantista, no diga, "vaya dar
de comer a Rover (1), a Rover (2) y a R over (3)", sino "voy a
dar de comer a los perros" . En esta expr.esin del lenguaje natural,
si la a naliza sin preconceptos no habra descubierto la clase de los
peirros? Por algo el lenguaje, como se ha dicho, es filosofa condensada. Pero elevemos ahora un poco el nivel, el cuantitativo (hasta
que la cantidad se transform e en cualidad), y para ello vamos a
suponer que el seor Chase no tiene tres p erros '( 1.) , (2) y (3),
sino cincuenta o cien perros. Va a ordenar que se d de comer
a cada perro, acentuando su individualidad con el parntesis semntico, o va a comprender que ya no se trata de cada perro individual,
pues lo que l tiene no son tres perros sino una perrera o un hotel
o asilo canino?; y que en este caso ordenar: "den de comer a los
perros" o " atiendan a los huspedes". Sin saberlo, el se9r Chase
habra pasado dialcticamente de cantidad a cualidad, que es otra
va para llegar a la clase y al sistema (sea ste el de asilos u hoteles
caninos ... o econmico o social).
Broma aparte con la semntica del positivismo lgico, pues h ay
ya bastante con sus semantistas, Dunham, con precisa y sobria seriedad los enjuicia con estas palabras: "Los avances de cada da contradicen a los escpticos; el xito hace que los cnicos dejen de
serlo; los que buscan el placer dejan de lado la cautela y los estoicos cambian la paciencia, que necesitaban para la adversidad, por
el anhelo que trae la esperanza. Hay una luz que ilumina todas las
perspeotivas y nunca se le ocurrira a nadie pensar que la filosofa
cernindose sobre un mundo renaciente, es slo un soplo de la palabra acerca de la palabra" 1613 .
165
166

Op. cit., pp. 248. 249-250.

cOpo cit., pp. 227-228.

.,
I

122,

I Carlos

Astrada

En sntesis" la: logstica del posItivismo lgico, y sus ' ,anexos el

sintactismo y el semantismo, y todas sus proliferaciones, productos ,
y subproductos, son la expresin superestructura!. de un mundo que '
p ericlita. Ellos contribuyen a definir la filosofcula de un orden social cuyo destino est ya sellado. En es te sentido podemos considerarlos, justamente, como integrantes de una ideologa. Agnosticismo
sensorialista e irracionalismo constituyen la ideologa de ese mundo .
en el declive; ellos son las nicas tablas' de salvacin a que intentan
asirse idelogos y tericos de toda laya en el naufragio de todo un
sistema social.
En su intento de abarcar, con sus analogas, axiom as *y transcripciones protocolarias, las diferentes ramas cientficas en una "enciclopedia de la ciencia unificada", los positivistas lgicos no sistematizan conocimientos, sino que construyen precisamente una
ideologa, la que, sin dud a, responde a las vacilantes estructuras eco-

* Los cuatro axiomas, t an lleva dos y trados, del c1cul<l proposicional

- fund amentalm ente Jos d e Principia Mathem/lJ!ticClr- ti enen la siguiente for~U'la.cin (teniendo en cuenta que las variables proposicionales son 'p', 'q', 'r',
s, etc., etc.) .,
I (p v p) :J p, o sea "si p o p, e ntonces p". Sustituyendo por frases del
lenguaj e corriente tenemos el siguiente ejemplo Si (o [Wittgenstein padeci
de un m arasmo m ental o' Wittgenstein padeci de un marasmo m ental) entonces [W~ttgenstein padeci d e un marasmo mental.
II p J (p v q), o sea "si p, entonces o p o q" . Ejemplo: Si el semantismo
est d e moda enton ce~ (o' el sem antismo est .de moda o las mentes fetales
prolif eran) .
III (pvq) :J (qv,p) , o sea "si o p o q, entonces o q o p". Ejemplo: Si
(o la n ave' csmica fu e puesta matemticamente en rbita o la estrella cinematogrfica es resultado d e una fabricacin ,en serie) entonces (o la estrella
cinematogrfica es resultado de una fabricacin en serie o ola n ave csmica fue
puesta matemticamente en rbita) .
IV (p :I q) :J ((rvq) :J (rvq) ), o sea "si (si p entonces q), entonces
(si o r o p), e ntonces (o r o q). Ejemplo: Si (si los gatos maull a n, en ton ces
Greta Garbo es la esfinge de Occidente) entonces (si o el logstico nativo ~ e
manda b parte o Jos gatos malJan), entonces (o el log stico se manda I'a
parte o Greta Garbo es 'la esfin ge de Occidente) . De los axiomas d e taJ sistema, por secuencia, se deriva n teoremas, y todo teorema es una tautologa,
la tau tologa, com.o' dicen los- empirista,s lgicas, "es her,e ditaTia" y por esto
ellos son tautolgicos por atavismo ... "neo"-.positivista. Si Jl egamos a una
forma qu e no es t autolgica, entonces no se trata de un t eorema. As 'p v q' ,
no es un teorema. Ej emplo : O San M artn proclam el principio d e autodeterminacin d e los puebJos o El ao 1958 fue 1anzado el sateloide d el "desarrollo" no es una tautologa. Por lo d ems, la lgica d e las modalidad es ha abierto, d esde hace ms de .treinta aos, una gran brecha en la lgica pFOposiciona! biva'\ente, formalizada por B. RusseH y :Whiteh ead. Oskar Becker, sobre

Dialctica y positivismo lgico

I 123

nmicas de la sociedad a que ellos pertenecen. No cabe negar que

a esta tarea ellos la realizan con plena conciencia, pero una conciencia invertida, errnea, lo que no les permite reconocer claramente
la infraestructura econmica de la que su ideologa (el positivismo
lgico) es expresin. Parafraseando 10 que Engels afirma del juri~ ta, podemos decir que el logstico y eL sem antista -sobre todo los
de la gran hornada actu al- porque estn cabeza abajo se imaginan
que operan con conocimientos cientficos (habl an confiada y enfti
camente de una "filosofa cientfica"), cu ando stos, en realidad
son reflejos de aquell a estructura econmica y social. A este respecto,
lo que pasa, como explica Engels, es que "la ideologa es un proceso que el llam ado pensador cumple conscientemente, es cierto,
pero con una conciencia falsa. Las verdaderas fuerzas motrices que
lo impulsan permanecen para l desconocidas, pues de lo contrario
no sera un proceso ideolgico" 161'.

una base diferente de la del logstico norteam ericano C, 1. L ewis, h a desarrollado una teora del clcu lo modal (vase Zur Logik deT Mod alit.ijte n, en ahrbuch fr Ph ilosop hie und phiinomenologisc he Forschung, Va. XI, 1930, y Einfhrun g in die Logistik, M ei&enh eJm am Glan, 1951) . Las consecuencias crticas con r elacin a la ,logstica bivalente l as h a apuntado certeramente H ermann :Weyl en su ensayo The Chost 01 Modality (en Philosophical Essays in
M emorY' 01 Edmund Hu sserl, Massachus etts, 1940). Segn ,W eyl ya no se puede "contestar con un claro y cor-tant e s o no, conforme al cual la proposicin
es o verdadera o f a lsa" , pues el "espectro" d e la modalidad hacindose presente, invalida esta alternativa simphsta.
167 Ca rta a M ehring (14 de juJio 1893), en Marx-Engels, Correspondencia. Seleccin del " Instituto M arx-Engels-L enin" , pp. 5211 522, ed. cast.
Buenos Aires, 1947.

Apndice sobre la _. logstica

Remitimos al lector al reciente libro de Gnther J acoby Die

Ansprche der L ogistiker auf die Logik und ihre Geschichtschreibung
(ed. Kohlhammer, Stuttgart, 1963) en el que el autor aborda la
indagacin exhaustiva de las diferencias que separan a la Logstica
de la Lgica, mostrando las infundadas pretensiones de la primera
a suplantar a la segunda o a identificarse con ella, considerndose
a s misma como un desarrollo perfeccionado y superior de la Lgica.
J acoby se concreta a investigar los errores de la Logstica al reivindicar sta p ara s la Lgica y su historiografa. Seala el fracaso de la
logstica cuando trata de definirse en el terreno de la Lgica. Un a
disciplina no es, absolutamente, definible por la otra.
El objeto de la Logstica son las relaciones entre smbolos, lgicos o no lgicos; el de la Lgica es el ahondamient'O y explicita ci n
filosficos de todo lo que se refiere a su propia fundamentacin. La
Logstica es matemtica; la Lgica, filosof a. Aqu los smbolos son
solamente ocasionales abreviacion es. H ay slo una lgica, y, por lo
tanto, no hay lgica de las relaciones, de los predicados, de los enunciados, etc. Estas constituyen clculos logsticos, lgicamente secundarios, en parte anticuados y en parte efectuados sobre una base falsa.
Uno de los crasos errores de la presunta historiografa logstica
de la Lgica estriba en que ella subordina la lgica antigua y medieval a la moderna logstica. AS, por ejemplo, las principales tesis
de la Logstica proposicional han sido toma das y transferidas -como
ce.rteramente 1'0 seala Jacoby- del falso tipo de lgica filnica
(Filn de L arisa) de la Antigedad y de la Edad Media. Pueden

Dialctica y positivismo lgico

I 125

notarse entre las tesis principales de la Logstica proposicional las

siguientes que proceden, apenas literalmente modificadas, de Filn:
1) No habra ninguna representacin de tal modo condicionada,
en la que no pudiese estar condicionada tambin una representacin
falsa; 2) tampoco existe para Filn -y 1'0 mismo para el clculo
proposicional- un criterio, una caracterstica segura para la diferencia de lo verda dero y de lo falso (vase Zeller, Die PhilosoPhie
der Griechen, "Die nacharistotelische Philosophie", nI Teil, erste
Wilfte, 4. Auf., pp. 613, 615-616, Leipzig, 1909). Y estos fragmentos
de Filn ponen remate probatorio de lo precedentemente afirmado:
"El que impugna la existencia de algo que podra ser conocido, no
deja ninguna excepcin para esta proposicin. Se sigue de aqu que
ni siquiera una vez la proposicin misma, que no p ermite excepcin
alguna, podra ser d e algn modo comprendida y conocida como
verdadera"; "la representacin que aparece como verdadera y est
suficientemente ilustrada posee la caracterstica de la verdad .. . ";
"pero como jams una representacin se constituye por s sola, sino
que, como en una cadena, una depende de la otra, aparece como
segunda caracterstica que la representacin es verosmil y no susceptible de ser contradi cha" (Nestl, Die Nachsokratiker, Bd. n,
pp. 267, 268, Jena, 1923). Aqu estn presentes las tesis logsticas
acerca de las equivalencias analticas.
En un prximo trabajo valoraremos en detalle la indagacin
de Gnther Jacoby, y pondremos en evidencia la quiebra, en el
terreno de la Lgica, d e la Logstica proposicional, y cmo, despus
de la crtica de los representantes de la escuela epistemolgica de J ean
Piaget, los nuevos esfuerzos indagatorios de la filosofa contempornea, en la propia Alemania, qu e pareca ganada por la ideologa
anglosajona de las "nuevas lgicas", estn asestando golpes demoledores a la Logstica y a las tendencias conexas: semantismo, sintactismo, agnosticismo.

Indice

PRLOGO ' A LA SEGUNDA EDICIN

INTRODUCCIN

13

CAPTULO

17

1 .......... . ... . ..................

1) La dialctica complementarista, 17. 2) Lgica y Logstica, 19. 3) Lgica dialctica y carcter instrumental
de la logstica, 2'4, 4) Deduccin matemtica y deduccin lgica, 29. 5) La crtica de la logstica en la filosofa
contempornea, 40.
CAPTULO 11 . . . . . . . . . . . . . . . . . . . . . . .

49

6) Solipsismo, sintactismo y semantismo, 49. 7) Anlisis

'sintctico y lenguaje filosfico, 56. 8) La semntica de
Carnap y el m achismo, 63,
CAPTULO ID . . . . . . . . . . . . . . . . . . . . . . . . . . .

9) Lgica y matemtica segn Tarski, 69. 10) El concepto de verdad en los lenguajes formalizados, 70. 11)
Las paradojas: Nombres autolgicos y heterolgicos, 78.
12) El concepto semntico de la verdad, 79. 13) Sachverhalt y Tatsache, 82. 14) La filosofa cientfica, 88.
15) Anlisis lingstico, filosofa y metafsica, 90. 16)
Semntica y analiticidad, 95.

69

CAP TU LO

IV

. . .. . .
. . ..

17) "Co ntra dicc in" y dialcti ca,

101. 18) Iden tida d y
contradiccin, 107.
CAP TU LO V . . . . . . .
..........

.......

19) Dialctica y contradiccin,

111.
CON CLU SI N
Ap NDI CE SOB RE LA LOG
STI CA ... .. . .
.

101

111

115
124

~n u.u ...,

F~=:m
SARMIENTO H1 2 0
T.E. 406640
O V ~N OS

Alne s

SE ACAB DE TMPRIMIR
EN MAYO D E 1964, EN LO S
TALLERES GRFICOS VERDAD, S. R. L.
SENILLOSA

1535,

BUE N OS AIRES