UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS

FACULTAD DE HUMANIDADES Y ARTES

ESCUELA DE FILOSOFIA

CONTROL DE LECTURA #1 – Introducción G.E.B. de Hofstadter.

PAUTA
TIPO EXPOSITIVO. 0.6 pt c/u

1. ¿Cuál es la relación entre las obras musicales de Bach, las obras en arte-visual de Escher y la lógica
simbólica?
R// La relación se basa los conceptos de BUCLE, PARADOJA; INFINITO, RECURSIVIDAD Y
LENGUAJE. Ya que dichos conceptos están presentes en las tres ramas de conocimiento, pero con
diferencias en cada una ellas.

2. ¿Cómo se entiende la palabra RICERCAR?

R// Es un término italiano que se puede traducir como indagar, buscar. Pero también es un acrónimo de
“Regis Iusfu Cantio Et Reliqua Canonica Arte Refolula” (Por orden del rey, la canción y las demás
cosas [están] resueltas con arte canónica".) Bach, entendiendo “canónica” no solo como “mediante la
forma de canon” sino más bien “de la mejor manera posible”.

3. ¿Qué es un “BUCLE EXTRAÑO”? En Bach, en Escher y en Lógica. (en c/u)

R// En el caso de Bach, son las Fugas o Cánones, los cuales juegan con diferentes niveles de sinfonía
y armonía. En Escher, son las obras como “Manos dibujando”, “Cascada”, “Mano con Globo Reflejado”
etc., donde juega con la noción de bucle y paradoja partiendo desde un nivel visual. Y en lógica con la
noción de paradoja, específicamente con proposiciones auto-referentes, donde no se pueden clasificar
como verdaderas o como falsas.

4. Escriba el nombre de los lógicos más representativos del siglo XIX, y su aporte al razonamiento
axiomático. (mínimo 3)
R// George Boole: Lógica booleana e inicios de compuertas lógicas. Augustus de Morgan: codificación
de razonamiento deductivo. Gottlob Frege y Guiseppe Peano: estudio de teoría de conjuntos y de
números. David Hilbert: formalizaciones más estrictas sobre la geometría.

5. Explique brevemente “La paradoja de Epiménides”.

R// La paradoja de Epiménides el cretense, parte de la frase “Yo soy mentiroso”, por esa razón muchos
la llaman “La paradoja del mentiroso”, y consiste que hay un problema al momento de clasificar ese
enunciado o proposición como verdadero o como falso. Si se toma como un enunciado verdadero
notamos que tendríamos que aceptar que Epiménides es mentiroso, ya que esa es lo que afirma el
enunciado; sin embargo, si alguien es mentiroso entonces no puede decir la verdad. Por tanto, el
enunciado debe ser clasificado como falso. No obstante, si es falso entonces no es cierto que
Epiménides es mentiroso.

6. A que se refiere la comparación del Teorema con una perla y del método de demostración con la ostra.
R// Se refiere a la dependencia una de la otra. Es decir que, así como la Perla se crea dentro de la Ostra,
los teoremas se crean dentro del método de demostración. Es decir, sin la existencia de la ostra no
podría existir las perlas. Para que un teorema sea teorema, debe tener una demostración.
7. ¿Qué codificó Aristóteles y Euclides, respectivamente?
R// Aristóteles codificó en su obra “EL ORGANON”, los sistemas categoriales y a la lógica como disciplina
estricta con un objetivo original. Por otro lado, Euclides codificó los sistemas de líneas y puntos, conocida
como la “geometría euclidiana”.

8. ¿Qué es “razonamiento axiomático”?

R// Se le llama razonamiento axiomático a cualquier razonamiento que tiene como base ciertos
elementos esenciales y únicos, los cuales podrían ser siempre clasificados como verdaderos. Por tanto,
son el punto de partida para la construcción de relaciones de elementos compuestos cada vez más
complejas.

9. ¿Cuál es la diferencia entre palabras autológicas y palabras heterológicas?

R// Las palabras autológicas son auto descriptivas, es decir que se definen o caracterizan a sí mismas.
Las palabras heterológicas son las que no se describen a sí mismas, sino a otras.

10. ¿Cuál era el objetivo de la Principia Mathematica, y quienes son sus autores?
R// El objetivo era dejar a la lógica, a la teoría de conjuntos y a la teoría de números, sin Bucles Extraños.
En ese sentido, se propusieron derivar toda la matemática de la lógica, sin contradicciones. Autores:
Russel y Whitehead.

11. ¿Cuál es la diferencia entre lenguaje objeto y metalenguaje?

R// La diferencia reside en que el Lenguaje Objeto es la base de un conocimiento específico, en el cual
se construyen otros Lenguajes, estos serían los Metalenguajes. En ese sentido, los metalenguajes se
basan o se construyen sobre el Lenguaje Objeto.

12. ¿En qué consistió el Programa de Hilbert?

R// En encontrar una demostración de coherencia y completitud basada únicamente en modo “finitistas”
(finitos) de razonamiento. En otras palabras, intentó que una simple porción de la totalidad de los
métodos matemáticos se ocupara de demostrar la solidez del todo.

13. ¿En qué consiste la paradoja de Russell?

R// En que el conjunto de todos los conjuntos, a pesar de ser un conjunto, no puede ser incluido dentro
de ese conjunto (que es el conjunto de todos los conjuntos) .

14. ¿En qué radica el descubrimiento de Kurt Gödel y, su repercusión en la matemática y en la lógica?
R// En que los sistemas formales (matemática y lógica formal, por ejemplo) no podían ser ni completas
ni coherentes. En otras palabras, el programa de Hilbert ya era un imposible.

15. ¿Cuál fue el aporte de Charles Babbage?

R// Fue la creación de “Máquina Analítica”. Siendo el aporte más original: la MEMORIA de las maquinas.
De este modo darles la oportunidad ser PROGRAMADAS.

16. ¿Qué problemas o tipos de problemas surgen con la Inteligencia Artificial?

R// El problema es con las reglas, y la “conducta” frente a las reglas. Además de los dilemas de tipo
moral y la flexibilidad que puede tener las reglas “programadas”.

17. Escriba en una frase la idea principal que desea plantear el autor en la introducción del texto.
“Brindar nuevos conceptos sobre la lógica matemática y/o formal acerca del problema de paradojas y
recursividad en diferentes ámbitos el conocimiento humano, y la relación entre esos diferentes ámbitos
como la música, el arte-visual, la matemática y la lógica.”