Los sistemas deductivos son metafóricos

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