10.06.2014 Views

Descargar número completo (5,95 MB) - Eikasia

Descargar número completo (5,95 MB) - Eikasia

Descargar número completo (5,95 MB) - Eikasia

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Pérez Herranz, Fernando-M.: «Lenguaje e intuición espacial»<br />

criterio gnoseológico sobre la legitimización de los sistemas lógico-formalistas y<br />

topológico-intuicionistas. Defenderemos la tesis siguiente: Las operaciones que realizan<br />

los sistemas unidimensionales y discretos son de carácter autoformante, mientras que<br />

las operaciones que realizan los sistemas pluridimensiones (topológico-geométricos)<br />

son de carácter heterofor-mante. La autoformación es el carácter límite y degenerativo<br />

de la heteroformación.<br />

3.1. GEOMETRÍA versus LÓGICA<br />

Lo que Thom critica no es tanto la teoría de conjuntos en sí misma -que vale lo<br />

que vale-, sino el uso que de ella se hace como justificación lógico-formal de foria la<br />

matemática. La formalización tiene la ventaja de permitir la comunicación entre los<br />

matemáticos y, como los modos de comunicación -ya escritos ya orales- recurren a una<br />

morfología unidimensional, se hace necesario codificar las morfologías n-dimensionales<br />

en símbolos un/-dimensionales. Por ejemplo, el teorema de Gódel asigna <strong>número</strong>s a los<br />

símbolos, a las series de símbolos y a las series de series de símbolos que ocurren en el<br />

lenguaje formalizado; en paralelo con la geometría de coordenadas cartesianas, que<br />

asigna pares de <strong>número</strong>s a los puntos de la superficie euclidiana, Gódel inventó lo que<br />

podría denominarse la metamatemática de coordenadas. Si la primera usa pares de<br />

<strong>número</strong>s reales (a,b) para la geometría bidimensional, tríadas de <strong>número</strong>s (a,b, c) para la<br />

geometría tridimensional, y así sucesivamente (a,b, c.n...), la metamatemática de coordenadas<br />

es t/n/-dimensional y utiliza sólo <strong>número</strong>s enteros.<br />

Pero este paralelismo Descartes// Gódel no es meramente retórico, sino muy<br />

profundo. Pues los lenguajes lógicos difieren de los lenguajes topológicos desde un<br />

punto de vista operacional-gnoseológico. Fenomenológicamente, el dualismo<br />

metodológico -Formalización / Topología- parece claro. Así lo ha visto, por ejemplo,<br />

Levi-Leblond. Para este gran físico y gran crítico de la sociedad ambos movimientos<br />

constituyen respuestas alternativas a la misma cuestión de fundamentación de las<br />

matemáticas. Ahora bien, ¿cómo unas teorías que apuntan a una tal globalidad podrán<br />

evitar la trivialidad? Pero nosotros consideramos que la relación no es sólo<br />

fenomenológica, sino dialéctica, lo que supone que una de las dos metodologías ha de<br />

incorporar a la otra como un momento suyo. Así interpretamos un famoso quiasmo de<br />

<strong>Eikasia</strong>. Revista de Filosofía, año VI, 35 (noviembre 2010). http://www.revistadefilosofia.com 191

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!