Divulgación de la lógica Concha Ruiz Ruiz-Funes UNAM Instituto de Investigaciones Filosóficas 16 de abril de 2009.

Presentación del tema: "Divulgación de la lógica Concha Ruiz Ruiz-Funes UNAM Instituto de Investigaciones Filosóficas 16 de abril de 2009."— Transcripción de la presentación:

1 Divulgación de la lógica Concha Ruiz Ruiz-Funes UNAM Instituto de Investigaciones Filosóficas 16 de abril de 2009

2 Para pensar La exposición está concebida como una exposición itinerante conformada por siete secciones: 1.Cuadrículas para rellenar 2.Secuencias 3.Premisas y conclusiones 4.Patrones 5.Laberintos 6.Orientación y acomodo 7.Miscelánea

3 Cuadrículas para rellenar: Se dibujan en tableros metálicos con vinil (para que puedan irse renovando) y los números se montan en piezas magnéticas.

4 Acomoda los números 1, 2, 3, 4, 5 y 6 en los cuadritos de la siguiente manera:  los números impares van en los cuadritos de la izquierda  los números pares van en los cuadritos de la derecha  los números más grandes van en los cuadritos del centro  los números más chicos van en los cuadritos de arriba

5 Acomoda los números del 1 al 9 de la siguiente manera: 4, 5, 6 están en el renglón superior 7, 8 están en el renglón inferior 2, 3, 4, 5, 8, 9 no están en la columna izquierda 1, 5, 6, 7, 8, 9 no están en la columna derecha

6 Secuencias: Se dibujan en tableros metálicos con vinil (para que puedan irse renovando) y los números se montan en piezas magnéticas.

7 Escoge los números que faltan y acomódalos en los cuadritos vacíos 1248 ¿?¿? ¿?¿? ¿?¿? ¿?¿? 4571014 ¿?¿? ¿?¿? ¿?¿? 112358 ¿?¿? ¿?¿? ¿?¿? ¿?¿?

8 Escoge los números que faltan y acomódalos en los cuadritos vacíos 241248 ¿?¿? ¿?¿? ¿?¿? ¿?¿? 3469 ¿?¿? 18 ¿?¿? ¿?¿? 5048443830 ¿?¿? ¿?¿? ¿?¿?

9 Premisas y conclusiones: Se escriben sobre paneles. Las respuestas tienen verificación electrónica con una ventana que contiene la explicación.

10 Si Á ngela habla m á s bajo que Rosa y Celia habla m á s alto que Rosa ¿Á ngela habla m á s alto o m á s bajo que Celia?

11 Como es é poca de lluvias, Ana, Mara, Nora y Marina decidieron salir al parque a buscar caracoles. Cada una agarr ó uno y decidieron jugar carreras con ellos. Sabemos que: El caracol de Mara qued ó en primer lugar El caracol de Nora qued ó en ú ltimo lugar El caracol de Ana lleg ó despu é s del caracol de Marina. ¿ Podr í as decir en qu é orden llegaron los caracoles?

12 Cuando Mar í a le pregunt ó a Mario si quer í a casarse con ella, Mario contest ó : “ No estar í a mintiendo si te dijera que no puedo no decirte que es imposible negarte que s í creo que es verdadero que no deja de ser falso que no vayamos a casarnos. ” Mar í a qued ó un poco confundida. ¿ Qu é le contest ó Mario? ¿ s í quer í a casarse o no?

13 Patrones: Los esquemas se se dibujan en tableros metálicos con vinil; los dibujos para las distintas opciones de respuesta se montan en piezas magnéticas del mismo tamaño que el cuadrado vació.

14 ¿Qué dibujo harías en el último cuadrito?

15

16 Laberintos: Se montan a piso con piezas de acrílico y barandales que delimiten el espacio. La entrada, la salida y la cédula de instrucción se montan en pedestales para niños.

17 entrada eeiaeiai eiuouoeu auoeauao uaoiauia oiuuooea eoaeiouu ueioeoao auouoieo salida

18 Orientación y acomodo: Tableros metálicos con piezas magnéticas. Las cédulas de instrucción se montan en pedestales.

19 Acomoda estas ocho palabras en la cuadrícula de manera que en cada renglón y en cada columna quede una palabra. cosa osas sola esas sala osos cose asas

20 Coloca las tarjetas de colores en los cuadritos vacíos de la siguiente manera: El amarillo est á al norte del verde El morado est á al este del amarillo El verde est á al oeste del rojo El rojo est á al sur del morado El azul est á al este del rojo Recuerda que los puntos cardinales son:

21 Miscelánea: Se escriben sobre tableros en los que se pueda dibujar o escribir con plumones no permanentes.

22 Completa el párrafo de manera que resulte verdadero: El dígito 0 aparece ___ vez/veces El dígito 1 aparece ___ vez/veces El dígito 2 aparece ___ vez/veces El dígito 3 aparece ___ vez/veces El dígito 4 aparece ___ vez/veces El dígito 5 aparece ___ vez/veces El dígito 6 aparece ___ vez/veces El dígito 7 aparece ___ vez/veces El dígito 8 aparece ___ vez/veces El dígito 9 aparece ___ vez/veces                                                                            

23 Lógica en la calle

24 Algunas almohadas son blandas Ninguna olla es blanda por lo tanto 1. Algunas ollas no son almohadas 2. Algunas almohadas no son ollas                                               

25 solución: Algunas almohadas no son ollas

26 Todos los leones son feroces Algunos leones no beben café por lo tanto 1. Algunas criaturas que beben café no son feroces 2. Algunas criaturas feroces no beben café

27 solución: Algunas criaturas feroces no beben café                                                   

28 Algunos sueños son terribles Ningún borrego es terrible por lo tanto 1.Algunos sueños no son borregos 2.Algunos borregos no son sueños

29 solución: Algunos sueños no son borregos

30 Ningún profesor es ignorante Todas las personas ignorantes beben agua con jabón. por lo tanto 1.Ningún profesor bebe agua con jabón 2.Algunas personas que beben agua con jabón no son profesores

31 solución: Algunas personas que beben agua con jabón no son profesores

32 Un hombre prudente huye de los gorilas Ningún fotógrafo es imprudente por lo tanto 1.Ningún fotógrafo deja de huir de los gorilas 2.Ningún gorila se acerca a un fotógrafo

33 solución: Ningún fotógrafo deja de huir de los gorilas

34 Estas cinco frases son verdaderas La frase anterior es falsa ¿cu á les de estas frases son verdaderas?

35 solución: La segunda y la tercera frase no pueden ser ambas verdaderas, as í la primera frase es falsa. Entonces la segunda frase es verdadera, la tercera es falsa, la cuarta es verdadera y la quinta es falsa.

36 el león y el unicornio En el Bosque del Olvido viven un león y un unicornio. El león miente los lunes, los martes y los miércoles; el unicornio miente los jueves, los viernes y los sábados.

37 Hace poco fuimos a visitarlos y dijeron lo siguiente: León: “Ayer me tocó mentir” Unicornio: “Ayer me tocó mentir” ¿Qué día de la semana era?

38 ABCD ABCD ABCD ABCD Acomoda las letras de manera que en cada renglón y en cada columna, haya cuatro letras distintas y de distinto color.

39 ¿? ¿cuántos cuadritos se necesitan para equilibrar la última balanza?

40 35316 42112 122¿?2 89 310 encuentra los números que faltan

41 Gödel en las escuelas

42 “…la matemática pura es la ciencia en la que no sabemos de qué estamos hablando ni si lo que estamos diciendo es verdad…” Bertrand Russell

43 empecemos por el principio: ROMEO Y JULIETA

44 Romeo ama a Julieta

45 Julieta es una palabra de siete letras

46 Romeo ama a Julieta Julieta es una palabra de siete letras por tanto

47 Romeo ama a Julieta Julieta es una palabra de siete letras por tanto Romeo ama a una palabra de siete letras

48 ¿qué es eso de que Romeo ama a una palabra de siete letras? Así no era la historia…….

49 lenguaje vs metalenguaje

50 Romeo ama a Juliet lenguaje-language Julieta es una palabra de siete letras metalenguaje-metalanguage Romeo ama a una palabra de siete letras CAOS

51 Paradoja de Grelling (1908) esdrújula  homológico grave  homológico aguda  heterológico polisilábica  homológico monosilábica  heterológico heterológico  ????

52 ¿es heterológico un adjetivo heterológico?

53 heterológico es heterológico si y sólo si heterológico no es heterológico

54 ¿verdadero = demostrable? ¿? ¿? ¿? ¿? ¿? ¿? ¿?

55 Un sistema axiomático es: Consistente: si en él no pueden deducirse contradicciones, es decir una proposición y su negación. Completo: si cualquier proposición verdadera puede demostrarse en él.

56 LA PARADOJA DE RUSSELL RUSSELL´S PARADOX

57 Axiomas de Zermelo- Fraenkel una axiomatización para la Teoría de Conjuntos

58 existencia

59 extensionalidad

60 esquema de separación

61 par

62 unión

63 potencia

64 regularidad

65 infinito

66 Hipótesis del Contínuo (generalizada)

67 Axioma de Elección Para toda clase infinita de conjuntos no vacíos existe un conjunto formado con, al menos, un elemento de cada conjunto. Todo conjunto puede bien ordenarse

68 INDECIDIBLES: HIPÓTESIS DEL CONTÍNUO AXIOMA DE ELECCIÓN

69 Axiomas de Peano i.0   ii.x    s(x)   iii.  x (s(x) = 0) iv.x, y    (s(x) = s(y))  x = y v.  (0)   x (x   ) (  (x)   (s(x)) )   x   (  (x)) (principio de inducción)

70 Paradoja de Richard (Jules Richard 1905) 0.ser un número par 1.ser un número impar 3. ser múltiplo de 3 4.ser un número primo r.ser un número richardiano

71 Un número es richardiano si NO tiene la propiedad que enumera. r es richardiano si y sólo si r no es richardiano

72 Un ejemplo de una proposición aritmética que puede ser verdadera, pero que puede no derviarse de los axiomas es: LA CONJETURA DE GOLDBACH (todo número par es la suma de dos números primos)

73 Finalmente llegamos KURT GÖDEL 1906 Brünn, Moravia (Austria-Hungría)

74 Elaboró una proposición dentro de un sistema axiomático que contenía a la Aritmética: “esta proposición no puede probarse”

75 Esta proposición es demostrable si y sólo si esta proposición no es demostrable

76 Así aunque no puede demostrarse resulta verdadera dentro del sistema

77 Así, la ARITMÉTICA resulta un sistema axiomático INCOMPLETO.