Las matemática afirma una realidad que la filosofía de las matematícas tendría como función

recorrer y describir. Pero esto lleva muchas veces a la búsqueda de la identidad o el carácter
tautológico delas proposiciones.

El carácter formal reduciría al análisis cuantitativo de las matemáticas a un sistema formal que
describiría datos físicos enlazados dejando solamente a las proposiciones empíricas la referencia a
una realidad objetiva. (Wittgenstein y Carnap) Construir todas las nociones de la matemática a
partir de un pequeño número de nociones lógicas primitivas hace perder el caracter cuantitativo e
integral de las toda las teorías constitutivas (terreno del filósofo que realiza un estudio sintético de
conjunto).

Pero Filosofía matemática contemporánea consiste en el estudio positivo de la realidad

matemática. Dos vías: la que la realidad deja aprehender y organizar o su manera intrínseca, su
estructura propia.

Según Brunschvicg la objetividad matemática es la obra de la inteligencia en su esfuerzo por

vencer las resistencias de la materia con la que trabaja.

Historia de las matemáticas: terreno de las paradojas que la reflexión tornó inteligible ====>
números irracionales, lo infinitamente pequeño, fueron admitidos como una incomprensible
necesidad de hecho (números imaginarios podría ser también) antes de pertenecer a una teoría
deductiva.

Pero esto no consistiría en una psicología de la “invención creadora”, entre la psicología del
matemático y la deducción lógica debe haber una caracterización intrínseca delo real que participe
de la inteligencia y del rigor lógico sin confundirse con uno ni otro, y es esta la síntesis que busca
Lautman.

Sustituye las definiciones axiomáticas por definiciones genéticas, no reconstruye el conjunto de las
matemáticas a partir de la lógica. Las matemáticas se presentan así como una síntesis sucesiva
donde cada etapa es irreducible a la etapa anterior. Y una teoría así formalizada no lleva con ella
una prueba interna y esto supone una metamatemática que toma como objeto a la matemática
que la estudie bajo la no contradicción y el acabamiento. NO hay una verdad en sentido absoluto
sino solo desde la perspectiva de esa metamatemática.

Pareciera oponerse una concepcioin estructural (estática) a una dinámica. Lautman quiere
desarrollar una concepción de la realidad matemática donde se entrelace las fijezas de las
nociones lógicas y el movimiento en el cual viven las teorías. La metamatemática de Hilbert a la luz
de la no contradicción y el acabamiento es un ideal y actualmente dificil de alcanzar ya que la
distinción entre un problema lógico y su posible solución matemática a sido a veces poco fecunda.

Pero es posible pensar otras nociones lógicas tales que las soluciones matemáticas de los
problemas puedan presentar infinitas gradaciones. Resultados parciales, aproximaciones
detenidas a mitad de camino, ensayos que dejan vislumbrar en su movimiento un enlace que se
dibuja entre ciertas ideas abstractas que Lautman propone llamar dialécticas (que ofrecen las
matemáticas modernas en álgebra, teoría de grupos, topología, historia escondida hecha para el
filósofo).

Lautman quiere mostrar que las ideas de cada capítulo que dominan los movimientos de ciertas
teorías matemáticas aunque se conciben independientemente de éstas son susceptibles de un
estudio directo. No existen sino en relación con una materia a la que penetran de inteligencia y
son ellas las que confieren a la matemática su eminente valor filosófico

El método que sigue Lautman consiste en un análisis descriptivo, las teorías matemáticas son algo
dado de cuyo seno nos esforzamos por desprender la realidad ideal en la cual esa materia
participa.

Los dos primeros puntos de vista se ven en Boutroux, “El ideal científico de las matemáticas”,
capítulo de análisis matemático del siglo XIX, la realidad matemática se ubica dentro de la
resistencia que la materia matemática opone a la lógica que la intenta describir, ciertas ecuaciones
diferenciales no se dejan integrar con los métodos que sirven para los casos más simples.

Esta definición de los hechos matemáticos se solidariza así con el descubrimiento de seres nuevos.
Capítulo “La objetividad de los hechos matemáticos”, para dar cuenta la resistencia de la materia
matemática a la voluntad del científico estamos obligados a suponerla existencia de hechos
matemáticos independiente de la construcción científica. Estamos forzados a atribuir una
verdadera objetividad a las nociones matemáticas (palabras de Boutroux).

Los hechos se organizan bajo la unidad de la noción que los resume, y lo real deja de ser un puro
descubrimiento de un hecho nuevo e impresvisible, para pasar a depender de la intuición global
de un ser suprasensible. Boutroux toma como ejemplo la realidad de la elipsis.

La realidad de los seres matemáticos existe, para él, en la intuición, independientemente de como
las propiedades de esos seres se presenten lógicamente. Y sin embargo Boutroux se niega a
admitir que las dificultades de la exposición lógica sean exteriores a la realidad propia de las
matemáticas. Dos actitudes que se oponen pero parecen encontrarse una y otra vez. Boutroux
dice que es deseable que estas dificultades sean eliminadas pero deben ser mantenidas(estas
tendencias opuestas) en el obrar matemático. Lautman no entiende como es deseable separar
intuición de razonamiento siendo esta dualidad inherente a las matemáticas.

Dos opiniones de Boutroux para entender esta dificultad. Uno: el poder de la intuición para
revelarnos la existencia y la objetividad de los seres matemáticos. El ejemplo de la elipsisparece
afirmar una solidaridad entre las propiedades locales y las propiedades globales de un ser, aunque
en la mayoría de los seres la puesta en evidencia de esa solidaridad no es posible (capítulo 1) sino
cuando los seres en cuestión gozan de ciertas propiedades de clausura o de acabamiento.

La realidad matemática no reside en las diferencias que separan a los seres inacabados de los
acabados o a los imperfectos de los perfectos sino en la posibilidad de determinarlos unos a partir
de otros, es decir, en las teorías matemáticas donde se afirman esos enlaces. No realidad de seres
estáticos objetos de pura contemplación. En matemática las distinciones cualitativas caracterizan a
las teorías no a los seres.

Otra idea de Boutroux, la independencia de los seres matemáticos respecto a las teorías donde se
encuentran definidos. Boutroux: El hecho matemático es independiente del vestido lógico o
algebraico e independientes al orden en que se los obtiene. Pero en las teorías algebraicas
modernas pueden considerarse seres susceptibles de pertenecer a dominios de base diferentes
cuyas propiedades varían dependiendo del dominio. A ese nivel la naturaleza de lo real se
desdobla: doble caracterización, una sobre el movimiento propio de las teorías, otra sobre los
enlaces de ideas que encarnan en ese movimiento.

Tarea: conciliar la irreducibilidad de la matemáticas a una lógica a priori con su organización

alrededor de esquemas lógicos. Una dialéctica internada en la determinación delas soluciones que
esos problemas lógicos comportan construiría un conjunto de distinciones sutiles y artificios de
razonamiento que imitan las matemáticas tal que se confunde esa dialéctica con la matemática
misma. En base a sus desarrollos recientes (es asesinado en 1944 Lautman) ese es el destino de la
lógica matemática.

Los esquemas lógicos descritos no son anteriores a su desarrollo en el seno de una teoría. Nuevos
esquemas de génesis depende del desarrollo de la matemática. El filósofo no tiene que extraer
leyes ni prever una evolución futura, sólo deben tomar conciencia del drama lógico que se juega
en el seno de las teorías. El único elemento a priori se da en la experiencia de esa urgencia de los
problemas, anterior al descubrimiento de sus soluciones, no es un idealismo racionalista el a
priori es relativo y con respecto a las matemáticas. Se trata de la posibilidad de sentir la inquietud
de un modo de enlace entre dos ideas y de describir fenomenológicamente esa inquietud
independientemente del hecho de que el enlace buscado pueda ser o no ser operable.
Inquietudes (en la historia de la filosofia): entre lo mismo y lo otro, el todo y la parte, lo continuo y
lo discontinuo, la esencia y la existencia. Pero las teorías matemáticas podrán hacer nacer la idea
de problemas nuevos que no hayan sido formulados antes en abstracto. Filosofía matemática:
aprehender globalmente la estructura de esa teoría para desprender de allí el problema lógico que
se encuentra definido y resuelto por la existenc ia misma de esa teoría. Más allá de las condiciones
temporales de la actividad matemática, pero en el seno mismo de esa actividad, aparecenlos
contornos de una realidad ideal que resulta dominadora con respecto a una materia matemática a
la que anima, y que, sin embargo, sin esa materia, nopodría revelar toda la riqueza de su poder
creador. Esta realidad ideal superior a las matemáticas pero dispuesta a encarnar en su
movimiento se integra dentro de las interpretaciones más autorizadas del platonismo (no en el
kantismo en el cual comienza el primer Lautman)

Los comentaristas modernos de Platón han insistido en que las Ideas no son las esencias inmóviles
e irreducibles de un mundo inteligible, sino que están ligadas entre sí según los esquemas de una
dialéctica superior que preside su llegada
En Platón la matemática es solo una propedéutica para la filosofía “preludio de la canción que es
necesario aprender”: la dialéctica.