22-26 agosto
Temas que se tratarán:
- ¿Qué es la lógica? En este primer tema se explica en qué consiste la validez de un argumento.
- La lógica proposicional clásica. Este tema muestra cómo hacer preciso el concepto de validez señalado anteriormente para dar lugar a la lógica clásica.
- Paradojas: vaguedad y el mentiroso. Se exponen dos paradojas centrales en la discusión filosófica contemporánea: el problema de la vaguedad (imprecisión del significado) y las limitaciones para hablar acerca de la verdad (paradoja del mentiroso).
- Contra el principio de bivalencia:
– Las lógicas trivalentes: las lógicas K3, LP y WK, y cómo estas pueden emplearse para resolver la paradoja del mentiroso.
– Las lógicas tetravalentes: FDE y sus aplicaciones.
– La lógica borrosa (fuzzy logic) y sus aplicaciones para la semántica de predicados vagos.
- Extensión e intensión. En este tema se explica en qué sentido la lógica clásica es extensional y cómo el significado del lenguaje tiene un componente intensional.
- El sistema básico de la lógica modal. Se introduce la lógica modal y la semántica de mundos posibles ideada principalmente para tener en cuenta el aspecto intensional del lenguaje.
Director del curso: Pablo Cobreros.
Ponentes:
Pablo Cobreros (Universidad de Navarra).
José Martínez (Universidad de Barcelona).
Destinatarios: Personas con interés por la filosofía, el razonamiento y la lógica.
Precio: 15€.
Posibilidad de Otorgar Créditos por equivalencia:
1. Elemental: 0,5 ECTS, es necesario acreditar la asistencia a al menos el 80% de las clases.
2. Avanzado: 1ECTS, además del 80% de asistencia, es necesaria la entrega de ejercicios en fecha y forma.
Duración:
1. Nivel elemental: asistencia a las clases (15 horas).
2. Nivel avanzado: Asistencia a las clases + completar los ejercicios (25 horas).
Horario: De 17 a 18.30 h. y de 19 a 20.30 h.
