Elementos de lógica formal - Jansana Ferrer, Ramón

. .

Résumé :
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 l?gica como disciplina. La l?gica permaneci? esencialmente en el mismo estado en que la dej? Arist?teles hasta mediados del siglo xix, cuando inici? un nuevo desarrollo, basado en gran medida en su capacidad para analizar con ayuda de m?todos matem?ticos formas de razonamiento de las que la l?gica aristot?lica no pod?a dar cuenta, en particular, aquellas en que intervienen expresiones cuantificacionales m?ltiples y expresiones relacionales. Para el tratamiento sistem?tico de estas formas de razonamiento, se desarrollaron a finales del siglo xix y principios del xx la teor?a de las relaciones y la de la cuantificaci?n. Estas dos teor?as, junto con el c?lculo proposicional, cuyo estudio iniciaron los l?gicos meg?ricos y estoicos, constituyen el cuerpo b?sico de conocimientos de la l?gica, una disciplina que a lo largo del siglo xx se ha desarrollado considerablemente y que est? todav?a en expansi?n. Elementos de l?gica formal es un manual de introducci?n a la l?gica, escrito especialmente para estudiantes de filosof?a, pero tambi?n para aquellas personas con formaci?n human?stica interesadas en materias que requieran conocimientos l?gicos. En ?l se exponen los conceptos y resultados b?sicos de la l?gica contempor?nea sin presuponer ning?n conocimiento t?cnico especial por parte del lector. Los elementos de teor?a de conjuntos necesarios para presentar con rigor la l?gica proposicional y, sobre todo, la cuantificacional se introducen de forma pausada en los primeros cap?tulos del libro. El concepto de infinitud, que tradicionalmente ha sido objeto de reflexi?n filos?fica, es un concepto propio de la teor?a de conjuntos que el lector tambi?n encontrar? caracterizado con rigor en estos cap?tulos....