Académique Documents
Professionnel Documents
Culture Documents
La tarea:
-En la física: Teoría de la Relatividad de Einstein y emergencia de la física cuántica (física no-
newtoniana).
Consecuencias epistemológicas de estas revoluciones locales: desintegración el juicio sintético a priori de Kant.
“La significación de la filosofía de Kant se extiende hasta nuestro tiempo. No sólo las teorías de
filósofos de escuelas diversas han sido determinadas por Kant; también científicos han empleado su
filosofía para llevar a cabo un criticismo filosófico de teorías científicas, o para establecer sistemas de
filosofía natural. Nadie que desee obtener una comprensión del pensamiento filosófico de hoy puede
ignorar su gran influencia. Es igualmente evidenciada cuando los científicos han intentado perpetuar
las ideas de Kant adaptándolas a los cambios en la ciencia -como Helmholtz lo hizo con respecto a la
geometría- y cuando han totalmente rechazado las ideas de Kant, precisamente como un medio para
contrastarlas con sus propias concepciones filosóficas -como lo hizo Mach en su crítica al concepto
de cosa en sí- (H. Reichenbach, Kant and Natural Science, 1933).
1855 – “Sobre la visión de los hombres” (Über das Sehen des Menschen)
-Intuicionismo (Brouwer)
-Formalismo (Hilbert)
Construcción logicista de las matemáticas (programa logicista): la aritmética puede ser reducida a la lógica.
Significa, ante todo, que las matemáticas son una parte de la lógica.
1. Los conceptos de las matemáticas pueden ser derivados desde conceptos lógicos a través de definiciones
explícitas.
2. Los teoremas de las matemáticas pueden ser derivados desde axiomas lógicos a través de una pura
deducción lógica.
-Kant (s. XVIII): las matemáticas son disciplinas que nos entregan un conocimiento a
priori y sintético.
-J. S. Mill (s. XIX): la aritmética consiste en generalizaciones empíricas que son sintéticas
a posteriori.
El meollo del asunto: los axiomas euclidianos parecen poseer dos características difícilmente reconciliables:
1) Por una parte, parecen ser inmediatamente evidentes y por tanto deben ser sostenidos con necesariedad.
2) Su validez no es puramente lógica sino fáctica. En términos técnicos: no son analíticos sino sintéticos.
Esto es mostrado por el hecho de que, sobre las bases de ciertas mediciones de los ángulos y longitudes de
los cuerpos físicos, el resultado de de otras mediciones puede ser predicho.
Conclusión de Kant: de la aparente validez necesaria de los principios de la geometría concluyó que su
conocimiento es a priori (independiente de la experiencia), a pesar de que son sintéticos. Las matemáticas
(fundamentalmente la geometría y la aritmética) constituyen el paradigma de conocimiento sintético a priori,
es decir, un conocimiento que a pesar de ser producido por la pura razón, nos dice algo acerca del mundo.
-Surge el problema en torno al método capaz de determinar cuál de los sistemas (euclidiano o no-euclidianos)
debemos sostener para el espacio de la física.
Gauss: sugiere que la determinación debe ser hecha a través de mediciones físicas.
Poincaré: a comienzos de siglo XX, resaltó un nuevo aspecto de la situación. A pesar de los hechos
observacionales que son encontrados, el físico posee completa libertad a la hora de atribuir al espacio físico
cualquiera de las estructuras geométricas matemáticamente posibles, siempre que haga los ajustes adecuados en
las leyes mecánicas u ópticas, y por tanto en las reglas para establecer mediciones de longitudes. Más aún:
Poincaré afirmó que los físicos elegirían siempre la estructura euclidiana debido a su simplicidad.
Einstein: refutó la tesis de Poincaré al utilizar una geometría no-euclidiana en su Teoría General de la Relatividad.
De este modo, obtuvo una ganancia considerable en la simplicidad del sistema total de la física, a pesar de haber
perdido la simplicidad en geometría.
-Geometría axiomática pura (matemática): sus enunciados se sostienen lógicamente, pero ellos sólo tratan
estructuras abstractas y no dicen nada acerca del espacio físico.
-Geometría aplicada (física): describe la estructura del espacio físico (es una parte de la física). La validez de
sus enunciados debe por tanto ser establecida empíricamente luego de que han sido establecidas reglas para
medir las magnitudes implicadas, especialmente la longitud.
En términos kantianos: la geometría matemática se sostiene en efecto a priori, como Kant había afirmado,
pero sólo porque es analítica. La geometría física, por su parte, es en efecto sintética. Pero ella está basada en
la experiencia, y por tanto no se puede sostener a priori.
*Consecuencia epistemológica: en ninguna de las dos ramas de la geometría intervienen juicios sintéticos a
priori. La doctrina de Kant debe ser abandonada!
“En este punto surge un enigma que en todas las épocas ha agitado a las mentes más curiosas.
¿Cómo puede ser que las matemáticas, siendo después de todo un producto del pensamiento
humano que es independiente de la experiencia, sean de manera admirable tan apropiadas para los
objetos de la realidad? ¿Es la razón humana por tanto capaz, sin valerse de la experiencia, de
descubrir sólo a través del pensamiento las propiedades de las cosas reales?
En mi opinión la respuesta a esta cuestión es, de manera resumida, la siguiente: En la medida en
que las leyes de las matemáticas refieren a la realidad, ellas no son ciertas; y en la medida en que
son ciertas, ellas no refieren a la realidad. Desde mi punto de vista, una claridad completa de esta
situación ha sido posible gracias a cierta tendencia en matemáticas, que es conocida bajo el
nombre de lógica matemática o axiomática. El progreso realizado a través de la axiomática consiste
en separar cuidadosamente la parte lógica y formal del contenido objetivo o intuitivo. De acuerdo
con la axiomática, la parte lógica y formal constituye el único objeto de las matemáticas, la cual no
se preocupa por el contenido intuitivo o cualquier otro contenido asociado a la forma lógica”.
“Consideremos por un momento (…) cualquier axioma de la geometría, por ejemplo el siguiente: a través de dos
puntos en el espacio siempre pasa una y sólo una línea recta. ¿Cómo debe ser interpretado este axioma en el viejo
sentido y en el sentido más moderno?
La interpretación vieja: Todos sabemos qué es una línea recta y qué es un punto. Si este conocimiento brota de una
habilidad de la mente humana o de la experiencia, de cierta colaboración de ambos o de alguna otra fuente, no es el
matemático quien debe decidir. Él deja el problema al filósofo. Basándose sobre este conocimiento, el cual precede
a todas las matemáticas, el axioma propuesto arriba es, como todos los otros axiomas, evidente en sí mismo, es
decir, es la expresión de una parte de este conocimiento a priori.
La interpretación más moderna: La geometría trata las entidades que son denotadas a través de las palabras línea
recta, punto, etc. Esas entidades no implican ningún conocimiento o intuición, sea que la sea, sino que ellas
presuponen sólo la validez de los axiomas, tal como el propuesto arriba, el cual debe ser considerado en un sentido
puramente formal, esto es, como desprovisto de todo contenido, intuición, o experiencia. Estos axiomas son
creaciones libres de la mente humana. Todas las otras proposiciones de la geometría son inferidas lógicamente
desde los axiomas (…) Son los axiomas los que definen en primer lugar los objetos de los cuales se ocupa la
geometría. Y es por esta razón que Schlick, en su libro sobre Teoría del Conocimiento, ha concebido muy
justamente a los axiomas como definiciones implícitas”.
Impacto físico y filosófico: Ruptura con el marco conceptual newtoniano y kantiano. Nueva filosofía del
espacio y del tiempo.
*Kant: concluye que espacio y tiempo no son más que formas a priori de la intuición o sensibilidad,
propias al sujeto cognoscente.
*Einstein: -espacio y tiempo no son realidades independientes, sino que ambos constituyen la misma
cara de una misma moneda: el continuo espacio-tiempo.
-espacio y tiempo no son formas a priori de la intuición, sino verdaderos procesos físicos que
son producidos por la interacción entre la materia y la energía en el universo.
1910/1915 – Comienza a estudiar ingeniería civil en Stuttgart, pero luego pasará su tiempo en Berlín, Erlangen, Göttingen y Munich,
donde estudia física, matemáticas y filosofía. Entre sus profesores se encuentran M. Born, M. Plack, E. Cassirer y D. Hilbert.
1916 – Se doctora en filosofía defendiendo una tesis sobre el concepto de probabilidad en física.
1926 – Con ayuda de Einstein y Planck, se convierte en profesor asistente en el departamento de física de la Universidad Humboldt de
Berlín.
1933 – Emigra a Turquía luego de ser perseguido por el gobierno nazi, haciéndose cargo del departamento de filosofía de la Universidad
de Estambul.
1938 – Emigra a Estados Unidos y se convierte en profesor de filosofía en la Universidad de California (UCLA).
“En filosofía, desde tiempo de Pitágoras, ha habido una oposición entre los
hombres cuyo pensamiento estaba esencialmente inspirado por las matemáticas y
aquellos más influidos por las ciencias empíricas. Platón, Tomás de Aquino,
Spinoza y Kant pertenecen a lo que podemos llamar el partido matemático;
Demócrito, Aristóteles y los empíricos modernos, desde Locke en adelante,
pertenecen al bando opuesto. En nuestros días ha surgido una escuela de filosofía
que se propone eliminar el pitagorismo de los principios de la matemática, y
combinar el empirismo con un interés por las partes deductivas del conocimiento
humano. (…) El origen de esa filosofía se encuentra en las realizaciones de los
matemáticos que intentaron depurar su disciplina de falacias y de razonamientos
escurridizos” (Russell, 1984: 221).
“El empirismo analítico moderno (…) difiere del de Locke, Berkeley y Hume por
su incorporación de las matemáticas y su desarrollo de una poderosa técnica
lógica. Es capaz así, respecto a ciertos problemas, de lograr respuestas definitivas,
que tienen las características de la ciencia más que de la filosofía. Posee la ventaja,
en comparación con las filosofías de los constructores de sistemas, de ser capaz de
abordar sus problemas uno por uno, en vez de tener que inventar de golpe una
teoría global de todo el universo. Sus métodos, a este respecto, se asemejan a los
de la ciencia”.
“La característica más distintiva que diferencia a las matemáticas de las múltiples ramas
de la ciencia empírica, y que da cuenta de su fama como la reina de las ciencias, es sin
dudas la peculiar certeza y necesidad de sus resultados. Ninguna proposición, aún en las
partes más avanzadas de la ciencia empírica, puede alcanzar jamás este estatuto; una
hipótesis concerniente a “asuntos de hechos empíricos” puede en el mejor de los casos
adquirir lo que es vagamente llamado una alta probabilidad o un alto grado de
confirmación sobre las bases de la evidencia relevante disponible; sin embargo, a pesar de
lo bien que pueda ser confirmada a través de tests cuidadosos, nunca puede ser evitada la
posibilidad de que luego sea descartada, a la luz de evidencia nueva que no la confir ma.
Por tanto, todas las teorías e hipótesis de la ciencia empírica comparten este carácter
provisional de ser establecidas o aceptadas “hasta nueva noticia”, mientras que un
teorema matemático, una vez probado, es establecido de una vez y para siempre; se
mantiene con una tal certeza particular que ninguno de los descubrimientos empíricos
subsecuentes, sean lo inesperados y extraordinarios que sean, puede jamás afectar al más
mínimo respecto”. (C. G. Hempel, Geometry and Empirical Science, 1945)
-Los enunciados analíticos de la lógica y las matemáticas (los cuales no poseen ningún contenido fáctico)
constituyen dispositivos calculatorios que son utilizados para operar sobre enunciados sintéticos.
-Las ciencias fácticas establecen enunciados sintéticos: enunciados singulares para la descripción de
hechos observables, o enunciados generales que son introducidos como hipótesis. A partir de estos
enunciados, el científico trata de derivar otros enunciados sintéticos, para realizar predicciones
concernientes al futuro, por ej.
-Los enunciados analíticos sirven como una función auxiliar para estas operaciones inferenciales. La
lógica y las matemáticas, por tanto, constituyen un cálculo auxiliar a través del cual lidiamos con los
enunciados sintéticos. Las ciencias formales son utilizadas por razones técnicas, para facilitar
transformaciones lingüísticas en las ciencias fácticas.
Esquema general de toda explicación y predicción (y postdicción): ∀(x) P (x) → Q (x) P.1 (ley)
P (a) P.2 (condiciones iniciales)
⊢ Q (a) MP 1,2
Tipos de leyes:
1) Universales: -Afirman que una regularidad se produce en todos los casos (en todo tiempo y en todo lugar).
-Son lógicamente más simples que las leyes estadísticas.
Forma lógica: enunciado universal condicional. Ej: sea lo que sea x, si x es P, entonces x es Q (modus ponendo ponens).
2) Estadísticas: Una regularidad se produce en un cierto porcentaje de casos. La predicción sólo será probable.
Forma lógica: ya no interviene la lógica deductiva elemental en la inferencia, sino que debemos usar una lógica diferente: una
lógica de la probabilidad.
Leyes de la lógica y matemática pura: son analíticas o taulológicas (no nos dicen nada acerca del mundo). Sólo enuncian
relaciones que rigen entre ciertos conceptos en función de sus definiciones. Su verdad es una consecuencia de de los
significados de los términos implicados. Es una verdad que es necesaria y válida en todos los mundos posibles (Leibniz).
Ej.: Cuando hemos especificado con precisión los sgdos. de “1”, “3”, “4”, “+” y “=”, la verdad de “1+3=4” se desprende
directamente de esos sgdos.
*Consecuencias epistemológicas: hemos alcanzado la certeza, pero el precio a pegar es que los enunciados de la lógica y las
matemáticas no nos dicen nada acerca de la estructura del mundo en que vivimos.
Leyes de las ciencias fácticas: son enunciados sintéticos o no-tautológicos (afirman algo acerca del mundo). Se basan en la
observación de ciertas regularidades. Su verdad depende por tanto de la experiencia de nuestro mundo físico. Por este motivo,
no son válidas para todo mundo posible, sino sólo para nuestro mundo.
*Consecuencias epistemológicas: no poseen la certeza de los enunciados lógicos y matemáticos pero nos dicen algo acerca del
mundo, es decir, aportan información nueva. Problema que plantean: ¿Qué justificación tenemos para pasar de la observación
directa de hechos a una ley que expresa ciertas regularidades de la naturaleza? PROBLEMA DE LA INDUCCIÓN!