La Filosofía se ha interesado prácticamente desde sus orígenes por los aspectos formales del razonamiento. Aristóteles fue el primero endesarrollar una teoría de la argumentación deductiva, por lo que se le considera con justicia el creador de la lógica como disciplina. Lalógica permaneció esencialmente en el mismo estado en que la dejóAristóteles hasta mediados del siglo xix, cuando inició un nuevodesarrollo, basado en gran medida en su capacidad para analizar conayuda de métodos matemáticos formas de razonamiento de las que lalógica aristotélica no podía dar cuenta, en particular, aquellas enque intervienen expresiones cuantificacionales múltiples y expresiones relacionales. Para el tratamiento sistemático de estas formas derazonamiento, se desarrollaron a finales del siglo xix y principiosdel xx la teoría de las relaciones y la de la cuantificación. Estasdos teorías, junto con el cálculo proposicional, cuyo estudioiniciaron los lógicos megáricos y estoicos, constituyen el cuerpobásico de conocimientos de la lógica, una disciplina que a lo largodel siglo xx se ha desarrollado considerablemente y que está todavíaen expansión. Elementos de lógica formal es un manual de introduccióna la lógica, escrito especialmente para estudiantes de filosofía, pero también para aquellas personas con formación humanística interesadasen materias que requieran conocimientos lógicos. En él se exponen losconceptos y resultados básicos de la lógica contemporánea sinpresuponer ningún conocimiento técnico especial por parte del lector.Los elementos de teoría de conjuntos necesarios para presentar conrigor la lógica proposicional y, sobre todo, la cuantificacional seintroducen de forma pausada en los primeros capítulos del libro. Elconcepto de infinitud, que tradicionalmente ha sido objeto dereflexión filosófica, es un concepto propio de la teoría de conjuntosque el lector también encontrará caracterizado con rigor en estoscapítulos.
