REVISTA DE IJIBROS

N. l. STYAZHKIN: History of mathematical logic. Translated

from the russian. Cambridge-Massachusetts: Th~ M. l. T.
Press, 1969, vi + 333 pgs.
Con el cambio de la situacin general de la U. R. S. S. en tomo
a 1956, a la apertura rusa en lgica matemtica, que encuentra sus
inicios en la obra, principalmente, de S. A. Janovskaja del departa-
mento de Filosofa de la Universidad de Mosc, iba a seguir el
nacimiento de una potente generacin, integrada por Zinoviev, Smir-
nova, Finn, Ujemov y Popovitch, por citar slo algunos de los ms
representativos, que ha venido realizando una fructfera labor de in-
vestigacin en los distintos campos de tal problemtica. Baste para
~llo, quizs, recordar los trabajos del primero en lgica modal y
polivalente, los de semntica del segundo y tercero o los anlisis del
lenguaje de la ciencia del ltimo.
En este contexto debe explicarse la labor de N. 1. Styazhkin,
filsofo colaborador de Zinoviev en el primer seminario de lgica,
dirigido por este ltimo hacia el ao 1956, y de cuyos conocimientos
histricos de tal materia es ndice claramente revelador la obra que
en este punto recensionamos.
En general, los estudiosos de la lgica, con inquietudes por su
historia, agradecemos que un autor no se deje arrastrar por una idea
en sus obras, subordinando a ella o, incluso, forzando, para que se
le adece, la interpretacin de textos del pasado. Es ste un mrito
que, en primer lugar, queremos destacar de la obra de N. l. Styazhkin.
En efecto, como el propio autor nos dice, son, esencialmente, dos
las actitudes adoptadas por los investigadores de historia de la lgica:
la filolgica y la 'lgico-retrospectiva'. Los riesgos de una y otra -el
quedarse en la mera investigacin de la innovacin terminolgica y
el modernizar el pensamiento investigado, respectivamente- son sal-
vados, a nuestro parecer inmejorablemente, por Styazhkin. Empleando
uno y otro sistema se muestra objetivo en todas sus afirmaciones y
no se deja arrastrar por no demasiado fundamentados 'parentescos'
entre lejanas y modernas teoras.
La obra, pese al ttulo, se inicia dando cuenta de la lgica formal
en la Edad Media, punto donde Styazhkin desarrolla un estudio -uno
de los ms sugestivos que contiene, a nuestro parecer- sobre las
paradojas semnticas, basado, ante todo, en la obra de Alberto d~
Sajonia y John Buridan.
133
~
11
134 Revi$ta de libros
i/
En cuanto al objeto central del libro, interpretadas originalmente
las dificultades de las ltimas investigaciones de Leibniz como resul-
tado de la carencia en su lgica de operaciones directa e inversa al
modo actual (frente a las interpretaciones intensionalista y olista-
formalista de Couturat y Rescher, respectivamente) y caracterizado
de modo atrayente el clculo de Boole como un anillo de dos mdu-
los residuales, expone Styazhkin la obra de dos lgicos rusos, Po-
retsky y Burnitsky de fines del pasado siglo- cuya labor creo que es
prcticamente desconocida en Occidente y que, sin embargo, a travs
de estas pginas se nos muestran como pensadores fructferos, sobre
todo en lo que respecta al primero. Efectivamente, Poretsky -slo por
citar un detalle- intentando dar carcter cientfico a la aplicacin
booleana de la lgica matemtica a la teora de la probabilidad, des-
cubrira unas formas normales simplificadoras en grado alto de pro-
cesos de deduccin, con uso, asimismo, simplificativo en el tratamiento
de frmulas estructurales de 'relay-contact networks'.
La obra (que se cierra con un estudio de Peirce como 'pragmatista-
materialista', Frege y Peano, ms una abundante bibliografa (535 ttu-
los), donde el lector puede encontrar cauces ulteriores para la prose-
cucin de su estudio) es mucho ms que esto. La sencillez del lenguaje
empleado, la forma de exposicin y, como es natural, el contenido
expuesto -no mero catlago de nombres- dotan a History of mathe-
matical logic de N. l. Styazhkin de una capacidad de sugestin que, a
nuestro parecer, la convierte en modelo de lo que, generalizando,
debera ser la investigacin histrica de una disciplina.
'I!
1:
!II
1,
111
I1
J. Sanmartn Esplugues
,I!
I1
:11
f
HINTIKKA, Jaakko (Ed.): The Philosophy of Mathematics.
Oxford: Oxford University Press, 1969, 186 pgs.
11
il
The Philosophy of Mathematics es uno de los sugestivos ttulos
de la serie Oxford Readings in Philosophy dirigida por G. I. Wamock.
Recoge, precedidos por una excelente Introduccin que los enmarca,
los siguientes artculos: Semantic Entailment and Formal Derivability
(E. W. Beth), The Completeness of the First-Order Functional Calculus
(L. Henkin), Completeness in the Theory of Types (L. Henkin), Lan-
guages in which Self Reference is Possible (R. M. Smullyan), Informal
Rigour and Completeness Proofs (G. Kreisel), Systems of Predicative
Analysis (S. Feferman), An Interpretation of the Intuitionistic Sen-
tential Logic (K. Godel), The Present Theory of Turing Machine
Computability (H. Rgoers, Ir.), Mathematical Logic: What Has It
Done for the Philosophy of Mathematics? (G. Kreisel), The Meta-
physics of the Ca1culus (A. Robinson) y What is Elementary Geometry
(A. Tarski).
'1
I
I
,1
I
--- - - - - --