Resumen de La idealización en la matemática
- español
El objetivo del presente artículo consiste en elucidar el papel de las idealizaciones en la evolución del conocimiento matemático, inspirado por algunas ideas de la filosofía de la ciencia y de la matemática neo-kantianas de Ernst Cassirer. Usualmente, en la filosofía de la ciencia contemporánea se da por hecho que el asunto de la idealización tiene que ver únicamente con las idealizaciones en las ciencias empíricas, en particular en la física. Por contraste, Cassirer sostuvo que la idealización en las matemáticas, así como en las ciencias, tiene la misma base conceptual y epistemológica. Más precisamente examino su "tesis de la identidad" investigando una variedad de ejemplos de idealizaciones tomadas del álgebra, la topología, la teoría de redes y la geometría física. Las idealizaciones en las matemáticas, así como en el conocimiento físico, se pueden caracterizar por la introducción de elementos ideales que conducen a compleciones. En ambas áreas estos elementos ideales desempeñan esencialmente el mismo papel, es decir, sustituyen una variedad incompleta de objetos mediante una variedad conceptual completa "idealizada".
- English
The aim of this paper is to elucidate the role of idealizations in the evolution of mathematical knowledge inspired by some ideas of Ernst Cassirer's Neokantian philosophy of science and mathematics. Usually, in contemporary philosophy of science it is taken for granted that the issue of idealization is concerned only with idealizations in the empirical sciences, in particular in physics. In contrast, Cassirer contended that idealization in mathematics as well as in the sciences has the same conceptual and epistemological basis. More precisely, this "sameness thesis" is scrutinized by investigating a variety of examples of idealizations taken from algebra, topology, lattice theory, and physical geometry. Idealizations in mathematical as well as in physical knowledge can be characterized by the introduction of ideal elements leading to completions. In both areas these ideal elements play essentially the same role, namely, to replace an incomplete manifold of objects by a complete "idealized" conceptual manifold.
