100

Revista de libros

den, fue desafiado en el siglo XIX por el principio del desorden

(entropa) y ambos deben ser englobados por el principio ms
comprensivo de la organizacin. De otro lado la naturaleza no
slo es estructura, sino tambin accin y funcionamiento. La segunda parte del volumen desarrollauna teora de la acciny la produccin centrada en el anlisisy construccin de un concepto ciberntica de mquina recursivamenteaplicable al sol, a la tierra,
a las especiesvivas,a la sociedad y a los artefactos. La tercera parte, fmalmente, procede a una revisinde la idea de conocimiento
a la luz de los principios de la actual teora de la informacin.
Ana Snchez
P.H. NIDDITCH, El desarrollo de la lgica matemtica, Madrid:
Ctedra, 1978, 99 pgs.
Esta concisa obra da cuenta del proceso de la lgica matemtica con un lenguaje muy sencillo (originalmente fue escrita en
el "ingls bsico" de Ogden, un subconjunto del ingls que cuenta
con poco ms de 850 palabras).
Nidditch encuentra las races de la lgica matemtica en
cuatro lneas de pensamiento, que analiza en los primeros captulos de la obra: (a) la lgica antigua (Aristteles, Megricos y Estoi~os); (b) la idea de un lenguaje completo y automtico para el
razonamiento (Llull, Descartes, Leibniz); (c) los nuevos progresos
en lgebra (Peacock, Abel y Galois, Hamilton, Grassman) y geometra (Lobatchevsky) del siglo XIX; y (d) la idea, que se remonta a Euclides, de la matemtica como sistema deductivo.
El nacimiento de la lgica matemtica tuvo lugar en la dcada de 1840. Y en su desarrollo, dice Nidditch, cabe distinguir
dos vertientes. Una, la matemtica de la lgica, se preocupa de dar
forma matemtica al razonamiento y se encuentra reflejada por el
lgebra de Boole y la lgica posterior de Jevons, Peirce y Schroder.
La segunda vertiente es ms bien una lgica de la matemtica, pues se orienta hacia cuestiones de fundamentacin lgica de
sta. Sus races las sita Nidditch en el programa logicista de Frege
-que hubiera merecido mejor exposicin- y la teora de conjuntos de Cantor. Tras las paradojas, el autor descnDe el desarrollo de

Revista'de liliros

101

la lgica matemtica en el s. XX: escuela de Peano, Principill mathematica de Whitehead.Russen, metaIPatemtica de Hilbert, in.
tuicionismo de Brouwer, teorema de Go~el y funciones recursivas.
Por su brevedad y cumplida informacion, este horito re.
cuerda al ya clsico de Heinrich Scholz'Abriss der Geschichte der
Logik (1931) cuyo valor ftlosfico dista de alcanzar, pero al que
supera y complementa por su mayor acopio de datos actuales.
Teresa Ordua

Jonathan HARRISON,Hume's MoralEpistemology, Oxford Un.

versity Press, 1976, vili - 131 pgs.

Por la abundancia de citas y discusionessobre los textos

de Hume, este libro puede considerarse casi como un detallado
comentario del libro 111,secciones1 y 11del Treatise,y de la seccin 1 y apndice 1 del Enquiry Concerningthe Principiesof Mora/s. La obra se estructura, si dejamos aparte el captulo IlI, que
ofrece una sucinta exposicin de la epistemologa generalde Hume, alrededor de cinco grandes temas, que coinciden con las argumentaciones de Hume en contra de la explicacin racionalista
del juicio moral: que la razn no nos mueve a la accin, mientras
que la moralidad s lo hace; que razonable y no razonable no se
aplican a las acciones; que la moralidad no es susceptible de demostracin; que tampoco es un asunto de hecho; y, fmalmente,
que de un enunciado fctico no se sigue una emisin de obligacin. El captulo fmal intenta establecer las conclusionesque podran haber sido planteadas por Hume, como alternativa al racionalismo en tica, ninguna de las cuales es totalmente coherente,
dice Harrison, con su doctrina epistemolgicageneral. Tales conclusiones son: o sobre el contenido de losjuicios morales: losjuicios morales son sobre los sentimientos del que juzga, o sobre los
sentimientos de la mayora; o sobre la manera de captados: son
juicios que capta un sentido moral especfico; o sobre su estructura como juicios: un juicio moral no tiene estructura proposicional, expresa un sentimiento; o bien, los juicios morales son solamente juicios aparentes, porque, en realidad, el juicio moral es l
mismo una especiede sentimiento.
L. MI.V.

- -