Enrique Arias Valencia
Por ejemplo, todos los silogismos de la forma BARBARA son metáforas de (se parecen a, pueden reducirse a) esta fórmula:
Todos los A son B.
Todo C es A.
Todo C es B.
Traslademos a conceptos:
Todo lo que está predeterminado es necesario.
Todo suceso está predeterminado.
Todo suceso es necesario.
Leibniz
Metáfora: El argumento anterior haría las delicias de los deterministas (delicia por agrado, agrado por aprobación).
Los sistemas hipóteticos son metafóricos. Podemos trasladar P a algo que se supone x. &
Si el lenguaje matemático no es metáfora, ¿a qué hace referencia?
Si la lógica no es oscura, no hay nada que nos impida leer y entender a primera vista esto:
PROPOSICION VI. “A toda clase c de fórmulas w-consistente recursivas le corresponde una clase-signo r tal que ni v Gen r ni Neg (v Gen r) pertenecen a Flg(c), donde v es la variable libre de r”.
Gödel
Hace 4 días.
No hay comentarios.:
Publicar un comentario