Descripción
Formas lógicas. Guía para el estudio de la lógica
Resumen del libro
Esta guía práctica ofrece una introducción sistemática al estudio de la lógica clásica, centrada en la Lógica de Enunciados y la Lógica de Primer Orden con identidad y descripciones. Diseñada para estudiantes universitarios, la obra proporciona las herramientas necesarias para dominar el lenguaje formal de la lógica, aprender a traducir correctamente expresiones del lenguaje natural y evaluar la validez de argumentos mediante métodos deductivos y árboles semánticos. Un recurso esencial para quienes desean adquirir una base sólida en razonamiento lógico formal.
¿De qué trata?
El libro aborda de manera progresiva los fundamentos de la lógica clásica. Comienza presentando el lenguaje formal de la Lógica de Enunciados y la Lógica de Primer Orden, incluyendo el uso de identidad y descripciones. A continuación, ofrece pautas claras para la correcta formalización del lenguaje natural, un paso crucial para evitar ambigüedades. Finalmente, desarrolla métodos y estrategias para la evaluación de argumentos, tanto mediante el cálculo deductivo como a través del cálculo de árboles semánticos, permitiendo al lector analizar la validez de inferencias de forma rigurosa.
Temas principales
- Lenguaje formal de la lógica de enunciados y de primer orden
- Formalización del lenguaje natural en expresiones lógicas
- Evaluación de argumentos mediante cálculo deductivo
- Aplicación de árboles semánticos para la comprobación de validez
- Lógica con identidad y descripciones definidas
¿Para quién está recomendado?
Está dirigido a estudiantes universitarios de filosofía, matemáticas, ciencias de la computación o cualquier disciplina que requiera formación en razonamiento formal. También es útil para autodidactas interesados en adquirir competencias básicas en lógica clásica y para docentes que busquen un material didáctico estructurado para sus cursos introductorios.
Qué aporta este libro
- Proporciona un método paso a paso para dominar la formalización de argumentos cotidianos.
- Ofrece estrategias prácticas para evaluar la validez lógica mediante dos sistemas complementarios: deductivo y semántico.
- Facilita la comprensión de conceptos abstractos a través de ejemplos y pautas claras.
- Sirve como base sólida para estudios avanzados en lógica, filosofía analítica o inteligencia artificial.
Ficha técnica
- Autor: Castrillo Criado, Pilar; Díez Martínez, Amparo
- Editorial: UNED
- Idioma: Español
- Tema: FILOSOFIA: LOGICA
- Colección: ADENDA
- Encuadernación: Bolsillo
- Fecha de edición: noviembre de 2008
- Número de páginas: 221
- Peso: 385 g
Valoración editorial
Esta guía destaca por su enfoque didáctico y estructurado, ideal para quienes se enfrentan por primera vez al estudio formal de la lógica. La combinación de explicaciones teóricas con métodos prácticos de evaluación la convierte en un recurso valioso tanto para el aprendizaje autónomo como para el acompañamiento en asignaturas universitarias. Su claridad expositiva y la progresión de contenidos facilitan la asimilación de conceptos que suelen resultar complejos, haciendo de ella una herramienta pedagógica sólida dentro de su campo.