[escepticos] No puede probarse una negación

[Eloy Anguiano Rey]

El jue, 07-08-2008 a las 11:17 +0100, Pedro J. Hdez escribió:
> El día 7 de agosto de 2008 1:42, Eloy Anguiano Rey
> <eloy.anguiano en gmail.com> escribió:
> >
> >> Mi argumento es que en el fondo todas las negaciones son del segundo
> >> tipo que mencionas. Cuando niego la existencia de los unicornios lo
> >> hago porque creo que hay detrás una teoría y un conjunto de evidencias
> >> que hace extremadamente improbable su existencia. Los puristas dirán
> >> que eso no es una prueba, sólo una deducción. Por eso mi segundo
> >> ejemplo era explícitamente matemático (el de los triángulos). Uno
> >> puede probar dentro de la geometría euclídea (teoría) que los los
> >> ángulos de un triángulo suman obligatoriamente 180º. Pero después
> >> puedes convencerte que el 5º aximoma de Euclides (el de las paralelas)
> >> no es evidente y construyes las geometrías no euclídeas donde la
> >> afirmación sobre los triángulos ya no es cierta. Los matemáticos
> >> suelen hablar de las verdades (o certezas mejor dicho) inmutables y
> >> atemporales de las matemáticas. Lo que es simple y llanamente falso.
> >> Las certezas matemáticas son como las demás en la ciencia.
> >
> > Falso. Son inmutables. La geometría euclídea es inmutable, por ejemplo.
> > Esa es la diferencia entre el método lógico-axiomático de las
> > matemáticas y el científico. Las geometrías no-euclídeas son eso, no
> > euclídeas. Simplemente niegan un axioma y construyen una geometría
> > completa.
> 
> La mecánica newtoniana es inmutable si aceptas que los cuerpos se
> comportan de manera newtoniana. Eso suena a tautología.

No, para nada. En la naturaleza no tengo que aceptar nada, los cuerpos
se comportan como lo hacen y yo lo mido y después veo si se comportan de
forma newtoniana o no. También puedo hacer la suposición de que se
comportan así en función de mi experiencia y hacer predicciones.


>  La geometría
> euclídea no es inmutable desde que el 5º axioma no es autoevidente.
> ¿Por qué iba a aceptar un axoma si no es autoevidente?.


Porque las matemáticas se pueden desarrollar incluso con axiomas
contradictorios con la realidad y por tanto la autoevidencia es
innecesaria.

> >
> > Por cierto, no encuentro un mail tuyo al que tenía que responder. Si al
> > final de esta tanda de respuestas no encuentras la respuesta, reenvíalo,
> > plz.
> 
> No sé al que te refieres. Eso significa que estamos hablando demasiado ;-)

A nada, lo encontré y respondí.