Descripción
LOGICA PER REPRESENTAR EL CONEIXEMENT
Resumen del libro
Esta obra ofrece una introducción sistemática a la lógica formal aplicada a la representación del conocimiento, dirigida especialmente a estudiantes de informática. El autor, Carles García Amengual, aborda las reglas del lenguaje científico para distinguir inconsistencias en el razonamiento humano, habitualmente basado en la intuición o la experiencia. El libro recorre la lógica básica, de proposiciones y de predicados, utilizando un enfoque repetitivo y didáctico. Se apoya en los fundamentos establecidos por lógicos del siglo XX como Frege, Russell y Tarski, ofreciendo una base sólida para el análisis semántico del conocimiento.
¿De qué trata?
El libro se centra en cómo representar y valorar semánticamente el conocimiento utilizando las reglas de la lógica científica. Parte de la premisa de que el razonamiento humano cotidiano está lleno de ambigüedades y no sigue estrictamente las leyes lógicas. Para superar esta limitación, la obra desarrolla de forma paralela y progresiva tres bloques fundamentales: la lógica básica, la lógica de proposiciones y la lógica de predicados. Cada sección está diseñada para ser imprescindible para la siguiente, creando un camino de aprendizaje estructurado. El tratamiento es expresamente repetitivo para facilitar la asimilación de conceptos complejos, siempre con el objetivo de capacitar al lector para detectar y corregir inconsistencias en los razonamientos.
Temas principales
- Lógica de proposiciones: análisis de conectivas, tablas de verdad y deducción.
- Lógica de predicados: cuantificadores, formalización de enunciados y razonamiento.
- Representación semántica del conocimiento: métodos para valorar formalmente la información.
- Detección de inconsistencias: identificación de fallos en argumentos y razonamientos.
- Fundamentos del lenguaje científico: aplicación de la lógica aristotélica y las contribuciones de Frege, Russell y Tarski.
¿Para quién está recomendado?
Este libro está recomendado principalmente para estudiantes universitarios de Informática de Sistemas e Informática de Gestión que necesiten comprender los fundamentos lógicos para la representación del conocimiento. También es útil para cualquier persona interesada en la lógica formal, la epistemología o la teoría del conocimiento que busque una introducción sistemática y práctica a estas disciplinas. El enfoque didáctico y repetitivo lo hace accesible incluso para quienes se enfrentan por primera vez a conceptos lógicos avanzados.
Qué aporta este libro
- Proporciona una base sólida en lógica formal aplicada a la representación del conocimiento.
- Ayuda a desarrollar la capacidad de detectar y corregir inconsistencias en el razonamiento.
- Ofrece un enfoque didáctico y repetitivo que facilita el aprendizaje progresivo.
- Conecta los fundamentos clásicos de la lógica con aplicaciones modernas en informática.
- Prepara al lector para abordar problemas de representación semántica y análisis formal.
Ficha técnica
- Autor: GARCIA AMENGUAL; CARLES
- Editorial: Edicions UIB
- Idioma: Catalán
- Tema: FILOSOFIA: EPISTEMOLOGIA Y TEORIA DEL CONOCIMIENTO, FILOSOFIA: LOGICA
- Colección: MATERIALS DIDACTICS
- Encuadernación: Bolsillo
- Fecha de edición: 2002
- Número de páginas: 167
- Dimensiones: 240 x 170 mm
- Peso: 370 g
Valoración editorial
Se trata de un manual didáctico bien estructurado que cumple su objetivo de introducir la lógica formal desde una perspectiva aplicada a la representación del conocimiento. Su enfoque repetitivo y progresivo lo convierte en una herramienta útil para estudiantes que necesitan asimilar conceptos complejos de forma gradual. La referencia a los lógicos del siglo XX aporta rigor histórico y teórico, mientras que su orientación hacia la informática lo hace especialmente relevante para quienes trabajan en sistemas de gestión o inteligencia artificial. Es una obra recomendable para quienes buscan una base sólida y accesible en esta materia.