Escrito por Bertrand Rusell y publicado por Editorial Losada (Buenos Aires) en 1945, al menos la versión que logré comprar por internet y que antes de leerla yo, la leyó un tal Manuel Francisco da Silva María en 1948 (y ésto lo se, porque hace/hacía lo mismo que yo, que es poner nombre y fecha a los libros que lee). Ojo, el original es de 1919, todo un clásico.
Al autor no hace falta decir que ya lo conocía (lo he mencionado en varios libros anteriores), que además de ser un gran lógico matemático fue un gran filósofo (con premio Nobel de literatura incluido).
Este libro se puede entender como una introducción a su más famosa obra (junto con Alfred N. Whitehead), los Principia Mathematica y, como él mismo dice: "si algún estudioso es inducido por este pequeño libro a un serio estudio de la lógica matemática, se habrá logrado el principal propósito que ha inspirado la publicación de esta obra". Y para que conste en acta, no es, al menos en mi opinión, un libro de divulgación sencillo. Es más, no tengo claro si es un libro de divulgación o un libro para filósofos o matemáticos. En cualquier caso, hay que leerlo con calma y en un entorno relajado (no es un libro para llevar a la playa).
Si un libro habla de lógica, como es el caso, no puede faltar una mención a Giuseppe Peano (que demostró que "toda la teoría de los números naturales podía deducirse de tres ideas primitivas y cinco proposiciones iniciales, agregadas a las de la lógica pura"). Hay muchas definiciones de conceptos matemáticos, como que "un número complejo puede ser considerado y definido simplemente como un par ordenado de números reales". También menciona el mapa de Royce, el teorema de Zermelo. Y hay muchas frases muy buenas para las que hay que tomarse un tiempo de meditación posterior, como: "esto es solo un ejemplo del principio general según el cual lo que nos interesa en la matemática, y en gran parte de las ciencias físicas, no es la naturaleza intrínseca de nuestros términos, sino la naturaleza lógica de las relaciones que los ligan entre sí", y algunas que no hay que pensar tanto pero que si merecen ser resaltadas, como que "la totalidad del cálculo diferencial e integral, y en verdad, prácticamente toda la matemática superior, depende de la noción de límite" (esta frase quería remarcarla, porque estoy totalmente de acuerdo y si alguien quiere estudiar matemáticas debe tener ese concepto muy claro). Menciona por supuesto lo que entiende por clase, por clase de clases, proposiciones, las funciones proposicionales, el axioma del infinito, los tipos lógicos, ... con definiciones que pueden llegar a resultar algo complicadas de entender y que alguna he tenido que leer con lápiz y papel al lado.
Por resumir, son 285 páginas que hay que leer con mucha calma.
Como siempre, copio un trocito:
"La matemática y la lógica, históricamente hablando, han sido disciplinas completamente distintas. La matemática ha estado vinculada a la ciencia, la lógica al pensamiento. Pero ambas se han desarrollado en los tiempos modernos: la lógica se ha vuelto más matemática y la matemática más lógica. Como consecuencia, ahora es imposible trazar una línea divisoria entre ambas; de hecho las dos son una sola. Difieren como un muchacho de un hombre; la lógica es lña juventud de la matemática y la matemática la virilidad de la lógica. Esta manera de ver ofende a los lógicos que, habiendo gastado su tiempo en el estudio de los textos clásicos, son incapaces de seguir un razonamiento simbólico, y a los matemáticos que aprendieron su técnica sin preocuparse de averiguar el significado de la misma o su justificación. Ambos tipos, afortunadamente van siendo cada vez más raros. Gran parte de la producción matemática moderna está evidentemente en los deslindes de la lógica y gran parte de la lógica moderna es simbólica y formal, de manera que el estrecho parentesco que une a la lógica con la matemática resulta evidente para todo estudioso".
Clasificación:
Facilidad de lectura: 4-5 (es un libro para pensar)
Opinión: 2 (ojo, esta valoración es como libro de divulgación, como libro de texto es otra cosa).
