• ISBN: 9789588378329
  • SKU: 14541
  • SAP: 104613

Lógica y pensamiento formal

Autor(es):

Varios autores

  • Categoría: Filosofía    
  • Año de edición: 2008
Libro Impreso
No disponible

Este libro ofrece unas notas de clase que son el fruto del ejercicio docente de los profesores de la Escuela de Ciencias Humanas, en los cursos de introducción al pensamiento formal y de lógica. El objetivo principal de este texto es ofrecer una herramienta, tanto a los docentes como a los estudiantes, que facilite la introducción a esta área del conocimiento; lo cual se hace a través del estudio de tres de los sistemas formales más básicos.El presente manual incluye un capítulo sobre lógica proposicional, otro sobre proposicional modal raras veces presente en los manuales de lógica-, y presenta una introducción a la vez suficientemente accesible y conceptualmente rigurosa de la lógica de predicados la cual es, a veces, expuesta o de manera ligera o demasiado elaborada, de tal suerte que requiere mayor formación en lógica. En este libro también se ha hecho un esfuerzo particular de incluir la mayor cantidad posible de ejercicios, de diferentes niveles de dificultad, en cada uno de los capítulos.El libro facilita el desarrollo de competencias mínimas en lógica. Es apropiado para estudiantes que apenas tienen un primer acercamiento a la lógica, al desarrollar capacidades de formalización satisfactorias y creatividad a la hora de resolver problemas.El presente manual incluye un capítulo sobre lógica proposicional, otro sobre proposicional modal raras veces presente en los manuales de lógica-, y presenta una introducción a la vez suficientemente accesible y conceptualmente rigurosa de la lógica de predicados la cual es, a veces, expuesta o de manera ligera o demasiado elaborada, de tal suerte que requiere mayor formación en lógica. En este libro también se ha hecho un esfuerzo particular de incluir la mayor cantidad posible de ejercicios, de diferentes niveles de dificultad, en cada uno de los capítulos.El libro facilita el desarrollo de competencias mínimas en lógica. Es apropiado para estudiantes que apenas tienen un primer acercamiento a la lógica, al desarrollar capacidades de formalización satisfactorias y creatividad a la hora de resolver problemas.El libro facilita el desarrollo de competencias mínimas en lógica. Es apropiado para estudiantes que apenas tienen un primer acercamiento a la lógica, al desarrollar capacidades de formalización satisfactorias y creatividad a la hora de resolver problemas.

Información Adicional
Peso (Kg) 0.4100
Idioma(s) Español
Tamaño (cm) 17 x 24
Prefacio

1. Introducción
1.1 Sobre los razonamientos
1.2 Sobre la justificación
1.3 Sobre el lenguaje
1.4 Sistemas lógicos
1.5 Ejercicios

2. Lógica proposicional

2.1 Traducción: lenguaje natural y lenguaje formal
2.2 Métodos de comprobación semánticos
2.3 Deducción natural
2.4 Ejercicios

3. Lógica proposicional

3.1 Limitaciones de la semántica de LPC
3.2 Sistemas extensionales e intensionales
3.3 Sintaxis
3.4 Semántica
3.5 Otros tipos de limitaciones
3.6 Ejercicios

4. Lógica de predicados
4.1 Sintaxis
4.2 Semántica
4.3 Deducción natural
4.4 Ejercicios

5. Teoría de conjuntos
5.1 Operaciones básicas entre conjuntos
5.2 Productos cartesianos
5.3 Relaciones
5.4 Funciones
5.5 Paradojas de la teoría de conjuntos

Bibliografía

Índice alfabético

Solución a ejercicios seleccionados