INTRODUCCIÓN A LA LÓGICA Y AL ANÁLISIS FORMAL

Rústica editorial con solapas. Contenido: La lógica formal y las ciencias reales. Categorias lógicas (Noción de la lógica formal - La lógica formal en la investigación de fundamentos - EL ideal del lenguaje bien hecho - Las categorías lógicas) / El sistema de la lógica elemental (El lenguaje de la lógica elemental: La composición de enuciados. Lógica de enunciados - Estructura de los enunciados atómicos. Lógica de predicados - El sistema de la lógica elemental: Presentación axiomática del cálculo de predicados de primer orden - Deducción a partir de premisas - Técnica de la deducción natural - Formas normales. Comparación del sistema axiomático con el cálculo de la deducción natural) / Limitaciones y alcances del cálculo lógico (Limitaciones del cálculo lógico: Rendimiento del calculo lógico elemental - La lógica de predicados de orden superior y el teorema de incompleíitud de Gödel - Decidibilidad en la lógica elemental - El alcance analítico del cálculo lógico: Lógica de clases - Lógica de relaciones) / Lógica formal y metodología (La división y la definición - El analísis formal de la inducción) / Bibliografía e Índice. Registro alfabético. 316págs