Reasoning and Formal Logic
Esta serie de libros presenta los fundamentos de la lógica en un estilo accesible tanto a estudiantes como a eruditos.
El texto de cada ensayo presenta una historia, la línea principal de desarrollo de las ideas, mientras que las notas y apéndices sitúan la investigación en un contexto académico más amplio. El tema básico aquí es el análisis de la lógica formal en términos de qué supuestos metafísicos necesitamos cuando desarrollamos los sistemas formales que utilizamos.
El conjunto de los ensayos ofrece una perspectiva de la lógica formal como parte del arte de razonar bien. Los ensayos son Posibilidades e inferencias válidas, Un marco general de semántica para la lógica proposicional, ¿Por qué hay tantas lógicas? Verdad y razonamiento, Sobre las traducciones, Reflexiones sobre la lógica temporal y modal, La intemporalidad de la lógica clásica de predicados, Acontecimientos en la metafísica de la lógica de predicados, Categoricidad con metafísica mínima, Reflexiones sobre los teoremas de Godel, Sobre el error en la prueba de Frege de que los nombres denotan y Posdata: La lógica como arte de razonar bien».
© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)