Dinoia, vol. 2, no.

2, 1956
390

RESE1'I'AS BIBLIOGRAFICAS

co, jurista, filsofo, elabor una obra

considerable en la cual predominan, sin
duda, sus contribuciones definitivas en
el dominio del derecho como "El Proyecto del Cdigo Civil Brasileo", "El
Derecho de las sucesiones", los "Tratados de Derecho Internacional", Todo lo
cual no significa que no haya cultivado
de una manera brillante y objetiva el
terreno de la crtica y la filosofa.
Tito Livio de Castro (1864-1890)
aunque propiamente no perteneci a la
Escuela, se vio influido en gran manera por las ideas de Barreto. Crtico,
bilogo y filsofo, fue el que deriv las
ltimas y ms absurdas consecuencias
de la concepcin naturalista. Su adhesin al transformismo, al determinismo
y al monismo no conoci lmites, vacilaciones ni compromisos. El naturalismo, para l la ms genuina expresin
del arte, fue el vidrio de aumento con
el cual enfoc al hombre, la vida y el
universo. Por lo mismo que vivi poco,
dej slo tres expresiones de su vasta
erudicin y capacidad crtica: "Alucinaciones e Ilusiones", "La Mujer y la
Sociogenia" y "Cuestiones y ProbJ.e..
mas".
No cabe duda que sera una fecunda labor, para establecer semejanzas y
diferencias, la comparacin entre los
positivistas brasileos y 'los positivistas
mexicanos. As, por ejemplo, encontramos en un ensayo de Clovis Bevilaqua
unas palabras que muchas veces hemos
odo decir a pensadores mexicanos; explicando la preponderancia del positivismo en el Brasil, afirma lo siguiente: " .. _el positivismo, resumiendo el
conjunto vastsimo del saber humano
en pocos libros, e imponiendo los preceptos cientficos con el dogmatismo
intransigente con que evangelizan las
religiones purificando mculas de hereja, favoreca nuestra indolencia mental, que prefiere los devaneos de la
imaginacin y las facilidades del dogmatismo a las asperezas del estudio y
la crtica".
Sin embargo, por lo ledo, nosotros

pensamos que el positivismo brasileo

fue menos intransigente y ms elstico
que el mexicano, a pesar de que encontramos prrafos tan exagerados como
el siguiente de Barreto: "La distincin
entre la antigua y la nueva prosa, consiste sobre todo en que nosotros, hijos
del siglo XIX, pensamos si puedo decirlo as, con ms velocidad, callando mucha cosa que, entre tanto, no deja de
ser pensada. Y esto es posible porque
las nociones, como nos las ofrecen las
lenguas cultas en palabras y formas particulares, son ms densas, es decir, de
un contenido ms vasto."
Creemos que el conocimiento de Kant
temper muchos vuelos de los positivistas brasileos. De aqu que encontremos en uno de los ensayos de Romero
una afirmacin capital en teora de la
ciencia, cuando se declara partidario
de una separacin entre las ciencias naturales y las sociales; la tendencia a
confundirlas, dice, "se revela especialmente en el lenguaje que ellos aplican
a los fenmenos sociales, lenguaje tomado de las ciencias matemticas, fsicas y naturales. Expresiones legtimas,
cuando son empleadas para aquello para
lo que fueron creadas, asumen, sin embargo, un carcter pronunciadamente
metafrico cuando se refieren a asuntos a los cuales difcilmente se aplican".
Tal vez, semejantes conocimientos
pudieron servirles a los brasileos para
integrar una ideologa adecuada a su
realidad y no al contrario, como sucedi con los positivistas mexicanos.
ABELARDO

VILLEGAS

Lgica Matemtica, por Jos Ferrater Mora y Rugues Leblanc. Fondo de Cultura Econmica, Mxico-Buenos Aires, 1955.
El Fondo de Cultura Econmica acaba de publicar este excelente libro, fruto de la colaboracin .de dos distingu-

RESEAS

BIBLIOGRFICAS

dos profesores del Bryn Mawr College

de Pennsylvania: Jos Ferrater Mora y
Hugues Leblanc. Los autores expresan
as, en el Prefacio, el propsito de la
obra, plenamente realizado por ellos:
"presentar a los lectores de habla espaola, de una manera sucinta, clara y
rigurosa, los temas fundamentales de
la disciplina que unos llaman lgica
moderna, otros lgica simblica, otros
--como aqu se hace- lgica matemtica, y que nosotros preferimos llamar
simplemente lgica" (pg. 7).
Despus de advertir al lector lego en
la materia que no debe atemorizarse si
encuentraque en el manual no escasean
los smbolos, ya que stos, lejos de
entorpecer la comprensin del texto,
"constituyen el nico modo de entenderlo derechamente", pues "una lgica
matemtica sin smbolos sera tan inconcebible como una aritmtica sin cifras", tienen el gran acierto de explicar
por qu esa disciplina no est necesariamente vinculada al llamado positivismo lgico ni, en general, a ninguna
otra posicin doctrinaria, actual o pretrita. "Nuestro libro --escribenno
se adhiere a ninguna direccin filosfica determinada. No es necesario. La
lgica matemtica no es el rgano de
ninguna escuela. Para usarla no es menester ser cientificista ni positivista; se
puede ser tomista, marxista, fenomenlogo, existencialista. No pretendemos
exponer ninguna doctrina filosfica,
sino los rasgos fundamentales de una
ciencia."
Componen el libro ocho captulos, de
los cuales el primero, titulado "Naturaleza de la Lgica", principia con una
breve disertacin acerca del lenguaje,
seguida de algunas consideraciones en
torno a los signos, hechas a la luz de la
distincin de Carnap entre signos-acontecimientos y signos-modelos.
Explicada la diferencia entre los tres
"alcances" del lenguaje ordinario, a saber, cognoscitivo, valorativo y prescriptioo; los autores manifiestan que habrn
de limitarse al primero; seguidamente

391

aluden a las dos clases de partculas

que componen tal lenguaje y, valindose de una serie de ejemplos, exponen
el concepto de estructura lgica. La segunda seccin del mismo captulo, basada en la doctrina de la jerarqua de
los lenguajes, traza la distincin entre
el llamado objeto-lenguaje y el lenguaje de este lenguaje, o metalenguaje, es
decir, el lenguaje en el cual hablamos
acerca del primero. Las dos ltimas
secciones del captulo inicial refirense, respectivamente, a la semitica, o
estudio general de los signos, considerada como un lenguaje, y a los conceptos de lgica deductiva y lgica inductiva.
El captulo segundo ("Lgica Sentencial"), comienza con un anlisis de
las nociones de juicio, proposicin y
sentencia. Los autores entienden por
juicio "el acto mental por medio del
cual pensamoscualesquiera enunciados"
(pg. 21); llaman proposicin a "lo
pensado en dicho acto" (pg. 22) y
dan el nombre de sentencias a "las series de signos en las cuales se expresan
proposiciones" (pg. 22) ; no sin explicarnos, en una nota, por qu introducen
los trminos "sentencia", "sentencial",
"sentencialmente", que prefieren a los
comnmenteusados "oracin", "oracional", "oracionalmente", y a los de
"enunciado", "enunciativo" y "enunciativamente" que les fueron sugeridos, antes de que el libro se publicase, por el
filsofo Jos Gaos.
Dan, pues, el nombre de lgica sentencial a la que trata "de las sentencias
como unidades y de sus combinaciones". Indican despus cules son las
letras sentenciales de que se servirn
para simbolizar las sentencias y, a rengln seguido, hacen ver en qu difieren
los enunciados atmicos de los llamados moleculares, y definen la nocin de
esquema sentencial (pg. 23). En la
seccin siguiente estudian las partculas
conectivas "y", "o" (en sus dos sentidos, exclusivo y no exclusivo); "si ..
entonces" (o condicional); "si y slo

392

RESEAS

BIBLIOGRFICAS

si" (o bicondicional), y los signos que

simbolizan las correspondientes operaciones. En el 7 exponen cmo se forman las tablas .de verdad, con cuya ayuda "se determina de un modo mecnico
la verdad o la falsedad de una frmula
molecular cualquiera, dados los valores
de verdad de las frmulas componentes", (pg. 28) Y en el 8 hacen ver
cmo, gracias al uso de las tablas, se
identifican las frmulas llamadas tautologas. Las secciones finales del mismo captulo versan sobre la prueba en
la lgica sentencial, el clculo lgico,
las lgicas finitamente polivalentes y las
lgicas modales.
Los autores pasan despus a la lgica cuantificacional (cap. III). A diferencia de la sentencial, que se ocupa de
los enunciados y sus combinaciones, sin
tomar en cuenta la composicin de tales enunciados, la cuantificacional trata, en cambio, de tal composicin. Hecho, en la seccin 14, el estudio de los
cuantificadores, en la siguiente son expuestas las leyes de la lgica cuantificacional. Estas leyes merecen especial
atencin por el papel que desempean
en la lgica clsica; son, en efecto, las
mismas del silogismo categrico. Cierra
el captulo una seccin sobre el clculo
cuantificacional,. ampliacin del sentencial, ya que todos los elementosde ste
son, a la vez, elementos del otro.
La lgica de la identidad es expuesta en el captulo IV. Las secciones de
ste versan sobre el signo de identidad,
las leyes de aquella lgica, los cuantificadores numricos y las descripciones.
Los autores emprenden despus la
exposicin de la lgica de las clases
(cap. V). Explicado el concepto de
"clase", ofrecen algunas nociones de lgebra booleana; estudian los mtodos
usados por Leibniz y Euler para la representacin grfica de las clases; analizan. los diagramas de que en 1881 se
vali J ohn Venn para explicar los silogismos, y hacen referencia a varias de
las leyes del lgebra de Boole,
En el captulo VI, consagrado a la

lgica de las relaciones, son sucesivamente abordados estos temas: concepto

de relacin; el lgebra de las relaciones de Augustus de Morgan y Charles
S. Peirce; leyes del lgebra relacional;
conceptos de relacin conversa, producto relativo e imagen; concepto de funcin. '
Los ltimos captulos del libro se titulan,. respectivamente, Lgica cuantificacional superior y Metalgica. En
aqul (cap. VII), son discutidos algu- .
nos mtodos para la ampliacin del lenguaje lgico, as como las paradojas de
Russell, las teoras intencional y extensional de los tipos y las paradojas semnticas.
En el captulo VIII, con el que la obra
termina, se estudia el concepto de sintaxis lgica; expnense algunos de sus
resultados relativamente al clculo sentencial, al cuantificacional elemental y
al cuantificacional superior; hblase
de la aritmetizacin gdeliana de la sintaxis, y pnense algunos' ejemplos para
explicar el concepto de designacin; se
alude a la "controversia de las entidades abstractas", esto es, al debate sobre
los tipos de entidades que un clculo
dado debe reconocer como los valores
de sus variables o signos cuantificables,
y se estudian las significaciones desde
el punto de vista de la pragmtica, o
anlisis de los signos en su relacin con
los sujetos que los usan.
En el Apndice se ofrece una bibliografa de obras sobre lgica matemtica. Los ttulos que la forman han sido
ordenados de esta manera: Grupo 1:
Estudios de historia de la lgica; Grupo 11: Obras de inters histrico (de
Leibniz a Russell); Grupo 111: Tratados sistemticos.
El mayor mrito de la obra es, para
nosotros, su claridad. Tratndose de
materia tan rida y, sobre todo, tan difcil para el no iniciado, 'tal virtud resulta la ms estimable en un manual de
lgica simblica. Aun cuando los autores resumen lo mejor e incluso lo ms
abstruso del pensamiento lgico mate-

RESE~AS BIBLIOGRAFICAS
mtico, sus exposiciones son siempre
sencillas; la dosificacin de los temas
es admirable, y el mtodo seguido es el
que mejor se adapta a las exigencias
didcticas. Por ello pensamos que la
obra ser muy til a los principiantes
y, especialmente, a los alumnos de los
cursos de lgica, tanto en las escuelas
preparatorias como en las Facultades de
Filosofa.
EDUARDO

GARCA

MYNEZ

Fact, fiction and forecast, por NeJ

son Goodman, Harvard University Press, Cambridge, 1955.
El problema central de que trata este
libro es el constitudo por los juicios
condicionales o hipotticos (si es x, entonces es y) para el caso en que tanto
el antecedentecomo el consecuenteson
falsos. Ya que, como es sabido, todo
juicio condicional es formalmente vlido cuando la condicin es falsa, independientemente de que la consecuencia
sea vlida o falsa. Pues bien, examinando con rigor y minuciosidad este
problema en todos sus aspectos, el autor llega a desarrollar una gran coleccin de paradojas formales y de sealar
los medios lgicos para disolverlas, sin
tener que preocuparse por encontrar su
solucin. En este despliegue de las sutiles caras que tiene la cuestin principal, Goodman analiza el carcter de las
condiciones establecidas como antecedentes en las relaciones hipotticas y la
naturaleza de la ley cientfica en su funcin de servir como antecedentecomn \
para un conjunto infinito de juicios
condicionales. De aqu se ve conducido al problema de determinar el modo
como se efecta el trnsito de la simple
formulacin de un enlace conceptual
a la posibilidad de su cumplimiento.
Esto lo hace desembocar en un nuevo
planteamiento de la inferencia inductiva. Luego, al tratar de descubrir una
justificacin formal estricta para la

393

induccin, acaba por desplazar dicha

justificacin hacia el problema de construir una teora de la confirmacin. Y,
por ltimo, la solucin de las dificultades que presenta el problema de definir
la confirmacin, la proyecta en las perspectivas que ofrece la tarea de estructurar una teora de la previsin.
Con arreglo a las doctrinas de la semntica y la sintaxis lgicas qUe sustenta, Goodman arriba al siguiente argumento circular: un razonamiento que
se establezca conforme a las reglas generales de la inferencia deductiva se
encuentra justificado, o es vlido, aun
cuando su conclusin resulte falsa; y,
a la vez, un razonamiento que viole alguna regla general de la inferencia deductiva es una falacia, aun cuando su
conclusin sea verdadera. Y este mismo criterio es el que descubre, en ltimo extremo, en el caso de la inferencia inductiva. Es claro que las reglas
mencionadas no son cualesquiera reglas arbitrarias, sino uno de los varios
conjuntos de reglas que son vlidas
para la induccin o para la deduccin..
Pero, en todo caso, queda en pie el problema de determinar en qu consiste la
validez de tales reglas. Para resolverlo, el autor rechaza los recursos de considerar dichas reglas como axiomas evidentes por s mismos o de postularlas
como cualidades intrnsecas e inexplicables del entendimiento humano. En
lugar de estas interpretaciones convencionales, Goodman reconoce como nica justificacin de las reglas, tanto de
la deduccin como de In induccin, su
conformidad con la actividad prctica
de inferir.
Volviendo al problema de los juicios
condicionales cuya validez resulta de la
simultnea falsedad de su antecedentey
su consecuente,Goodman muestra otros
de sus aspectos. Todo juicio establecido explcitamente en esta forma (si x
es falso, entonces r es falso, se puede
convertir, conservando su validez, en un
juicio con antecedente y consecuente
vlidos (si es y, entonces es x). Tam-