Scribd Qué Es Una Demostración

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 3

Qu es una demostracin?

Desde los tiempos de los antiguos griegos se consider que el conocimiento demostrado
era el saber ms seguro
Pero qu es una demostracin?
Esta es una pregunta para la que todava no tenemos una respuesta unnime.
(pg. 8)

Los griegos tuvieron el mrito de plantersela por primera vez, y de sugerir una respuesta
que rein en el pensamiento occidental por ms de dos mil milenios.

La demostracin de un enunciado o proposisicin
consiste
en deducirlo de otros enunciados cuya verdad se conoce previamente.

Esta idea de demostracin tuvo su origen en la matemtica griega, especialmente en la
prctica de las pruebas geomtricas

( Una tarea del filsofo: expresar claramente un conjunto de ideas previas confusas)

Fue Aristteles el primero en expresarla claramente y presentarla de un modo sistemtico.

(Un ejemplo de descubrimiento filosfico)

Aristteles descubri adems, el hecho fundamental de que las inferencias deductivas
correctas preservan la verdad de las premisas en razn de la mera forma o estructura de la
inferencia. Con ello inici la lgica formal.

(Problema Cmo saber si una inferencia es correcta o incorrecta?)

El primer problema que plantea la idea griega de demostracin, es sin duda, el de distinguir
entre las inferencias deductivas correctas e incorrectas

( Tarea del filsofo: Construccin de una teora) ( Ejemplo de una teora filosfica)

Pero slo Aristteles construy la primera teora general de las inferencias formalmente
vlidas (Primeros Analticos)
Estudi detenidamente una clase de inferencias deductivas, que hoy llamamos silogismos, y
consigui determinar claramente la forma de las inferencias que preservaban la verdad de
las premisas.

(Construccin de un mtodo para resolver un problema)

Adems demostr cuales eran las formas invlidas de silogismos mediante el mtodo de los
contraejemplos. Este consista en probar que una forma de silogismo era invlida
construyendo un ejemplo de esa forma que tuviera premisas verdaderas y conclusin falsa.
De esta manera se descartan una a una las formas de silogismo que no garantizan la
transmisin de la verdad de las premisas a la conclusin. Las formas aceptadas son aquellas
que no tienen contraejemplos, es decir aquellas para las cuales no es posible construir un
razonamiento que tenga premisas verdaderas y conclusin falsa.

( Problema generado por la invencin de un mtodo)

Pero cmo podemos saber que esas reglas de inferencia realmente no tienen
contraejemplos o no los tendrn en el futuro?
En sentido estricto no lo sabemos, y Aristteles nada dice al respecto. Este es tambin un
problema pendiente de solucin en nuestros das.

(Problema: es posible demostrar todo conocimiento?)

La segunda dificultad de la idea griega de demostracin aparece cuando se pretende que
todo conocimiento sea demostrado.
En Segundos Analticos se ocupa Aristteles de este problema que haba ocupado a sus
antecesores y contemporneos.
Como vimos la demostracin de un enunciado consiste en deducirlo de otros enunciados
conocidos previamente como verdaderos, que operan como premisas de la demostracin.
Sin embargo, tambin se puede pedir una demostracin de esas premisas, para lo cual ser
necesario deducirla de otros enunciados.
Es evidente, pensaba Aristteles, que este procedimiento no puede seguir indefinidamente,
pues nos conduce a una regresin al infinito en las demostraciones, formndose una cadena
deductiva que no tiene comienzo. Esta situacin le pareci inaceptable porque dejaba a toda
la secuencia de demostraciones sin un fundamento ltimo y seguro.
Pero hay otras posibilidades:

Una de ellas consiste en demostrar todos los enunciados deducindolos de s mismos.
Aristteles la llama demostracin recproca y la descarta por considerarla trivial. No es
objetable desde un punto de vista lgico pero s es epistemologicamente trivial, porque
una demostracin exige partir de premisas conocidas como verdaderas, de modo que para
probar deductivamente la verdad de cada enunciado ya deberamos conocerla de antemano.

La segunda posibilidad consiste en aceptar demostraciones circulares (pero no recprocas),
donde las premisas de ciertas demostraciones aparecen como conclusiones de otras y
viceversa. Se forman as, cadenas deductivas finitas, pero cerradas. Aristteles considera
que esto implica un crculo vicioso inadmisible, que nuevamente deja sin fundamento, y
por tanto sin una razn a toda la secuencia de demostraciones.

La ltima posibilidad que Aristteles analiza es la que dar origen a la idea de pensamiento
axiomtico. Aristteles pens que era posible evitar el escepticismo respecto de la
demostracin aceptando que no todo conocimiento es demostrativo. Toda secuencia de
demostraciones debe ser finita y terminar en algn momento en un conjunto de enunciados
fundamentales que no se conocen por medio de demostracin. Aristteles los llam
primeros principios, y los consider no solamente como enunciados no demostrados, sino
en s mismos indemostrables. Los consider como verdades necesarias que no pueden ser
demostradas.

(Problema Cmo se conoce los primeros principios?
Aristteles no resolvi claramente el problema de cmo se conocen los principios
indemostrables, pero dej indicaciones muy escuetas de que se trata de un proceso en el que
intervienen tanto la induccin como la intuicin intelectual. Los principios son verdades
que naturalmente se conocen por s mismas, y como tales son el objeto de una forma de
conocimiento superior a la ciencia, que Aristteles llam nous o intuicin intelectual.

Se puede considerar a Aristteles como padre fundador del mtodo axiomtica, porque fue
l el que present por primera vez la idea de sistematizacin deductiva de una teora
tomando como punto de partida un conjunto reducido de principios, de los cuales se
inferan los restantes enunciados de la teora. En Segundos Analticos tareas de Aristt
anlisis del concepto de demostracin cientfica y de las condiciones requeridas para la
organizacin deductiva de una teora. Aristteles no llam axiomas a todos los principios
de una teora sino a solo a aquello0s que son comunes a todas las ciencias, como los
principios lgicos de no contradiccin y de tercero excluido A los principios especficos
de cada ciencia en particular los denomin principios propios y los concibi como
definiciones reales o esenciales acerca de las entidades que cada ciencia toma como objeto
de estudio

(Def de teora cientfica)
Una teora cientfica, segn Aristteles es una estructura ordenada deductivamente formada
por los principios o verdades indemostrables y por todos los enunciados deducidos
vlidamente de tales principios. Esto ltimo supone que se han codificado las reglas de
inferencia que permiten hacer deducciones vlidas a partir de principios. Aristteles cre
para eso a la teora del silogismo ( Una exigencia epistemolgica, ie una idea de epist
normativa.) Consecuentemente exigi que todas las teoras cientficas tuvieran la forma de
un silogismo, mas precisamente el llamado barbara el modelo ideal de ciencia que
Aristteles propone contiene tres elementos esenciales del mtodo axiomtico, lo que hoy
llamamos, axiomas, teoremas y reglas de transformacin.

( Cuestiones que se me plantean a mi: )
Por qu Aristteles procura reducir todas las formas de silogismos vlidas a la forma
barbara?
Cmo explicar la inconsecuencia que supone el reclamo epistemolgico de que toda
ciencia deba tener la estructura hoy llamada axiomtica, con la investigacin realizada por
el mismo Aristteles en biologa, fsica etc, donde no cumple con esa exigencia?

EUCLIDES ARISTTELES

(inconsecuencia de Aristteles?)
Aristteles no construy ningn sistema axiomtico, ni aplic consecuentemente su teora
de la ciencia a sus investigaciones cientficas concretas,, por ejemplo en sus lecciones de
fsica o en sus tratados biolgicos.

También podría gustarte