Astrada Carlos Dialectica y Positivismo Logico

DIALECTICA y
POSITIVISMO LO<iICO
CARLOS ASTRADA
DEVENIR
Dialctica y
positivismo, lgico
coleccin filoso la
Editorial Devenir
Dialctica y
positiviSmo lgico
CARLOS ASTRADA
1 edicin: UNIVERSIDAD NACI ONAL DE TUCUMAN
Facultad de Filosofa y Letras, 1961
Cuadernos de Humanitas NQ 9
2'" edicin revisada y aumentada 1Jor el autor: 1964
COLECCI N A CARGO DE : CARLOS ASTRADA y ALFREDO LLANOS
COPYRIGHT BY PLATERO S . R. L.
TALCAHUANO 468, DS. AIRES
H ECHO EL DEPSITO DE LEY
I MPRESO EN LA ARGENTI NA - P RI NTED I N ARGENTI NA
Prlogo a la segunda edicin
Agotada rpi damente la edicin de este trabajo, publicado por la
Facult ad de Filosofa y Letras de la Universidad N. de Tucumn,
lo que demuestra el inter suscitado, en un amplio crculo de lec-
tores, por -la temcica tratada en l, aparece es-ta segunda edicin
revisada y ampliada en algunos puntos que haban sido expuestos
muy sumariamente, y adems con explicaciones y agregados con
relacin a ciertos 3.spectos conexos y cOlllplementarios de los proble-
mas dilucidados en el mismo.
Nuc;:s tra crtica del positivismo lgico, originado en el Wi ener
Kreis, y de sus proliferaciones semantistas y sint actistas, sobre todo
en los pases anglosaj ones, ha enfocado esta direccin del pensa-
mi ento contemporneo en el momento de su declinacin en los
ambientes intelectuales, renovados y alertados por el poderoso im-
pulso del pensar di alctico en los diversos dominios de la indagacin
cientfica y de la filosofa. No obsta a la comprobacin de aquel
hecho la aval ancha de publi caciones intrascendentes, principalmente
en ingls, verdaderas reiteraciones y refritos de la posicin inicial,
ya virtualmente perimida. Este aluvin de papel impreso Heno de
frmulas y de ejemplos rid cul os aducidos por los cultores e inicia-
dos en el mi sterio de "las nuevas lgicas" es la contraofensiva ya
sin fuerza 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 una proposicin falsa cualquiera im-
plica todas las otras proposiciones verdaderas o falsas.
8 I Carlos Astrada
Lo que afirmamos ha quedado document ado 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 Internacional de Filosof a de Roma, de 1946, cuyos temas
se jerar:quizaron as : 1
9
) "el materialismo histrico", 2
9
) "l exis-
tencialismo", 3
9
) '"los principios de la ciencia y e! ' anlisis del len-
guaje", puntos tratados en sesiones plenarias. En este Congreso, que
tuvo la ms alta importanCia, pues por primera vez se inscribi
oficialmente entre sus temas de di scusin e! mMeri alismo histrico,
hecho que no fue fortuito, puest( que l corresponde a la mer-
gencia histrica en tanto que factor de reconstruccin de la civiliza-
cin, scgn dijo Antonio Banh, a cuyo cargo es tuvo su introduccin
y exposicin, en pl enaria. Al hacerlo, Banfi destac que el materia-
lismo histrico "no debe ser comprendi do ni como una interpreta-
cin econmica de la hi$toria, ni como rechazo de una cierta
autonoma de desarrollo dt la humanidad, ni como negacin de
una accin recproca entre los diferentes aspectos de la cultura. l
no es ni quiere ser una fi losof'a de la historia en el sentido meta-
f sico. La inversin de la dialctica, operada por Marx la descarta" 1.
y el propio Gonseth afirma que "la ciencia incorpora de macla per-
fectamente autntico . . . " las categoras " de la dialctica marxista
(actualizacin de la his toria, accin sobre el desarrollo de la hi storia
por el conocimiento que se adquiere de ell a, segn Banfi) " 2 .
Y respecto del pc:tivismo lgico, H. S. Gagnebin escribe: "Los
Congresos Internacionales de fil osofa cientfica de Pars (1935) Y
de Copenhague (1936) , e ~ Congreso Descartes (1.937) marcan el
apogeo del emjJir"ismo lgico. Esta doctrina hace de la lgica y de
las matemti cas una tautologa. Por eso mismo, ella pretende resol-
ver el problema de! conocimiento en dos ti empos: 1
9
por la indica-
cin de elementos primeros dados en su perfeccin, y 2
9
por la
aplicacin a estos datos primeros de reglas de algn modo autom-
ticas, y que no necesitan ningn progreso del espritu, Este realismo
lgico compl etamente disociad n d lo real, este positivismo extremo
provoc, en el curso mismo de los congresos enumerados, una reac-
cin muy viva de parte de los sabios cuidadosos de preservar la
li bertad del espritu". ' . "Se concibe desde ,entonces que la palabra
1 F. Gonseth, el Propos D'Un Congrs Internati onal de Philoso phie,
Dialectica, p, 100, NQ 1, 15/ 7/ 1947, .
"2 Op, ci t" p. 106.
Dialctica y Positl: vismo lgico I 9
lgica, de la cual los fil sofos del Crculo de Vi ena h acan un uso
tan particul ar, pareciese impropia para describir el eler;nento deduc-
tivo del conocimie.1to objetivo. Este trmino se acomodaba m'lJ con
el carcter sumari() y revisable d los datos; no daba cuent a de la
adaptacin del medo de razonamiento mismo al objeto y a las difi-
cultades siempre nuevas que deban ser superadas; en fin, l no
comportaba este elemento dinmi co inherente a} progreso del esp-
ritu humano en su esfuerzo por aprehender . la r ealidad. La palabra
di alcti ca, por el contrario, incorporaba estos elementos de manera
vaga, es verdad, pt: ro perfectamente natural" 3. La vaguedad a que
aqu se alude reside, como lo ponemos de manifiesto en los captulos
IV y V de este trabajo, en la idea de "di alcti ca" de l'Os epistem-
lagos complementaristas.
El positivismo lgico, con el engendro de su semntica,. ti ende
a escamotear el contenido obj etivo de lo real. Se busca, en elucu-
braciones y ensayos sin jerarq ua filosfica, "el signifi cado del sig-
nificacio"; se introduce deliberadamente el ms especioso de los
lenguajes, mechado de signos superfluos; se destil a la quintaesencia
de la "analiticidad" mediante analog as) identidades y pleonasmos
infantiles. Pero como no cabe reducir problemas objetivos a proble-
mas verbales, esta vana tentativa ha llevdo a ,los semantistas a ser
ininteligibles, a inr mrir en un constante galimat as. Estn muy lejos
de sospechar que 1111 lenguaje preciso y sobrio facilita el enfoque y
discusin de los problemas reales, a los que el positivismo lgico,
situndose por insuficiencia filosfi ca, en una posicin agnstica,
pretende presentar como aparentes o ficticios,
Precisamente, el abuso de la palabra lgica por parte de los
cultores de las "nuevas lgicas" y de los semantistas dedicados a
los intrngulis de las operaciones con las clases y relaciones, ha
ll evado a los ms cmi cos 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 compl eta-
ment e arbitrario y se estable en leyes relativas a las mismas" 4. Hay
"una operacin nueva muy interesante e importante" 5, de la cual
resulta un "producto relativo" Rj S, que "es vlido entre dos objetos
3 Op. cit., pP. 73-74.
4 Y 5 Int rcduccin a la Lgica, pp., 102 y 107, trad. cast., Buenos
Aires 1961.
10 ICarios Astrada
x e y si hay 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, Rj S es vlido entre dos per-
sonas x e y si hay una per sona z tal que I x es esposo de z y z es hij a
de y; por lo tanto, la relacin Rj S coincide con la relacin de ser
yerno" 6 . No cabe negar que estamos frente a una operacin "nueva",
nuevecita y "muy interesante e importante" de la cual result a la
relacin (tambin nueva y muy importante?) de ser yerno, pero
si aplicamos un cmmtificador de existencia para z, la suegra (cual-
quiera z ), entoncf.S tenemos qu.e la suegra puede ser "muy impor-
tante" para el yer no, pero poco, siendo tambin la inversa verda-
dera. Asuntos fami li ares de 'las " nuevas lgicas" , en los cuales no
cabe inmiscuirse por discrecin. Salvo cuando es tamos en presencia
de un caso fenomenal, de un verdadero abracadabra. Como estas
relaciones s,on abstr actas y "completamente arbitrarias" resulta, cuan-
do en ellas se introduce la realidad, que es contingente y aparente-
mente arbitraria, un produ.cto sorprendente, pero no para la vida
que es la gran c a ~ a de sorpresas. Este ~ e r a el caso si se complican
aquellas relaciones referidas al parentesco en 'la siguiente forma,
siempre posible : x yerno de y; x (que es viudo) tiene un hijo de
su primer matrimonio, t, el que se casa con y (que es viuda y ma-
dre de z) ; de es te modo x es yerno de su propio hijo. Pero aqu no
termina la relacin de parentesco, porque el matrimonio x z t am-
bin tiene un hijo v, que lgicamente es hermano 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 paradoja, para los semantistas) :
v es hermano de t y a la vez su nieto, y siendo los dos hermanos
entre s, i resulta que t es abuelo de s mismo ! En esta coyuntura se
le plantea a t, a causa del intrngulis, la opcin semnticamente
pattica de ser abuelo de su hermano o hermano de su nieto, pero
la solucin reside, sin duda, en que considel'emos a esta relacin
como una t autologa. As llegamos al tautolgico abuelo de s mis-
mo. En presencia de este acontecimiento incubado en la entraa de
la "nueva lgica", a nadie se le va a ocurrir, en presencia de sus
cultores y semanti5tas, que s tos son unos ingeniosos y unos vivos
sin abuelo (como reza el di cho corriente) , pues cada uno de ell os,
circunstancias medi ante y si la aviesa realidad 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, pues en sentido ascendente los
positivistas lgicos, para validar su direccin y sus productos al me-
nudeo, necesitan de un ancestro ilustre en el pensamiento filosfico,
pero no pueden exhibirlo porque no lo tienen. A lo ms, lo nico
que les queda - descartado Leibniz, ignorado por ellos y unilate-
ralmente interprctitdo por algunos matemticos- es acogerse de
manera vergonzante a Mach y el machismo, ya deshechos por la
crtica y del todo perimidos. Asimismo les resta tributar laudatorias
a algn fili steo insular dedicado a la popular philosojJhy, al touche-
a-tout y al cultivo del cant britni co.
Con todo, a los semantistas y cultores nativos de las "nuevas
lgicas" hay que reconocerles el fervoroso empeo que ponen en
glosar las pululan tes tentativas por cimentar, ahondar y esclarecer
la ciencia altamente sublimada y especializada de descular hormigas
en la resolana.
Introduccin
El pOSI tIvIsmo lgico y las t endencias sintactistas y semantlstas
provenientes de la t emtica del Wi ener Kreis, con su comn denomi-
nador sensorialista y agnosti eista, constituyen hoy, por su ,difusin y
accin proselitista en los pases anglosajones y en algunos sectores de
los pases subdesarroll ados de Occidente, una ideologa, bien caracte-
rizaol e como tal.
Si el gran desarrollo y complejizacin de las matemticas fue el
resultado del apogeo de las estructuras ms evolucionadas del alto
capitalismo, el movi miento del empirismo lgico y sus formas conexas
es la expresin del stado crtico a que han 11 gado las superestruc-
turas del capitalismo monopolist a. Aquel fenmeno ha sido sealado '
y documentado en su origen por Dirk J. Struik, quien afirma : "La
matemti ca moderna es el producto de la ap ari cin del capitali s-
mo" l. Frente a la concepcin intui cionista (Brouwer ) y a la for-
malizadora de la llamada lgica matemti ca o simblica, toda una
escuela de destacados matemticos y fil sofos de la ciencia, como E.
T. BelI y el propio Stl'uik (en su Breve historia de las matemticas)
han asentado el nexo de la matemti ca con la realidad. A este res-
pecto escribe Struik : "La matemtica como aspecto del mundo rea].
participa de su dialctica. La di alctica implica creacin incesante.
Por su misma naturaleza, la matemtica es, pues, creadora, trascen-
diendo constantement e las t autologas que pueden surgir en su estruc-
1 La M atemtica, pg. 153, en Filosofa del Fut uro, t rad. casto Mxico,
1951.
14 I e aTlas Astrada
tura. " Los formalistas han introducido los "axiomas trascendenta-
les" y se han opuesto enrgicamente a las tentativas de los logsticos ...
El fonnalismo de los axiomas se ha sublevado contra la t entativa (de
los logsticos) por reducir la matemtica a una tautologa, como lo
prueban las investigaciones de K. GOdel y otros" 2 . Dirk J. Struik,
subraya con Poincar que la matemti ca no es una impresionante tau-
tologa, como pretende Wittgenstein y dems corifeos del positivismo
lgico.
Los libros, ensayos, artculos -sobre todo en ingls- de los adep-
tos del positivismo lgico se multiplican voraginosamente y con una
fecundidad conejil. Fuera de algunos de sus represent antes univer-
salmente conocidos, la mayora de tales adeptos y divulgadores for-
man una espesa mesocracia intelectual, cuya labor se reduce a incre-
mentar y refaccionar un "gigantesco sistema de minucias". Su fervor,
aj eno .a la transformacin de las estructuras de las ciencias y del pen-
samiento filosfico, ha desembocado en el cultivo rampln de una
seudo filosof a, caracterizada por un mdi co agnos ticismo y una me-
tafsica subj etivista ha ti empo superados y dejados muy atrs.
Al enfocar crticamente este movimiento y, en particular, su lo-
gstica, distinguimos entre el valor instrumental de sta - considern-
dola como lo que es, es decir, como un instrumento meramente su-
pletorio para la prueba- y aquella logstica a la que el positivismo
lgico le ha adosado, desvirtundola, su propi a y precari a concepcin.
Tomada en el primer sentido, ell a est avalada, en el reciente pasa-
do, por el precedente ilustre de Couturat, Peano, Lalande, Itelson,
matemticos o filsofos de la ciencia, y en la actualidad por la labor
- filosfi cament e neutral, o con ponderada inclinacin, respecto a
la logsti ca- de Heinrich Scholz, Oskar Becker, el epistemlog
o
Jean Piaget, Hermann Weyl (en ste hay un nexo con la fenomeno-
loga husserli ana ), Gonseth, entre otros.
La pretensin d e superar y reemplazar la filosofa por la logsti-
ca y el clculo lgico (o por el anlisis del lenguaje) se ha mostrado
hoy infundada y enteramente vana. Por el contrario, la crtica ha
puesto en evidencia que cabe enjuiciar filosfi camente a aquellas ten-
tativas. Y en este sentido se ha abierto camino, como un problema
secundario, de radio estrictamente acotado, una filosof a de la logs-
tica. Ella tendr tambin por tarea enjuiciar los supuestos logsticos
2 Op. cit., pg. 165-166.
Dialctica y positivismo lgico I 15
y de otra ndol e del posi tivismo lgico _.x-, practicar un escrutInIO
eliminatorio en el enorme bric-a-brac que ste ha venido acumul ando
desde hace casi cuarenta aos .
.. Vase la obra, ya clsica de Len Brunschwicg, Les Etapes de la
Philosophie Mathmatique. Para la crtica de la logstica, r emitimos al cap-
tulo XVIII, "Dissolution de la philosophie logistique" con sus acpites "Les
difficults de l'interpretation analytique" y " Les difficults du ralisme des
classes" . Como conclusin de sus precisas observaciones crticas, Brunschwicg
nos dice : " ... La evoluoin de la filosof a logstica evoca la idea de estas usi-
nas metalrgicas que, perfeccionando su utilaje, logran fabricar caones ca-
paces de perforar sus propias corazas; por el progreso de la lgica simbli-
ca, la logstica h a ll egado ella misma a arruinar sus primeras ambiciones"
(Les Etapes de la Philosophie Mathm.atique, p. 410, 2da. ed., Alean, Pars,
1922). Pinsese que la primera edicin de esta obra data de 1919 y se com-
prender el alcance y val idez, condicionada por la poca, de aquella compara-
cin. Pero, con el -advenimiento de la cibernti ca y su progr eso, sobre todo a
partir de N. ,Wiener, y el desarrollo alcanzado en nuestros das por la ci-
berntica sovitica, con la nueva ciencia que ella ha promovido, la matem-
tica de las mquinas, la cual impEca la mayor aproximacin a l a realidad
obj etiva, la coraza " tautolgica" de la logstica del positivismo lgico, que in-
comunicaba a ste de aquella realid<l!d, se ha desvanecido como un fantasma.
Adems la fsica nuole ar, con sus r esultados, ha siderado has ta la sombra
semntica del fantasma. El tomo ha dejado de ser la "fi ccin" del machismo
y sus sucesmes, los empiristas -lgicos, como Carnap; incluso su poder des-
tructo'r de la vida humana, ha sido d.esgraciadamente exp erimentado.
Para las diferentes concepciones de Ja mat emtica vase: Oskar Becker,
Grundlagen der Mathem.atik in Geschichtlicher Entwicklung. F,reiburg, M'n-
chen, 1 !:i54. Es slo de lamentar, respecto a esta obra, que, en la parte con-
sagrada a la matemtica moderna y contempornea, la bibliografa sea pre-
ferentemente alemana y muy escasa la anglosajona. As, la importante escuela
de matemticos a que nos hemos referido, no es t contemplada en ella.
Captulo 1
1) LA C OMPLEMENTARI STA
En diversos dominios del conocimiento fi,losfi co y cient fico se es-
t operando una renovacin del pensar di alcti co, y hasta se torna
cada vez ms evidente una primaca de la dialctica, no slo en el
aspecto metodolgico, sino incluso en lo relativo al planteamiento de
los problemas mismos, T an pronto se desarroll a e.] proceso de concep-
tuacin cientfico-natural (y el social-histri co, desde luego) las "co-
sas mismas" imponen su tratamiento dialctico.
Podemos decir que el pensamiento cientfico, en sus diferentes
campos, est dominado por la di alctica. La.s nociones cientficas - ya
sean de la f sica o de la biologa- al pasar a t ravs de sucesivas teo-
ras de la ciencia y concepciones fil osfi cas, han experimentado una
serie de transformaciones, articuladas en un proceso en el que est
manifiesto el trmite dialctico que peticionan tales nociones y con-
ceptos. El proceso del conocimiento cientfi co y filosfi co se cumple
merced al proceso que Gastn Bachelard ha ll amado justamente de
" di alectizacin de l'Os conceptos" .
La realidad que abar ca la investigacin cientfica, y a la cual se
aplica la dialctica del conocimiento, no es una realidad hecha y es-
ttica, sino una realidad en movimiento, en transformacin, que se
est constantemente haciendo merced -como veremos- a una (;'n-
tradiccin que le es, inmanent.e, y a la que el racionalismo, atenido
apriorsticamente a la identidad, no ve ni reconoce como tal.'
lB I Carlos Astrada
bio, la dialctica, al tratar de refl ejar 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 neopositi-
vismo lgico y de la una renovacin, con alcance
restringido, de la dialctica, para 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 experiencia debe ser un proceso dialctico. De la puesta en marcha
de esta idea naci en 1947, la Revista Dialctica.
En el programa formul ado editorialmente aparece esta asercin
fundamental : "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 pensar, si Tenuncia al saber, no 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 cientfi co moderno; pero ella
ha desbordado el cuadro de ste para transformarse en el elemento
central de una filosof a que abraza el conjunto del conocimiento"
(H. S. Gagnebin); b) Sobre todo el frente del conocimiento, el sa-
ber del especialista ha franqueado los lmites de las evidencias co-
munes ; c.); "todo lleva a pensar que el conocimiento no puede ser
ms que dialcticamente fundado" (F. Go'nseth) ; d) "el racionalis-
mo cientfi co aparece como una fil osofa di alctica" (G. Bachelard) ;
e) la ciencia moderna se encuentra en una situacin di alctica, fun-
dada en su apertura sobre la experiencia, siempre revisable; f) el
pensamiento cientfico, por la accin recproca entre teora y expe-
rienci a, 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 "pro-
ceso de dialectizaci6n".
Dial<etica y positivismo lgico I 19
El punto de vista preconizado por el equipo de Dialctic.a difi e-
re de la concepcin hegeliana, y su ulterior desarrollo tanto desde la
posicin idealista como desde la del materialismo dialctico, por cuan-
to aqul considera posible superar y anul ar la contradiccin. A esto
se llegara en razn de que el hombre de ciencia trabaja en dos pla-
nos (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 complementaria, sobre la base de la supe-
racin 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 avan-
zada (o progresiva) del conocimiento, se diversifica de nuevo contra-
dictoriamente, para encaminarse a una nueva unidad. Pero, en este
caso, lo que hace avanzar el conocimiento no es la complementarie-
dad, 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 ms difundidas del agnosticismo contem-
porne'. 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 ha sido t eorizado tambi n en otros aspectos por E. B.
Zesler, que establece una atenuacin del principio de contradiccin, al que
otorga plena vigencia dentro de un sistema, aquel en que la proposicin se
integra, y suspende o 'ega a abolir su validez en.,otro sistema difer ente del pri-
mero (Foundlation of Logic a71d Mathematics, pg. 122 y sg'l; . ; ed. Isaacs,
Chicago, 1955). ' I 11 11 I1 l
'*i* Vase Manifestation de la Complementarit, Dialctica, 1948, pg.
409, y adems Logique et physiques (Congrs International de Philo-
sophe des Sciences, Pars, 1949).
20 I Carlos Astrada
tic a y ver qu nexos legtimos tiene con la Lgica, el signifi cado y
alcance de la Logstica.
,El nombre "Logstica" proviene de Couturat, quien explica la
razn de esta designacin, y por qu rechaza el de "Lgica simbli-
ca" como as tambin el de "Lgica mat emti ca". Tal razn no es
otra que "la expresin " Lgica simblica" acenta de modo inconve-
ni ente slo un detalle sin impor tancia del dominio tot al", y la designa-
cin "Lgic,a mat,emtica" contiene una precipitada enunciacin sobre
la rel acin de la Lgica con la Matemtica, y por 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 posee sus propias leyes autnomas ; 2)
la idea d e una Lgica aplicada a la Matemti ca, con lo cual la sig-
nificacin y validez universal de es ta Lgica es perjudicada" ... "Por
esto preferimos la designacin "Lgica algortmica" , una palabra que
simplemente seala el hecho que en las leyes lgicas aparece un cier-
to clculo, o mejor, la designacin "Logstica", la que, no obstante
haber llegado a perder su vieja signifi cacin, evoca la misma idea" l .
El planteamiento de los problemas lgico-matemticos y el desen-
volvimiento de la Logstica dieron un gran impulso a la Lgica, la
que llevaba una marcha lenta, sacndola de lo que podemos llamar
su estado vegetativo. En el desarrollo de la Lgica, a par tir de este
momento, cabe discernir dos etapas, una caract erizable por la ten-
dencia algebraizante. Este primer t ramo de su renovacin es t repre-
sentado por De Margan, Hamilton, Boole; la otra etapa es t influ'da
por la tentativa de derivar los conceptos fundamentales de la aritm-
tica de principios anal ticos lgicos. Reali zaron, entr.e otros, una des-
tacada labor, en este sentido, Frege, Couturat, Peirce, Whitehead y
Russell. La Logstica, en virtud de estas elaboraciones, fue preferen-
temente ll amada Lgica matemtica porque la constr uccin de los
clculos lgicos se si rve del lenguaje de los signos de la matemtica,
tomada como modelo, y tambin porque los primeros clculos lgicos
fueron desarrollados por matemticos, siendo ellos usados para acla-
rar los fundamentos de la matemtica. En realidad, la designacin
de "Lgica matemtica" proviene directamente de la obra standard
de B. Russell y A. Whitehead : Principia Ma>t hematica (1910-1913) ,
obra prxima al error -contra el que reaccion Couturat- de con-
siderar que la Logstica es una Lgica especial de la matemtica y/o
para matemticos.
11 Die Primipicn der Logik, pg. 138-139, en Encyc/opadie der Philoso-
phischen Wissenchaft en, 1 Bd., Tubingen, 191 2.
Gottlob Frege - qui z entre los matemticos el de ms aguda
visin lgica-, fue quien llev a sus ltimas consecuencias for-
males la lgica clsica, acercando a ell a la aritmti ca. Con su obra
Bases de la Aritmtica (1884) e Ideografa: ( 1879) influy decisiva-
mente en las elabnraciones logsticas de Russell y vVhitehead, que
adoptaron en lo fundamental sus originales puntos de vista y criterio
metodolgico, aunque aqullos no subrayaron la necesidad, para los
interesados en estos estudios, de tomar contacto directo con la obra
de Frege, cuyos escri tos recin en 1952, fueron traducidos al ingls;
pero el pensamiento del matem6co y lgico germano est bien pre-
sente en Principia Mat h. em atica.
Frege se cmpea en demostrar que los juicios aritmticos son
analticos, de donde l extrae la consecuencia que los ms altos prin-
cipios de la a ritmtica son .lgicos. Introduce, adems, otra nocin
de aleance metodolgico: el concepto de relacin. A este respecto es-
cribe : "El conceptO' de relacin pertenece, pues, como el simple a la
lgica pura. No se toma en consideracin aqu .el contenido parti cular
de la relacin, sino slo la forma ,lgica. y lo que de sta se puede
enunciar, su verdad, es con'Ocido analti camente y a priori" 12 . Russell
tambin si gue el camino analtico de Frege. Distingue, en una expli-
cacin metodolgica previ a, dos direcciones en la matemtica, la cons-
t r uctiva, que desecha, y la otra "menos conocida" que "progresa ana-
' lticamente a abstracciones cada vez ms grandes y a la simplicidad
lgica. Ella no interroga qu se puede definir y deducir de los su-
puestos fundamentales 'Originarios sino qu clase de conceptos y prin-
cipios ms generales pueden ser encontrados, mediante los cuales nues-
tro punto de partida pued ser definido o deducido" 3 . Russell ha
construido su teora de las funciones proposicionales basndola en la
tcor'a de Frege, acerca de los conceptos de relacin. Adems, l in-
tenta reducir los principios del lgebra a una lgica ampliada de los
conceptos de clase. Quiere mostra r que todos los enunciados sobre
cosas, incluso sobre espacio y tiempo - que siempre fueron asentados
como incl ependientes- pueden ~ e r reducidos a construcciones; luego,
medi ante stas, las totalidades de ualidades, que slo son dadas in-
dividualmente, se ar ticularan, sin supuesto alguno, en sistemas uni -
tarios de ordenaciones sobre la base de los nexos existentes entre aque-
ll as tot alidades o conjuntos.
2 Die Grundlagen der A,.it hmetik. Eine L ogisch-mathematische Unt er-
. :chun.1! ber den ' Begriff der Z ahl. pg. 82, Breslau, 1884, 1934.
3 lntroduct ion to M athemati cal Philosoph)" pg. 1, 2. ed. London, 1920.
22 I Carlos Astrada
La reforma de 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 Logsti ca se la design con el
nombre de "Lgica simblica". Tambin la lgica clsica us smbo-
los. Asi, Aristteles fue el primero que los emple (Alfa, Beta, Gam-
ma) para las operaciones lgicas y lo que l llam apofansis. El sm
bolo en las modernas transformaciones de la Lgica, y las ms reCien-
tes 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 ms fuertes influjos a que se en-
cuentra sometido el espritu humano, t al significacin ya est fijada
por la costumbre. Los signos poseen en gran medida constancia y de-
terminacin. Ya que la palabra, en su significado, no es absolutamen-
te estable, esa constancia de los signos es una gran ventaja para el
lenguaje.
Las palabras, como es sabido, mediante los procesos de despla-
zamiento o condensacin de las representaciones, se adaptan a las
necesidades del pensar. An en los dominios del pensamiento en que
nos es posible servirnos de otros sistemas artificiales de signos, no po-
demos prescindir del todo del auxilio del lenguaje. "Es que -como
explica Wundt- el lenguaje es el nico sistema de signos concebido
en constante e interna evolucin. Mediante esta evolucin, l es apto
para insuflar vida a cualquier simblica artificial. Es as cmo ba,io
este influjo, los smbolos de las operaciones matemticas han experi-
mentado mltiples modificaciones y se han creado nuevos simbolos
para nuevas relaciones descubiertas" 4 . Ningn sistema artificial de
signos puede rempl azar al lenguaje. (Pavlov ll ama justamente a ste
el segundo sistema de signalacin, siendo el primero los refl ejos con-
dicionados ). Por el contrario, el lenguaje comunica a cualquier siste-
ma artificial de signos la posibilidad de desarrollo que l posee. Esto
slo puede suceder cuando el lenguaje mismo permanece en una con-
tinua accin recproca con tal sistema. Tales sistemas artificiales, co-
mo seala Wundt, slo pueden intervenir momentneamente en lu-
gar del lenguaje para aligerarlo de tareas que ste puede realizar de
modo imperfecto. Tal es el caso de la intervencin o aporte de la
matemtica, la que suministra al respecto un testimonio irrefutable.
4 W. !Wundt, Logik, L Bd. Allgemeine Logi k und Erkenntnistheorie, pg.
233 3 Auf. 1906.
Dialctica y positivismo l gico I 23
"Sin embargo, la evolucin de esta ciencia est ligada a la formacin
de su sistema artificial de signos casi t anto como la evolucin del
pensar a la formacin del lenguaje" 5,
Hay, sin duda, que evitar el error o mala comprensin, bastan-
te difundida, que tiende a ver en el clculo de .J a especie ya indicada,
introducido por la Logstica, un juego enteramente intil de formas,
o lo que es an ms ,errneo y exagerado, la t endencia a reducir el
pensar humano viviente a un estril y seco mecanismo, y nivelar, as,
la riqueza del lenguaje natural (del "lenguaje-obj eto" , como lo lla-
man en su jerga los semantistas) hasta un formalismo abstracto. De
hecho, 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. Medi ante stas cabe alcanzar conocimientos o evi-
dencias en las conexiones lgicas, los que no se podran haber logrado
sin cierto clculo. G. Frege, exagerando un poco quiz, ha compara-
do la relacin del clculo .Jogstico con el lenguaje usual con la que
existe entre el mi croscopio y el ojo humano.
Con el advenimiento y difusin de la semntica (en ntimo ma-
rida je con el 'positivismo lgico) , se comenz a sostener la tesis de la
necesidad de remplazar enteramente el lenguaje conceptual de las
palabras y oraciones por un lenguaje simblico, del todo artificial,
extrado de la matemtica contempornea. Les asiste, sin duda, ra-
zn a los semantistas al requerir que se establezca una terminologa
cientfi ca exacta y univalente, como lo reconoce P. V. Kopnin. Ya
Leibniz recl am 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" . Nadie niega a los semantistas que "tienen ra-
zn al afirmar que la exactitud ,( o ms propiamente, estri ctez) en el
lenguaje tiene importancia primordial, y que las ideas ms grandes
y los ideal es ms elevados pierden su signi.ficado si se comunican sin
precisin. El requerimiento de los semantistas para que se establezca
una terminologa cient fica exacta y univalente, es justo" 6 . Pero,
se equivocan al especular con ciertas insuficiencias de la lengua na-
tural -el "lenguaje-objeto" - y sostener que en la ciencia es nece-
5 W. Wundt, Op.cit" pg. 233.
6 La nat uraleza del juicio y sus formas de expresin en el lenguaj e, en
D. P. Gorski, Pensamiento y L engua,je, pg. 441. Pueblos Unidos, Monte-
video, 1958.
2-4 I Carlos Astrada
sario sustituir el lenguaje conceptual de las palabras y proposiciones
por un lenguaj e artificial vaciado en la simblica matemtica.
El lenguaje es el medio fundamental (el recurso fnico) para
expresar los juicios. Con l "no puede competir ningn lenguaje arti-
fici al de los smbolos grficos y tablas ... El simbolismo
los grficos, las tablas, enriquecen los recursos de que disponemos,
surgen como consecuencia de las necesidades del desarrollo de las
ciencias. Su aplicacin en el lugar correspondiente posee sus venta-
jas. en comparacin con el lenguaje verbal ... ; facilita, sobre todo, el
progreso de ciencias como la matemtica, la f'sica, la qumica y di-
versas ciencias tcnicas. La ventaja del simbolismo radica en su ri-
gurosa 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
deductivas, y representan un sistema de connot.acin cientfica pre-
cisa en las dems. Por medi'O del empleo del 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 lenguaje usual ; pero tales
recursos son auxili ares y no pueden existir independientemente de
ste. Son recursos que nicamente sirven como' complemento del
lenguaje y no pueden tener carcter universal. Certeramente afir-
ma Kopnin: "No es posible aplicar y comprender designaciones sim-
blicas, sean de la clase que fueren, sin palabras y si n oraciones" 8 .
3) LGICA DIALCTICA y CARCTER I NSTRUMENTAL
DE LA LOGSTICA
La Logstica no est por s misma vinculada a ninguna concepcin
o doctrina fi losfica. Un'O de sus def.ensores ms decididos, Hcin-
7 Op. cit., pg. 442 .
. * F.n Jo que respecta a la Drct'cnsin de Jos Logsticos de que slo
proposiciones que pueden traducirse en frmulas poseen pleno sentido y los
prob
1
-:mas nu e, en funcin de una rc", la d p 'clculo. no son susceptibles d e
ser p lanteados por sta, son probl emas ficticios nos dice B. V. Freytag Lorin-
ghoff : "De nuevo se destaca bien que estos fi lsofps Logsticos naufragan
justamente con su propia filosofa, y ellos mismos to,rnan a abandonar uno
de estos dogmas tras otro. Los viejos problemas son ms fu ertes que los
nuevos clculos" (Logik, ihl' System und ihr Verh.,(iltnis zur LogiStik, pg.
191, Stuttgart, 1955).
8 La naturaleza del juicio y sus formas de expresin en el lenguaje, en
D. P. Gorski, Op. cit ., pg. 442.
rich Scholz, le asigna cn su Geschichte der L ogik ( 1931) un ,: arcter
meramente instrumental, seal ando que ell a no est necesariamente
ligada al positivismo. Pero 1'0 cierto es que el positivismo lgico del
Crculo de Viena y los semantistas de l provenientes o por l influi-
dos la vinculan, si n reparo alguno, a su propia posicin doctrinaria.
Por lo dems, hay que sealar que el positivismo lgico ha trasva-
sado, con alguna modificacin ines.encial, a sus propios moldes lo
fundamental de la problemtica de E. Mach. El Crculo de Vi ena,
con sus proliferaciones anglosajonas es, en el fondo y has ta en la
forma, 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 Lo-
gstica y Lgica dialctica, como suponen y lo proclaman los parti-
darios de la primera. Entre stos, algunos latinoamericanos con men-
talidad colonial, que exteriorizan una .adhesin idoltri ca, y muy pa-
satista, por B. Russell , afirman con ingenuidad de nefitos que la
"lgica matemtica" (as designan ' ellos a la Logstica) es muy su-
perior a la lgica dialctica. Adems de falsa, tal opini n aparece
como ridcula, cuando se acotan estrictamente los dominios de am-
bas disciplinas. El radio de aplicacin de la lgica dialctica mate-
rialista es enormemente ms amplio y rico de contenido que el de
la Logstica, como tendremos oportunidad de verlo. La fertilidad
de la primera es evidente, no slo en el terreno del acaecer social-
histrico, sino tambin en el de las diversas ciencias naturales, in-
cluyendo hasta la microfsi a.
La influencia tarda de B. Russell, 'Wittgenstein, Carnap, ha
obrado deformativamente sobre la mesocracia universitari a de La-
tino Amrica. Sus representantes, dogmticamente, han hecho de
la "lgica matemtica" o "lgica simblica" una especie de pana-
cea. Si los positivistas del Crculo de Viena desvirtuaron el carcter
instrumental de la Logstica, adosndole sus propios y, a veces, su-
brepticios supuestos fil05ficos, los mdicos panegiristas de estos pases
coloniales la han absolutizado haciendo de ell a una Weltanschauung.
Segn ell os, la " lgica matemtica" hace intil toda pesquisicin
en los dominios filosficos (en el de la gnoseologa, epistemologa,
tica, metafsica, etc.) ya que en stos los problemas " no ti enen
sentido" , son mal planteados o no cabe plantearlos. Slo los logs-
ti cos son aptos para declarar su legitimidad y di scutirlos, ya que
ellos saben acudir al metalenguaje Ln y al clculo sentencial, de
clases, de rel aciones, etc., empleando, adems las "tablas de verdad"
26 I Carlos Astr,ada
("valor de verdad" es una expreSlOn introducida por Frege, para
los juicios) y las "conectivas". A los l'Ogsticos nativos que se dedi-
can 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 meramente deductivos y "for-
malizad'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, fr-
mulas y reglas d e clculo de la nueva Lgica (que ya delataba en los
lineamientos lo que sera su construccin) pensaron que ella poda
constituir, en el dominio de las ciencias, sobre todo deductivas, una
especie de lengua internacional clara y compr,ensible para la comu-
nicacin cientfica. Facilitara esta tarea a la Logstica la tendencia,
quiz nsita en ella, hacia la formalizacin; su carcter formal mis-
mo, adems, la hace indispensabl e para la deduccin cientfica, aun-
que 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 formalizado 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 maysculas, otros minsculas, y al-
gunos letras diferentes que los anteriores, para la notacin. Tambin
vara el signifi cado que asignan a los smbolos. Otro tanto acontece
con los signos metalgicos. As, Lukasiewi cz cre una notacin en-
teramente personal y diferente de las anteriores ; adems 'Otra nota-
cin para el "cuantificador". Vale decir que el sistema de notacin
de la Logstica est muy lejos de ser unvoco, sino que, por el con-
trario, 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 haciendo 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 ex-
tremo de constituir una verdadera Babel.
En presencia de sus primeras y ya evidentes extralimitaciones,
Alois Riehl ll am al clculo logstico "deporte lgico". Si l pudiese
observar en alguno de nuestros pases coloniales el terrori smo sin-
tctico-semntico-logsti co militante implantado por l'Os cultores de
aqul, especificara ms esa acertada calificacin ll amndole a ese
deporte "boxeo lgico" . Los que lo practican, como matemticos y
fsicos o aficionados a la matemtica y a la fsica, se caracterizan
en la mayora de los casos por su desconocimiento de la filosofa (de
su gran problemtica), a la que enjui cian en nombre de la panacea
de la "lgica simblica" con celo e intransigencia de nefitos.
Hay que destacar que los maestros, tan citados y a veces mal
interpretados por ellos, jams levantaron la objecin fundamental
que hace la friol era de cincuenta aos hizo Paul Natorp al forma
lismo deductivo de la Logsti ca. Al r ferirse a la tentativa de sus
representantes de hacer de la lgica formal una rama de la mate-
mtica (basndose en el carcter deductivo de ambas) y de asig-
nade como tarea el establecer las leyes del procedimiento deductivo
y la justifi cacin de la vali dez universal y necesaria que l pretende,
escribe Natorp : " Puede, empero, establecerse y justificarse un pro-
cedimien to lgico median te la operacin del procedimiento mismo?
Esto es en s un contrasentido puesto que el mt'Odo de la deduccin
tena que ser ya presupuesto como formul ado y justificado para que
las pcticionadas formul acin y justifi acin puedan resultar vlidas.
La marcha circular de la fundamentacin es evidente ... La im-
posibil idad de tal propsito est manifiesta, si luego se comprueba
cmo adems el procedimi ento de la deduccin misma es presen-
tado. Se asientan en la cima defini iones, las que expresamente
slo significan convenciones sobre el uso de ciertos smbolos, no
iuicios, los que necesariamente seran verdaderos o falsos. Se formu-
lan despus principios con respecto a estos smbolos. es decir, se
dan prescripciones sobre la admisin de ciertas combinaciones di-
versas y cambiantes de los mismos. . . De hecho, para estas com-
binaciones tampoco es indicado o echad'O de menos ningn sentido
ulterior; ellas estn ni camente suj etas a la restriccin de no poder
anuhl rse a s mismas" 9.
Esto es slo una mue tra de las crticas formul adas a la logstica,
a su "fundamentacin" deductiva en crculo (circulus in probando).
Pero, desde hace medio siglo, hay otras que ponen de manifi.esto las
extralimitaciones e insuficiencias de las construcciones logsticas, en
9 Die Logischen Gnmdlagen der Exakten Wissenschaften, pg. 5-6,
Berln 1910.
28 I Ca1"los Astrada
razn de la pretendida y no probada validez de sus principios. Los
que conocen Filosofa y Lgica, a la vez (y no solamente Logstica
de modo fervorosamente mnemotcnico) no pueden pasar por alto
las crticas que desde el punto de vista fil osfico se han hecho a los
aspectos centrales de la Logstica y a sus pasos operativos. Nos refe-
riremos nicamente (dejando de lado la de Cassirer, Riehl, tambin
importantes) a la crtica de H. Poincar. ste, acerca de la pasiogra-
fi a de Peana (contenida en su Formulaire de mathemat ique, Pars
1901) nos dice : "El elemento 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 enovar toda la fi losofa, es otro asunto. Es dif cil :ld-
mitir que la palabra si adquiere, cuando se la escribe 3, una virtud
que ell a no tena cuand se la escri ba si" 1 0 (3 es uno el e los diecisis
.smbolos de la tabl a ideogr fi ca de Peano) . En tal observacin,
Poincar apunt a certer amente a la dependencia inabolible en que
es t el simbolismo logstico respecto del lenguaje. Sobre los princi-
pios que Russell introduce en el clculo proposicional y que consi-
dera indemos trables, expli ca Poincar : "Pero estos pri ncipios inde-
mostrables son llamados a la intui cin, son jui cios sintticos a priori.
Nosotros los como intuitivos cuando los encontrsemos,
ms o menos explcitamente enunciados, en' los trat ados de mate-
mticas; ; han cambiado ell os de carcter, porque el sentido de la
palabra lgica se ha ampli ado, y nosotros los encontramos al presen-
te en un libro intitul ado Tratado de L gica? Ellos no han cambiado
de naturaleza,' ellos solament e han cambiado de lugar" 1'1.
Poincar ha visto per f.ec tamente que los errores y contradiccio-
nes en que, segn propia confesin, suelen incurrir, tan a menudo,
los log'sticos, .amenazan de ruina el edificio entero que ellos estn
levantando y constantemente refaccionando. Para que prosiga la
construccin de s te y se logre mantenerlo inclume se requiere que
las regl as - ya que la intui cin no est ll amada a permitirnos clis-
criminar acerca de las mismas- posean una validez incuestionable.
"Pero entonces - afirma Poincar, dirigindose a los logsticos-
es necesario que ellas sean infalibl es; es slo a 'una autoridad infa-
lible que se puede tener confianza ciega. Esto es, pues, una nece-
sidad para vosotros. Seris infalibl es o vosotros no seris. No tenis
el derecha de decirnos : "Nosotros nos equivocamos, es verdad, pero
1 0 Science et Mt hr> de, pgs 166-1 67, Pars 1912,
n Op, cit. , pg . .1 75.
vosotros os equivocis tambin". Equivocarnos, para nosotros, es
una desgracia, es una desgracia muy grande, pero para vosotros es
la muerte" 12 .
Aparte de esta obj cin fundamental respecto a las desastrosas
consecuencias de la falibilidad de las reglas logsticas, Poincar tam-
bin seala la impotencia y complej idad de las ecuaciones logsticas
para la demostracin, y que ell as en lugar de facilitar ~ a invencin
cientfica, la traban. Carece la logsti ca, adems, de concisin desde
el momento que para establecer que 1 es un nmero necesita 27 (vein-
tisiete) ecuaciones, como aqul hace notar ; y, con respecto a idn-
ti ca complicacin en las distinciones, nos di ce: "Si nosotros distin-
guimos, con Whitehead, el individuo x, la clase de la cual el nico
mi embro 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 ll amar ii x puede creerse que con estas distinciones por tiles
que ellas sean se va a aligerar mucho nuestro paso?" ~ ~ .
4) DEDUCCIN MATEMTICA y D EDUCCIN LGICA
En lo que respecta a B. Russell, en su propsito de fundamentar-
lgicamente la teor'a de las clases, cae en el error de tr.atar, en vano,
de deducir el conceDto de clase, que tal como l lo formula, es espe-
cfi camente matemtico, del concepto de juicio, ql,le es especfica-
mente lgico. Para ello, apela al recurso, matemtico y no lgico,
de la interpretacin cuantificante de la relacin de la cpula lgi ca
- trmite subrepticio en la llamada funcin proposicional- a fin
de sumini strar al jui cio un fundamento positivo.
Aparte de esto, B. Russell llama " deduccin lgica" a la deduc-
cin matemtica, las que son esencialment e diferentes. Esta confusin
corre a travs de todas sus disquisiciones sobre lglca simblica. Ello
est bien manifiesto, por ejemplo, en esta expli cacin: "En la deduc-
cin, una ms proposiciones son llamadas pTemisas, de las cuales
nosotros inferimos una proposicin llamada conclusin. Para nuestro
propsito ser conveniente, cuando hay originalm nte varias premi-
sas, unirlas 'en una proposicin simple, a fin de estar aut orizados pa-
ra hablar de la premi sa as como de la conclusin, De este modo nos-
otros podemos considerar la conclusin como' un proceso en el cual
pasamos del conocimiento de una ciert a proposicin, la premisa, ' al
11.l Op. cit., pg. 194,
1.3 Op. cit., p;g, 193.
30 Carlos Astrada
conocimiento de otra proposicin, la conclusin, pero no considera-
remos tal proceso como deduccin lgica a menos que l sea conec-
to, es decir, si no hay una tal relacin entre premisa y conclu-
sin, 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 una deduccin lgica, como cree Russell,
sino matemtica. Kant fundament cl aramente la diferencia entre
ambas. Es sabido que el procedimiento de Russell y de los repre
sentantes de la lgica simblica es analtico. Pero, un anlisis que
se remonta a los principios - Kant lo ha mostrado bien en la Crtica
de la razn pura y en la Lgica- requiere ser probado por una de-
ducoin de los principios analizados, trmite mediante el cual stos
son puestos suficientemente en evidencia.
La deduccin analtica como deduccin lgica y, en general,
filosfica, es fundamentalmente diferente de la deduccin matem-
tica. Aquell a tiene que partir de principios evidentes o demostra-
bles como tales. El anlisis ti ene por supuesto una diversidad orde-
nada y l va a las defini ciones inmanentes a tal ordenacin. El an-
lisis lgico se ,dirige a la idea de ordenacin dada y, por lo tanto, al
fundamento de la ordenacin. En cambio, el anlisis matemtico se
dirige a las relaciones de ordenacin de los elementos del orden dado.
La confusin de ambos trmites, en B. Russell, est patente. Su
anlisis deductivo no es, como l afirma, lgico, por cuanto, bajo
modificacin del punto de vista de la ordenacin, toma las defini-
ciones consecutivas como fundamento de la deduccin. Tal proce-
dimiento proviene de la inveterada y explicable propensin del ma-
temtico .a servirse de este' modus operandi, legtimo en matemtica,
pero, en homenaje a la claridad y precisin filosficas, es necesario
llamar a las cosas por su nombre y determinarlas de acuerdo a su
naturaleza .:<.. .
Kant, que distingui perfectamente deduccin filosfica de de-
duccin matemtica, nos dice: "La sntesis es o filosfica o matem-
14 Introduction Yo Mathematical Philosophy, Cap. XIV, Incompatibi-
lit y and the theory of deduction, pg. 145-146, ed. cit.
,* Nos limitamos a una de las principa.J es objeciones que suscitan los
aportados por B. RusseJl para la lgica simblica. Sera largo
y redundante entrar en el anlisis de Jos errores y equvocos del clculo a
base de funciones proposicionales, sealados ya desde hace cuarenta aos por
la crtica. Basta un ejemplo (y para ello empleamos los conocidos signos
establecidos por Whitehead 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 en-
lace mediante un fundamento" ~ 5 , y, para explicar del todo su afir-
macin, podemos agregar que el anlisis filosfico (y su demostra-
cin mediante la d educcin) supone ir a tal fundamento. Asimismo,
Kant con respecto a la necesaria separacin de matemtica y filo-
sofa, escribe : "Es just amente tan infructuoso y absurdo filosofar en
el campo de objetos de la matemti ca, 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 conoci-
miento 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 des-
deosamente o con hostilidad" cu;.
Por no haber reconocido que la deduccin filosfi ca 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 con-
tienen 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 t enido que
acudir a la "jerarqu a de los tipos" (tipo = extensin de la signifi-
cacin de una funcin proposicional; toda proposicin que contiene
6,7, 12, Cambridge, 1910). La "implicacin" no es, corno cree Russell, anali-
tica: "p J q" as como " ~ p ;J q", si la premisa p es falsa, entonces "p
es verdadero y q es falso" es t ambi n falso; luego "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 pasa, y se documenta en este caso,
es que la "implicacin" no es una consecuencia analtica por cuanto ni la pro-
posicin falsa. p, ni la proposicin ve:rdadera q es inmanente a. la estructura
judicativa hipottica "si p entonces q" , ni tampoco es inmanente a la es-
tructura judicativa probl emtica "o no - p o q". Slo de 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 apunta-
das, 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 false, likewise if q is t Du,e , and
is to be fa.lsehood if p is true and q is false").
i5 Reflexion en Kants zur kri tischen Philosophie. II Reflexionen ;ur
Kritik der reinen Vernunft, p g. 299, editadas por Benno Erdmann, Leipzig
1884. .. _ ,
16 Opus Postumum, n: pgs. 544-546. XII Convolut. 1 Bogen Seite, 1-4,
Artur Buchenav, Berln, 1938.
32 I Carlos Astrada
una variable define un tipo, el cual es, a su vez, definido 'por la
funcin proposicional f (x) y al axioma del cr,cul o 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, enlazn-
dose con la jerarqua de los tipos, permit e la eliminacin de las
contradicciones a que llevan los conjuntos y la sedicente paradoja
de la teora de las cl ases. Es decir, que una funcin proposicional no
puede tener como argumento a s mi sma o a algo de ell a deducido.
Por lo menos 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 elementos, del mi smo tipo, evitando as! la paradoja de
la t eor a de las cl ases.
Hemos puesto de manifiesto el error en que incurre B. RusselI,
al confundir deduccin filosfica con deduccin matemtica, y las
consecuencias que aqut trae apareadas. Por lo dems esb muy le-
jos de estar decidido, como l y los logsticos piensan, si los juicios
matemticos son anal'ticos, como sosti ene Leibniz, o sintticos a
priori como ensea Kant. Acerca de la afirmacin de ' Kant de que
las proposiciones aritmticas son sintticas a ' priori mucho se ha dis-
cutido por parte de los filsofos y ms por los matemticos. Ya al
ao de la ' publicacin de la "Crti ca de la razn pura" surgi la
primera impugnacin de dicha tesis, hecha directamente a Kant por
J oh ann Schultz. Mucho despus el gran matemtico Gottlob Frege,
quien introdujo por primera vez la funcin proposicional ampli an-
do 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 aritmti cas no son sintticas a pTiori, sino analti cas.
Louis Couturat fue el ltimo matemtico destacado y, tambin 10g;,-
ti co, que reproch a Kant haber sostenido sin fundamento que los
juicios matemti cos, y concretamente el juicio aritmtico, son sint-
ticos a jhiD'ri.
, Despus de aducir la respuesta de Kant a Schultz, como la ar-
gumentacin ms esclarecedora y precisa que ste haya aportado
para rebatir' por anticipado las crti cas que se puedan formul ar a su
asercin, sintetizaremos, enfocndolos crticamente, los argumentos
de Frege y Couturat.
En carta a Schultz, de fecha: 25 de noviembre de 1788, y con
referencia a las obj eciones de ste y a la obra que le anunci a (Pr-
,fung der KantiSlchen KrVtik) , Kant le dice : "La aritmtica general
(Algebra) es una ciencia de tal modo ampliatoria. que no se puede
mencionar ninguna de las ciencias racionales que a ella en esto igua-
le, hasta el extremo que las partes restantes de la pura mathesis
esperan en gran medida su crecimiento' de la ampliacin de aquella
teora general de las magnitudes. Si sta consisties'e de meros 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: C-
mo es posible la ampliacin del conocimiento mediante 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, para el cual el uno es tomado en cuenta como el com-
plemen1tu-m ad tot um del otro, el resultado acaece mediante la ac-
cin 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
t ambin obj etivamente; pero subj etivamente el ,+ designa una es-
pecie de sntesis, la de hall ar de dos nmeros dados un tercero" ...
"Supuesto ahora que fuese un juicio analtico, tendra precisamente
que pensar lo mismo de 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 par-
cial en el concepto del suj eto, y slo la defini cin exige que ambos
conceptos sean recprocos. Y Kant agrega, con gran precisin y cla-
ridad: "Solamente en un juicio aritmtico, a saber, en una ecuacin,
tienen que ser ambos conceptos 3 '+ 4 Y 7 enteramente conceptus
reciproci y objetivamente ser idnticos totalit er. En la tarea de resu-
mir por el concepto 3 y 4 en un nmero, el nmero 7 entonces no
tiene que haber surgi do por anlisis de tal concepto, sino mediante
construccin sinttica, la que representa el concepto de la composi-
cin de los dos nmeros en una intuicin a priori, a saber, en una
nica enumeracin" 18 . .. ! ,
),7 Briefe, 1. pp. 369 y 370; Kants Wel'ke, Bd. 9, ed. Cassi rcr.
18 Op. cit., p. 37 1.
34 I Carlos Astrada
Esta discriminacin kantiana, t an slidamente fundamentada,
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 ecuacin, en la que
el nexo entre sujeto y predicado queda excluido, disuelto. De 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 ms conforme con el carcter de
dic,ha proposicin) o, por 1ltimo, que el suj eto del es la rela-
cin 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 mejor, la identidad, De este modo el juicio queda des-
cpmpuesto analticamente, como es evidente, 'pues se parte, en reali-
dad, como se desprende de lo ya ;ealado por Kant, en Jo prece-
dentemente citado, de 12, y se lo descompone en 7 + 5. Pl,lcli C' nno
serlo .tambin en 8 + 4 en 9 :+ 3, que de acuerdo al procedi-
miento 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 hasta proscribe,
en lo que l llama nexo. entre "relaciones lgicas" , la relacin entr.e
suj eto y predicado. Ell o puede, quiz, estar justificado cuando slo
&,C opera ecuaoiones sobre la base 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 ecua-
ciones son no todas las proposiciones son ecuaciones.
Haber incurrido, precisamente, en esta ltima identificacin fue uno
de los errores de la lgica .algebraica de Schrader, que desconoce 10
genuinamente lgi co, y contra la cual con toda razn, aunque para-
dojalmente, polemiz Frege. Si esta lgica, considerada en su con-
junto fue un aporte de significacin para la logstica en cierto.s
aspectos, devino despus por obra de su superflua y artificiosa com-
plejizacin y detallismo un modus operandi mecnico y en el vaco.
Por lo dems, con su teora de las "relaciones lgicas" y la no con-
fesada primaca d,e las de tipo ecuacional, Frege no llega, como se
propuso, . a la regin de lo puramente lgico, si.n9 q.ue 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 all de su mera
expresin verbal. No otro alcance' tuvo su propsito de quebrar el
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 ms 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 matemti cos se seguan del principio de con-
tradiccin (el cual es requerido por la naturaleza de toda certeza
apodctica) se estaba persuadido de que tambin los principios se
reconocan en virtud del mismo; en lo que se equi vocaban, 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 sintti ca, de -la que pueda re-
sultar la contradiccin" 19. Es decir, y esto lo vio bien Kant,el prin-
cipio de contradiccin no rige para una proposicin sinttica en su
contenido intraproposicional, sino que su validez se refi ere 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 del concepto de una
suma de siete y cinco conforme al principio de contradiccin, pero,
si esto se consider,a de ms cerca, se ve 'ql:le el concepto de suma
de 7 y 5 no contiene nada ms 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 pensado porque yo piense simple-
mente aquel la unin de siete y cinco". .. "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, inapro-
piado sin duda y que ha dado lugar a mal ent endidos, el de los
cinco dedos de la mano; pero su afirmacin de que la proposicin
aritmtica .es sinttica a priori no ha sido invalidada, con funda-
mento serio, hasta ahora. Lo intent, como ya apunt amos, 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, Einleitung, V, p. 42, Kants Werke, Bd. 3,
ed. Cassirer.
20 Op. cit" p. 43.
36 I Carlos Astrada
en que se public y aun con post erioridad- ensayo L a Philoso'phie
des mathmatiques de Kant, "Revue de Mtaphysique et de Mora-
le", 1904, nmero dedicado a Kant en el centenario de su muerte,
como asimismo en su obra Principes des Mat hmatiques). Explica
Couturat: "Como no prueba su tesis ms que por ejemplos, estamos
obligados a discutir sus pmpios 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 un solo nmero, contiene
este nmero mismo, atento a que ste est determinado por eso de
una manera unvoca ; entre 7 + 5 y 12 hay no solamente igualdad,
sino ide11Jtida,d absolwta. Esta proposicin resulta, por una part e, del
principio de identidad, por la otra, de la defini cin de la suma y
de los nmeros 7 y 5, y por consiguiente ella es analtica. No es
necesario recurrir a ninguna intuicin, sea aquella de los dedos de
la mano, de t antos o guij arros, para demostrar con todo rigor esta
proposicin" 211. Y Couturat, para abonar su tesis del carcter ana-
ltico de la proposicin del ejemplo kantiano, nos ofrece la siguiente
demostracin, que transcribimos ntegra : "Definiciones (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,
7 1= 6 + 1, 8 = 7 + 1, 9,= 8 + 1, 10 1= 9 + 1, 11 = 10 ,+ 1,
12 = 11 1+ 1.
En virtud de la definicin de la suma, se tiene: a '+ (b + 1)
= (a i+ b) -+- 1. Por consiguiente:
7 "+ 5 = 7 + (4 1+ 1) ,- (7 + 4) + 1.
7 ,+ 4 = 7 .+ (3 + 1) (7 :+ 3) :+ lo
7 1+ 3 ,=, 7 + (2 1+ 1) = (7 \+ 2) + 1.
7 + 2 = 7 + (1 :+ 1) (7 + 1) + lo
Como: 7 "+ 1 = 8.
Luego: 7 + 2 '= (7, 1+ 1) + 1 8+ 1 = 9.
7 + 3 = (7, + 2) + 1 = 9 + 1 = 10.
7 -I- 4 1= (7 + 3) + 1 = 10 + 1 = 11.
7,: + 5 1= (7 + 4) + 1 = 11 + 1 = , 12.
Se notar que constantemente hemos procedido por sustitucin
21 La Philosophie des A1athmatiques de Kant" p. 338-339, Revue de
Met . et de Mor., ,1904.
de trminos iguales, es decir idnticos, de modo que nuestra demos-
tracin es ms simple y ms analtica que ningn silogismo" 2.2.
Desde el punto de vista matemti co es, sin duda, una demostracin
perfectamente correcta; pero, no obstante, se la ha discutido y aun
clarificado, oponindosele ms de una demostracin en contrario,
y sin modificar nada sustancial en la presentada por Couturat, que
paradojalmente resulta que ste, sin sospecharlo, viene a coincidir
con lo sostenido por Kant sobre el carcter de la proposicin aritm-
tica, habiendo surgido su disidencia por incomprensin de la tesis
kantiana. Para cerciorarnos de ello, aducimos a modo de ejemplo
la contra-demostracin consignada por Roger Daval en su libro
sobre la metaf.sica de Kant segn la teora del esquematismo. Es-
cribe Daval: "Si Kant volviese, le ser'a fcil dar a Couturat una
respuesta chistosa. Le bas tara con escribir de este modo la prece-
dente serie de identidades : (designando Sx: el nmero que sigue x) :
A:
7 '+ 5 = 7,+ S4 = S (7 + 4..)
7 + 4 = 7 + S3 = S ( 7 + 3)
7 + 3 = 7 + S2 = S ( 7 + 2)
7 +- 2 = 7 + SI = S ( 7 + 1)
7 + 1 = S7
y luego, utilizando sucesivamente las defini ciones de los nmeros
S7=8, S8 = 9, S9= 1O, SlO= 11, S11= 12, escribir remontando la
serie:
7 + 1 = S7 = 8
7 + 2 = S ( 7 + 1) = S8 = 9
7 + 3 = S (7 + 2) = S9 = 10
7 ,+ 4 = S (7 + 3) = SlO = 11
7 + 5 = S (7'+ 4) = S11 = 12
Bien que no se haga otra cosa que susti tuir unas expresiones
iguales a las otras, la primera etapa A ha 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 respon-
de exactamente al procedimiento de construccin preconizado por
'2i2 La, Philoso!Jhie des M at hmatiques de Kant, p. 399 (nota 1), Revue
de Met. et de Mor., 1904. __ ' . __ , ____ ,_,
38 I Carlos Astrada
Kant. . . " (contar con los cinco dedos de la mano) .. . " Qu dife-
rencia haremos entre contar con los cinco dedos y alinear cinco S
sobre el papel ? Se dir que la escritura importa poco, que el arit-
mtico piensa abstractamente sus cinco S? La objecin no tendr a
el menor valor, ya que ell a rehabilitara a Kant al mismo ttulo que
a Couturat" 23.
Couturat, al hacer hincapi injustificado en la inadecuada indi-
cacin de Kant de apelar a los cinco dedos de la mano para inte-
grar en un nico nmero, 12, la suma de cinco unidades agregadas
al 7, afirma, interpretando errneamente lo que Kant llama necesi-
da;d dc recurrir a la intuicin: " Se trata de afirmac.iones gratuitas,
que no estaran justificadas ms que en una concepcin groseramente
empirista de la Aritmtica" '21. Daval aclara y destaca el error que
supone esta afirmacin: "Couturat parece no haber comprendido
nada o por lo menos no habcr tenido en cuenta la intuicin pura.
Es en la intuicin pura, y no en la intuicin emprica que tiene lugar
el despliegue del nmero 5; esta ltima no es ms que un revesti -
miento intil de la primera, y no es buena ms que a fin de ilustrar un
procedimiento para pensar demasiado difcil de captar para un nio
o un lector mal habituado a la abstraccin. La demostracin dada
por Cou'turat es sin duda, en un sentido, analtica, si se decide ll amar
analtica a una demostracin que no utiliza ms que ]a relacin de
identidad. Pero eso no impide que la demostracin utili ce un proce-
dimiento de despliegue que puede quedar como un puro procedi-
miento mental o realizarse concretamente; en este sentido ell a es
sinttica. Kant no ha querido decir otra cosa" 25.
Hace ya ms de cincuenta aos, H. Poincar, al hacer la crtica
de las nuevas concepciones de las matemticas, representadas por
Cantor, Hilbert, Peana, Russell y Couturat, como tambin de la
logsti ca y de los aportes a sta, de los cuatro ltimos, seal despus
de una penetrante valoracin crtica de las tentativas de Russell ,
Peano y Couturat por invalidar la t esis kantiana acerca del carcter
sinttico a priori de los juicios aritmticos, que las mismas haban
fracasado. A este respecto, sintetizando, Poincar escribe: "En estos
ltimos aos, numerosos trabajos han sido publicados sobre las mate-
mticas puras y la fil osof a de las matemticas, con vistas a despejar
y aislar los elementos lgicos del razonamiento matemtico" . .. "Para
23 La Mt aphysique de Kant, pp. 133-1 34. Pars 195 1.
~ 4 La Philisophie des Mathmatiques de Kant, p. 33B, ed. cit.
25 La Mtaphysique de Kant, pp. 134-135.
Dialctzca y positivismo lgico I 39
el seor Couturat, los trabajos nuevos, y en particular aquellos de los
seores Russell y Peana han zanjado definitivamente el debate pen-
diente, desde tan largo tiempo, entre Lei bniz y Kant" ... " Pode-
mos suscribir esta condenacin definitiva? Yo no lo creo y voy a
ensayar de mostrar por qu" ... 126 . Y viene aqu su preciso y cono-
cido anlisis crtico de di chas teoras. Resumiendo su crtica a Russo'
y Hilbert, afirma Porncar : " ... Decir que ellos han zanjado defini-
tivamente el debate entre Kant y Leibniz y arruinado la teora kan-
tiana de las matemti cas, es evi dentemente inexac,to. No s si ellos
realmente han credo haberlo he ho, pero si lo han credo, ellos se
han engaado" 21.
Russell, ll evado 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 ll egamos a rechazar ambas filo-
sofas" 2.8. Tal repulsa de Kant, como se ha visto, fue el r esultado de
una inmatura "precocidad". La identificacin de matemtica y lgica
es tpica de la postur a de B. Russell, y s ell a la que lo lleva errnea-
mente a subestimar a Kant. Nos dice: "El objeto primario de Prin-
cipia Mathematica fue mostrar que toda la matemtica pura se sigue
de premis.as puramente lgicas y que emplea solamente conceptos
definibles por medio de trmi nos lgicos. Esta era, desde luego, una
anttesis de las doctrinas de Kant e inicialmente, yo estim el traba jo
como un parntesis en la r efutacin de "aquel sofsti co filisteo", segn
lo describi Cantor" 20 . Dando por supuesto - lo que ya es conceder
demasia00- que Kant, 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 Cantor o el
mismo Russell, con su insularidad filosfi ca. Lo cierto es que Georg
Cantor con su paradoj a o sofisma del infinito como una magnitud
constante y fij a, y ms all de todas 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), ms concretamente la exis-
tencia eterna de J ehov. El sofisma de Cantor resulta de su' afir-
26 Science et Mthode, pp. 155-156, ed. cit.
21 Opo cit., p. 191.
~ 8 La Evoluci6n de mi Pensamiento Filos6fico, pg. 10, trad. cast.,
Aguilar 1960.
2 0 Op. cit., pg. 74.
401 Carlos Astrada
macin de que hay un mero cambio de grafa entre la serie de los
nmeros y sus cuadrados respectivos, cuando, en realidad, se trata
de un' cambio de defini cin, y de ah si sustitumos 5'2 por 25, y as
sucesivamente d esaparece el orden natural que haca posible asimilar
ambas series. Pero, dej ando de lado tal sofisma, 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 "esquematismo de los conceptos puros del enten-
dimiento", o d de la " deduccin de los conceptos puros del entendi-
miento", o el "del principio supremo de todos 10s juicios sintticos")
la totalidlid de Principia Mathematica (con sus tres tomos), en el
,aspecto filosfi co, desde luego.
5) LA CRTICA DE LA LOGSTICA EN LA FII.JOS'FA CONTEMPoRNEA
Algunos ' de los filsofos contemporneos han hecha certeras obje-
ciones crticas sobre el carcter y alcance de la logstica. Entre ellos,
el que podemos llamar el penltimo Heidegger, pues el actual,
despus de intrincadas cavilaciones, se ha plegado cada vez ms, si
no al clculo logsti co, a un "pensar" "primario", que, hacia atrs,
ancla en l a ~ etimologas y en la penumbra de lo irracional, y hacia
adelante se mueve en el vaco de la ilusoria prospeccin; pensar
. cuya refl exin, ,segn Heidegger, se detendra a mitad de camino si
l se atuviese, por ,ejemplo, a estimular .el empleo pacfico de la
' energa atmica -x'. En Was ist Me.tap'hysik? y Was heisst Denken?
se ha pronunciado contra la logstica. Considera a sta como un pro-
duclo bastardo de la "Lgica", a la que pone entre comillada para
indicar que ell a "es slo un exgesis de la esencia del pensar" confor-
me a "la experiencia del ser obtenida en el pensar griego". Enfren-
tndose, pues, con la logstica, en el primero de ambos trabajos (4'
Ed. Nachwor,t, 1943), nos dice: "Todo calcular hace surgir lo com-
putable en lo computado, para ampliarl o 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 de su ser. El calcular emplea
anticipadamente toda cosa (Se.iende) como lo contable y utiliza lo
computado par a el recuento. Este empleo de las cosas (del ente),
* Vase nuestro Ebro, La Doble Faz de la Dialctica, Cap. X, 2, Edi-
torial Devenir, Buenos Aires.
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, anticipada-
mente, y no en sus resultados posteriores, slo da 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 mencionadas, reiterando la misma
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 ll ama logstica. Ella es la ms espe-
cializada de las ciencias especiales. La logstica es considerada en
muchas partes, 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 cons-
truccin del mundo tcnico. De 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 psico-
loga moderna, el psicoanlisis y la sociologa, el trust de la filosofa
venidera es perfecto. Sin embargo, esta alianza para el cerco o blo-
queo no es, de ningn modo el resultado ,del poder de los hombres.
Ms 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 (nti-
co) como la tcnica y hasta 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 meta d efinible
no es aprovechable, como supone Heidegger, para las creaciones de
la tcnica. La utilidad de la logstica, en la construccin de este nuevo
reino del ser que constituyen las mquinas, est en otro plano ms ex-
terno y accesorio. Ciertamente, merced al desarroll o de la ciberntica
y al nuevO' mtodo de calcular aportado por ella, el que implica un
enorme ahorro de .trabajo humano, ha surgido una rama muy impor-
tante de la matemtica, que es la matemti ca de las mquinas. Pero,
30 Was st Metaphysik?, pg. 43-44, 5 Aut , 1949.
31 Was heisst Denken?, pg. 10, Tbingen, 1954.
42 I Carlos Astmd'a
hasta ahora no hay una log'stica de las mquinas. Como es sabido,
los contactos a relay son los circuitos que se emplean no slo en las
mquinas de calcular, sino tambin en los artefactos automticos de
direccin. Como un circuito de esta cl ase tiene la posicin de cerrado
o abierto, y no hay para l otra posibilidad, r esponde, por semejanza,
al prinr:: ipio de la lgica formal del terceTC} excludo, cuyo alcance
condi ciona la correccin de un enunciado. Pero, aparte de esto, cabe
sealar un paralelismo analgico entre los circuitos a relay (sea en los
art efactos automticos de direccin o de calcular) y' las "conectivas"
de la lgi ca sentencial (las que po-r fin han dej ado de funcionar en
la campana pneumtica del formalismo y pasan a prestar un servi cio
auxiliar, connotativo en la cibernti ca): " ,-.J" (= no) , " ." (= y) ,
"v" (= o) , etc. El primer signo, o sea " ,-.J", denota en el relay que
el c:ircuito puede estay cerrado o abierto, y por tanto, el paso de cir-
cuito cerrado a .abierto, o a la inversa; el signo " ." o "y" denota que
si el circuito general consta de dos circuitos parciales en serie, aqul
estar cerrado ni camente si los ltimos quedasen cerrados; en el ca-
so en que el circuito general est formado por dos circu.itos paralelos,
el signo "v" denota que el primero (el general) quedar cerrado en
el caso en que uno u otro de los dos ltimos est cerrado *. En el
caso de un general constitudo por dos circuito's en serie,
cabe sea lar que el signo no es una "conectiva" singular, sino bina-
ria (;H') . La correlacin connotativa de las tres "conectivas" o signos
sent'eneiales con la situacin de los ircuitos verifi ca la apli cacin de
rrue son susceptibles lOs principios el e la lgica algebraica bisimblica
de L. Boole. Ello pon de manifi esto la correspondencia esquemtica
entre los crcuitos a relay y el razonami nto lgico y sus operaciones
con sus signos connotativos. Esta correlacin fue mostrada hace ms
.. Para ' la ejemplificacin de estos casos y sus correspondientes fr-
mulas, vase E. Kolman - J. P. Frolov, "La Ciberntica y el Cerebro hu-
5 1-.'1 3, :rvr"r>t Pvideo. 1'958 .
. *". A propsito' del sistema de numeracin binad a como lenguaje lgico
y In r1 f! una mquir> a J.goirq. Pierr p de La ti! escribe : " ... Basta ad-
mitir que 1 significa s y que O signifi ca no, para comprender, de pronto que
el s.istema bi nario pued e asimismo traducir mat emticamente los r azonamien-
tos lgicos . . De esta su erte, las mquina.s de calcular el ectrni cas de hoy po-
drn convertirse maana. s.implifi cadas antes qu e complicadas, en mquinas
de r azonar, en mquinas lgicas ... Aqu ell o que slo par ece teora matemti-
ca, por la dems. nunca intil , es en realidad el propio lenguaje de la 16-
gi ca, procede de la na turaleza .profunda de las cosas, y .neva a cabo el clcu-
lo en su ms elemental desnudez". "El Pensamiento Artifi cial. Introduccin
a la Ciberntica", pg. 261-262, trad. 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) .
Adems, retomando las citadas palabras de Heidegger, en su l-
tima parte, cabe formular a sus afirmaciones otro reparo. l aproxi-
ma la logstica no slo a la psi ologa (considera, sin duda, a sta en
su orientacin gestaltis ta y en la ltima tendencia del behaviorismo
que se desarrolla en connivencia con los supuestos del positivismo
lgi co) ' . sino tambin a la sociologa. Se refiere a la tendencia hacia
la "formalizacin" de estas disciplinas, lo que slo vale para los
pases anglosajones y algn sector del pensami ento europeo continen-
t al. El primer ensayo de envergadura para dar a la sociologa un
carcter formal-analtico y, a la vez, emprico, med'iante la radi ca l
formalizacin de sus contenidos, fue 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 teri co del poder prctico
que han alcanzado en el' siglo XIX las masas frente a los intereses
individuales". Cabe, de paso, hacer notar que frente a esta sociologa
formal, y a su ulterior y acentuado giro superestructurali sta, tiene
mucho ms influj o y vi genci a en el mundo contemporneo la socio-
loga material di alctica, ceida a los mutabl es contenidos de la
experi encia social-histrica.
Slo el punto de partida es emprico, el que despus, en el pro-
ceso de sistematizacin, no es tenido ms en cuenta, pues van a deve-
nir obj eto exclusivo de la sociologa las meras 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 formas puras, tiende a lo sistemtico, es decir, a abarcar en un
todo global a tal es formas. Simmel define, en consecuencia, la socio-
loga como un mtodo sui generis que tiene que hacer por entero
abstraccin de todos 10s cont enidos sociales; considera conl0 forma
sociolgica bsica la accin rec proca nter-humana, la que se diver-
sifica en diferentes especies. Estas ltimas son las que forman las
correspondientes es tructuras sociales o ms exactamente de sociali-
zacin. 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, quedan fuera del
enfoque sociolgico. Ellos, aunque forman parte del acaecer real,
no pueden ser objeto de la sociologa.
Otra concepcin de la sociologa que tambin prescinde de la
44 ICarios Astrada
base infraestructural de la sociedad, para limitarse a una teora de
las relaciones inter-humanas ( zwischenmenschlichen Beziehungen),
es la de Leopold von Wiese, fuertemente influido por Simmel; teora
expuesta en su Allgemeine SoziO'logie, 1933, y reiterada en trabajos
posteriores. Para von Wiese la sociologa, a la que cO'nsidera una
ciencia particular, tiene por obj etO' lo social, o sea -en su concepto-
el acaecer inter-humano. Lo soc,ial es, de acuerdo' a su definicin, la
totalidad de los procesos observados. En este enunciado estn im-
plcitas dos tesis principales, de las cuales la primera en orden de
importancia es de que "hay una esfera social de la vida humana" (!) ;
de que "existe al lado de lO's cuerpos, y almas de los hombres indivi-
duales una red insustancial de relaciones entre ellos, r elaciones d e
las que surge: toda cultura" 82. La segunda t esis es la de que "esta
esfera no ha sido hasta ahora suficientemente estudiada, aislada-
mente de los otros dominios de la vida" ~ 3 . La sociologa como q;pe-
cialidad cientfica slo. puede 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 mismos" <114 . Aunque esta doctrina
de las relaciones difier e de .Ja doctrina de la cultura o sociologa de
la cultura, ell a 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. De ah que von Wiese
afirma: "Los actos de unin y de separ.acin, las aproximaciones y
alejamientos son los procesos en ,los cuales se desarrolla la total exis-
tencia inter-humana" 315 .
La tendencia hacia la formalizacin ha tomado diferentes direc-
ciones aunque afines en cuanto a su finalidad, 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, .acaece-
res, interacciones y secuencias d e acaeceres; el anlisis de interacciones
de R. F. Boles, con el fin de obtener "perfiles", secuencias, "matrices"
as como fases de los procesos de interaccin para medir las "regula-
ridades de: las r elaciones". Se trata, como vemos, de vaciar la socio-
lqga de todo contenido. En presencia de tales intentos fallidos de
formalizacin, con r azn ha podido afirmar G, Lukacs que la socio-
loga como disciplina universitaria se ha propuesto "separar cuidado-
samente los fenmenos sociales de sus bases econmicas, remitir el
3'2 Y 3,3 Soziologie - Geschichte 1!nd fJlauptprobleme, p. 15, Berln, 1950.
34 Op. cit., p. 16.
35 Op. cit " p, 137. I i ~ ~
Dialctica y positi vismo lgico I 45
estudio de los fenmenos econmicos a otra disciplina estrictamente
disociada de la primera" 3;6. De ah que los representantes de esa
sociologa privada de su sustrato econmico - destaca Lukacs- "al
tratar las determinaciones de la sociedad capitalista como categoras
"eternas" de toda sociedad, al "deseconomizar" la sociologa ellos la
"deshitorializan" al mismo tiempo" 3 7 ,
y con rela:ein a lo formal y, en mayor medida, a lo "formaliza-
do", hay que sealar el equvoco, originado en la lgica matemtica,
de la palabra f 01'mal. Nadie desconoce que las r elaciones matemticas
son formal es cuando se l as contrasta con las relaciones materiales de
hechos. Pero aqullas, as como las supuest as relaciones "lgicas" de
la logstica y de l a lgica matematizante, son un contenido del pensar;
y este contenido frente al procedimi ento del pensar mismo puede
justificadamente ser ll amado formal. Esto tiene pleno sentido, pero
no el escamoteo de lo formal como contenido d el pensar. La identifi-
caci'n de relaciones lgicas con relaciones matemticas o con las
que establece la logstica .. , proviene del error de dar por sentado que
pensar matemtico y pensar lgico son meras especies de un pensar
puramente formal. La fa lta de discriminacin entre ambos radica
en que la lgica matematizante ignora el carcter filosfico-analtico
36 La Destruction de la R aison, t . I, Preface, p. 29, trad. franco Pars,
1958.
8 7 Op. cit., p. 29.
* Con respecto a esta cuestin acertadamente expresa B. v. Freytag
Uiringhoff: "La logstica es, pues, matemtica. Pero, es ella pura lgica? Son
ambas p ero, en t odo caso, no totalmente. Si son idnticas parcial-
mente, entonces la l gica es el gnero, y la logstica es la esp ecie. Esto se
manifiesta ya en sus pretensiones: La logstica pretende ser lgica; la lgica
no pretende ser logstica" (Log;ik, ihr System und ihr Verhiiltnis zur Logistik,
p. 194, ed. cit.) . Seala B. v. Freytag que la logstica hace mal uso de los
ms importantes tnninos' lgicos y agrega: "Las .p alabras han quedado, pe-
ro con la significacin modificada: identidad, conjuncin, disyuncin impli-
cacin, concepto, enunciado, tautologa, contradiccin, etc. Esto tena que ser
as porque el viejo sentido Jgico d e estos trminos no puede ser expresado
en los clculos" (Op. cit., .1 94 ) . El autor, a l final de su obra, formula
quince certeras t esis sobre la r elacin de la lgica con la logstica, de las cua-
les destacamos siguientes : "Un clculo lgico es un caso ;particular de
matemtica aplicada ; de ma temtica aplkada a la lgica" (Op. cit., p. 200).
"Es' hasta cuestionabl e si la logstica es superior a la lgica en problemas pro-
piamente lgicos . . .... . " . "Los resultados de l a logst ica pueden incontesta-
blemente situarse en el crculo de t ar eas de la fundamentacin de la mate-
mtica. A ell a se la debe ll amar ' matematstica' y, con esto, expresar que ella
es una ciencia auxiliar especial, ajustada para el empleo en este dominio".
(Op. cit., p. 201).
46 I Carlos Astrada
de la lgica. Respecto a la eSClSlon indiscrimi nada entre materia y
forma por parte del positivismo lgico, J ohn Dewey escribe, en su
"Lgica": " ... El posi tivismo lgico en sus formulaciones habitua-
les se r esiente de tal maneTa d e la influencia de aquel formalismo
lgico, que deriva del anlisis de las teoras matemti cas, hasta el
extremo de empearse en una distincin sutilsima entre materia y
forma bajo el membrete de "significado de las palabras" y de "rela-
ciones sintc.ticas". Desde luego que no hay duda que la teor'a lgica
debe distinguir entre forma y materi a. Pero la necesidad de la dis-
tincin no decide si ellas son o no son la una de la
otra: si, PQr ejemplo, e].]as no estn intrnsecamente ligadas entre s
en la efectiva materia lgica, si endo di stinguibles solamente en el
anlisis terico. Mientr.as las proposiciones y el lenguaj e inducen a
operar una distinc.in entre las si gnificaciones de las palabras que
cons,tituyen el vocabulario de aqul y las relaciones y el ordenamiento
sintctico, es .claro q'ue este h echo de por s no hace otra cosa que
replantear .de otro modo el mismo viejo problema fundamental de la
relacin, o esencia de relacin, en tre materia y forma, o entre signifi-
caciones y sintaxis. Una presuposicin tci ta o expl'cita que la dis-
tincin sea prueba de la independencia de materia y forma, con
conexa identificacin en esta ltima del hecho propiamente lgico,
no es otra cosa que una peticin de principio, dmlose por convenido
el punto que est propiamente en discusin" 38 .
La confusin . constante e injustificada de estructuras lgicas y
formas matemti cas es visible en la logsti ca y su modus operan di.
Cuando Frege -que posea una muy aguda peroepcin para los pro-
blemas de .]a lgica- cree ventajoso que las matemticas puedan
reducirse a la lgica, lo que en verdad l comenz por hacer, y con
ello cd,io a Russell una .idea que lo llev hasta las ms errneas conse-
cuencias, fue redu6r la ltima a las primeras, desconocer el carcter
ana1ltico-filosfico de la lgi ca, toman,do el trmite de la deduccin
matemtica por "de,uccin 'lgica", con los resultados que ya .hemos
puesto de manifiesto *. De ah que W. C. Kneale, acudiendo caute-
losamente al eufemismo, haya podido sealar Giue en muchos est
justificada la inclinacin "a creer que la influencia de la filosofa
38 Logica, teor a dell'indaogine trad. ital. , pg. 380-381, Einaudi Editare,
1949.
* Para la critica de la concepcin d e Frege, remitimos a la obra ya
cita;<;la de P. Natorp, Die IOIJ ischen Grundlagen Wiuenschaften._
pgs. 3 y sgs. y 112 y sgs., ed. cit.
Dia[.ctica y positivismo lgico I 47
matemtica sobre la filosof a general ha sido desgraciada -aunque
creo que estarn de acucrdo en que por lo menos ha pr.oducido algu-
nas novedades interesantes" 3 9. La causa de lo primero reside, en
parte, tal como lo seala Hermann Weyl -al comienzo de su "Intro-
duccin a la Filosofa de la Matemtica"- en que se tendra que
conocer la matemti ca para filosofar sobre ell a, pero que para el ma-
temtico el camino hacia la fil osofa es muy dificultoso. Lo que im-
plcitamente quiere significar que cuando 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 matemtica 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 ex-
crecencias 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 ms enrgicamente que Ernesto Bloch, quien nos
dice con respecto a aqul, que "no nos ensea sino A = A, Y no pasa
I de ah"; "es el arte de no pensar jams dialcticamente, de no apren-
der a fi losofar. Para ello convierte en lgica lo que no es ms que
logstica, es decir, un recurso auxi li ar abreviado de la exactitud lgico-
formal , y eleva a verdad de ltima instancia la simple certeza revelada
por los sentidos (de la que Hegel arranca en su anlisis) ... Esta ac-
39 La Revolucin en Filosofa" pg. 40, trad. cast., Madrid, 1958.
* Nuestras objeciones criticas se refieren a esa hybris que' es la mezcla
de matemti ca y lgica, que ha cristalizado en la lgica simblica. Est, pues,
muy lejos d e nuestro propsito d esconocer la eLevada y singular alcurnia de
la matemtica, como ci encia. Desde Thales hasta Platn y Aristteles, pasan-
do por los pitagri cos y desde Nicols de Cusa (con su coincidentia opposito-
Tum, matemticamente ej emplificada), has ta Spinoza, pasando por Descartes
y Leibniz que fueron fil sofos y matemticos, la matemtica ha tenido un
papel fundament al - medular, dir amos - en muchos sistemas filosfi cos.
Incluso Kant, sin ser matemtico, da a ella un lugar destacado cuando cs-
tablece los requisitos de l o que l consi dera conocimi ento a priori. Tampoco
olvidamos que en la ms r eciente ontologa alemana, en las formulaciones ~ i s
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 ~ u s
aspectos parciales, juega un papeL principal. As, en el primero, en su teora
de 105 categorialmente diferentes estratos o capas (Sc hicht en) que intervie-
nen en l a "edificacin del mundo" ( Der Aufvau ele r realen WeLt), las for-
mas y productos matemticos tienen parte medular,
.0 Gedanken zur Philosophie der M at hematik, pg, 11, Neuwied, 1948.
48 I Carlos Astrada
titud . .. rechaza d esdeosamente, como carente de sentido ( mean-
ingless) todo concepto que pretenda ser algo ms que formalmente
exacto, que aspire a ser materialmente verdadero. La necesidad de
tranquilizar la conciencia y de darse aires de una especial cienti-
flicidad hace que qui enes as se sitan ante los problemas los enfo-
quen con perspectivas de r.anas, atribuyendo a esta manera de ver el
nombre de "positivismo". Esta actitud hace estragos principalmente
en pa'ses como Austri a, Polonia, recientemente tambin en los Es-
tados Unidos, es decir, en pases sin tradi cin filosfi ca propia ... " 4'1.
4'1 El Pensamient o de Hegel (Die Selbsterkenntnis, Erliiuterungen zu
H g e r ~ , pgs. 82 y 80-81 , trad, cast., Mxico, 1949.
Captulo 11
6) SOLIPSISMO, SINTACTISMO y SEMANTISMO
Ante todo, deberros seal ar que la problemtica del Crculo de Viena,
enfocada en sus ms conocidos representantes, es una reiteracin
en otros moldes, con algunas variantes que habr qu consignar, de
la concepcin de Ernes,t o Mach con los a ditamentos aluvionales
(sintactismo, semantismo, empirismo) del machismo posterior.
Esta posicin se hace presente, en primer lugar, en R. Carnap,
en cuya obra Der logische Aufbau der Welt positivismo lgico y lo-
gstica se encuentran y ll egan a ser uno y lo mismo. Hay que estable-
cer previamente, para exponer sintticamente y en su conjunto su
teor'a, qu es lo que Carnap entiende por "construccin del mundo"
y por conocimiento de la realidad. Se propone llegar a una ordena-
cin objetiva que l ll ama sistema d e constitucin.
Para el adecuado ,enfoque y explicitacin de la "teora de la
constitucin" debemos seal ar que Carnap parte de ,la distincin
entre conceptos propios .e impropios. Los primeros son los conceptos
reales o sea conceptos de objetos 'reales. Es de hacer notar que Car-
nap, como lo consigna expresamente, no hace 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. Adems esta-
blece : "A cada concepto pertenece un objeto y slo uno" 42 .
Despus de los conceptos reales vienen los conceptos formales
&2 Del' logische Aufb au der Welt, pg, 5, 2, Auf. Hamburg, 1961
50 ICarIos Astrada
como "y", "o", "todos", "no", los cuales, aunque nos ayudan a
enunciar algo acerca de la realidad n'O designan nada real. Estos
se llaman conceptos "lgicos", a los que hay que agregar los con-
ceptos 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 const ancia, son slo definibles
por un sistema de axiomas. P'Or ello no tienen una significacin
fija y . s slo variable, y designan lugares vacos (Le'erstellen), los
que pueden ser sustituidos - como casos de aplicacin del sistema
de axiomas- por conceptos reales o conceptos formales. El
"sistema de constitucin" se funcionaliza con vistas al "conoci-
miento" mediante reduccin y anlisis; la realidad debe ser redu-
cida a lo dado, es deci r que los objetos tienen que constituirse por
lo dado. Se tratara, para Carnap, de un sistema unitario de re-
duccin el que slo necesi ta y emplea, fuer a de los signos logsticos,
un mnimo de conceptos raigales. Cada obj eto de la experiencia
----explica Carnap- puede definirse exactamente y transferirse tam-
bin exactitud, de sujet'O a sujeto por medio de una combina-
cin logstica de tales conceptos raigales. 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 sen-
tido de este punto de partida 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 Mach, 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 de
objetos. A stos hay que ordenarlos dentro del sistema, paar consti-
tuirlos 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 di sposicin 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 fun-
damental de las 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.
\ . \'."
el estrato de los obj etos psquicos extraos (f-r,emdpsychischen) , y
sobre ste, por ltimo, se levanta el estrato de los obj etos espirituales.
Ante todo, para aclarar cmo cierta cl ase de obj etos es reduc-
tible a otra y la posibiEdad rec proca de reduccin entre ellas, Car-
nap seala que los obj etos fsicos son reductibles a los psqui cos y a la
inversa. "Los enunciados sobre obj etos f sicos se pueden converti r
en enunciados sobre percepciones, por consigui ente sobre obj etos
psquicos. El enunciado de que un determinado cuerpo es rojo es
convertido, adems, en un muy complicado enunciado acaso acerca
del oontenido, de modo que bajo ciertas circunstancias aparece una
determinada sensacin del rgano visual ("rojo" ). . . Adems, a
cada propiedad del proceso psqui co corresponde unvocamente una
determinada propiedad (aunque de enteramente otra especie) de1
proceso cerebral . " De donde, cada enunciado sobre un obj eto ps-
qui co es traducible en un enunciado sobre un objeto fsico" H.
Para destacar la r elacin entre las cuatro clases ms importantes
de objetos, Caruap nos ofrece (en ScheinjJ1'obleme in dej' Philosophi
e
,
ensayo reimpreso y agregado a la 2" ed. de Der l ogische A ufbau deT
W dt) un esquema ".terico gnoseolgico" de los mismos de acuerdo
a un sistema de estratos, sguema que re.producimos a continuacin:
4 . Objetos espi ri tuales
3 . Obj etos ps quicos extraos
2. Obj etos fsicos
1. Obj etos psquicos propios
La forma que debe ser dada al sistema de "consti tucin" se Cl::-
racteriza en razn de que ell a no slo trata de poner la ordenacin
de los obj etos en relacin a su reductibilidad, sino tambin en rela-
cin con la primari edad cognitiva. Carnap nos dice Cj ue " un obj eto
se llama cognitivamente j;rimaro en relacin a otro, al cognitvamen-
te secund.ario, cuando el otro es conocido por la mediacin del pri-
mero y por lo. tanto su reconocimiento presupone el reconocimi ento
del primero" 4".
Se puede defini r con estrictez cientfica, segn Caruap, los obj e-
tos de un estrato o capa por medi o de los obj etos del estrato inme-
diatamente subyacente. As, un enunciado sobre lo psquico extrao
(por ejemplo, el estado de desesperacin o de clera de una persona ) ,
no es otra cosa estrictamente que un enunciado sobre objetos fsicos
H Op. cit. , pp. 77 y 78, 2. Auf. 1961.
46 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 percepciones pticas, la focalizacin
de nuestra atencin; y un enunciado sobre stas es un enunciado sobre
las vivencias elementales y amorfas. Como un conocimiento de lo
psquico extrao, o sea, de la conciencia ajena, no es posible sin la
mediacin de lo fsico (lo somtico, en caso del ejemplo) y como,
por otro lado, un conocimiento de los procesos psquicos ' propios, esto
es, de la propia conciencia, es posible sin el conocimiento de lo fsico,
resulta que los objetos psquicos propios son cognitivamente primarios
con relacin a los fsicos Y, en cambio los objetos psquicos extraos,
la conciencia ajena, son secundarios 4<6. Pero desde que la objetividad
psquica propia, si ha de poseer una est ructura (estructura, aqu, es
la totalidad o conjunto de l as propiedades formales de una relacin),
tiene que ser ;una obj etividad de rel acin, es necesario recurrir a los
elementos de los productos psquicos propios, elementos que, segn
Carnap, seran primarios, rela tivamente al conocimiento, para todo
lo otro.
La base, pues, del sistema de constitucin es la obj etividad de
lo psquico propio, o sea, el dominio de las vivencias individuales. De
la corriente de estas vivencias, explica Carnap, tiene que partir un
camino para "constituir 10 objetivo", el que h ay que r ecorrer cuando
se trata de ordenar los obj etos no slo lgicamente, sino tambin en
lo relativo a su conocimiento. Tal es la base sobre la cual Carnap
asienta su "construccin". Nos dice, en r azn de lo que ya hemos
expues to, que ",es elegida la forma de sistema con base psquica pm-
pia" H . Las vivenci as elementales SOl1, para Carnap, 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 l a refer encia .a ste no sera ninguna propiedad originaria de lo
dado- son los elementos fundamentales del sistema de constitucin.
Estos no son susceptibles de ser interiormente analizados, sino, a lo
ms que se puede ll egar es a un ,cuasi-anlisis de los mismos.
Aqu nos encontramos con la nocin de "elemento" apenas reto-
cado, tal como la definiera Ernesto Mach. Este la explica como
sigue (por lo citado puede verse,en lo fundamental, el entronque del
positivismo lgico en esta posici n) " .. . Aparecen poco a poco dife-
,al ' ,
16 Der logische Aufbau der Welt, pg. 79, 2. Auf. Hamburg, 1961.
47 Op. cit., pg. 8, Berln 1928; 2 ~ ed. Hamburg 1961.
(13 Op. cit., pg. 92, 2$ oo.
Dialctica y jJosit ivsmo lgico I 53
rentes complejos compuestos de partes integrantes comunes. De los
cuerpos se separa lo vi sible, audibl e 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 fundamentales, etc.
Los complejos se disgregan en elementos, es decir, en partes integran-
tes ltimas, las que hasta ahora no se podan descomponer ms ...
El hecho de que el f'sico no pueda perseguir las relaciones directas
de estos elementos, sino relaciones de relaciones de los mismos, eso no
debe mol estarnos . .. 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 elementos psquicos de
diferentes cl ases, de los que estn constitudas las vivencias, son pu-
ras abstracciones .)!. y que falta la base psquica propia, aqul, al pos-
tular la "neutralidad" d e la base del sistema, la que no es ni psquica
ni fsica, (ni ideal ni material L lo hace enteramente en el sentido
de Mach. y si, como lo sos tiene, recin cabe hablar de referencia al
yo cuando las vivencias de otra persona es tn ya constitudas por las
vivencias propias, es decir por "mis" vivencias, en este caso se intro-
duce una supuesta intersubj etividad, pero esto no lo salva a Carnap
de caer en el solipsismo (y no en uno puramente metodolgico, como
l supone) y de quedar recludo en l. Respecto al propsito perse-
guido por Carnap en la obra a cuyo contenido nos veni mos refiri endo,
A. J. Ayer, tambi n destacado representante del positivismo lgico,
reconoce su fracaso y que desemboca en un solipsismo r adical . .. "El
resultado fue construir t odos los juicios empricos como descriptivos
del estado actual o posible curso de la experiencia del sujeto. El punto
de vi sta, a partir del cual se escribi este libro, recibi el nombre de
solijJsismo empl eando la palabra "metodolgico", para
mostrar que el soli psismo no se deba tomar en serio. Pero aqu no
consigui realizar su intento. El caroter de solipsismo no se desva-
neci" 5'0. '
Si tenemos en cuenta la estratifi cacin de. las esferas de obj etos
y que. cada estrato, para ser definido exactamente, es referido a la
horizontal subyacente, se impone inquirir por qu el suj eto no perma-
49 Die AnalJlse cler Empfinclungen, pgs. 4 y 5, 6 Auf J ena 191.1.
* Contra la objecin d e que el elemento es una a bstraccin, ya se "de-
fendi" Mach, en not a de p g. 4 (Op. Cit.) : "si se concibe este proceso (la
descomposi cin de los complejos en elementos) como abstraccin, por esto,
pues, los elementos ... no pierden nada de su significacin".
50 "El Circulo de Viena" en R evolucin en Filosofa, pg. 99, ed. cit.
54 I Carlos Astrada
nece o queda adherido a sus vivencias elementales, sino que desde
stas asciende de modo formador y configurador hacia los estratos
superiores.
T engamos presente que los objetos psquicos, como base del sis-
tema de constitucin, 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 funda-
mental reside slo en lo consciente (en amplio sen tido) ; a l pertene-
cen todas las vivencias, si se refl exiona sobre ellas simultnea o poste-
riormente. . . El dominio fundamental podra tambin ser designado
como "lo dado"; sin embargo, debe tenerse en cuenta, adems, que
con esto no es presupuesto algo o alguien al cual lo dado es dado" 51;
lo "dado" "son las vivencias mismas en su totalidad y unidad con-
clusa" 52. De modo que lo dado es a-subj etivo (subjektlos). Estamos
ante las vivencias elementales, las que constituyen los elementos b-
sicos del "sistema de constitucin". Estos el ementos son, pues, "uni-
dades" indescomJlonibles 53. De manera que dentro del mbito de los
objetos ps'quicos tenemos una zona de vivencias elemental es a-subje-
tivas, y aunque el todo, incluyendo lo inconsciente, sea designado
con el nombre inadecuado de lo "consciente" , no es posible expli-
carsecmo se asciende de esta regin de elementos originarios a las
instancias de los obj etos estratificados. Estos, podrn ser considerados
desde el punto de vista "lgico", pero no "constitutivo" . Del pozo
de los elementos originarios, de la encerrona de las vivencias a-subje-
tivas en que se ha introduci do Carnap, nada -ya que hasta la ms
mnima dinmica p1'Opia del sujeto ha quedado excl uda- puede
hacerlo emerger, para "constituir" el mundo, hasta las otras capas
de objetos. El puro sensorio, con sus elementos originarios (Urele-
117!en'te), es pasivo y slo se lo puede "describir" ( quin y cmo?).
Entonces cabe preguntar en razn de qu fuerza o tendencia ascen-
dente, 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 "cons-
truccin lgica del mundo" sino una reduccin lgica a sus estratos
horizontales, desde que tal reduccin remata en el estrato de las
vivencias elymentales. Para esta reduccin lgica cstn los conceptos,
cuya divisin y carcter ya hemos consignado. Cul es su funcin
51 Y 5'2 Der logische Aufbau der Welt, pp. 86 y 87, 2, Auf. 1961,
53 Op. cjt., p. 93.
y cmo surgen en conexin con el sistema, dndole a ste su ar-
mazn?
Estos conceptos deben dar cuenta de los objetos, es decir de l ~
productos constitlldos. A la conocida controversia 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 zan-
ja de modo "original" apelando a una designacin q u ~ pretende 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 hay que acentuar que esta palabra "constituir" siem-
pre es mentada de modo enteramente neutral. De ah que, desde el
punto de vista de la teora de la constitucin la polmica de si "crea-
do" 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, pue-
de serlo tambin a una cuarta y formul ar: los productos ni son crea-
dos por el pensar ni son conocidos, ni son constitu dos, sino que son
"traducidos" (que el "procedimiento" 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 de vista del positivismo lgi co, Carnap, pa-
ra ser consecuente, tiene que r echazar la tradicional distincin entre
fenmeno y esencia. El primero no existe para l; y la esencia no es
obj eto de la teora de la constitucin, pues, como contenido de una
relacin, slo puede ser r epresentada nada ms que como relacin.
Todos los problemas de esencia son problemas metafsicos, y stos son
problemas puramente ilusorios. Su teora dr l conocimiento,. "libre de
metafsica". reposa, en definitiva, en un subj etivismo metafsico sen-
sorialista. De all que al suj eto -sujeto dif cil de identificar- le
imponga realizar la tarea, si n sentido, de resumir el mundo t al como
ste sera "dado". En el bosquejo 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". Despus 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.adfts
tempo-espaciales ), a los que Carnap atribuye cualquier , cua:lidad,
como color y otras, etc. El hecho es que, desde el dOminio solipsista
de las vivencias elementales, el "suj eto" slo por arte de magia puede
salr para reducir lgicamente el mundo a los estratos horizontales
de la esfera d e objetos. Como ltima observacin ilustrativa a este
respecto cabe sealar que Carnap acepta que concepto y cosa son
idnticos, pero esto no quiere decir que el concepto deba considerar-
se 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 han suge-
rido o sostenido que Der logische Aufbctu der Well1t es una obra cuyo
enfoque y mtodo han sido. modificados y superados por su autor.
No hay tal. En la segunda edicin de esta obra, 1961, en el prlogo
para la misma, Carnap escribe : "Concuerdo aun hoy con la actitud
filosfica que est en la base del libro, Esto es vlido ante todo para
la posicin problemti ca y los rasgos esenciales 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'eptos que se relacionan directamente con lo dado" 55 .
La imagen 'que resulta del mundo as "constitudo", a base de
un supuesto objetivismo de las vivencias elementales, es de un in-
creble esquematismo, superfi cialidad e ingenuidad.
7) ANLISIS SINTCTICO y LENGUAJE FILOSFICO
Siempre att'do por el seuelo de una concepcin "libre de me-
Caruap ve en el anlisis del lenguaje el camino para.la "su-
peracin" de la metafsica. Se aboca, para ello, al anlisis del sentido
de las ,proposiciones y encuentra que ste reside en el mtodo de su
verificlcin. Este mtodo estriba en mostrar, en dar prueba y, en
ltima instancia confirmadora, en percibir sensorialmente. Este es el
punto de partida del an lisis sintctico del lenguaje.c la:bor que
55 Op. cit., Vorwor t, p. IX, 1961.
,*. Va.s'e el ensayo de Carnap intrpidamente intitulado, Ueberwindung
der Metaphysik dureh logisehe Analyse der Spraehe, en la Revista E.rkenntnis,
1931, Bd. 11 pg. 218 y sigo
Di alcti ca y positi vismo lgico I 57
ampla y det ermina en cuanto a su alcance en un trabajo posterior.
El punto de vista adoptado aqu es que el lenguaje es un sistema
de signos coordinado a las vivencias; el lenguaje, tal como lo conci-
ben los nominalist as consistira en los signos que son las palabras, y
en las reglas para la formacin de las proposiciones (oraciones), es
decir, en la sintaxis. Para indagar las proposiciones hay que tener
ni camente en cuenta la sucesin y el gnero de los signos, esto es,
considerarlas formalmente con prescindencia total de los juicios;
tambin las relaciones lgicas entre las proposiciones resultan slo
de la estructura sintcti ca oracional. De este modo, h ace de la lgica
una parte de la sintaxis. Segn Carnap .. , "se puede disponer de
modo enteramente libre sobre la forma lingstica en todo respec-
to; . .. se puede elegir con plena libertad las formas de la construccin
de las proposiciones y las determinaciones de su transformacin" 1>6.
De 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 identifi-
cacin, de hecho, de pensar y lenguaje. La consecuencia de 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, para Carnap, es considerada del todo un producto
de convendones individuales, con prescindencia de la realidad obje-
tiva. De aqu que i afi rme : "Cada cual puede construir como l
qui era su lgica, es decir, su forma lingistica. Cuando l quiera
discutir con nosotros, tiene slo que indicar claramente como lo quiere
hacer" 57, .
Esta peregrina t eora de la lgica sintctica d el lenguaje ni si-
guiera . se plantea el problema del proceso lgico en su relacin con
el lenguaje y la funcin de sus formas sintcticas, inseparables de su
semntica, y toma el camino inverso del que ha seguido el pensar a
partir del lenguaje (con el consigui ente influjo reactivo de ste so-
bre aqul). T al concepcin va desde una lgica convencion al y for-
malizada a las formas sintcticas, abstradas del nexo en que estn
integradas, y hace de aqull a un elemento de st as. Es la cuestin,
ni siquiera soslayada por Camap, de la inclusih de significado en
la vida y evolucin del lenguaje. Respecto a ella, sealndola con
claridad, nos dice Julius Stenzel, que se trata "del punto de vista, de
si consideramos este campo de procesos "lg:icos" que nos a:bre el len-
guaje como humus nutricio del que puede brotarnos verdadero escla-
56Logische Syntax de!' Sprache, pg. V. Wi en 1943.
57 Op. cit., pg. 45.
58 , Carlos Astrada
recmiwto tambin por lo que a los problemas 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 sus-
titucin reside en que la sintaxis del lenguaje corriente carece de exac-
titud, y sus reglas, debido a las numerosas excepciones que ofrecen,
no permiten operar en el domini o de la ciencia estri cta. Este lenguaje
arti fi cial, en oposicin al lenguaje usual, cuyos smbolos son concep-
tuales, consiste slo en smbolos artificiales. La introduccin del uso
de smbolos artifi ciales es hermano gemelo del formalismo. Este se
atiene nicamente -como ya hemos visto- a la forma grfica de los
signos con los que opera de acuerdo con las respectivas reglas de
transformacin. Pero, a estos signos --explica Bochenski- "se los
maneja como si ellos no fueran signos, sino ciertamente figuras de un
juego, piezas que se pueden combinar y cambiar de diferente ma-
nera" 50. Se trata, pues, de una ficcin de signos, por donde el for-
malismo t ambi n coincide - y no perifri camente- con el positivis-
mo fi ccionalista de Vaihinger (con su PhilosoPhie des Als Ob). A
causa de este carcter de fi ccin ldica que asume el formalismo,
anota Bochenski -suavizando la expresin con un mati z- es que "se
ha 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 cono-
camos la versin con el agregado - que le da ms causti cidad-
"ni en qu lenguaje artificial (si en el metalenguaje L
2
o Ln) lo dice" .
La sintaxis del lenguaje artificial tiene sus regl as y categor'as *.
Las reglas de un idioma cualquiera (por ej . el idioma S) determinan
qu expresiones pertcnecen a este idioma, o sea ti enen pleno sentido
en l; todas las otras expresiones son, en es te idioma, carentes de sen-
tido, por ejemplo, la palabra "hombre" es una expresin pero carece
de sentido en alemn. Las expresiones plenas de senti do se dividen
en dos clases: expresiones atomales (atomare) o simples, y molecul a-
res o compuestas. Las segundas, de acuerdo a la primera regla sintc-
tica, deben estar constitudas exclusivamente por expresiones que en
el respectivo idioma tienen pleno sentido, o sea, por expresiones ato-
males tambin plenas de senti do en tal idioma. La composicin de las
mismas, segn lo prescribe la segunda regla sintctica, debe tener
lugar de acuerdo con cl etermi nadas -eglas de f ormacin del lenguaje.
58 Filosof a del L enguaj e, pg. 11 4, trad. cast ., Madrid, 1935.
59 Die Z eitgenossischen Denkmethoden, .pg. 47, 2 Auf. , Bern, 1959.
* Vase op. cit., pgs. 51-52 y 53.
Pero, las reglas formativas de todos los idiomas ti enen un meullo
comn, y ell as pueden ser resumidas en las llamadas categoras sin-
tcticas. El concepto de categora sintctica corresponde exactamente
al concepto de parte de la proposicin en la gramtica usual. En el
plexo de las categoras sintcticas, se di stingue el concepto de "func-
tor" del de "argumento". Una expresin que determina a otra: se
ll ama functor; la expresin por l determinada, "argumento". Si
decimos p. ej . "y" en el enunciado (con relacin a estas distincio-
nes) : "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 parciales son los argumentos de "y". De
modo que en todo idi oma de estructuracin completa hay dos
clases de expresiones . ~ " unas pueden ser slo argumentos (nombres
individuales y enunciados), las otras, en cambio, functores. Los
argumentos se ll aman categoras sintcticas fundamentales; los func-
tares, categoras funcionales (Funktorenkategorien).
El nmero de las categoras sintcti cas fundament ales es discre-
cional, y stas parecieran proliferar por generacin espontnea, si
detrs no estuvi era agazapada la "fecundidad" clasificatoria del
sintactista artificial. Hay, en primer lugar, categoras de nombres
y colores, etc. Los functores se dividen de acuerdo con las categoras
si ntcticas de sus argumentos en functores determinantes de nombres
("duerme: ' , "deslumbra" "es ms grande que"), functores deter-
minantes de enunciados ("y" "o" "no fS as que") y Iunctores deter-
minantes de {unctores, por ejempl o, "muy" en el enunciado: "el
sintactista es muy meticuloso" , cuyo argumento es, "meticuloso".
Dejemos de .lado las dems minucias del escolasti cismo de los sintac-
tistas artificiales y consideremos su modus operandi con las categoras
sintcticas, y lo que de acuerdo a ste posee sintcti camente "pleno
sentido" .
La operacin se rige por la siguiente "regla formal universal" :
"Una expresin mol ecular ti ene, pues, sintcticamente pleno sentid0
si cada uno de los functores que en ella intervienen estn coordina-
dos exactamente en nmero y clase ,a los correspondientes argumentos
de sus categoras sintcticas" <60 . De lo contrario, talexpf'esin ca-
rece si ntcticamente de sentido. Veamos al sintactista operando al
hilo del anlisis sintctico de tExtos filosficos. El primer caso lo
* Vase op. cit., pg. 53.
(JO Op. cit., pg. 54.
60 I Carlos Astrada
presenta Bochenski, y el segundo lo aducimos nosotros, para ejem-
plificar con el mismo concepto del primero, slo que en otra
proyeccin doctrinaria. Primero consignemos lo que tiene sintc-
ticamente 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 viene el otro caso carente de sentido, que pone
Bochenski: "Un filsofo dice : "la nada anihila". Aqu la "nada" es
el argumento de "anihila", la ltima expresin nominada es eviden-
temente un functor de una cifra que engendra a:l enunciado y deter-
mina al nombre. Pero, cmo, entonces, l puede ser determinante
del nombre? Pues, sintcticamente considerado, qu es la "nada"?
No es evidentemente ningn nombre, si bien parece ser tal. Si nos-
otros decimos "no h ay nada" , entonces propiamente queremos decir
"para toda x no es el caso que aqu y ahora hay esta x": "Nada es,
entonces, una abreviacin para la negacin. Pero la negacin no
es ningn nombre, sino un functor" 6 2.
Aqu, el anlisis sintctico se mueve en el vaco, como si la se-
mntica, as sea la formalizada, no existiese, a la que debiera tener
presente aun por el hecho del maridaj e de ambas, como integrantes
del ":lenguaje artificial", con l a logstica.
La expresin "das Nichts selbst nichtet" es de Heidegger "x- . Ad-
mitamos o no su concepcin, lo que l da a ' entender es claro, y no
puede "ser considerado como un absurdo sintctico" '63 . El argumen-
to no es, como se dice en lo transcrito, "nada" , sino "la nada" con el
artculo determinativo (concedamos que es un a dverbio sustantivado,
aunque para la filosof a, desde los griegos hasta el presente, es un
nombre sustantivo). Slo es un absurdo tal enunciado para un an-
lisis sintctico torpe, al que se le escapa el significado de la expresin,
lo mentado en ella. "Nada" es la ausencia absoluta de todo ente, el
no-ser (verbo sustantivo) ; viene de res-non-nCIJt,a (cosa no na-cida) y
significa lo mi smo que el nant francs y el Nichts alemn. Es sabido
que los griegos, por el giro intelectuaJi sta de su pensar, identifican lo
real y lo pensable con lo que puede ser di cho; no afirman una reali-
dad ininteligible, pero cuando encuentran esta realidad, hacen de ell a
61 Op. cit., p,\,. 54.
6)! Op . . cit., pg. 54-55 .
... Vase Was ist pgs. 31 y 26, ed. cit.
63 Die Zeitgenosische Doenkmet hoden" pg. 55, ed, cit.
algo inexistente y lo ll aman un no-ser. El no-ser, o sea la nada -el
no-ente- es, pues, la materia no informada; adems en el neoplato-
nismo, esta cuestin se vincula con el origen radical de las cosas.
Entre "nada", como adverbio de negacin y "la nada" sustanti-
vo, se mueve pues, la reflexin de Heidegger, el que, al respecto, es-
cri be : ... "La nada es ms originaria que el no y la negacin ... , Ja
esencia de la nada es : anihilacin. Esta no es ni una destruccin del
ente, ni ella surge de una negacin. . . La nada misma anihila (ano-
nada) . . . El nO' no surge por la negacin, sino que la negacin se
funda en el no, el que resulta del anihilar de la nada. La negacin,
empero, es slo un modo de 10 anhil ante, es decir, un comportamien-
to precedentemente fundado ,en el anihilar de la nada" 64 Estemos
o no estemos d e acuerdo con Heidegger, en su especul acin en torno
a la nada y el ente en total, 10 que l dice se entiende perfectamente.
"Nada" no es una abreviatura para la negacin "no hay nada". Co-
mo vemos 10 que es un absurdo, un contrasentido es el resultado del
consignado anlisis sintctico de la citada expresin.
El otro caso que se puede poner -y oponer al criterio que in-
forma el anlisis sintcti co- es la conocida expresin de Hegel: d'as
reine Sein und das re,ine Nichts ist also dasselbe ("el puro ser y la
pura nada es, pues, lo mi smo"). Hegel, pensando dialcticamente y
atento a la unidad de los contrarios, explica que, en lo mentado en
tal enunciado "lo que es verdad no es el ser, ni ,la nada, sino que
el ser se ha convertitdo en la nada y la nada en el ser. Pero igualmente
la verdad no es la indiferenciabilidad de ambos sino que ellos no son
10 mismo . . . y de modo inmediato cada uno ha desap,ar,ecido, en su
contMrio. La verdad es, entonces, este movimiento del inmediato des-
aparecer 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 nada, pero sera
un disparate si, con la mera apoyatura en el anlisis sintctico for-
malizado, se afirmase que aquell a expresin no tiene 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". Desprender tal expre-
sin del plexo del pensami ento de Hegel e interpretarla sintctica-
mente, es infantil. Ciertamente, Hegel, subvirtiendo toda una proble-
mtica sedimentada en la metafsica occidental, rechaza la proposi-
cin ex nihilo nihil fit y se remonta ms all de Parmnides; tambin
61 Was st Metaphysikt. pgs. 26, 31 y 33.
62 I Carlos Astrada
la dogmtica CrIstiana niega tal enunci ado porque enti ende por Iil.
"nada" slo la ausenci a del ente extra-divino, y de ah que afirma ex
nihilo fit ens creatum.
El anli sis sintctico que ejemplifi ca operativamente Bochenski,
es la aplicacin de la t eora desarroll ada 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 asi-
mismo 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 semn-
tica, que estu.dia las relaciones de los smbolos con los objetos que
ellos denotan; 3) la pragmtica, que estudia la relacin de los sm-
bolos 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 cualqui era . .. La sintaxis,
segn Carnap, constituye una extensin de la metamatemtica de
Hilbert ( ... ell a suministra al 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 que ell a se relaciona al clculo
H. El punto de partida especfico de M (H) ser naturalmente el
conjunto de reglas de clculo para H. M (H) tena el carcter ge-
neral de una teora. deductiva que pertenece al nivel de las mate-
mticas ingenuas, y en una demostracin de la no-contridiccin del
cloulo H no podemos admitir ms que razonamientos de carcter
particularmente elemental. Sin embargo, una vez que se ha intro-
ducido la teora M (H), se puede plantear igualmente otras cues-
tiones pertenecientes al dominio de esta teora, y sobre las cuales
podemos trat ar sin que se impongan t ales restricciones. Pero, si en
M (H) introducimos mtodos de argumentacin cualesquiera, en-
tonces esta teora estar expuesta a la misma ctica que las otras
disciplinas .pertenecientes a las matemticas 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 HiJ-
65 La smantique et sa Porte Philosophique, 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 metalenguaj e extensivo y anal-
gico de las matemticas abstractas.
8) LA SEMNTICA DE CARNAP y EL MACHISMO
y llegamos al captulo de la semnti ca, tambin estructurada de
acuerdo a las abstracciones matemticas, con su trmite de deduccin
e implicacin analti cas. Carnap, para no quedar en estado de levita-
cin en la atmsfera enrarecida de la sintaxis formalizada, recurre no
slo a la semntica, sino incluso a la pragmtica, en busca del suj eto
que maneja e interpreta los smbolos, sujeto que l haba eliminado
juntamente con su insercin fct ica cn la realidad objetiva y las inte-
n'elaciones de los hechos psico-social es 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 maneja e interpreta los smbolos. Como es
natural, en todo lenguaj e humano desarrollado y clarificado, los sig-
nos ti enen una doble funcin, la subjetiva, en la que se expresa el es-
tado 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 con-
tenido 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 lgi ca, si aspira a ser
exacta, debe ocuparse de expresiones lingsticas, y no de juicios, o
sea, que mi entan algo, va a establ ecer 1a diferencia en-
tre verdad fctica, dependiente del carcter contingente de los hechos,
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 formul an las condiciones de la verdad de las oraciones
de una lengua objetiva cualquiera, reglas que determinan el signifi-
cado de dichas oraciones" 66 .
Para Carnap y los dems 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 median-
te la experienci a. 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 ,objeti-
66 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. Hay que relacionarla solamente a los datos sensori ales. Tal
juicio tenemos que formularl o diciendo : "el objeto que me induce a
mentar "lpiz" tambin me llevar a decir "rojo" . Esta nocin semn-
tica del juicio, saltando a retrotiempo varios milenios, retoma la teo-
r a de la escuela de Megara y de Antstenes el Cnico, segn la cual
es imposible que 10 plural sea uno, y lo uno plural. Por consiguiente,
no podramos enunciar "el lpiz es rojo", sino solamente "el lpiz es
lpiz" y "lo rojo es rojo" .
No modifica en n ada, ni rectifi ca ,esta consecuencia el hecho de
que Carnap integre los elementos 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 im-
plica comprobar empricamente el color rojo del lpiz. Pero esta
comprobacin emprica se queda, como ya hemos hecho notar, en los
datos sensoriales, sin llegar al objeto.
En la teora semntica de Carnap, se reitera esa mezcla -cuyos
ingredientes no llegan a fusionarse- de empirismo sensorialista y con-
vencionalismo nominalista, que caracteriza la posicin de B, Russell.
Este, con un criterio semntico confinado en el dato ' sensorial y la
"significacin", sostiene la tesis de la imposibilidad de nombrar una
persona "inexistente" como sera el caso de Napolen. La existencia
de la persona nombrada debe estar sujeta a verifi cacin en el mundo
fsico para que el nombre de la misma pueda ser empleado con sen-
tido. Segn B. Russell, "la palabra "Napolen" significa cierto indi-
viduo, pero inquirimos, no quin es el individuo significado, sino cuJl
es la relacin de la palabra con el individuo, 1'0 que hace que la una
signifique el otro. Pero justamente, t anto corno es til verificar la
naturaleza de una palabra corno parte del mundo fsico, as tambin
es til verificar la clase de cosas que una palabra puede significar .
Comnmente, cuando empleamos un nombre propi, imaginamos
que querernos significar una entidad d efinitiva, el individuo llamado
"N apolen" . Pero, lo que nosotros conocemos como una persona no
es simple. Puede ser un mero yo individual y permanecer estricta-
mente idntico desde su nacimiento hasta su muerte. No existe ma-
nera de probar que ste no puede ser el caso, pero, no hay igualmente
la menor razn para suponer que ste es el caso" 6 1.
Uno de los criterios que informan la teora semntica de Carnap'
es el del convencionalismo. Si, de acuerdo al principio asentado por
~
,117 The Analysis 01 Mind, pgs. 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 proposiciones en un clculo lgico cualquiera,
se ll ega en virtud de lo que aquel llama el "principio de tolerancia",
a una combinacin ldica de los elementos que intervienen en el
clculo. Pero, el mismo Carnap reconoce que esta libertad de eleccin
respecto a .l as 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.
La 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, quedando con ello en la instancia puramente verbal que
sc traduce por lo que l ll ama "relacin de designacin" . Esta semn-
tica y su mtodo han sido obj eto de diversas crticas, algunas real-
mente demoledoras. Tan slo destacaremos brevemente la que desde
un enfoque epistemol gico y lgico le ha hecho W. Mays. Este, en
cuanto ' al giro fundamental de Ja semntica teorizada por C"arnap,
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 ll evan de ningn modo a aserciones
sobre su naturaleza o su existencia. Los fsicos u otros, pensando en
Hiroshima, podran sin embargo objetar que problemas, 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 Car-
nap se disimulan <las sombras de su antiguo fenomenalismo y el an-
lisis de las sensaciones inspirado por Mach" '68. Se trat a de un eufe-
mismo de Mays, pues ya hemos visto, al hilo delator de una cita del
Anlisis de las Sensaciones, que tanto en la posicin de Carnap como
en los supuestos del empirismo lgico en general, est presente, con
algunos r etoques y afeites logsticos, sintcticos y semnticos, la pro-
blemti ca del machismo.
El propio Ayer -empleando di simuladamente el pasado imper-
fecto- se ve obligado a r econocer que "la posicin" del Crculo de
Viena "era, en sus caracteres principales una mezcla del positivismo
vi ens de los fsicos del siglo XIX, Ernst Mach y sus discpulos, con
6 8 L ogique et L angagc chez Carnaj;, en Epistemologie gentique, 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 mezcla heterognea es an el contenido bsico del empirismo
lgico, en su atuendo "actual".
Con respecto al mtodo, con razn nos dice Mays que "l pare-
ce poco justificable en semntica, ya que nos ofrece una concep-
cin esttica del lenguaje, de donde el que habla ha sido eliminado.
Esto es probablemente lo que explica que la semntica filosfica
parezca un tema tan trivial, tendiente a devenir un problema de
formalizacin de cosas ya conocidas" 70 .
Adems, el fantasma del "atomic fact", extr.apolado desde el
dominio de la logsti ca, infl.uye negativamente sobre el anlisis
semntico., hast a el extremo de desarticular y atomizar el lenguaje.
De esta suerte, pasando por alto algo ya bien sabido desde hace
sesent a 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 de len-
guaj e hablado. Puntualizando este error escribe Mays: "Al tomar
el lenguaje escrito como modelo del lenguaj e en general, los filsofos
semantistas admiten que las palabras son elementos de base del len-
guaj e y descuidan el hecho que, en el discurso, por la menos, es la
frase la que es la unidad. No tenemos razn de suponer que una
frase es un simple compuesto de las palabras que la forman, ya que
las palabras tomadas aisladamente son fragmentos ms o menos
arbitrarios de tales frases" 71.
Todo esto lo saba perfectamente W. Wundt, cuando hace casi
cincuenta aos public la segunda edicin de su gran obra V olkerp'Sy-
chologie. Eine Unt ersuchung 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 independi ente, 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 palabra misma es un enlace de slabas y letras.
En el lenguaj e viviente... existen an los Emites que el len-
guaje escrito reiteradamente ha fij ado entre las palabras singula-
69 "El Crculo de Viena" en La R evoluci n en Filosofa, pg. 91, ed. cit.
70 Logique et langage chez Carnap, en Epistemologie genti que, pg.
94, ed. cit.
71 Op. cit., pg. 91.
Dialctica y positivismo l6gico I 67
res" 7 ~ . Y abordando despus, "el concepto general de la propo-
sicin", Wundt expresa (afirmacin, sin duda, de giro psicologista
por la referencia a "representacin global", pero justa); " . .. Segn
sus caractersticas tanta objetivas como subj etivas, podemos definir
la proposicin como la expresin lingstica para la articwlacin arbi-
traria ,de un,a r1e1Jresentacn global en sus partes constituti vas puestas
en relaciones lgiclas unas con O'tras. Con relacin a esto, hay que
hacer notar expresamente que la palabra surge en verdad del .proceso
de esta est,ructura. .. Entre proposicin y palabra no cabe trazar
un lmite absoluto. Depende en todas partes de condiciones parti-
culares cmo la estructura de la proposicin avanza determinando
a la expresin primaria de la represenl,cin global y por tanto tam-
bin a la parte constitutiva primaria del lenguaj e" 73 .
Uno de los ms recientes ensayos de Carnap " Significado y Si-
nonimia en los Lenguaj es Naturales" (Meanning and Synonymy in
Natural Languages) -l(- a pesar de sus minucias simplistas, ha sido
sometido a una crtica exhaustiva por Mays. No obstante su apela-
cin a la pragmtica y al anlisis por parte de sta de las significa-
ciones en el dominio de los lenguajes "histricamente dados", cae en
la ms peregri na nocin de la sinonimia, al margen de la prctica
efectiva del que habla (del suj eto oracional ). Los ejemplos que pone
de los dos lingistas que estudian y observan e investigan el compor-
tamiento de Karl (un suj eto cualquiera que habla alemn ) frente a
los "componentes de significado designativos", 'blau, Hund, son de
una ingenuidad ms artificiosa, pero menos coherente (por el esca-
moteo de datos efectivos) que los usual es " problemas" de palabras
cruzadas.
Adems, la distincin 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 hom-
bre 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 lkerpsychologic, 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 des Satzes) .
.. Vase su tradu{:cin castell ana en Antologla Semntica, pg. 25, Bue-
nos 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 infundados asertos de Carnap y de su teora
simplista de la "in tensin" (comprehensin) y extensin, acertada-
mente observa Mays: "La 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 cli stincin procede del hecho
de admitir que la significacin de una expresin es idntica al
obj eto al cual ell a se refiere o se aplica. Como descripciones de
objetos mticos, tales como Pegaso, que no se refieren a obj etos
existentes, tienen no menos un sentido, se a dmite que ellas descansan
sobre ,lguna cosa" 74; pero, para no hacer depender la significacin
de aqull as de la psicologa ni del mundo de la imaginacin o del
mito, agrega Mays que "ellas son consideradas como predi cados
que se refieren a entidades lgicas, simbolizadas por cuantificadores
de existencia" 75. .
Mays resume la critica de .l a teora semntica que nos ocupa
en trece obj eciones fundamentales, de las cuales slo destacamos
la siguiente: "Carnap acenta fuer temente la funcin simblica
del lenguaje, y eso se refl eja en sus " disciplinas puras". Es dudoso
que sus lenguajes artificiales sean, verdaderamente, lenguaj es, ya
que la primera funcin de un lenguaje es ser un instrumento de
comuni cacin entre 'l as gentes" 7 6 . En efecto, t ales lenguajes arti-
fi ciales, son una jerigonza, o un lenguaje de un reducido nmero
de seas convencionales entre mudos.
74 Y 75 Logique et Langage chez Carnap, en Epist emologie Gentique,
pg. 120, ed. cit.
76 Op. cit., pg. 122 (lO) .
Captulo JI
9) L GICA y MATEMTICA S EGN T ARSKI
Debemos tambi n referirnos en la forma ms somera posible, a
la semntica de Tarski y a su llevada y traida "concepcin semn-
tica de la verdad", especie de pieza "maestra", a la que los empi-
ri stas lgicos otorgan papel preponderante en el juego semnti co-
logstico. Ante todo, es de hacer notar que Tarski, como los dems
representantes de esta tendencia, reducen la lgica a matemtica
(aunque a veces, tambin afirman que la segunda pertenece a la
primera) y toman la deduccin matemtica por deduccin lgica,
como ya lo hemos s e,alad o , Es as que aqul afirma "que no existe
ninguna diferencia esencial entre los razonamientos del dominio
de la lgica y los del dominio de la matemtica" 77. Considera el
concepto de clase como un concepto lgico : "La parte de la lgica
en que se analiza el concepto de conjunto y se estudian sus propie-
dades generales, se denomina T e'ora de las ,;lases,' a veces, esta
teora se trata como una disciplina matemtica autnoma y como t al,
se la llama entonces T eora de los conjuntos" 78. Pero en definitiva,
la diferencia entre ambas es cuestin de nombre; slo que en lgica
se :}lama clase y sta estrrba en el concepto de un objeto o indi-
viduo, mi entras que en la matemtica se la designa "conjunto",
y reposa en definiciones de nmero cardinal, suma, etc. Los 10gs-
7 7 Introduccin a la Lgica) pg. 74, trad. casto Buenos Aires, 1951.
78 Op. cit" pg. 86.
70 I Carlos Astrada
ticos frecuentemente 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 parte 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 di stintos" 79.
A pesar de que Tarski sostiene que los problemas de los conjuntos
finitos e infinitos encuentran su solucin mediante conceptos lgicos,
"sin recurrir a ,ningn concepto de la ari tmtica" :s o, todos los casos
(ej emplos) que considera pertenecen a la aritmtica y a la geome-
tra traducidos a clculos funcional es. Para afirmar aquella tesis
apela a la nocin de coordinacin ,.;; . . aplicada a un conjunto coor-
dinado o a un subconjunto, lo que lo lleva a la paradoj a de las clases
de la cual intenta salir mediante el recurso de postul ar un conjunto
infinito, ejemplificndolo con los nmeros naturales. Y estamos as,
de nuevo frente a una nocin matemtica, y no lgica.
Adems, T arski -y esto muestra la imprecisin de los logsticos
y semantistas acerca de las relaciones entre lgica y matemtica-
incluye la lgica en la matemtica por el carcter deductivo de la
primera partiendo de una supuesta disciplina deductiva genrica.
De acuerdo a esto nos dice que "no s'Olamente toda disciplina mate-
mtica es una 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 modus operandi)
hemos sealado esta confusin.
10) EL CONCEPTO DE VERDAD EN LOS LENGUAJES FORMALIZADOS
Previamente al enfoque de la semntica segn Tarski y su m-
todo de aplicacin, expli caremos brevemente lo. que son 101S grados
semnticos, cuyo principio fundamental consiste en distinguir entre
el lenguaje sobre las cosas y el lenguaje sobre el lenguaje mismo.
Al primero se lo llama "lenguaj e-obj eto", y al segundo "met a-
79 Y 80 Op. cit ., pgs. 98 y 97.
* Vase op. cit., pg. 118,
81 Op. ci t., pg. 68.
, ,, d , ~ L. ~ #
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 meta-lenguaje del pri-
mer lenguaje "". y se puede proseguir indefinidamente construyendo
un "meta-lenguaj e" del primer meta-lenguaje, hasta un "meta-
lenguaje del ensimo lenguaje".(L n).
Tarski aborda inicialment e el anlisis de lo que significa desde
el punto de vista conceptual el enunciado verdadero en el lenguaje
corriente, en su ensayo Del" Wahrheitsbegriff in den formadisierten
Spmchen ''''*. Al referirse a los esfuerzos tendient es a la construc-
cin de una correcta definicin de la verdad, nos dice que "el
ensayo de una definicin semntica parece ser el ms natural" 32.
Propone una definicin de este tenor : (a) "un 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"t an de tal maneTa 8 3, mas, segn Tars-
ki, en lo que respecta a correccin formal, la expresin que aparece
en el enunciado deja mucho que desear, y tarea de una definicin
semnti ca sera precisarl a. Pero es el caso que se presentan ciertas
proposiciones de carcter especial, adecuadas para una definicin
parcial de la verdad de un enunciado, y as tenemos el esquema
general de proposiciones tales como : (b) x es un enunciado verda-
dew, en.t onoes y slo entonces si p; pero, para lograr una aclara-
cin concreta - seguimos con la explicacin de Tarski 84 -coloca-
mos en el esquema del tipo (b) en lugar del smbolo p un enun-
ciado, y en lugar de x un discrecional nombre individual de este
enunciado, y si se nos da tal nombre, hemos de tener en cuenta
que la categora ms importante de nombres que llenan tal condi-
cin son los nombres entre' por ejemplo., el nombre "nie-
va" (notemos de paso que no se trata de un nombre, sino de una
locucin verbal, una proposicin impersonal o "sin sujeto" ).
Entonces, tenemos que la correspondiente aclaracin del tipo
(b) es: (c) "nievta" es un enun.ciado verdadero ent onces y slo
entonces, si nieU1a. Y, a su vez, para construir la aclaracin de 'este
enunciado debemos nominar y describir los nombres ' que intervic-
.. Vase J. M. Bochenski , op. ci t " pg. 59.
** Reproducido por Bochenski en sus par tes principal es en op. cit. , pgs.
67-72, que es el t exto que tenemos en cuenta.
8.2 y 83 Op. cit., pg. 67.
84 Op. cit., pg. 68.
72 I Carlos AS'trada
nen en ste; saber de qu palabras, as como de qu signos cada
palabra singular consta, la expresin designada por los nombres,
etc. De este modo tenemos la siguiente aclaracin, que es construda
sin necesidad de acudir a un nombre entrecomillado: ( d) una: ex-
pre'sin, que es formada de una palabM, la cual consisitle de cinco
letras qlue se suceden una a otra: n, i, e, v, a es un ,enunciado vier-
cfu,dero, en!tonces y slo entonces, si nieva (en alemn, el texto difie-
re porque ,es schneit consta de dos palabras). " Proposiciones, que
como la (c) y la (d) son anlogas, parecen ser evidentes y con-
cordar 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 intuitivamente, con-
ducen a una contradiccin manifi esta a saber, a la llamada an1t'i-
1Mmia del mentiroso" SG. Tarski se atien e a la formulacin dada a
la misma 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 muy d'wdosa la p'osibilid,ad
de un uso consecuente y adems concordante con los Iprincipiosde
la lgica y el espritu del lenguaje corrient)e , de la expMsin "enun-
ciado ver,dadero", y de lo q u e ~ e ah se sigwe, la posibilidad de la
construccin de ,cualquier de.finicin corTecta die esta expresin" 87.
De los pasos operativos de sustitucin en el empleo del s'mbolo
c, a que apela T arski, slo consignaremos el '(B) c no es un enun-
ciado ver,dad';ero," es un enunciado verdadero ,entonces y slo enton-
ces, 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 anti-
nomia del "mentiroso", que cabe formul arla as: "Lo que yo digo
ahora, es fal so".
Tarski, a base de este enunciado que no es tal, opera en el vaco
e incurre en una monocorde logomaquia. Intilmente se ha bus-
cado slucin lgica o semntica para las ll amadas "paradojas".
Estas seudo antinomias han sido guillotinadas .por la elemental
distincin fenomenolgica entre lo que posee sentido y lo que
S\5 y 66 Op. cit. , pg. 69.
87 Op. cit., pg. 72.
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 misma. Ya, Occam, en su teora
acerca de "los trminos, el juicio y la argumentacin", ,dej acla-
rado que el juicio (la proposicin ) no puede implicar un enun-
ciado acerca de s mismo, pues, para ello, falta la i1Vtentio o con-
Clep:tus, referido a la alteridad u obj et9; cuanto menos puede im-
plicarlo una proposicin que no es tal. An ms, la llevada y trada
paradoj a del "mentiroso" 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 predicado 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
puede ver desde el punto de vist a lgico que la paradoja del "men-
tiroso" (mendax) , eA'}Jlicitada a partir de la formulacin que le
dio su inventor el megrico Eublides, presenta dos partes o mo-
mentos, cada una de las cuales no entraa antinomia, y esto recti-
fi ca lo sostenido por Tarski. Lo que pasa es que tanto Lukasiewics
como Tarski, en la forma consignada, la han tomado de segunda
mano. Tarski dando por sentado que desde el 'punto de vi sta del
lenguaje corriente y de los principios lgicos tal "enunciado" encie-
rra una antinomia insuperable, trata de darle cuo semntico, de
una semntica formalizada. Esta paradoja no es una paradoj a
semntica, sino dialcti ca, ms concretamente erstica. Vemosla
en su forma originari a, aunque, como haremos notar, no ha sido
interpretada de modo unvoco. Eublides, discpulo de Euclides y
representante de la escuela megrica, formul este razonamiento
capcioso como pregunta : " Miente o no, uno que dice que mien-
te?" (Diog. Laert. 1, lib. II, "Eublides" ) . Se trataba, para Eub-
lides, 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 particul ar-
mente por Zenn, la Dialctica (Lgica, en realidad) se desarro-
llaba esencialment e conforme a los conceptos que designaban pre-
gunta y respuesta. Eublides, como oponente, formul aba la pre-
gunta : 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 di-
logo erstico, deca: "l dice la verdad" , entonces era refut ado 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
miente" , entonces el oponente lo refutaba sealando que "uno dice
la verdad si l dice que miente, y con es to mi ente" , En esta for-
mul acin sobre la base de la erstica dialcti ca, de acuerdo a los
conceptos de pregunta y respuesta, aparecen ya aunque no clara-
mente los dos momentos del razonamiento capcioso o sofisma.
W. Nestle lo traduce e interpreta articulndolo en dos partes:
"Si t dices "yo miento" y dices con esto la verdaq, entonces t
mientes. Si t dices efectivamente que mientes, y sin embargo ex-
presas la verdad, en,tonces t mientes" (Die S ohatiker, pp. 173, 41,
J ena, 1923) . En ambas el "mentiroso" miente ; en la primera por-
gue su propsito es "mentir"; en la segunda porque es verdad que
efedtivamente ' miente. T. Gomperz nos da una versin en que
aparecen ms explcitas las dos par tes de este razonamiento cap-
cioso : "Si alguien miente y dice mentir, mi ente l o expresa la
verdad?" . "Surge la apariencia que l hace ambas cosas a .] a vez
y esto vala justamente como imposibilidad lgica. Nuestra primera
inspiracin es replicar : el enunciado con respecto del enunciado
falso es ver dadero, siendo aque! mismo sin embargo falso" , , . En
cuanto al concepto de mentira, hay que aclarar : "Se tiene, por as
decir, que disociarlo y descomponerlo en sus elementos. De los
cuales hay dos : lo contrario a la verdad de una comuni cacin y
la intencin de desorientar que acompaa a aquella comunicacin.
Aquello existe en el caso en cuesti n, sta falta. 0 , como en las
palabras griegas "decir falsedad", el momento subjetivo de la inten-
cin aparece con menor fuerza que en nuestro "mentir" , entonces
tendra que distinguirse e! cont enido contrario a la verdad del enun-
ciado de su aptitud de engaar" (Griechische' Denker, p. 157, 1I.
Bo., 3. Auf. ). Ya Aristteles seal la posibilidad de solucionar
refutaciones sof. sticas originadas en el empleo de trminos (con-
ceptos) absolutos y r elativos, As nos dice que "en lo que con-
cierne a la cuestin de saber si el mismo hombre puede, al mismo
tiempo, decir lo' que es falso y lo que es verdadero ; solamente por
el hecho de que uno no se apercibe fcilmente si el trmino abs;olu-
t,ament.e debe ser atribuido a lo que se dice de verdadero o a lo
que se dice de falso, el sofisma parece difcil de resolver. Nada im-
pide no obstante que el discurso no sea falso en sentido, absoluto,
y verdadero desde algn pun to de vista o para una cosa determi-
nada, di cho de otro modo, verdadero en algunos casos, pero no
verdadero en sentido absoluto" (Las refutaciones sofsticas, XXV,
180 b 5, trad. franco Tricot ) .
A nosotros nos inter esa el razonamiento capcioso ' en cuesti n
desde el punto de vista lgico obj etivo, considerado en las dos partes
o momentos que l presenta, lo que nos permitir analizar la formu-
lacin semntica que le ha dado Tarski. Para ell o es necesario
destacar esas dos partes del sofisma. En la versin que nos trasmite,
en sus Noch'es Aticas, Aulio Gelio, aqul aparece formulado as' :
" Si yo soy men tiroso y digo que miento, es que yo miento o es
que digo la verdad ?" (Edic. franco bilinge de Maurice Mignon,
t. I II, lib. XVIII , II, pp. 222'-223). AqU ambas partes de! razo-
namiento capcioso estn insinuadas, pero no dd todo discriminadas.
Tambin Cicern - uno de los principales intermediarios entre la
fil osofa antigua y su posteridad cultural- nos ha comunicado en
Cuestiones Acadmicas, aquel sofisma en forma que se ' deja expli-
ci tar. Gracias a la ptima interpretacin de O. Plasberg (en su
Tullius Cicero, Academicorum reliquiae cum Lucullo edidit., pp. 73,
ed. Tcubner, 1922) podemos apreciar las dos partes o momentos
de este razonamiento capcioso. Conforme a la ndole de la dialc-
ti ca erstica megrica, l interpreta en la siguiente forma el corres-
pondiente pasaje ciceroniano, considerado dudoso (si te inentiri
dicis idque verum di cis, mentiris . .. vemm dicis):
a) Si t dices que m.ientes, y con esto dices la verdad, enton-
ces t mientes;
b) Si t dices que mientes, y . con esto mientes, entonces t
'dices la verdad.
En ninguna de las dos partes o momentos del sofi sma' existe
antinomia, como veremos despus del anlisis lgio dd mismo.
Integrando toitamente el predicado en una proposicin, en ambas
partes, tenemos que a) significa : es verdad que mientes; y b): no
es verdad que mientes. Para llevar a cabo el anlisis lgico objetivo
acudimos a la expresin, introducida por Frege, de "valor de ver-
dad" de una proposicin, la que se refiere siempre a un Sa"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 tener experiencia de l,
comprobarse). El valor de verdad es la piedra de toque para de-
terminar la verdad o falsedad de una proposicin. 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" (De 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 argu-
mento capcioso consignado:
c) Si t dices que mientes, y efectivamente mientes (con res-
pecto al objeto del enunciado) , entonces no dices la verdad
o dices falsedad.
d) Si t di ces que m i e n t ~ , y efectivamente no mientes, en-
tonces 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 verdadero, siendo aquel mismo sin embargo
falso. Esto, si no descomponemos en sus elementos la expresin
"miente", no, como propone Gomperz, para determinar en el con-
cepto de "mentira" la intencin que pueda ocultar, sino para pre-
cisar y destacar los elementos lgicos objetivos nsitos en tal predi-
cado o sedicente enunciado. Tarski, que apela subrepticiamente
al criterio del "valor de verdad", ha sucumbido a esa pri mera "ins-
piraoin" y escribe (con respecto de a) de nuestra connot acin) :
"c no es un enunciado verdadero" , es un enunciado verdadero en-
tonces y slo entonces, si c no es un enunciado verdadero. Tarski
confunde el llamado "valor de verdad", que es una frmula o cri-
terio aplicable a la proposicin integrada, con lo que parcialmente
enuncia el predicado disociado del resto de la misma. Es as como
establece una seudo antinomia entre el valor de verdad y el pre-
dicado incluido en la frase en cuestin. Entonces, incurriendo en
tumefacto retori cismo semntico, se debe escribir: "c no es un
enunciado verdadero" no es un enunciado verdadero, entonces y
slo entonces, si c no es un enunciado verdadero. Pero como en
el ejemplo de "nieva" , que pone Tarski, podemos simplificar salien-
do del mbito diabli co 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 enun-
ci.ado verdadero, si l no miente; su "valor de verdad" es verdad.
La paradoj a del "mentiroso" no es una paradoj a semntica,
sino erstica y como tal entraa una argucia sofstica (respecto a,
los diferentes tipos de paradojas de la escuela megrica, vase U eber-
wegs Grundriss ' der Geschichte Jer PhilosojJ'hie, 1. Praechter Teil,
Die Philosophie des Altertums, pp. 155-158, 12. Auf.). En la argu-
mentacin erstica entre Eublides (oponente) y el defensor, y ante
la pregunta capciosa acerca de si uno que dice que "miente" mien-
te o dice la verdad?, el sofi sma se deshace si notamos que l a res-
puesta del defensor : "miente", ha sido dada situndose en la parte
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 contesta-
cin en b) , Eublides le replicaba des de a). Un ingeniosa juego
al escondite, que los semantistas, con gran alharaca, han dramati-
zado al margen de la lgica, pretendi endo que sta es impotente
para superarlo.
Por el escamoteo o desconocimiento del contenido intencional
de las proposiciones- digmoslo de paso- los semantistas y logs-
tiGOS han incurrido en crasos errores. Gustavo Bergmann, que ha
tratado con sentido crtico los problemas suscitados por la semn-
tica, seala precisamente en su ensayo intitulado Int entionality,
las consecuencias de tal error. Bergman se pregunta: "" p" y Vr.
(p)" tienen el mismo significado? .. Tomemos los dos enunciados
"Pedro ha muerto" y "Es verdad que Pedro ha muerto" 8,8. TantO'
Tarski como Carnap y sus respectivos di scpulos han problemati-
zado el "significado" de las dos proposiciones tratando de identifi-
carlo en ambas, y lo mismo hacen los dems semantistas, 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 corresponda a este significado de tener -el mismo--
significado es manifiestamente absurda. Por desgracia, Carnap y al-'
gunos de sus discpulos han invertido recientemente mucho tiempo
en este vano intento. En cuanto 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 Intent ionality, en Semntica, pg. 214, Archivio di Filosofia, ed. cit.
89 Op. cit., pg. 214.
78 I Carlos Astrada
11) LAS PARADOJAS: NOMBRES AUl'OlJGIOOS y H ETEROLGIOOS
La tema de las paradojas 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, "hay palabras que tienen la peculiar caracterstica de caer
ell as mismas dentro del concepto que designan, por ejemplo, "deutsch"
es alemana. Por el contrario, la palabra franzoesisch no es francesa.
Designamos "autolgicas" a las palabras de la primera clase ; las
no autolgicas sern " heterolgic.as". Investiguemos .ahora la misma
palabra "heterolgi ca". Deber a ser autolgica o no autolgica. Su-
pongamos que sea autol gica; lo cual signifi ca que ella misma cae
bajo el concepto que designa; es, pues, heterolgica. Si es hetero-
lgi ca, entonces cae bajo ,el concepto que designa; es, por lo tanto,
autolgica. Se puede decir de la palabra heterolgica: si es autol-
gica es heterol gica, esto es, no 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 referencia a s misma, y la denota-
cin de la palabra, 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 denota-
cin, que luego ellos mi smos se encargan de vulnerar.
De acuerdo con lo enunciado por Grelling y sobre la base de
los ejemplos que aduce podemos formular el siguiente principio sin-
ttico a priori (lo que implica una hereja para la semntica y su
"analiticidad"). Todos los nombres adj etivos, que designan (en
cualquier idioma) la nacionalidad de personas o el idioma de otros
pases (o mbitos idiomticos) son heterolgicos; aS, por ejemplo:
framzuski no es francesa, sino rusa; chinese no es china, sino inglesa;
sp'(].nisch no es espaola, sino alemana; russian, no es rusa, sino in-
glesa; 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 italiana, es decir autolgi-
ca). 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.cti ca 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 no es una palabra portuguesa, sino es-
paola; en cambio "portuguz" es palabra portuguesa, es decir
autolgica.
Asimismo se puede formular otro principio de igual carcter
con respecto a las palabras autolgicas, diciendo que todos aquell os
adjetivos o nombres que en cualquier idioma designan el propio
idioma o nacionalidad de las personas son autolgicas; deutsch es
alemn, english es ingls, franyais es fra ncs, italino es itali ano,
portuguz es po.rtugus, esp:aol es espaol, etc. etc. En contra de
lo que afirman los heterologistas y autologistas, ningn adj etivo
se denota a s' mismo en cuanto a su concepto. "El adj etivo "Largo"
- nos dice Quine- es heterlogo 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 de su concepto, fontica o grfica, mediante un redu-
cido nmero de signos (letras) . Los heterologistas confunden am-
bos aspectos; de ah su candorosa propensin a echar mano de la
cinta mtrica para medir el concepto como significacin de las
palabras. El adj etivo verde es, naturalmente, heterolgico porque
no es verde, no contiene ni una .partcula de color verde. En sn-
tesis, a nadie que no sea un genial heterologista, se le va a ocurrir
que en el enunciado "el oro es amarill o", el predi cado es het ero-
lgico porque no es de color amarillo.
12) EL C ONCEPTO SEMNTICO DE LA VERDAD
Veamos ahora, para terminar con la semnt,ica, tal como la con-
cibe el empiri smo lgico, la t eora acerca del concepto semntico
de la verdac, segn Tarski. La 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 El sentido de la nueva 16gica, pg. 4, trad. cast., Bs. Aires, 1958.
1).2 Op. cit., pg. 4.
80 I Carlos Astrada
Tarski, para decirnos lo que entiende por verdad, se a t i e n e ~
en definitiva, a la estructura formal del lenguaje en que "debe"
formul arse su definicin. Comienza por sentar que el trmino "ver-
dadero" debe aplicarse a oraciones, o sea, a proposiciones enun-
ciativas, expresin sta ltima que l desecha porque los filsofos
no se han puesto de acuerdo acerca de su alcance 93 .
Tarski invoca - no sabemos por qu, ya que no se atiene a eUa-
la definicin aristotlica de la verdad, la que lleg a ser la defi-
nicin clsica adoptada por todo el objetivismo racionalista de los
tiempos posteriores. Ella reza: "Un enunciado fal so es el enunciado
que lo qli e es, no es; o que ]0 que no es, es; en cambio un enun-
ciado verdadero es el enunciado que lo que es, es, y que lo que
no es, no es (Met. r IV 7, 1011 b 26). Vale decir que Aris-
tteles erige en criterio de la verdad la concordancia del conoci-
miento con el objeto, al cual l se refiere. Para que la incongruen-
cia entre el punto de partida que adopta y la conclusin a que
llega no sea tanta y ni t an chocante, Tarski debi citar (Met. e
IX 10, 1051 b 17) . . . "Hay lo verdadero y lo falso slo como un
mero encuentro y denominacin de lo verdadero - denominar y
enunciar no es lo mismo- y un no saber lo verdadero y no en-
contrarlo" .
Segn Tarski la verdad no expresa la r elacin del pensar con
el . objeto, sino las propiedades de las oraciones. Afirma : "El pro-
blema de la definicin de la verdad logra un signifi cado preciso y
puede ser resuelto de una manera rigurosa solamente para aquellos
lenguajes cuya estructura ha sido exactamente especificada" 94.
Para esta tarea no cuentan los lenguajes naturales o "hablados",
sino nicamente el lenguaje formalizado de la "lgica deductiva".
A fin de determinar las condiciones que deben llenar los len-
guajes en los cuales ha de darse la defini cin de la verdad, Tarski
aborda de nuevo -ya 10' hizo en El concep,to de la verdad en los
benguajes f ormaJlizados- la manida paradoja del "mentiroso"; el
caballito de batalla de los semantistas. Como ya hemos visto en
qu consiste esta "paradoja" o "antinomia", dejar emos de lado
este redundante aspecto de su disquisicin, a pesar de la importan-
cia - harto discutible- que aqul le asigna como punto de partida
de las elaboraciones de la semntica terica. Cautelosamente ad-
93 The Sernantic Conception of T ruth and t he Foundations of Sernantics,
pg. 342, en Philosophy and Phenomenological R esearch, Vot IV, n
Q
3, .1944.
94 Op. cit., pg. 347. .
vierte Tarski que no pret ende que su concepclOn semntica sea la
"correcta" o la "nica 'posibl e" 95. Adems parece ser habitual en
l eludir las objeciones que se le han hecho, diciendo que no las en-
tiende; y cua,ndo se le ha observado que la definicin de la verdad
que l ,propone nada tiene que ver con "el puro problema filosfico
de .}a verdad" , responde que "nadie le ha mostrado jams de ma-
nera inteligible, qu6 es exactamente este problema" 96, no obstante
invocar casi al comienzo de su exposicin el concepto ari stotlico
de verdad, que es una r espuesta al "problema fil osfico de la ver-
dad". 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 enten-
der lo que es la e;sencia de un concepto" 97 . Entonces, cmo se
aventura a darnos una defini cin -as sea puramente semntica-
de la verdad? En t anto que asentamos la definicin de verdad la
esencia es el concepto de verdad ; la esencia es el resultado o pro-
ducto de la definicin. Estos intrpidos semantistas, a pesar de
mencionarlos, no han pasado por Platn ni por Aristteles ni por
Descartes, ni por Hegel, ni siquiera sospechan 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 adecuada a una defini cin de la verdad si de la mi s-
ma se siguen todas las equivalencias que tengan la forma (T) (es-
quema 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 defini cin parcial de la verdad; para
definir a sta con un sentido general, t enemos que Tesumir o "con-
jugar" todas las definiciones par ciales. La d efini cin, la oracin
" la nieve es blanca" es verdadera si y slo si, la nieve es blanca,
es para Tarski formalmente corr ecta y materi almente adecuada.
Esta definicin entraara todas las equivalencias de la forma (T).
Con su concepcin semntica de la verdad trat a de eludir el plano
lgico y de all su tesis de que debe haber oraciones que pueden
ser verdaderas semnticamente, y no lgicamente.
A base de lo que Tarski llama equivalencias, 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 Op. ci t., pg. 355.
96 Y Qr Op. cit., pg. 361.
82 I Carlos Astrada
relacin a las condiciones en que puede asentarse una oracin cual-
quiera, como por ejemplo la nieue es blanca) da los siguientes pa-
sos, a partir de esta ltima: La oracin " la nieve es blanc.a" es ver-
dadera)' 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 uerda-
dera si y slol si) la niev'e no es blanC' a '(o ;quiz: la nieve) de hecho)
no es blanca) U8. Tarski aqu cree haber eludido la instancia lgica
pero incurre en un craso error. El parntesis, que como inexpli-
cable 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
l a 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
Veamos brevemente el origen e historia edificante de esta con-
fusin que los log'sticos y semantistas han arrastrado tanto tiempo
y que ha tornado galimticas sus exposiciones "doctrinarias" .
Hace aproximadamente setentisis aos afi rm Frege que los
enunciados son de tal naturaleza que, ya sean verdaderos o falsos,
se rigen conforme a "estados de cosas (Saichverha:lten), los que
pueden existi r 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 Sachverha.lt acaece,
entonces tenemos un T.atsache) pero el enunciado puede ser verda-
dero o falso, sin el hec.ho (o el de helcho). Tal concepto de Frege
fue adopt ado muy confusamente por Wittgenstein, que jams lleg
a distinguir con claridad entre Sachverhalt y Tatsache. En la edi-
cin bilinge, germano inglesa del Tractatus) se traduce errnea-
mente Sachuerhalt por ato1mic tact ) expresin introducida por B.
Russell y aceptada sin reparo pOr Wittgenstein, en virtud de 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 don-
de, no tiene sentido llamar al Sachverhalt "hecho atmico". Y en
08 Op. ci t., pg. 362.
2.012, afirma que si la cosa puede acaecer en el Sachverhalt, en-
tonces la posibilidad de ste, est ya pI1ejuzgada en la cosa. En
realidad es a la inversa; 10 que .pasa es que Wittgenstein, por no
haber comprendido la nocin de Frege, no se percata que el Sach-
vel,rhalt es posible en funcin de un enunciado, pero esto no quiere
decir que por ello ha de existir. Se trata aqu , no de la existencia
del Sachverhalt, sino del hecho (Tatsache) como parte de un "es-
tado de cosas".
Este puede, o no, existir, pero el acaecer de un hecho que es
parte constitutiva de l, torna posible su existencia. Los logsticos
y semantistas han persistido (por lo menos, desde 1921, 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 gorgori-
tos, trabalenguas y seudo paradojas, habituales en ellos; confusin
slo recientemente puesta de manifiesto y a medias aclarada, con
respecto a Wittgenstein y tambin a Russell, por Erik Stenius. Este
expiica en correlacin con el concepto de Frege -aunque no se
remonta al fundamento que al mismo asigna el ltimo- que el
Sachverhalt (o estado de cosas) puede, o no, existir, pero si se da
en la realidad, tenemos 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 han seguido, Tarski, etc. Refirin-
dose a la traduccin de Sachverhalt por atomic tact, dice Stenius:
"Esta traduccin parece confusa, y la confusin ha aumentado con
la interpretan de l a terminologa de Wittgenstein por parte de
Russell en su introduccin al Tractatus
lJ
100. No es que parezca
"confusa", sino que ell a es el result ado de una tergiversacin.
Para aclarar la "confusin" Stenius aduce, como ejemplo, las
dos proposiciones siguientes en r elacin con el Sachvethalt corres-
pondiente (en teora) :
1
9
) La 'una es ms pequea que la Tierra
2
9
) , La tierra es ms pequea que la Luna
De la primera, di ce 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! Ex-
pO>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 descriptivo" corresponde el hecho (Tatsache) , y la
proposi cin 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 corresponde-
r'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
hasta la saciedad los ejemplos aportados por Frege, con el agra-
vante de no haber comprendido el concepto en que ellos se fundan.
Como ya vimos, una nocin de Frege no comprendida, dio
origen a una mala interpretacin y confusin por parte de Witt-
genstein y R u s ~ e l l . El primero, con posterioridad a su Tractatus,
ha remachado t al confusin en sus Tagebche'T. Aqu nos di ce, po-
niendo un ejemplo grfi co: "Pensemos en escritos jeroglficos en
los cual es cada palabra representa su significacin. Pensemos en
que tambin imgenes reales de estados de cosas (S achverhalten)
pueden corresponder o no corresponder. (Pone el siguiente ejem-
plo 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.
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" ~ ' 0 t .
Wittgenstein remi te a Tractatus (4. 006): "Para comprender
la esencia de la proposicin pensemos en la escritura jeroglfica,
que reproduce los hechos (T.atsachen) que ella describe" .
Si la proposicin copia "hechos" mediante el lenguaje fi gura-
tivo, ella es expresin de un Tatsache, y no posee, como afirma Witt-
genstein, 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 Sach-
v'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 com-
paracin con la escritura jeroglfica.
Wittgenstein confunde lo mentado por la proposicin con lo
representado por la escritura jeroglfi ca. Si -de la proposicin "A
y B'" hacen esgrima ("o Juan hace esgrima con Pedro", o la in-
versa, igualmente vlida), se puede derivar lgicamente todo 10
esencial como expresin de un Sachverhalt, sin recurrir al hecho
(T,atsache) , no ocurre 10 mismo con 10 representado por la fi gura,
la que, sin la proposicin que la ilustra, puede representar cual-
quier otra cosa (por ejemplo, una vieta, una danza litrgica, etc.) .
A este respecto, Hegel destac claramente que, con relacin al
lenguaje escrito "la escritura jerogl fi ca designa a las representacio-
nes mediante fi guras espaciales, el lenguaje alf.a,btico designa, en
cambio, fonemas, los que por s mismos son signos. Este, por lo
tanto, consiste en signos de signos" Il)02 Hegel, pues, saba distinguir
10 que Wittgenstein y los dems logsticos confunden anclando,
merced a su empirismo lgico, en esa inconciliable mezcla de logi-
cisma y sensorialismo.
Volviendo a Tarski, sealemos que el parntesis en la oracin
"la ni eve es blanca" . . . con el C( quiz" desnaturaliza la forma que
debe tener tal oracin, pues el "quiz" sale forzado debido al em-
101 Ludwig 'Wittgenstein, Schriften : Tract at us logico-philosophicus, Tage-
biicher, 1914-1916 - Philosophische Untermchungen, pg. 95 Suhrkamp
Verlag Frankfurt an Main, 1960.
1.02 EncycloPiidie der Philosophisc heu Wi ssenschaften Dritter Teil, pg.
398 (parag. 459) ed. Lasson.
86 ICarIos Astmda
pleo del juicio hipottico, que elimina, tambin en el parntesis,
hasta la sombra de la proposicin necesaria : aunque "de hecho,
"la niev'e no es blanca", que sera la formulacin correcta. Esta
supresin de las proposiciones necesarias y su infundado remplazo
por las hipotti cas (consecuencia del agnosticismo dogmtico, pro-
pio del empirismo lgico) , ha sido destacada por la crtica prove-
niente del dominio mismo de la semntica. Entre otros, Arthur Pap
ha objetado esta errnea sustitucin ' 0 3 . Pap seala que carece de
fundamento resolver las proposiciones necesarias en simples reglas
lingsticas, partiendo del supuesto -resultado de una flagrante
confusin- , de que la necesidad de una proposicin estara "radi-
cada" en una regla lingstica o semntica. "Explicar, por tanto,
los principios usuales de la inferencia deductiva en trminos de
"convenciones lingsticas" es poner el carro delante del caballo" lli04.
Adems de esto, hay, por parte de los semantistas, un descono-
cimiento 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 decir, slo ellos tienen la propiedad de la verdad o de la
falsedad. Ningn objeto es propiamente verdadero o falso. Todo
juicio enuncia, afirma algo, y esto o corresponde o no corresponde:
es verdadero o es falso. Para 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, sucin-
tamente y en forma global, una apreciacin crtica de las concep-
ciones semnticas elaboradas por el empirismo lgico, y del preten-
dido aporte sustancial de las mi smas -x-.
103 Necessary Pl'opositions And Linguistic R ules, pg. 65, en Semntica,
ed. citadil_
104 Op. cit. , pg. 105.
i!- Podernos apenas, aludir a las proliferaciones y diversidad de t enden-
cias tanto de la semntica del empir ismo lgico corno de las escuelas analticas
inglesas y yanquis. Todas estas conientes nacieron del surtidor del ,Wiener
Kreis y se d erramaron, fecundando al principio muy acotados predios pata
iniciados, en Cambridge, Oxfor d y Chi<:ago. La centra l que canaliza y distri-
buye estas corrientes es la InternationaD Society for General Semantics y su
rgano publici tario y p ropagandstico E.T.C., que tiene tambin su Reade,"s
Digest, Selections, from E.T.C. Segn H. Rapopmt (autor juntamente con S.Y.
Hayakawa de 'What is Semantics?) , la semntica general es una ciencia emp-
rica d el hombre, de la que sus devotos hacen un culto Q. un movimiento re-
Pero para esta valoracin, damos la palabra a Karl Popper,
ex simpatizante con el Crculo de Viena. Con respecto a las cons-
trucciones lingsticas de Carnap y los semantistas que jo siguen, K.
Popper nos dice : "La difi cultad de su creacin (de tales construc-
ciones) no est en ninguna relacin con su efectividad, y prctica-
mente no puede ser expresada ninguna teora cientfica de algn
inters en estos gigantescos sistemas de minucias". " ... Estos len-
guajes modelos no tienen base ni en ciencia alguna ni en el sentido
comn" 105. Y ms adelante, refiri ndose a la esterilidad y artificio-
sidad de tales construcciones semnticas, Popper subraya: . .. "Es-
tos ensayos eran no slo intiles, sino que ellos justamente han con-
fOrrnlsta de carcter r eligioso, anlogo a muchos otros que filor ecen en el am-
biente norteamericano. Debemos mencionar t ambin la "semntica t eraputi-
ca" de! "conde polaco Korzybski ", autor de Science and Sanity. Hay que con-
signar que Hayakawa funda grandes esperanzas en la difusin de la semn-
tica general, a la que confronta con la eficacia innovadora de las t eoras mar-
x.istas y de l a del psicoan!1i sis. (Vase Note e Commenti de F. Barone, en
Semntica, pg. 408 y sig.) Todo ello es explicable, pues siempre al filo de las
guerras y grandes transfo'rmaciones sociales de proyeccin r evolucionaria recru-
decen viejas panaceas y p equeos cultos exotricos. y capillas, o surgen nuevos,
todos sucedneos de las r eligiones en el declive. As, hoy t enemos entre los pri-
meros a los Rosacruces, de un teosofismo di simulado, .pe-ro al servicio' de ocul-
tos intereses; las difer entes 5ect as t eosfi cas, d esde las proveni entes de "rsis
sin Velos" hasta los secuaces de Rudolf Steiner ; la Christian Science' o " eddys-
mo" (del nombre de la fundadora Mary Baker Eddy) ; y entre los ltimos, el
culto del "Padre Divino" (el que circul a en persona por las call es de New
York, en un automvil illuminado a giorno, r ecogiendo el tributo de los "fieles"
diseminados cn la urbe) ; la capilla de la "semntica t eraputica" y las direc-
ciones r eformistas y pr oselitistas de la misma; el "Rearme moral", que hace
de Dios general en J efe de los ej rc itos de una nueva "ideolog a": "honesti-
dad, pureza, desinters y amor absolutos". Y en e! Sur colonizado de nuestro
hemisferio, para no ser menos, t enemos, con r efuerzos latinoamericanos y cs-
tadounidenses, en Buenos Aires, el " Centro Cientfico Basilio" espiritista, en
el cual se instr umenta l a mediumnidad vide nt e, mat erializndose el espritu de
J ess de Nazareth ; esta secta procede d e la "herej a" arrian a (Cri sto fu e
hombre y no es Dios); el " cuerpo astral" y la comunica.cin semntica con
los marcianos le son familiares. Por ltimo la " Logosoia" o " escuela logos-
fica" (con su iglesia) fundada por Raumsol , agencia mat rimonial con casa
matriz en Montevideo' y s u c u ~ s a l en Bu enos Ai res. Esta. capillita entronca, por
su enfoque "especul ativo", en la "probl emti ca" de "La. felicidad en el matri-
monio" de B. Russel1. T enemos, empero, noticias fid edi gnas. de que un seman-
tista guaran, en t ajante oposicin a l a. " t eora" de RusseJl, coloca la eudemo-
na de la: pareja humana. en otra instanci a.
:105 The Logic of Scientific Discovery, p gs. 20- 21, trad. inglesa, London
1959 (la edicin o,rigina! alemana ll ev.a po)" ttulQ Logik del' Forscli.ung, y,
data de 1939l.
88 I Carlos Astrada
tribuido a la oscuridad y confusin que predomina en la filosofa
de la ciencia" 10G.
14) LA FILOSOFA CIENTFICA
El empmsmo lgi co, a travs de la semnti ca, culmina con su con-
cepclOn de la "filosofa cientfica" y "analtica". Veamos 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 hechos, sino
slo esclarecer por anlisis las proposiciones mediante las cua:les
expresamos hechos, y tambin el nexo que tienen las proposiciones
en un lenguaj e dado. En vista a la consecucin de este propsito;
hay que concretarse al lenguaje de las ciencias y asimismo al len-
guaje corriente implicado en el de s tas. Esta es la labor a que se
entregaron tesoneramente 10s integrantes y fundadores del Crculo
de Viena (y de su trasplante anglosajn) o en rel acin directa con
l: Moritz Schlick, Wittgenstein, Caruap, Neurath, Godel, Wais-
mann, Feigl, Menger, Russell, Ayer, etc.
La filosof a, ya que sta consistira en una mezcla de problemas
aparentes, debe reducirse a un anlisis de 10s modos filosficos de
expresin, esto es, a una lgica del lenguaje. Slo as, ella podra
lograr estri ctez o exactitud analtica. Pero esto de acotar la filoso-
fa como ciencia estri cta no ofrece ninguna novedad, ya que Des-
cartes formul es ta exigencia (en sus R egulae ()Jd d'irectionem in-
genii) y, despus Husserl trat de fundamentarl a en su Philosophie
als strenge Wissenschaft (1911), aunque en un sentido opuesto al
del empirismo lgico, ya que ste se atiene al anlisis del lenguaj e,
mientras Husserl va a la descripcin, no del dominio emprico,
sino de las ideas y esencias.
Wittgenstein, en sus fragmentarias observaciones de Philoso-
phischen Unt,ersuchungen nos dice (NQ 133 ) que ellos (los empi-
ristas lgicos) tratan de lograr una "claridad ped ecta", "pero esto
significa solamente, para ellos, que .Jos problemas filosficos deben
desaparecer del todo. A decir verdad, el descubrimiento es capaci-
tarme para interrumpir el filosofar cuando yo quiera. Slo en ejem-
plos es mostrado un mtodo, y la serie de estos ejemplos se puede
interrumpir. Lo que se resuelve son problemas, lo que se elimina son
dificultades, pero no un problema. No hay un mtodo de la filosof a,
10G Op. cit., pgs. 378.
Dialctica y jJositivismo lgico I 89
pero s hay mtodos, en cierto modo, diferentes terapias" 101. De
dnde habr sacado 'Wittgenstein que la filosofa tiene un solo
problema?
l parte del supuesto solipsista de que "los lmites de mi len-
guaje son los lmites de mi mundo" (Traotat us 5.6) y de que "el
lenguaje disfraza los pensamientos" '(Ibd. 4,002). Y de la compro-
bacin de la ambigedad del lenguaje corriente infiere que "la ma-
yora de las proposiciones y cuestiones que han sido formuladas
sobre asuntos filosficos no son falsas, sino sin sentido, La mayor
parte de los problemas 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 men-
tal- tuvo .ja menor sospecha de que el pensamiento filosfico crea
su propio lenguaje- un verdadero metalenguaje ; que, p. e.: la parte
del 'Parmnides, de Platn, en que se habla del ser, el no ser y la
verdad, est escrita en metalenguaje; que toda la "Dialctica tras-
cendental" de la Crtica de la razn pura, es t escrita en meta-
lenguaje; 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
Hegel a decir que la "filosofa es el mundo al revs".
Que el pensamiento filosfi co 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 Kant, sino que ste alude a tal lenguaj e
y a su finalidad expresiva. La necesidad de asig'nar un primer pla-
no a las ideas y nociones que trata de formul ar lo lleva precisamente
a eludir la .ambigedad del lenguaje corriente, acudiendo a uno que
se pliegue ms 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 crti ca de la razn pura debe hacerse superflua
por obra de una anterior"), Kant, con rel acin al as intitulado ar-
tculo 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 hecha 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 do-
minio 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 pueden 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, pero 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 perifricamente 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 l-
gico es negativo respecto al contenido y problemtica de la filosofa,
tanto considerada sta en su acervo 'tradicional como en el moder-
no y contemporneo. Esto de considerar sin sentido o fi cticios los
problemas filosfi cos, en virtud del modo verbal de su formul acin,
carece de originalidad. Ya el padre del mtodo inductivo, Bacon,
sostuvo esta tesis de que los nombres de cosas pueden hacer creer
en objetos inexistentes, y la ilustr, al estudi ar (en su N ovum Org<a-
numo, 1, 59', 60) "los dol os del foro" los que "son impuestos a la
inteligencia por el l enguaje".
Los empiristas lgicos recusan la metaf sica, no a causa de las
dificultades que ofrecen sus problemas (su insolubilidad), sino por-
que sus apor'as y proposiciones, por no referirse a hechos 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 metaf sica 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 habl aba en prosa sin saberlo (Par ma foi, il ya plus de
ans que je dis de la prose, sans que j' en susse rien). Los sensori alis-
lOS Kants Werke, Bd. VI, p. 71, ed. Cassire r.
tas y positivistas lgicos desde hace mucho ms de cuarenta aos
(desde el tiempo de Mach, 1885-1901) hacen metafsica sin saberlo.
As, :Wittgenstein sustituye la metafsica por la entronizacin
puramente verbal y carente de todo sentido de lo "m'stico" . "Hay
ciertamente, lo inexpresable. Esto se muestra, ello, es lo mstico".
(Tractatus 6.522). Niega con ello, su ltima sentencia: "de lo que
no se puede hablar, mejor es callarse" (Ibd. 7) puesto que ,l habla
con la pretensin de mostrar (de revelarnos) lo inefable, lo "msti-
co" que 'se muestra. Olvida o ignora que el mutismo del pensamien-
to 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 ell as" (Ibd.
6.54), reconoce con ello, implcitamente, que el pensamiento -en
este caso, e! pensamiento filosfico- crea su propio lenguaje, aun-
que la superposicin de ambos no se r ealice quiz sin residuo. De
ah que no cabe mostrar lo que no se puede pensar ni nominar
en funcin d e lo pensado. Y por no cumplir con esta condicin,
Wittgenstein cae en una nominacin vaca; "mostrar" en el sentido
en que l emplea la pala:bra, es nominar lo que se pretende mostrar,
por vaga que sea tal nominacin.
Entroncando con e! anlisis del lenguaje del positivismo lgico
y ,en particular con Wittgenstein y la teora de ,los tipos lgicos de
B. Russell, tenemos la "aguda" crtica de los conceptos del lenguaje.,
principalmente de los lenguajes no formalizables, de Gilbert Ryle.
Desde el punto de vista de un nominalismo excesivamente super-
fi cial e ingenuo, presenta, en su obra The Concept oi Minlfl, una
teora completa del espritu o mente (mind); mejor dicho - si nos
atenemos al contenido de su libro-- de los conceptos sobre el esp-
ritu, esto es de los conceptos medi ante los cuales enunciamos algo
sobre ste. El enfoque crti co de Ryle, en .su anlisis de los concep-
tos sobre el "espritu", toma como frepte para la ofensiva la teora
de Descartes.
Segn Ryle, si concebimos el espritu como r esultado de la
escisin cartesiana del ser en dos sustancias (res cogitans y res ex-
tensa), y lo tomamos como una sust ancia incurrimos en un error
con relacin a las categoras (category mistake) y con ello vulnera-
mos las leyes tpicas de la lgica del lenguaje. Pero, adems, si al
\\
92 I Carlos Astrada
espritu, al que no es permisible pensarlo sustancialmente, lo pre-
sentamos como una sustancia cualquiera hacemos de l un "mito" 109,
y en este caso est plenamente justificada la rectificacin del
error respecto a la categora empleada, error que determina 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 mitologizacio-
nes del yo, de la voluntad, del sentimiento, de la percepcin, de la
fant asa. 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.
Decir, en opinin de Ryle, que par.a efectuar una deduccin
se ha operado en nuestro espritu un proceso mental es errneo,
pues nosotros no efectuamos tal proceso (no pensamos) en nuestro
espritu, sino en una habitacin o en la calle o en un tren del sub-
terrneo o en un colectivo, o a lo sumo y muy raramente, en alguna
aula universi taria donde alguien en estado fantasmal, sin sustrato oe-
rebral, gorgea sobre las "nuevas concepciones semnticas" y las "nue-
vas lgicas". No neoesitamos, pues, buscar con la vista el lugar del
pensar, el escenario secreto en cuyo t ablado se desarrollan los actos
del pensar. Si nos referimos a un acto de concentracin del espritu
o a un proceso mental que se opera en l, esto no se cohonesta con
el argumento de que el espritu o mente es algo fsicamente inasible,
ya que, segn Ryle, l no es absolutamente nada o es "nada". Slo
hay hombres, acciones, cualidades, pero detrs de stos no existe
algo autnomo como lo que llamamos espritu o mente. Parece que
para Ryl e el cer ebro como rgano del pensar o como centro de la
actividad mental no existe. Esto no es de extraar ya que en cier-
tas zonas del pensamiento contemporneo el cerebro y su actividad
especfica es un mito slo apto para destilar, en sentido rabelaisiano,
la "quinta esencia" de la identidad.
Ryl e parece no haberse percatado que lo que l llama mitos del
espritu, despus de haber sido disoci ados de una simplista sustan-
cializacin, son conceptos metodolgicos interpretativos o metforas
descriptivas, y funcionan como tales en la indagacin filosfica.
Una cosa son las ingenuas hipstasis d e la vieja ontologa y otra muy
109 The Concept of Mind, p. 8, London, 1949.
lno Op. cit., p. 18.
diferente el imprescindible empleo metafricamente descriptivo de "'1
conceptos relativos al espritu, a los actos volitivos, a los modos de
la percepcin, a las formas 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 t eora del espritu, fcilmente impugnabl e, la que slo con-
siste en indagaciones analticas del lenguaje carentes de estrictez, y
que al fin de cuentas remata en una concepcin mtico-formal del
espritu construida sobre la base del lenguaje natural y sus catego-
ras lgicas, consideradas como verdades inconcusas ya dadas.
La metodologa que nos permite abocamos a la desmitologi-
zacin de los "mitos" del espritu es tambin algo sui generis. Para
evitar el error en el empleo de las categoras lgico-idiomticas, pre-
coniza Ryle un mtodo analtico del lenguaje que se cifra en dis-
tinguir el "saber cmo" ( knowing how) del "saber qu" (knowing
th<llit). Se trata d ~ a distincin entre una serie de conceptos relativos:
a determinadas cualidades del espritu, cualidades de acciones inte-
ligentes o actividades : refl exin certera, cuidado, dominio, agudeza,
o sus contrarios negativos. irrefl exin, falta de -lgica, falta de ini-
ciativa, instintividad. Hay, en sntesis acciones racionales, reflexi-
vas, 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, todav a en 1949 se embiste con mentalidad insular contra la
antigualla de la concepcin sustancialista del alma y la de las "fa-
cultades" de la misma.
Con el "saber cmo" y el "saber qu" se trata de establecer
la diferenciacin entre comprensin prctica y saber terico. Se-
gn Ryle es un prejuicio muy extendido que ciertos conceptos co-
rresponden a operaciones intelectuales particulares y que funciones
intelectuales especiales o propi as del espritu otorgan a nuestras ac-
ciones el atributo o car cter de "inteligen1tes" 1.11. El "saber cmo"
no tiene por antecedente el "saber qu", sino que posee una pri-
maca prctica sobre ste, cuyo fundamente no 10 documenta Ryle.
Por el contrario, algunos de los ejemplos que aduce muestran pre-
cisamente que' ambos comportamientos no estn o no pueden estar
tan disociados. As, en el trfico callejero, es cierto que ntls com-
111 Op. cit., p. 25.
94 I Carlos Astmda
portamos de manera "inteligente" sin r ealizar acto mental alguno
de carcter particular, a n ms, nuestro comportamiento en este
caso es casi un hbi to; pero en ste suele ocultarse 'la distraccin o
el no "saber qu", de modo peligroso para el peatn, por ejemplo,
.pues to que el cruce de call es de intensa circul acin de veh culos
supone en el t ransente no slo el "saber cmo" h a de cruzarlas, sin
necesidad ciertamente de apelar cada vez a la r eflexin, sino que,
ante la aproximacin de vehculos en arterias de trfico ligero, uni-
camente puede cruzarl as cuando ' a luz verde del semforo le indica
libre trnsito, y para esto tiene que apelar al "saber qu", es decir
tiene que saber qu color de luz le veda o le permite el trnsito. Ya
que la orientacin metodolgica central del positivismo lgico r e-
side en el principio bsico de que la filosof'a t.iene intrnsecamente
que ver con la estri ctez de la "expresin" que reza: "ser claro acer-
ca de ser claro acerca 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, habr.a debido percibir que el enfoque fil osfi co 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 ms 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 adas postur.as metaf sicas,
como muy bien lo seala Maurice Cornforth, quien r efiri ndose a
~
los resultados de aqul nos dice: " .. . Produjo una fil osofa no di-
ferente en esencia del sensacionismo de Mach o del idealismo sub-
jetivo de Berkeley. La "poderosa tcnica lgica" no er a de hecho
sino una tcni ca para decir con un lenguaje nuevo y algo ms difcil
lo mismo que se haba dicho antes muchas veces" 1..1<3 .
No es nuestro propsito hacer una defensa d e la metafsica. Sa-
bemos que la poca de la met afsica y de las grandes construcciones
especulativas h a pasado definitivamente, pero esto no quiere decir
que la filosofa -sobre todo, la que tiene por rgano la razn dia-
lctica- ha de enmudecer por ello. La visin esttica que la meta-
fsica nos dio d e las cosas no puede reiterarse. Como hace notar En-
ge1s, "la vieja met af sica, que considera las cosas como fijas, naci
1'12 Op. cit., p. 32 y sgts.
'113 "El Empirismo l6gico", en Filosofa del Futuro, pg. 553, trad. cas-
tellana, Mxico.
de una ciencia de l a 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 (definicin atribuida a
Scheler ) di ciendo que "es buscar en una pieza oscura un gato negro
que no est dentro de ell a". Con todo - para su poca- la vieja
metaf sica algo signific. En cambio el positivismo lgico, al negar
de hecho la posibilidad del conocimiento o reducirlo a meras equi-
valencias analticas, se nos presenta como una vestal, semnticamente
pdica, que pare slo t autologas, las que .al igual que esos seres de
dos dimensiones, descritos en uno de los cuentos fantsticos de Apolli-
naire, que viven pegados a las paredes, aqullas quedan confinadas,
al estado de frmulas, en el papel impreso, a una distancia astron-
mica de la realidad obj etiva. (Hoy ya no podemos decir, con el
genial matemtico H. Poincar, que "lo que llamamos realidad ob-
j etiva es, en ltimo anlisis lo que es comn a muchos seres pensan-
tes y que podra ser comn atados", sino que, de acuerdo con las
conquistas actuales de la ciencia y la fi losofa, 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 comn a, todos es el resultado
del cono-cimiento cientfico de la realidad objetiv'a).
16) S EMNTICA y ANALITICIDAD
El afn de huera "analiticidad" ha llevado a .algn semantista na-
tivo a inventar una nueva clase de proposiciones (juicios) analti-
cas, 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 ser an "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 Phi-
losophie, pg. 18, Meiner, Leipzig.
* Los semantistas nativos se mandan la parte, expresin que ya ti ene
carta de ciudadana literaria en nuestro idioma merced a la ptima traduccin
realizada por J. Salas Subirat del Ulises de James J oyce, t raduccin paran-
gonable con la notable allemana de Georg Goyert, supervisada por el propio
Joyce.
y a propsito del Ulises, digamos que la gran creacin semntica, insu-
perada 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 medio de verdad sea idntico
a grado uno y medio de 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 sinteti-
darl, .(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 conocemos o a priori o a posteriori" . ..
La conocemos a jJosteriori "si su realidad es conocida por experien-
cia, pues lo que realmente existe o ha existido, ello tiene que ser
en todo caso posible" f).5 y entonces t enemos 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 posi-
bilidad de la representacin est manifiesta ~ : 1 J 6 , es decir, de la cosa,
porque hemos ido analticamente hasta la ley o principio que a
aqulla explica. Cuando el semantista de marras 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 proposicional-
mente diciendo: "Todos los cuerpos estn sujetos a la ley de la
gravitacin universal" y es una verdad originaria, en el sentido
de Lei bniz; la ley de Galileo es una verdad derivada, que cabe
resolver del todo analti camente en la primera.
Tales gazapos provienen del desconocimiento de la formul a-
cin y alcance del principio de identidad en Leibniz y de sus equi-
externos, la corriente d el recuerdo y la soterraa del subconsciente (en si-
mu.Jtnea multiplicidad ).
Adems, no, hay que olvidar el momento solemne en que el personaje de
la obra, sentado en el 'W,C" echa mediante ejercicios lingsticos alusivos, las
bases de la precursin ocl e la semntica t eraputi,ca (de la verdadera, la de
B.Joom, frente a la otra, la del "conde polaco Korzybski"). 'Y asociando ideas,
debernos sealar que si nuestros semantistas nativos fuesen ecunimes, y ms
avisados r especto a los aportes vernculos, ya hubi esen rendido su homenaje
al clnico argentino que, con elegante expresin de metalenguaje, acu aquello
del "Jlamado sagrado"" fundamento inabolible de toda religin o capilla futura.
115 Schriften zur Logik und Methodenlehre, on Hauptschriften 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 harto fre-
cuente por ejemplo en Tarski), 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 ni co y supremo criterio de verdad de las proposi-
ciones 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 Logique de Leibniz sostiene L. Cou-
turat, tesis que fundadamente cabe objetar y segn la cual la lgica
leibniziana es el centro y el nexo entre sus especul aciones metaf -
sicas y sus invenciones matemticas 1.118 . Con relacin a la lgica
y al lugar que sta tiene en el sistema de Leibniz, afirma que ste
"deduca todas sus tesis filosficas de los principios de su scientia
ge7le'r;a,lis, es decir, de su Metodologa", 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 sost enido por Couturat cabe sealar q u ~ la
funcin de la lgica formal y analtica en el sistema de Leibniz
es ser un medio auxiliar para el conocimiento, y no raz y funda-
mento de ste. La 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 material dado. 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 t area los axio-
mas pueden ser un elemento auxiliar. De modo que en la indaga-
cin histrica leibniziana la lgica no puede ser considerada como'
el origen de esta indagacin. Adems de la necesaria recurrencia
a un material dado resulta indispensable- y as surge de la propia
lgica de Leibniz- tener en cuenta dos fuentes 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 hay 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 Op. cit., I. Bd., pg. 46.
118 Y 1019 La Logi que de' Leibniz, pp. I X y XII, reed., Hildesheim, 1961.
98 I Cartos Astrada
refirindose a la probabilidad, afirma: "Se puede decir ,que la simi-
litud 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 co-
nocimiento, Leibniz no queda recluido, como pretende Couturat
y con ste B. RusselI,en el praedicatum ines,t subjecto, tratndose
de las proposiciones contingentes.
Como eplogo de nuestras reflexiones sobre el semantismo,
debemos anotar que hace ya ms de una dcada, uno de los pont-
fices ms pasati stas del positivismo lgico, B. RusseJl, se convenci
-a lo que parece- de la inoperancia de aquella posicin y de la
vaciedad de la semntica por ella preconizada, y lo manifest, con
cierto eufemismo, ya que l mismo contribuy a promoverlos junta-
mente con su propia popular philosophy.
En Logical Positivism escribe: "La absorcin en el lenguaje
lleva a veces a descuidar la conexin del lenguaje con los hechos
no lingsticos, aunque es precisamente esta conexin la que da
sentido a las palabras 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, en mi opinin, algo
estrechos e incapaces de producir una filosofa integral" ! ' 2 . Pres-
cindamos del hecho que los positivistas lgicos no slo eluden la psi-
cologa sino tambin la cosa intencionalmente mentada por el con-
cepto. En este artculo Russell recti fica sus tesis anteriores y rechaza
el principio de, verificacin.
Adems el 'fundamento de aquell a observacin relativa a ",que-
so" es la diferencia entre el "uso" y la "mencin" conocida por
lqs escolsticos (supositio formalis y supositio ma'terialis) y rebau-
tizada por los positivistas lgicos con el original aditamento de las
comillas. "Queso" entre comiJlado se refiere a la palabra que es
mencionada y ,queso, sin comill as al uso no-lingstico de la pala-
bra, es decir, a la entidad designada por la misma. Sera tremenda
la confusin y grande el desengao si a un semantista se le ocurriera
comer "queso" (Lo que no signifi cara una imposibilidad para 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,
Mendoza, 1949. (El artculo que citamos figura tambin 'incluido en hogic and
Knowledge, London, ' 1956).
Dialcti ca y posit ivismo lgico I 99
El hecho innegable es que el positivismo -l gico ha privado al
lenguaje de su nexo efectivo no slo con la psicologa, sino que tam-
bin 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 catego-
ras desconectadas del on, de toda base e11ltitativa, hay que r ecordar
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 pensa-
miento y al conocimiento de las cosas; explicacin con la que los
semantistas quiz no han tropezado jams. En el captulo X del
libro tercero de los ya citados Nouveaux Essais intitulado "Del abuso
de las palabras" se lee: " ... Sirven las palabras : 1) para hacer C'01n-
prensibles nuestros pensamientos; 2) para hacerlo fcilmente y 3)
para dar acceso al conocimiento de las cosas. Se incurre en falta
en el primer punto cuando no se tiene la idea determinada y cons-
tante de las palabras, ni ninguna. aceptada y co'mprendida por otros.
Parg. 23. Se carece de facilidad cuando se tiene ideas muy com-
plejas sin tener nombres distintos; sta es frecuentemente la defi-
ciencia de los lenguajes mismos, que no tienen los correspondientes
nombres; frecuentemente es tambin aqull a del hombre que no
los conoce, entonces se 'tiene necesidad de grandes perfnasis. Parg.
24. Pero cuando las ideas significadas por las palabras no concuU-
dan con lo que es reall, se incurre en falt con respecto al tercer pun-
to. Parg. 26. 1 Q El que tiene los thminos sin ideas es como aqu,el
que no tuviese ms que un catlogo de libros. Parg. 27. 2
Q
el que
ti ene ideas muy complejas sera como un hombre que tuviese una
c>antidad de libros en hojas sueltas sin 'ttulos y no supiese dar el
libro de otro modo que dando las hojas unas tras otras. Parg. 28.
3
9
El que no es constante en el uso de los signos sera como un comer-
ciante. que vendi ese dif erentes cosas bajo el mismo nombr.e. Parg.
29. 4
9
El que liga ideas particulares a las palabras r ecibidas no
sabra ilustrar a otros por los conocimientos que l pueda tener.
Par g. 30. 59 El que tiene en la cabeza ideas de sustancias que no
han existido jams 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
caridad. El segunda. ver animales nuevos sin poder darlos f cil-
mente a ,con()cer a los Oitros. El tercero tomar el cuerpo ya por lo
que no es ms que slido, y ya 'por 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'mbre del caballo; y a aqul que todo
100 I Carlos Astrada
el mundo ll ama prdigo ser para l generoso; y el quinto, ampa-
rndose 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 Lgica, la de Irvl g Copi, se dice que
por cuanto existen contradicciones o se dan "situaciones en las cuales
operan y entran en lucha fuerzas contradi ctorias" , "el principio de
contradiccin ha sido negado particul armente por los hegelianos, 105
representantes de la semntica general y los marxistas" , siendo ter-
minolgicamente inapropiado llamar "contradictorias" a las fuerzas
en lucha 1 2.t.
Esta afirmacin es f alsa en lo que respecta a Hegel, los hegelia-
nos y los marxistas. Ante todo, no cabe negar que hay fuerzas contra-
dictori as que entran en coli sin no slo en el dominio de los hechos
econmicos y social-histricos, sino t ambin en el d e las ciencias,
incluso en el de la fsica y la mecnica. Para Hegel, el principio de
contradiccin -como l expresamente lo consigna- no es, en la
instancia de la reflexin del entendimiento, una ley del pensar por-
que se trata de la contradiccin meramente abstracta (A no puede
ser al mismo tiempo A y no A); lo mismo vale para el principio
de identidad, como principio formal de la refl exin. Pero, en la
instancia de la razn di alctica, la contradiccin, en concepto de
Hegel, es lo fundamental ; es una ley, no de la lgica formal, del
entendimiento refl exivo, sino de la lgica di alctica, de la razn.
Nos di ce, a este respecto: "Todas las cosas son en s mismas contra-
1,2'1 Introduction 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, ms bien expresa la verdad y esencia de las cosas . ..
Habra que tomar la contradiccin por lo ms profundo y ms esen-
cial: la identidad, frente a ell a, es slo la determinacin de lo inme-
diato simple, del ser muerto, pero la contradiccin es la raz de todo
movimiento y de toda vida" 1'25 . " . . La contradiccin es precisa-
mente el elevarse de la razn por sobre las limitaciones del entendi-
miento y el resolverse de las mismas" 1'26. Tampoco el marxismo,
fundado en la di alctica materialista, niega la contradiccin. Que
los semantistas generales la excluyan y desconozcan en sus disquisi-
ciones, signadas por la tendencia a la formalizacin, se explica; ellos
se mueven en la campana pneumtica de la tautologa, y como el
positivismo lgico, del , cual son tributarios, slo se proponen demos-
trar analticamente la equivalencia de las formas vacas, suspensas
sobre un sensorialismo muy mdico.
En el dominio de la indagacin epist emolgica contempornea,
como asimismo en el terreno d 1 desacuerdo entre teoras cientficas
y conceptuacin filosfica, se ha abierto camino la dialctica, o
mejor di cho, un proceso sui generis de dia1ectizacin de los concep-
tos 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 ; pero s es seguro que la
lgi ca dialctica puede orientarnos en todos los e fuerzas por alcan-
zar una explicacin lgica de los ms importantes descubrimi entos
de nuestros d as. Esta apertura h acia un proceso de dialectizacin
en la esfera de las ciencias supone, como etapa previa, la crtica de
la absolutizacin de la razn y, a la vez, la de una metafsica de
la identidad, ya t enga sta base sust ancialista o sensorialista.
Ambas tareas han sido acometidas por destacados representan-
tes de la epistemologa y de la fil osof a de la ciencia contempornea,
particul armente por Gastn Bachelard, Ferdinand Gonseth y otros
integrantes del equipo de Dialctica, como as' tambin por pensa-
dores de otro sector, como St phane Lupasco, pero, con una orien-
tacin similar. La labor de Bachelard, en tal sentido, se ha venido
concretando en diversos trabajos suyos de verdadera importancia.
Ya en Le nouvel esprit scientifique (1937) dej sentado, en lo ati-
nente al pr()blema de la realidad obj eti va, que no hay "naturaleza
simple, sustancia simple; la sustancia es un t ejido de atributos" 112
7

1125 ,Wissenschaft der Logi k, Bc!. n , pg. 58, ec!. Lasson.
li26 Op. cit. Bd. l , pg. 27, ed. cit.
1,27 Le nouvel esprit scier.tifique, piflg. 142, Alean, Pars, 1937.
DiaMctiea y positivismo lgico I 103
En La Philophie du Non ( 1949), define la filosof a del conocimien-
to como "una filosofa abierta" ; preconiza la "filosofa del no"
como procediendo "de una actividad constructiva". . . y aclara:
"Pensar bien lo real es aprovechar de sus ambigedades, para mo-
dificar y al ertar el pensami ento. Dialectizar el pensamiento es au-
mentar la garanta de crear cientficamente fenmenos comp'letos,
regenerar todas las vari ables degeneradas o ahogadas que la ciencia,
como tambin el pensamiento ingenuo, haba descuidado en su
primer estudio"
Bachelard advierte que la posicin que preconiza no acepta la
contradiccin interna. "La filosof'a del No no ti ene nada que ver
tampoco con una di alcti ca ce priori . En parti cul ar, ella no puede
apenas movilizarse alrededor de las di alcti cas hegelianas" 1
129
Hace
suyas las palabras de C. Bralobrzeski (en L es N ouvelles thories de
la physiqne) de que "la dialctica fil osfi ca, aquell a de Hegel, 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 ms bien complement arias" llo3O . Se trata, como ya anotamos al
comienzo de este ensayo, de l.Jna di alctica compl ementarista, par.a
la que, en el proceso del conocimiento, ms que contradicciones
dinmicas, hay diferentes aspectos que se integran. Tal di alcti ca
complementari sta ofrece, como t endremos opor tunidad de verlo, un
flanco muy vulnerable a la crtica.
Para ejemplifi car el tipo de dialctica que l propone, Ba-
chelard se refiere a las tentativas de coordi nacin de una lgica
no-aristotlica y toma como punto de referencia el ensayo de
L. Reiser, Non-Arist otelian L ogic and the Crisis in Science (1937).
El fin de Reiser, segn Bachelard, "es probar que el principio de
identidad, fundamento de la lgica aristotli ca, est condenado en
lo sucesivo al desuso porque ciertos obj etos cient'ficos pueden tener
cada uno pro_piedades que se verifi can en tipos de experiencia neta-
mente opuestos" ] 3 1. Entre las antinomias o tesis y anttesis a que
se refi ere Reiser fi gura la s.igui ente:
"El electrn es un corpsculo. El electrn es un fenmeno on-
dulatorio" . Respecto a esta antinomi a Bachelard nos dice : " ... Es-
1128 La Philosophie du Non, pp. 9 y 17, Pars, 1949.
lj2D Op. cit ., pg. 135.
:t;30 Op. cit., pgs. 135-1 36.
Op. cit ., pg. 11 2.
< .; '
. tas dos defini cipnes se excluyen una a la otra. Ellas se excluyen
porque tienen el mismo suj eto, y predicados que se contradicen tan
n etamente como hl,leso y carne, t an netamente como vertebrados e
invertebrados. Pero, justo es la forma demasiado fuertemente sus-
tantivada, demasiado sumari amente realista la que produce la con-
tradiccin. El pensamiento realista pone el' suj eto delante de los
predicados mientras que la en microfsica parte de pre-
dicados de predicados, -de predicados lejanos, y se esfuerza sirriple-
mente en coordinar las manifestaciones diversas de un predica-
do" Prescindiendo de que l a coordinacin de predicados supone
un suj eto o un predicado que funciona como suj eto, la verdadera
contradiccin np, aparece, pues lo contradictorio se manifiesta
in ter-proposicional, y, como lo establece ' Aristteles : "las propo-
siciones contradict orias no son verdaderas al mismo tiempo" . (Meta-
f sica r , . 16, 101.1, b 15) , habiendo tambin 'sentado que
"la .negacin de ser blanco no es ser 11ro-blanco, sino no ser b;lanco
(Primeros Analticos, 1,46, 51 b ) . Pero si no di sociamos la unidad
de los contrarios, la contradiccin es inmanente . la
proposicin o intraproposional. Entre "el electrn es corpuscular"
y "el electrn es un fenmeno ondulatorio" no hay c;ontradiccin,
desde que si "es ondul atorio" en la acepcin de "no corpuscular" la
predicacin es indefinida, mientras que si decimos, "el electrn no
es corpuscular
P
, la predicacin es defini damente negativa. Pero
aqu nos movemos en el plano puramente formal de la contradic-
cjn. Si tenemos bien en cuenta que de la unidad de los contrarios
de.riva dialcticamente la justificacin de la predicacin compleja
y contradictoria, .a la que debemos considerar como una ley funda-
mental de la di alctica materi alista, podemos enunciar: "El electrn
es corpsculo y onda" (y otro tanto de la luz); tambin, con Hegel,
"el devenir es ser y no-ser".
Por otra parte, cabe seal ar que Bachelard ha atenuado un tan-
' to su tesis de que hmos citado, al abordar posteri ormente el
mismo problema en relacin con las investigaciones de Louis de
Broglie. En 1951, nos dice : "Si se pudiese hallar una fenomeno-
loga ndul atori a para el electrn, h abra un paralelismo ontolgico
perfecto entre la ptica y la electrnica, siendo las dos doctrinas
desdobladas la una y la otra en fenomenologa corpuscular y feno-
1 32 Op. ci t ., pg. 112.
j ;
,Dialctica y positivismo lgico 1 105
menologa ondulatori a" .1.'\3. En virtud del "principio de comple-
mentariedad", formul ado por Niels Bohr, habra una relacin de
exclusin y a l mismo tiempo de compl ementacin recproca entre
corpsculo y onda. Ha si do precisamente Louis de Broglie quien ha
movido fundamentales obj eciones al "principio de complementa-
. riedad" en la formulaci9n de Bohr, de cuo idealista. A este res-
pecto seala que la r ealidad entre las dos idealizaciones . extremas
(explicacin del objeto micro fsico de acuerdo. con sistemas aut-
nomos, fundados en la dualidad onda-corpsculos), se presenta
como intermediaria, pudiendo ser descrita por la imagen de cor-
psculos que conservan sus masas indivi duales en, medio de, un siste-
ma del la masa global no es la sum.a de las masas individua-
les Vale d ecir que de Brogli e admite que la realidad micro-
fsica ofrece propiedades contradictqrias, lo ,que explica que sea
necesario acudir a instrumentos diferentes ,para captar los distintos
. aspectos del oQj eto mi crofsico, sin que estos puntos de vista diver-
sos eliminen la unidad contradi ctoria del objeto. Las propiedades
del fenmeno no son, pues, absolutamente el. resultado de los apa-
ratos de medicin como, en ltima instancia, 10 .pret ende la interpre-
tacin fil osfica idealista de la fsica cuntica por parte de la
escuela de Copenhague, La accin recproca que existe el
micro-obj eto y el aparato de medicin no significa que las pro-
piedades del primero sean producto de los apara tos o del instru-
mental empl eado.
A raz de la rehabilitacin de la filosofa de la naturaleza de
Hegel que tiene lugar en el pensamiento contemporneo, se ha
puesto de manifiesto la intrnsec.a afi nidad existente entre la lgica
di alcti ca hegeliana y las teor as de ,la microfsica actual. As, de
acuerdo a los trminos de esta dialctica, el corpscul o representara
la tesis, la onda, la anttesis, y la global teora microfsica la sntesis,
Max Wundt ha mostrado en detalle, y en forma muy sugerente, t al
afinidad. De este modo el principio de complementariedad se re-
suelve en la dialctica de las realidades contradictorias que l con-
templa. Si recin se repara en aquella afinidad, ell o se expli ca por-
que la dialcti ca hegeli ana era un producto tericamente mucho ms
maduro que la f sica en dicha poca, El desarrollo de sta no haba
alcanzado el nivel que exhibe la lgica dialcti ca de HegeL
1.33 L' Acti vit R ationaliste de la Physique Cont 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,
Retomando 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, conciliatorio de instancias tericas diferentes y
susceptibles de complementarse, tiende no slo a descartar el punto
de vista tradicional de una razn inmutable y absoluta, sino a pros-
cribirlo como posicin filosfi ca ya perimida. Explica Bachelard - en
conexin con su crtica de la nocin de sustancia en la ciencia mo-
derna- que la razn no es una facultad de simplificacin, sino, por
el contrario, de ,enriquecimiento y complejizacin . De ah que la pro-
gresin del racionalismo conduzca, segn l, a un "sobrerracionalis-
mol'. Dentro de la dispersin que es peculi ar a una filosofa de las
ciencias, aun en el caso de enfocar una ciencia particular, "ella tiene,
sin embargo, una cohesin, esto es, aquell a de su dial ctica, aquella
de su progr eso" 1315 . Bachelard, 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 pro-
greso de la filosof'a de las ciencias se hace en el sentido de un racio-
nalismo creciente, eliminando, a propsito de todas las nociones, el
realismo inicial" L%.
Ferdinand Gonseth, cuya teor a idonesta tiene muchos puntos
de coincidencia con la posicin de Bachelard, considera, en nuestro
concepto, el proceso de dialectizacin en las ciencias, teniendo ms
en cuent a la necesidad de mantener a travs del mismo lo que l
llama justamente "aspectos complementarios de lo que se contina
conciBiendo como una realidad" 137 . Gonseth, que busca la sntesis
de los aspectos compl ementarios y opuestos que se ofrecen en el co-
nocimi ento cientfico, reconoce tambin, desde luego que dentro de
la perspectiva de la di alctica complementarista de la escuela de
Zurich, "la situacin dialcti ca en la cual se encuentra la ciencia
moderna" 138 y que "la ciencia no es solamente un campo ofrecido
a la experiencia abierta, sino que cada vez ms visiblemente la mar-
cha cientfica toma un giro di alctico" '1.39.
La situacin dialctica y la dialectizacin de las nociones cien-
tficas a que se refiere Gonseth no se comprueba y ejemplifica aisla-
damente slo en algn dominio parti cul ar del conocimiento, sino
105 Y iLa6 La Philosophie du Non, p g. 50, ed. cit.
137 Connait re par la science, X (suite), Dialct ica, pp. 131. 132, NQ 33-34,
1955.
nas y 11s9 Les sciences et la philosophie, pp. 15 y 16. Ed. Perspectives,
1950.
Dialctica y pOitivismo lgico I 107
que "es, por el contrario, sobre todo el frente de la investigacin que
el pensamiento cient'fico se encuentra ll evado a una situacin dia-
lctica" HO. Al considerar los aspectos complementarios u opuestos,
manteniendo el concepto de una realidad, o sea de la unidad sint-
tica de aquellos aspectos diferentes o contradi ctorios "se encuentran"
sobrepasadas a la vez la di alctica de sentido comn de la cosa real
y lo que la ciencia clsica haba hecho de sta H ll .
En lo que respecta al caso que anteriormente contempl bamos,
de la naturaleza del electrn y de la luz, nos dice Gonseth, en lo
atinente a los trmites di alcti cos que la f sica tiene en cuenta: "'Pa-
sando de los obj etos ordinarios de nuestro horizonte natural a. los
objetos del horizonte atmi co, es la di alctica de la cosa la que se
altera, en particular la dialctica de las presencias y de las ausencias.
Enlazando la onda al corpsculo, es una nueva dialcti ca de la exis-
tencia real la que inaugura, etc." 142.
18) IDENTIDAD y CONTRADICCIN
En coincidencia parcial con las ideas epistemolgicas de Bachelard,
Stphane Lupasco, medi ante el enfoque de los problemas de la mi-
crofsica contempornea y de la dilucidacin de los "valores lgicos",
en una serie de impor tantes y suges tivos trabajos epistemolgicos y
de filosof a de las ciencias * ha hecho una aguda crtica de la lgica
cl sica, que est basada en la identidad, y destacado el valor de la
contradiccin, tratandO' de fundamentar su concepcin de un "dua-
lismo antagonista".
El pensamiento lgico -explica Lupasco- est al servicio de
una realidad que trasciende rigurosamente la experiencia, es decir,
de una metafsica . "En este universo, la afirmaci n es la nica ade-
cuada a la sustancia y a la identidad fundamental del ser; y la
negacin no es ms que una privacin, una carencia y un acciden-
te" H 3 . Certeramente, Lupasco seala el giro antidialctico y, en
consecuencia, el carcter esttico de una metafsica anclada en la
sustancia y su correlato, la identidad. Pero - lo anotamos inciden-
HO Op. cit., pg. 18.
14.1 Connaitre iJar la science, p . 132, Dialcti da, NQ cit.
H\l Op. cit., pg. 130'. Dialctica, NQ cit.
* Vase. Le dllalisme antagoniste et les exigenees histol iqlles de l'esprit,
Essai d' llne nouvelle thorie de la connaissance, 1935; L'Experience mierophy-
sique et la Pense hllmaine, 1941 ; Logi que et Contradietion, 1947.
143 Logiqlle et Contradietion, pg. 11, Pars, 1947.
108 I Carlo\s Astrada
talmente- al impugnar un pensami ento fundado exclusivamente en
la identidad y en una concepcin sustancialista, Lupasco, se refiere
en el prrafo anterior a Aristteles, y nos di ce: "Aristteles ha com-
prendido profundamente que si l permanece adherido ' a lo pura-
mente lgico, la no-contradiccin y por consiguiente la verdad que
ella define no seran posibles. Es por esto que l hace de la lgica un
Organon, confirindole un valor y una existencia puramente instru-
mentales" 1
41
Lupasco entiende aqu "instrumental" en funcin de
una metafsica, y de acuerdo a sus palabras, citadas en primer tr-
mino, que tambin el pensamiento lgico de Aristteles est al ser-
vicio de una metaf sica sustancialista y de la identidad; y, como en
otra parte, l afirma que e! valor de la contradiccin, "el segundo
valor lgico", "haba sido escamoteado por la metafsi ca que gobier-
na e! Organon" 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 solucin del problema
aqu implicado afirmando la identifi cacin 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 doctrinari a aristotli ca. A este respecto,
estimamos esclarecedoras las indagaciones de Heinrich Maier sobre
la "Silogstica" aristotlica, las que han mostrado la rel acin de la
lgi ca de Aristteles on su metaf sica. Est a relacin no es, por cier-
to, 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 formas lgicas han sido obtenidas por Arist-
teles con independencia de consideraciones metafsicas, ofrecindose
aquellas como copias o calcos de relaciones reales, pero de ningn
modo fundadas en principios metafsicos -x'. Segn Lupasco, "la ex-
pn iencia microfsica revela una ley de complementariedad contra-
dictoria, sin sombra de un tercer trmino' hegeliano" 146. Es que el
tercer trmino es la unidad de ambos trminos de la dualidad con-
1.44 Logique et Co ntradietion, pg. 11, Pars, 194-7.
1.45 Op. cit ., pg. 15. .
* Vase Die Sy/logistik des Aristot eles, I Teil, Die Logisehe Theorie des
Urteils. bei Aristot eles, Einleitung y Ersten Abschnit, Tubingen, 1896. .
146 Logique et eontrad'iction, Preface" pg. XI, ed. cit.
tradictoria, si a sta la pensamos dinmi camente. La lz' y el elec-
trn es una unidad de onda y partcul a, y en virtud de sta t enemos
dialcticamente un enunciado de predicacin compleja y contra-
di ctoria.
. No se puede afirmar, sin duda, 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 complementari edad. Como
bien lo seala S. MeJiuj in, "el concepto de partcul a, que expresa
el aspecto di screto de .J a materia, conserva sU sentido tambin para el
estado de reposo de los rnicroobjetos; pero el concepto de onda,
aplicado a la partcula en reposo, parece completamente absurdo. Si
la partcul a incide en la placa fotogrfica, su localizacin significa
que sus propiedades ondul atorias han desaparecido; si se propaga
como onda, resulta imposible hablar de una iocalizacin puntual, de
un movimiento segn una trayectoria mecnica. Esto es completa-
mente cierto, pero al enjuiciar desde todos los puntos de vista las
propiedades de los microobjetos no debemos divi dir artificialmente
un fenmeno en aspectos que se excluyen recprocamente. Importa
recordar que la unidad de las propiedades corpuscul ares y ondula-
tori as 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 consecuen-
cias, Lupasco nos dice : "las construcciones t ericas del pensamiento
humano han nacido de una huida de la contradiccin y del deseo
tenaz de su supresin rigurosa por el moni smo del uno o del otro
de los dos valores 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 hipo-
ttico el juicio de experiencia por haberse decidido por la no-con-
tradiccin) es, sin duda tributario de este monismo, y la logstica,
conectada con ste, t ambin, eludiendo la dialctica, trata -como
lo seala Lupasco- "de eliminar la contradiccin mediante una
disyuncin metalgica entre los dos valores existenciales contradic-
torios del lgico puro, escogiendo, de ellos, el uno como absoluto,
para conferi r un carcter aparente al otro" 149. En el mismo caso
)l17 El problema de lo finito y lo infinito, p. 126- 127, trad. casto Mxi-
co, 1960. /'-_I:::-. I. -::- := I:::.I-=:::::--:d
148 Logique et Contradietion, pg. 12, ed. cit .
14 9 Op. cit., pg. 16. . ~ , ' ,'.
estn las lgicas polivalentes, que asimismo pagan, inconfesadamen-
te, su tributo a un por ell as no develado monismo metafsico. Ellas,
a pesar de la pluralidad de valores que introducen tienden por defi-
nicin a eliminar la contradiccin en virtud de traducir analticamente
lo emprico, que es su supuesto, por principios tautolgicos. Este
giro de las lgicas polivalentes ha sido bien notado por Lupasco, que
lo pone de manifiesto: "En realidad, la lgica polivalente se encuen-
tra en presencia de una pulverizacin o atomismo de un slo valor,
sea aquel de afirmacin, para los lgicos que creen siempre en al-
guna matemtica platnica o en alguna metafsica leibniziana, sea
aquel de negacin, para aquell os que proceden de la metafsica del
empirismo ... Los valores entre s no estn enlazados por nada, sino
por el s o por el no, por la identidad pura o por 'la no-identidad
pura, y cuando el pensamiento postula urlO de ellos o la experien-
cia impone uno, l es absoluto como tal : ningn dualismo intrn-
seco, en efecto, y ningn conflicto estructural --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 quin-
to, del ensimo excluido r emplaza aqu al principio del tercero
excluido, del cual l no difiere ms que por el nmero y no por el
espritu". 150.
150 Op. cit., pgs. 16- 17.
CaPtulo V
19) DIALCTICA y C ONTRADICCIN
Bachelard, centrado en un enfoque complementarista seudo-dialc-
tico, opone, por lo mismo, un no mitigado al "obj eto" del conoci-
miento cientfico, buscando una integracin sobrerracionalista de este
ltimo.
Confiando en la posibilidad integradora de este no - que no
llega a ser verdadera negatividad- objeta la di alctica de Hegel.
A este respecto seala Lupasco: "Para Hegel, la contradiccin no
era ms que una especie de instrumento de la dialctica; para Ba-
chelard, la di alctica mi sma toda entera - de la cual el funciona-
mi ento no se funda, a decir verdad, sobre la contradiccin, sino ms
bien sobre una oposicin, sobre una especie de ruptura bienhechora,
sobre un fenmeno de mutacin intelectual- no es ms que instru-
mental" l:U.
No cabe negar que, para Hegel, la dialctica, desde el punto de
vista metodolgico, es instrumental, pero adems tambin ella res-
ponde a la estructura misma del proceso de la experiencia y del
conocimiento. De ah que Hegel, ya en la Fenomenologa del Esp-
ritu, nos diga: "Este movimiento dial.ctico que la conciencia en ella
misma efecta, tanto en su saber corno en su objeto, en cuanto para
ella surge el nuevo y verdadero objeto, es propiament e aquello que
es llamado experiencia" 152 . La contradiccin, a la que, corno hemos
~ I \ l Op. - cit., Preface, pg. VIII.
l S2 Panomenologre des Gelst es, pg. 73" Leipzig, cd. Hoffmeister.
112 I Carlos AJ1trada
visto, Hegel asigna carcter esencial, es, sin duda el motor del
proceso de la dialctica; pero ell a, aislada del todo unitario que
configura, no tiene sentido pleno. En la experiencia, segn Hegel,
obtenemos un todo de determinaciones antitti cas, es decir, las con-
tradicciones existen di alcticamente en la unidad de este
todo como proceso. La contradi ccin permite que la proposicin
prese lo dialctico, lo negativ.o, pero la negatividad dialctica pone
en libertad a lo positivo. De ah que a la dialctica debemos com-
prenderla como la pertenencia recproca e inseparable de los tr-
minos o momentos contra dictorios, integrados en un todo.
Bachel ard no concibe a la di alctica como una estructura uni-
taria, en la que medi ante la contradiccin, o sea, en el movimiento
dialctico, surge el obj eto a conocer en su verdadero 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 atuvisemos al no, 'O, como lo
seala Lupasco, a una especie de ruptura, errneamente supuesta
constructiva, la fisura en el objeto puesto en la tesis y negado en
la anttesis no sera super able, no iramos, as, a un sobrcrracionalis-
mo, como supone y peticiona Bachelard, sino que caeramos en un
hiatus irracional, 'sin poder alcanzar en el movimiento dilctico - in-
terferido por un no impotente para poner en libertad lo positivo--
la sntesis, que es integradora y no complementaria. .
Para comprender, con los momentos que la integran, el todo
de la estructura dialctica, basta r emontarnos a la gnesis concep-
tual de la palabra dialctica. "Dialctica" (de la raz dicotmica
(da) proviene - paradoj almente- de la concepcin del eleata
Melisos, que negaba toda posibilidad de escindir al ente: "Si el
ente es dividido, entonces l se mueve. Pero si se mueve, entonces
l cesa en su ser" 158. Las cosas todas, empero, contra lo sostenido
por Melisos, pasan, en su devenir, de mutacin en mutacin. A la
duracin del acaecer entre e llas - hiptesis por l excluida- Meli-
sos la designa con la palabra diarma y Aristteles la caracteriza con
la palabra diastema, significando ambas escisin, distancia, aparta-
miento entre dos lmites, entre dos cosas; y esto en el sentido de que
abrimos una fisura (imposible para Melisos, por su concepcin ele-
tica del ente) en el fluir de las cosas, en su proceso, fisura que,
Diels, Die Fragmente der Vorsokratiker, ,1 Bd., "Melissos, Frag-
mente" (10), pg . .192, 4 ed., 1922.
merced .al enl ace conceptual y dinmico entre ambos per-
mite al -ente, al objeto 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 partes' 'que integran el silogismo
- las proposiciones- las designe con el nombre de diast,emata (Pri-
meros Analticos, 1, 4" 33 ).
Esta cuestin fundamental --que polariza el pensamiento de
la filosofia pre-socrtica- la decide Herclito en el sentido de la
primaca del cambio; con l se inaugura la dialctica, a la que
Hegel sistema tiza erigindola en el instrumento apto para dar cuen-
ta de la experiencia y de su devenir, consider ando como experiencia
tanto al proceso de las cosas como tambi n al proceso en que va
implicado el suj eto cognoscente (l a conciencia ).
La dialctica es la unidad de las contradicciones, devenida pro-
ceso. Es la cO'ntradiccin la que, en el conocimientO' del objeto, nos
permite mediante la determinacin posi tiva de ste pasar a su de-
terminacin negativa, y asir o retener una en la otra. Es en este
sentido que Hegel afirnla : "Si algo existente no puede en su deter-
minacin positiva trascender al mi smo tiempo sobre su determina-
cin negativa y mantener la una en la otra, a l no le es posible
.tener en s mismo l a -contradiccin, y entonces l no es la unidad
viviente, el fundamento, sino que en la contradiccin se destruye" 154.
Bachelard, con r efer encia a su propia 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 perennidad del
yo jJienso" 1 5:;. Estas "variaciones", pero en un sentidO' raiga 1m ente
dialctico, fueron ya destacadas (aunque la palabra dialctica no
aparece en sus "fragmentos") por Her clito, puesto que, para ste,
nuestro pensar es un acto del acaecer csmico, y slo por la apre-
hensin d e la esencia de las cosas en el curso del devenir, el pensar
llega a ser verdadero. Pero adems, st.e se enriquece histri camente,
es decir, dialdticamente: "Propio del alma es el lagos) el que a s
mismo se incrementa" 1Sil.
Tambin Hegel, como ya vimos, considera la experi encia en un
sentido integral desde que sta es en su estructura esencial el "m 0-
t1!/i4 'Wissenschaft der Logik, II Bd., pg. 59. Meiner, ed. Lasson.
a.55 La Philosophie du Non, pg. 9, ed. cit.
l56 Die!s, Die Fragmente der Vorsokratiker, 1 Bd., "Herclito" Frag-
mente, 115, pg. -100, oo. cit.
114 ICarios Astrada
vimiento dialctico" que realiza tanto la conciencia, en tanto que
cognoscente, como el obj eto a conocer, que para ella surge, as, en
U verdad, como objeto nuevo en virtud del trmite dinmico gene-
rado 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 ell a alcanzada-
que abarca desde el dominio de los hechos social-histricos y del
conocimiento de las ciencias naturales hasta la microfsica, y desde
la cibernti ca y el psicoanlisis hasta las totalidades biolgicas y ps-
quicas, nos muestra su gran prospeccin en fundamentales aspectos
de las investigaciones contemporneas.
Ni la di alcti ca hegeliana, sobre todo con sus sucesivos reajustes
metodolgicos, ni la marxista, son estructuras cristalizadas, fijadas
de una vez para siempre. Esta ltima, incluso en los fundamentos
que la validan, se expresa por una concepcin en la que, al plegarse
al devenir histrico y sus mutables contenidos, ella misma se en-
cuentra en transformacin y devenir. No obsta a la valoracin posi-
tiva de la di alcti ca y de sus resultados, las crticas (principalmente
del esquema hegeliano) que se le dirigen desde el pun to de vista
del complementarismo de la escuel a de Zurich, ni la sustitucin que
Stphane Lupasco pretende hacer de ella por su "dualismo antago-
nista", basado exclusivamente en la contradiccin y en una "lgica
de la energa". Lupasco, al rechazar en el trmite dialcti co, tanto
de Hegel como de Marx, la sntesis, porque, segn l, ella eli mina-
ra la contradiccin, no reconoce que la sntesis no excluye totalment e
la contradicn, sino que a sta, transformada, la conserva; la con-
tradiccin resuelta, lejos de desaparecer ha quedado como momen-
to. 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). La sntesis est ya agrietada
por la contradiccin, desde que, si la tomamos -como debemos to-
marla- como identidad concreta, lo posi tivo en ella (como ya lo
hemos destacado en V) slo tiene sentido en cuanto retiene lOo ne-
gativo y rec'procamente. Lupasco remacha su error en su ltimo y
,reciente ,ensayo, en el que afirma: "Sin duda, la anttesis de Hegel
existe virtualmente en la tesis, pero sta s entonces actual y aqull a
virtual, e inversament e, en consecuencia; en la sntesis ell as desapa-
recen, las dos, como por encantamiento, y la sntesis es desde este
momento plenamente actual" 157. Al contrario, la anttesis es - para
emplear los trminos de Lupasco- actual en la tesis, y recproca-
mente, y ambas existen actualmente en la sntesis.
Pensamos, adems, que Lupasco no est en lo cierto cuando
,sostiene que tanto Hegel como Marx se deciden por "el valor de
afirmacin e identidad" 1518. Del primero podemos, quiz, decir que
su sistema idealista lo lleva a hipo'stasiar el espritu haciendo de ste
"lo nico ontolgico" 159; pero de ,Marx no podemos sostener, como
pretende Lupasco, que haga otro t anto de la "materia" 160, porque
a l entonces tendramos que reprocharle emplear el con cepto de
materia en sentido metafsico, lo que es totalmente infundado *.
En lo que respecta a la logstica de los empiristas lgicos, con
1 57 Les t rois matUTes, pg. 178. J uli ard, Pars, 1960.
1:!5! , 1 50 Y 160 Op. cit ., pg. 171.
* Lupasco preconiza, como' 10 hemos sealado- anteriormente, una lgi-
ca en la que que se afirma la primada de la contradiccin. Paralela y compl e-
mentariamente a su "dualismo antagonista" ha d esarrollado la t eora de una
"causalidad de lo contradictorio". Segn sta, todo fenmeno est li gado a un
"antifenmeno". Por va abstracta, de lgica forrmal, Lupasco ha tratado de
demostrar que la ausencia d e contradiccin en un fenmeno cualquiera no pue-
de ser pensada. No podemos entrar en detalles, acerca de la sugestiva e int e-
resante concepcin de Lupasco, y menos a valorar 10 que haya de positivo en
ella; acabamos d e sea>lar lo que Lupasco critica y excluye - la estructura
de la dialctica en Hegel y Marx-, afirmaciones errneas e infundadas. Re-
mitimos a su libro L e principe d'a,ntago nisme et la logique de l'nergie, Her-
mann, 1951, y a su ltimo ensayo Les trois mat7i re5', especialmente a su ca-
ptulo IV Les dialectiques de l'ne"gie, p. 169, que hemos citado obj etando al-
gunas de su t esis. Su. "lgica d e la energa" y la " causalidad de 10 contradic-
torio" , con sus tres sistemas y tres tipos correlativos de orto-dialcticas, apli-
cadas a una pluralidad de devenires, se fundan en la existencia - postulada
por de un dualismo antagonista y contradictorio, inmanente a la
energa. ., \ , , .... J ... , h-,..' z t: ... tJ.' . ..u. 1 "1'. ' ': 11 "" , 1
sus anexos, el sintactismo y el semantismo, podemos consignar con-
clusivamente los sigui entes reparos fundamentales a sus tesis.
No hay una diferencia sustancial en reemplazar la palabra "he-
chos" del viejo posi tivismo (o la de "elementos" del machismo) por
la palabra "protocolos" , o sea, por hechos susceptibl es de ser expre-
sados en un lenguaj e determinado (formalizado) despus de ser
observados, verifi cados sensorialmente. Ya no se trata, para este
positivismo de nuevo cuo, de supuestas relaciones constantes entre
hechos, sino de relaciones sintcti cas resultantes de protocolos "con-
trolados" y sistematizados.
Adems, el propsito -tan caro a los semantistas- de crear
un lenguaje enteramente formalizado, ha fracasado porque ellos des-
conocieron, desde el comienzo de su tentativa, lo que es inalienable
en el lenguaje natural, en el "lenguaje obj eto". Con acierto nos
dice Gonseth, en las conclusiones metodolgicas de su obra "La
gomtrie et le probleme de l' espace": "Un paso 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 ms adelante, Gonseth explica: "Las indagaciones
formalizadoras pueden ser encaradas como un ensayo para despejar
una nueva perspectiva de elementaridad en Lgica , )f y ms gene-
16,1 Recherches mt hodologiques, en Dialctic'l, p. 143 N" 33-34. 1955
<1 La distincin entre "formal" y "formalista" que, con un sentido. de
subestimacin de la lgica aristotlica, hacen los logsticos contemporneos, no
es cl ara ni concluyente. Con r elacin a ella Lukasiewicz escribe: " Lgica for-
mal y lgica formali sta son dos cosas difer ent es. La 'lgica a r i,stotlica es for-
mal, sin ser formalista, mi ent ras que la l gica de los estoicos es formal y
formalista . . . . La moderna lgica formal concede el mayor cuidado. a la pre-
cisin d el l enguaj e. Lo que' se ll ama formalizar es la consecuenc ia de esta ten-
dencia" (Aristotle's Syllogistic, pp. 15-1 6, 2" ed. , Oxford, 1958 ). Recordemos
que l a lgica d e los estoicos es' una mezcla de conside'l"aciones lgicas y con-
sideracio.nes gramati cales. Esto. coincide en ell a con la t endencia a interpretar
el contenido. de los. conceptos co.mo la suma de sus notas caractersticas, idea
imprecisa y superfi cia1 que r eapar ece en el t ra tamjento. algebraizante y ma-
tematizant e de la lgica moderna y d e la logstica del p ositivismo. lgico. Tam-
bin es infundada la t eora de los estoicos de que p ensamiento y palabra son
uno y lo mismo', consi derados desde dis tintos lados. Como lo seala Zell er en
su concisa va:lo'l"acin de la lgica d e Jos estoicos : " .. . Lo que ti enen de co-
mn las explicaciones de los estoicos slo reside en que todas ell as se r efi eren
a l as condiciones fo'rmales del pensamiento y de la r epresentacin" (Die Phl-
losophie deT Griechen, III Bd., 1 Abt., p. 65, 4- ed., 1909 ) . Igualmente seveTO
es el juicio de M'indelband sobre l a lgica de los estoicos: "En general ellos
despliegan l as r egl as lgicas en un seco esquematismo, en un formalismo pura-
mente esco.lar, el que se alej ms y ms de las ideas de contenido fundamen-
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 particular la prueba de la no-contradiccin
de los procedimientos matemticos y de los procedimientos forma-
lizadores 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 ido-
nesmo, conforme al cual el paso de una situacin dada, tomada
como punto de partida, respondera a ciertas exigencias de cohe-
rencia 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 procedi-
miento formalizador" 163.
tal de la Analtica ,ristotlica para transfo-rmarse en un cmulo muerto de
frmulas . El infruc.tuoso sutilizar de esta prctica se complaca, sobre todo,
en el desenlace de sofismas sin salida, en los cuales el contenido positivo que-
daba, sin salvacin, aprisionado en el antagonismo de las' formas" (Lehrbuch de.r
Geschichte der Philosophie, p. 164,6" ed., 1912); coincidente con stas es la
apreciacin de Paul Barth. Die Stoa, p. 73-77 y p. 85-90, 3 Auf. Stuttgart, 1922.
El punto de vista de la lgica de los es toicos es en el que se sita Lukasiewicz
para enjuiciar l a lgica aristotlica -por ciertas imprecisiones de su lengua-
je- porque "Aristteles constant emente emplea diferentes frases para el mis-
mo 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 amente a lo que sostenan los estoicos -no de-
pende de las palabras, sino de la significacin de stas, l puede ser consi-
d erado formalista en el buen sentido de la palabra. Lukasiewicz, empero, ex-
plica: "La moderna lgica formal tiende a obtener la mayor exactitud posi-
bl e. Este propsito slo puede ser alcanzado, por medio de un lenguaje preciso
hecho de signos estables, visualmente perceptibles" (Op. cit., p. 15). Aqu cs-
t implicita la confusin de estrictez lgica (formalismo) con exactitud ma-
temtica; vale decir que se habla no de 'lgica formal, sino de logstica y de
su simbologa (lenguaj e formalizado), que son dos cosas diferentes. Nbs re-
ferimos aqu a formalismo, no en el sentido que se da a este trmino a partir
de D. Hilbert y que designa el formalismo de la lgica matemtica. Luka-
siewicz, al llamar formalista a la lgica de los estoicos, .parece emplear la
palabra en una acepcin ambigua. Creemos, emp ero que le asiste razn a 1.
Bochenski cuando considera como formalistas a las tres estructuras que pre-
senta la lgica occidental: ~ a lgica antigua (incluida, naturalmente, la aris-
totlica), la escolstica y la matemtica (Fo'rmale Logik, pp. 15-16, Freiburg
im Breisgrau, 1956) . 'Wolfgang Albrecht (en su obra Die Logik der Logistik,
1954) ha movido fundamental es objeciones contra la interpretacin de la l-
gica de Aristteles por parte de Lukasiewcz. No es clara ni fundada la re-
ladn que establece st e entre l a lgica aristotlica y la estoica, y menos el
paralelismo que l smpone existira entre stas y la lgica y logstica contem-
pornea. Este tema no ha sido an objeto de una dilucidacin a fondo.
162 Op. cit., Dialctica, N 33/34, p. 161.
~ 6 ' 1 Op, cit. Dialctic;a, N 33/34, pp . .143-144.
Dialctica ,positivismo lgico I 119
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 "cientfica" de Alfredo Korzybski, el que
encontr su ms entusiasta epgono en Stuart Chase.
Korzybski, en su voluminosa obra CJelncia JI Cordura se propo-
ne, 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 identidad como un papel teraputico. De
ms est decir que lo que l entiende por identidad nada o casi
nada: -como no sea por el nombre- tiene que ver con 10 que Aris-
tteles formul a como principio lgico de identidad. Matemticas y
Semntica seran los dos grandes captulos de la "nueva educacin"
.programada sobre aquell a base; la matemti ca es considerada como
el nico lenguaje correcto tanto desde el punto de vista neurolgico ,
como biolgico, por ofrecer la matemtica una estructura similar .a
la del mundo y el sistema nervioso.
Basado en estas ideas, Korzybski hace una inquietante progno-
sis : 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 mo-
ral y psicol gi ca de Estados Unidos de Norteamrica no-es resultado
de su estructura social capitalista y el semill ero de problemas emer-
gentes de sta, sino que ella proviene de un lenguaje-inadaptado a
las circunstancias. Barrows Dunham, en su libro Mam Against Myth,
ha hecho con su crti ca 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 bsqueda no es muy prolij a, pero de todos
modos nuestro fracaso es evidente. 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 defini 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 en el Banco :
tal vez si realmente entendiramos la sintaxis de "hay" y la nega-
tividad del "nQ" encontraramos que riCQs. Toda perplejidad
se debe a la frustracin de! lenguaj e. Todos los problemas son mera-
mente, verbal es" 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 nomi-
nalismo 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 ,actitud. As, por ejemplo, el
eminente matemtico K. Gdel, es realista platnico, puesto que
para l las matem ti cas son descubridoras y no inventoras de sus
obj etos 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. Asi-
mismo 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. Dun-
ham 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 mansos, otros rabiosos, otros indiferentes".
"No existe el ente "humanidad". Hagamos un ll amado tan violento
como se quiera: "humanidad, ven aqu, y nadi e contestar". "No
existen sistemas basados en ganancias como una entidad en el mun-
do 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 dife-
164 El hombre contra el mito, p. 228, trad. cast., Buenos Aires, 1956.
* Parece que para el seor Chase t ampoco existe un sistema econmico
cuyo pivote es la ley de la mayor ganancia, sistema !!studiado
y analizado en su anatoma y en su funcionaIIJ: ento interno y condenado a
desaparecer en todo el' orbe, habiendo ya desaparecido en la mitad de ste.
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 perros 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 ra-
zonamiento no lo agarra el seor Chase. Rebajemos un poco el nive'l
inductivo (entre las ms divertidas quisicosas de los semari tistas est
la "teoria" de los niveles"). Supongamos que el seor Chase, olvi-
dando por un momento su postura semantista, no diga, "vaya dar
de comer a Rover (1), a Rover (2) y a Rover (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 fi losofa conden-
sada. Pero elevemos ahora un poco el nivel, el cuantitativo (hasta
que la cantidad se transforme en cualidad), y para ello vamos a
suponer que el seor Chase no tiene tres perros '( 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 semn-
tico, 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 hay
ya bastante con sus semantistas, Dunham, con precisa y sobria serie-
dad los enjuicia con estas palabras: "Los avances de cada da con-
tradicen a los escpticos; el xito hace que los cnicos dejen de
serlo; los que buscan el placer dejan de lado la cautela y los estoi-
cos 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 pa-
labra acerca de la palabra" 1613 .
165 Op. cit., pp. 248. 249-250.
166 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 '
periclita. Ellos contribuyen a definir la filosofcula de un orden so-
cial cuyo destino est ya sell ado. En es te sentido podemos conside-
rarlos, justamente, como integrantes de una ideologa. Agnosticismo
sensorialista e irracionalismo constituyen la ideologa de ese mundo.
en el declive; ellos son las ni cas tablas' de salvacin a que intentan
asirse idelogos y teri cos de toda laya en el naufragio de todo un
sistema social.
En su intento de abarcar, con sus analogas, axiomas *y trans-
cripciones protocolarias, las diferentes ramas cientficas en una "en-
ciclopedia de la ciencia unificada", los positivistas lgicos no sis-
tematizan conocimientos, sino que construyen precisamente una
ideologa, la que, sin duda, responde a las vacil antes estructuras eco-
* Los cuatro axiomas, t an llevados y trados, del c1cul<l proposicional
- fundamentalmente Jos de Principia Mathem/lJ!t icClr- ti enen la siguiente for-
(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, entonces p". Sustituyendo por frases del
lenguaj e corriente tenemos el siguiente ejemplo Si (o [Wittgenstein padeci
de un marasmo mental o' Wittgenstein padeci de un marasmo mental) enton-
ces padeci de un marasmo mental.
II p J (p v q), o sea "si p, entonces o p o q". Ejemplo: Si el semantismo
est de moda (o' el semantismo 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 nave' csmica fue puesta matemticamente en rbita o la estrella cine-
matogrfica es resultado d e una fabricacin ,en serie) entonces (o la estrella
cinematogrfica es resultado de una fabricacin en serie o ola nave 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), entonces (o r o q). Ejemplo: Si (si los gatos maull an, entonces
Greta Garbo es la esfinge de Occidente) entonces (si o el logstico nativo
manda b parte o Jos gatos malJan), entonces (o el logstico se manda I'a
parte o Greta Garbo es 'la esfinge de Occidente) . De los axiomas de taJ siste-
ma, por secuencia, se derivan teoremas, y todo teorema es una tautologa,
la tautologa, com.o' dicen los- empirista,s lgicas, "es her,editaTia" y por esto
ellos son tautolgicos por atavismo ... "neo"-.positivista. Si Jl egamos a una
forma que no es t autolgica, entonces no se trata de un t eorema. As 'p v q' ,
no es un teorema. Ej emplo : O San Martn proclam el principio de autodeter-
minacin de los puebJos o El ao 1958 fue 1anzado el sateloide del "desarro-
llo" no es una tautologa. Por lo d ems, la lgica de las modalidades ha abier-
to, desde hace ms de .treinta aos, una gran brecha en la lgica pFOposicio-
na! biva'\ente, formalizada por B. RusseH y :Whitehead. Oskar Becker, sobre
nmicas de la sociedad a que ellos pertenecen. No cabe negar que
a esta tarea ellos la realizan con plena conciencia, pero una concien-
cia 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 ju-
r i ~ t a , podemos decir que el logsti co y eL semantista -sobre todo los
de la gran hornada actual- porque estn cabeza abajo se imaginan
que operan con conocimientos cientfi cos (habl an confi ada y enfti
camente de una "filosofa cientfica"), cuando 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 pro-
ceso que el ll amado 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 norteamericano C, 1. Lewis, ha desarro-
llado una teora del clculo modal (vase Zur Logik deT Modalit.ijten, en ahr-
buch fr Philosophie und phiinomenologische Forschung, Va. XI, 1930, y Ein-
fhrun g in die Logistik, Mei&enheJm am Glan, 1951) . Las consecuencias cr-
ticas con r elacin a la ,logstica bivalente l as ha apuntado certeramente Her-
mann :Weyl en su ensayo The Chost 01 Modality (en Philosophical Essays in
M emorY' 01 Edmund Husserl, Massachusetts, 1940). Segn ,Weyl ya no se pue-
de "contestar con un claro y cor-tant e s o no, conforme al cual la proposicin
es o verdadera o falsa", pues el "espectro" de la modalidad hacindose pre-
sente, invalida esta alternativa simphsta.
167 Carta a Mehring (14 de juJio 1893), en Marx-Engels, Correspon-
dencia. Seleccin del " Instituto Marx-Engels-Lenin" , pp. 5211522, 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 di e 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 reivindi-
car sta para s la Lgica y su historiografa. Seala el fracaso de la
logstica cuando trat a de definirse en el terreno de la Lgica. Una
disciplina no es, absolutamente, definible por la otra.
El objeto de la Logstica son las relaciones entre smbolos, l-
gicos o no lgicos; el de la Lgica es el ahondamient'O y explicita ci n
filosfi cos de todo lo que se refiere a su propia fundamentacin. La
Logstica es matemtica; la Lgica, filosof a. Aqu los smbolos son
solamente ocasionales abreviaciones. Hay slo una lgica, y, por lo
tanto, no hay lgica de las rel aciones, de los predicados, de los enun-
ciados, etc. Estas constituyen clculos logsticos, lgicamente secun-
darios, 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 me-
dieval a la moderna logstica. AS, por ejemplo, las principales tesis
de la Logstica proposicional han sido tomadas y transferidas -como
ce.rteramente 1'0 seala Jacoby- del falso tipo de lgica filnica
(Filn de Larisa) de la Antigedad y de la Edad Media. Pueden
notarse entre las tesis principales de la Logstica proposicional las
siguientes que proceden, apenas literalmente modificadas, de Filn:
1) No habra ninguna represent acin 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 dife-
rencia de lo verdadero 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 permite excepcin
alguna, podra ser de 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 sus-
ceptible 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, de 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 contempo-
rnea, en la propia Alemania, que pareca ganada por la ideologa
anglosajona de las "nuevas lgicas", estn asestando golpes demole-
dores a la Logstica y a las tendencias conexas: semantismo, sintac-
tismo, agnosticismo.
Indice
PRLOGO ' A LA SEGUNDA EDICIN 7
INTRODUCCIN
13
CAPTULO 1 .......... . ... . .................. 17
1) La dialctica complementarista, 17. 2) Lgica y Lo-
gstica, 19. 3) Lgica dialctica y carcter instrumental
de la logstica, 2'4, 4) Deduccin matemtica y deduc-
cin 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 machismo, 63,
CAPTULO ID . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
9) Lgica y matemtica segn Tarski, 69. 10) El con-
cepto de verdad en los lenguaj es formalizados, 70. 11)
Las paradojas: Nombres autolgicos y heterolgicos, 78.
12) El concepto semntico de la verdad, 79. 13) Sach-
verhalt y Tatsache, 82. 14) La filosofa cientfica, 88.
15) Anlisis lingstico, filosof a y metafsica, 90. 16)
Semntica y analiticidad, 95.
CAPTULO IV .. ........ 101
17) "Contradiccin" y dialctica, 101. 18) Identidad y
contradiccin, 107.
CAPTULO V ........................ 111
19) Dialctica y contradiccin, 111.
CONCLUSIN
115
ApNDICE SOBRE LA LOGSTICA ........ 124
u.u ... ,

SARMIENTO H120
T. E. 406640
Alne s
SE ACAB DE TMPRIMIR
EN MAYO DE 1964, EN LOS
TALLERES GRFICOS VERDAD, S. R. L.
SENILLOSA 1535, BUENOS AIRES

Astrada Carlos Dialectica y Positivismo Logico

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Astrada Carlos Dialectica y Positivismo Logico

Cargado por

Copyright:

Formatos disponibles

DIALECTICA y

También podría gustarte