Descargar la presentación
La descarga está en progreso. Por favor, espere
1
Tema 1. Introducción a la lógica Un robot jugando al pig.pong. Imágen 1. Autor: Lylodo. Licencia Creative Commons by-sa 3.0.
2
¿Puede pensar una máquina? Sí: en caso de superar la prueba de Turing. No: en caso de no superar la prueba de Turing. La respuesta la encontramos en la lógica.
3
Lógica aristotélica (siglo IV a. C.- siglo XIX d.C.). Estudia los silogismos. Lógica moderna (desde el siglo XIX hasta hoy). Es un Sistema Formal Axiomático que consta de: ─ Símbolos. ─ Reglas. ─ Axiomas. Historia de la lógica
4
Lógica clásica: se centra en enunciados y predicados. Lógica no clásica: no respeta ninguno de los principios básicos de la lógica clásica. Lógica modal: incluye nociones como “necesariedad” y “probabilidad”. Lógica informal: estudia las falacias y paradojas. Metalógica: investiga las propiedades de los sistemas lógicos. Ramas de la lógica actual
5
─ Símbolos (M,I,U). ─ Reglas (de formación y de transformación de frases). ─ Axioma (MI). Un ejemplo de Sistema Formal Axiomático El acertijo MU consta de: La palabra japonesa MU. Imagen 2. Autor: Michelet. Dominio Público
Presentaciones similares
