Logica, logicas

La lógica es hoy día una disciplina consolidada y bien desarrollada, pero poco conocida. Ocupa, sin embargo, un lugar peculiar en el conjunto del conocimiento humano. Es, por una parte, una disciplina matematizada cuyos conceptos y métodos están estrechamente relacionados con el álgebra y la teoría de conjuntos y, por otra, una reflexión filosófica y humanística acerca de la naturaleza del conocimiento matemático, de la demostración, de la argumentación, de la automatización del razonamiento y de la computación, del lenguaje y de la verdad. Se encuentra, pues, a caballo entre la filosofía y las matemáticas, entre lo formal y lo intuitivo, y eso tanto por los objetivos que persigue como por la manera de perseguirlos. Esto, que le otorga su singular naturaleza e interés, es también la fuente del desconocimiento que sufre, pues su naturaleza matematizada y formal parece reservar su comprensión a los especialistas y situarla lejos del alcance de un público que, carente de un entrenamiento específico, se interesa sin embargo por cuestiones como el conocimiento matemático, la computación o la estructura del lenguaje, el razonamiento o el pensamiento. El objetivo fundamental de este libro es, precisamente, contribuir a eliminar esa barrera.