Calixto Badesa Cortés

Elementos de lógica formalLa Filosofía se ha interesado prácticamente desde sus orígenes por los aspectos formales del razonamiento. Aristóteles fue el primero en desarrollar una teoría de la argumentacion deductiva, por lo que se le considera con justicia el creador de la logica como disciplina. La logica permanecio esencialmente en el mismo estado en que la dejo Aristoteles hasta mediados del siglo xix, cuando inicio un nuevo desarrollo, basado en gran medida en su capacidad para analizar con ayuda de metodos matematicos formas de razonamiento de las que la logica aristotelica no podia dar cuenta, en particular, aquellas en que intervienen expresiones cuantificacionales multiples y expresiones relacionales. Para el tratamiento sistematico de estas formas de razonamiento, se desarrollaron a finales del siglo xix y principios del xx la teoria de las relaciones y la de la cuantificacion. Estas dos teorias, junto con el calculo proposicional, cuyo estudio iniciaron los logicos megaricos y estoicos, constituyen el cuerpo basico de conocimientos de la logica, una disciplina que a lo largo del siglo xx se ha desarrollado considerablemente y que esta todavia en expansion. Elementos de logica formal es un manual de introduccion a la logica, escrito especialmente para estudiantes de filosofia, pero tambien para aquellas personas con formacion humanistica interesadas en materias que requieran conocimientos logicos. En el se exponen los conceptos y resultados basicos de la logica contemporanea sin presuponer ningun conocimiento tecnico especial por parte del lector. Los elementos de teoria de conjuntos necesarios para presentar con rigor la logica proposicional y, sobre todo, la cuantificacional se introducen de forma pausada en los primeros capitulos del libro. El concepto de infinitud, que tradicionalmente ha sido objeto de reflexion filosofica, es un concepto propio de la teoria de conjuntos que el lector tambien encontrara caracterizado con rigor en estos capitulos.

La filosofía se ha interesado prácticamente desde sus orígenes por los aspectos formales del razonamiento. Aristóteles fue el primero en desarrollar una teoría de la argumentación deductiva, por lo que se le considera con justicia el creador de la logica

"A first-rate contribution to the history and philosophy of logic, this is scholarship at its best. It is, to my knowledge, the first book in the history of logic that focuses completely on a single result. Very original in approach and conception, it goes against the grain of much recent scholarship. Given the complexity of the subject, Badesa could not have done a better job of being clear and making the presentation accessible."--""The Birth of Model Theory" represents a long overdue, in-depth analysis and exposition of one of the most important results in mathematical logic. There are hardly any informed, sustained treatments of Lowenheim''s work to be found in the literature. This well-written book should fill this gap."--