![[EIAF 27] FILOSOFÍA DE LA LÓGICA](https://www.antartica.at/images/NOportada.jpg "[EIAF 27] FILOSOFÍA DE LA LÓGICA")
ALBERTO MORETTI Y RAÚL ORAYEN (EDS.)
Esta obra pretende ofrecer un panorama representativo de tipos de problemas y orientaciones característicos de la filosofía de la lógica. Desde la relación de los lenguajes formales con el lenguaje ordinario y los procesos psíquicos, pasando por el estudio de nociones fundamentales como las de identidad, referencia, verdad o consecuencia lógica, hasta las cuestiones de la abstracción y las entidades abstractas, o la consideración de los problemas implicados en la teoría de tipos, la teoría de conjuntos o los distintos sistemas de lógica, los autores hacen una valiosa contribución a la indagación filosófica motivada por la lógica. Así, el artículo de Agustín Rayo plantea el problema del vínculo entre los razonamientos en un lenguaje constituido social e históricamente y su examen por medio del lenguaje formal. Por su parte, Gladys Palau traza el recorrido histórico de los intentos por fundar la lógica en la investigación psicológica. Rodolfo Gaeta dedica su trabajo a las dificultades de la relación entre identidad y referencia, mientras que Alberto Moretti analiza en el suyo el concepto tarskiano de verdad. La búsqueda de un concepto adecuado de consecuencia lógica es el objeto del artículo de Mario Gómez Torrente. A los enfoques de la abstracción en el siglo XX y a la discusión sobre la existencia de las entidades abstractas consagran sus colaboraciones Ignacio Angelelli y Eduardo Barrio, respectivamente. A partir de las iniciales aportaciones de G. Frege y B. Russell, Francisco Rodríguez Consuegra dedica su contribución a la teoría de tipos, Jesús Mosterín brinda un panorama de la riqueza conceptual de las teorías de conjuntos e Ignacio Jané intenta clarificar qué son esas entidades que denominamos conjuntos. Cierran el volumen los trabajos de María Manzano y de Raymundo Morado, que giran en torno a la aplicabilidad general de la idea de consecuencia lógica y a la tarea de la comparación de sistemas de lógica distintos.
