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.