La Matemtica Griega

Nuestro tratamiento por necesidad proceder por seleccin de los avances en contenidos y
metodologas que consideramos ms importantes para entender cmo se inici un proceso
cumulativo de creacin de conocimiento matemtico en el mundo occidental. Dejaremos
muchos matemticos y temas sin abordar.

Caracterstica principal de la filosofa griega: Bsqueda de verdades universales
y necesarias

Ejemplos por excelencia: Proposiciones pertenecientes al conocimiento
matemtico

Personajes a estudiar y sus fechas:

Tales 624 547 a.C.
Pitgoras 572 497 a.C.
Zenn c 490 c425 a.C.
Hipcrates de Quos Trabaj en Atenas 450 430 a.C.
Platn 428 - 348 a.C.
Eudoxio 410 355 a.C.
Aristteles 384 322 a.C.
Euclides Produccin principal alrededor de 300 a.C.
Arqumedes 287 212 a.C.

Este listado deja por fuera muy importantes matemticos griegos, como
Menecmo (solucin geomtrica de ecuaciones cbicas), Apolonio (teora de las
secciones cnicas), Hern (frmula de Hern), Diofanto (ecuaciones diofnticas),
y muchos ms.

Resultados u obras a estudiar

1. Tales
1.1 Primeros resultados generales en geometra

2. Pitgoras y su escuela
2.1 Resultados en aritmtica (teora de nmeros)
2.2 Demostraciones sin palabras
2.3 Demostracin por contradiccin

3. Zenn de Elea
3.1 Antinomias

4. Hipcrates de Quos
4.1 Cuadraturas
4.2 Primeros Elementos de geometra

5. Platn
5.1 Filosofa de la matemtica (Repblica)
5.2 Ejemplos matemticos en su teora de conocimiento (Menn)
5.3 Ejemplos matemticos en su metodologa de la indagacin (Menn)
5.4 Comienzos de resultados en lgica (Sofista)

6. Eudoxio
6.1 Definicin de nmero irracional
6.2 Mtodo de exhaucin

7. Aristteles
7.1 Sobre el infinito (Metafsica)
7.2 Silogstica (Primeros analticos)
7.3 Ciencia Demostrativa (Segundos analticos)

8. Euclides
8.1 Elementos de Geometra. Libro I.

9. Arqumedes
9.1 Mtodo de exhaucin
9.2 Estimativo del valor de
9.3 Clculo del rea del crculo
















1. Tales

1.1 Primeros resultados generales en geometra.

Existen dudas de que haya demostrado Tales los resultados que enunci; se
piensa ms bien que se descubrieron y enunciaron sin proveer una adecuada
demostracin.

Es famosa la medicin de la altura de una pirmide usando la proporcionalidad
de los lados de tringulos semejantes. Adems, en la literatura clsica griega se
dice que Tales descubri las siguientes proposiciones universales y necesarias.

Un dimetro biseca al crculo

ngulos en la base de un tringulo issceles son iguales (congruentes).

Los ngulos opuestos por el vrtice (cuando dos lneas rectas de cortan) son
iguales (congruentes).

Si dos tringulos tienen dos ngulos y el lado comprendido entre ellos
respectivamente iguales, entonces los tringulos son iguales.

Un ngulo inscrito en un semicrculo es un ngulo recto.



Concepto de semejanza de tringulos y proporcionalidad de sus lados. Medicin
de la distancia a un punto no accesible.

Para sta ltima basta tener un instrumento compuesto por dos palos unidos por
un tornillo en un extremo. Manteniendo vertical uno de los palos se apunta al
objetivo no accesible. Luego, manteniendo la misma apertura en el vrtice se
apunta a un objetivo accesible y se mide la distancia a ste ltimo.




2. Pitgoras y su escuela

Geometra pitagrica

Importantes resultados geomtricos incluyen el que la suma de los ngulos de un
tringulo es igual a dos ngulos rectos (180), y el teorema de Pitgoras que
afirma que la suma de los cuadrados sobre los dos lados de un tringulo
rectngulo es igual al cuadrado sobre la hipotenusa.

Esto ltimo lleva a que la longitud de la diagonal de un cuadrado de lado
unitario sea igual a la longitud del lado de un cuadrado de rea 2, o sea, lo que
hoy da se denota por 2. Se atribuye a los pitagricos la demostracin que ese
longitud no es conmensurable con la unidad (no es racional o es irracional). Su
demostracin es por contradiccin.

Se supone que la longitud de la diagonal de un cuadrado de lado, que
denotaremos por 2 es conmensurable con 1 (racional). Entonces puede
escribirse como
2 = a/b
Donde a y b son nmeros enteros que no tienen factores en comn diferentes de
1. Se sigue, elevando ambos miembros de la ecuacin al cuadrado, que

2 = a/ b o, lo que lo mismo, 2b=a.
Entonces, como a es par, se sigue que a es par porque si fuera impar, su
cuadrado sera impar (impar por impar es impar). Pero si a es par podemos
escribir a = 2n, de modo que a= 4n. De ah se sigue que

4n=2b o, lo que es lo mismo, 2n = b.

Luego, como b es par se sigue que b es par, lo cual contradice que a y b son
nmeros enteros que no tienen factores en comn diferentes de 1. Al suponer
que 2 es conmensurable con 1 (racional), se llega a una contradiccin. Luego,
2 no es conmensurable con la unidad (no es racional). Esta demostracin fue
indicada por Aristteles y est transcrita en los Elementos de Euclides, Libro X.

Las diagonales de un pentgono regular dividen a cada diagonal en razn medio
extremo (seccin urea). Encontrado en los Elementos de Euclides, Libro II,
Proposicin 11. Cortar un segmento en dos de modo que el rectngulo
contenido por el todo y uno de los segmentos es igual al cuadrado sobre el
segmento restante.

En trminos algebraicos, esto es hallar x tal que a (a x) = x.

La construccin euclidiana es la siguiente.


Dejando a un lado la demostracin de Euclides, y poniendo AB = a, AH = x, y BH
= a x, podemos ver que BE= 5a/4, de donde, AH = AF = (5a/4) a/2 = x. Se
sigue por una sencilla comprobacin que a(a-x) = x.

Las diagonales de un pentgono regular se intersecan en seccin urea es
demostrado haciendo unas sencillas observaciones acerca de los tringulos
formados por las diagonales y sus intersecciones.





Ahora, los ngulos DCE, ECA y ACB son iguales porque estn inscritos en arcos
iguales. Como cada uno de los ngulos interiores de un pentgono regular mide
108, cada uno de estos ngulos mide 36. Ahora bien, como los ngulos del
pentgono regular son iguales y sus lados son todos iguales, se sigue que los
tringulos EDC y ABC son congruentes, de modo que EC = AC y el tringulo
ACE es issceles. Entonces, los ngulos CEA y CAE son iguales. Y como el ngulo
ECA mide 36, se sigue que cada uno de estos ngulos mide 72. Tracemos EB.


El tringulo AEF es semejante al tringulo ACE por AA (dos pares de ngulos
respectivamente congruentes). Entonces, AF : AE = AE : AC. Pero, los tringulos
AEF y CFB son congruentes (EF = EA = CB = CF y los ngulos AEF y FCB son
iguales). Se sigue que AE = CF y tenemos AF : CF = CF : AC, lo cual significa que
F corta a AC en seccin urea.


Aritmtica pitagrica

Los pitagricos pensaron que los principios matemticos deben ser los principios
de todo lo que existe. Uno de los sustentos importantes para ello era la armona
musical y su relacin con razones numricas.

Abordaron el problema de la definicin y en particular la definicin de ideas,
conceptos o entes abstractos.

Definicin de unidad y de nmero, clasificacin de los nmeros.

La definicin original pitagrica no se conoce, pero de la escuela pitagrica se
tiene fuentes que dicen que unidad es aquello en virtud del cual cada una de las
cosas que existen se llama uno, mientras que nmero es una multiplicidad
compuesta por unidades. Euclides, por ejemplo, establece el paralelismo que los
pitagricos vean entre aritmtica y geometra, definiendo unidad como punto sin
posicin y punto como unidad con posicin.

Que esta definicin sea pitagrica, es claro en el tratamiento pitagrico de los
nmeros figurados.

Pares, impares, primos, compuestos. Nmeros perfectos y amigables.

Nmero par es aqul que es susceptible de dividirse en partes a la vez mayores
y menores, mayores en tamao, pero menores en cantidad (dos mitades),
mientras que un nmero impar no puede ser as dividido y solo puede dividirse
en dos partes desiguales.

Otra definicin atribuida a los pitagricos es

un nmero par es aqul que puede dividirse en dos partes iguales y en dos
partes desiguales [excepto por el 2], pero como sea que se divide [en dos
partes], debe tener sus dos partes del mismo tipo; mientras que un nmero
impar, como quiera que se divide [en dos partes] debe de todas maneras
descomponerse en dos partes desiguales y esas partes siempre pertenecen a los
dos tipos

Los nmeros primos se distinguen de los nmeros secundarios o compuestos
diciendo que los primos son los que slo pueden configurarse en una dimensin.

Esto ltimo es una referencia al arreglo de los puntos correspondientes a las
unidades que conforman un nmero en figuras geomtricas. En efecto, los
pitagricos estudiaron los nmeros figurados, triangulares, cuadrados, oblongos
de acuerdo a esas posibles disposiciones.

Este tratamiento permiti que desarrollaran frmulas generales para sus sumas,
dando lo que se llaman demostraciones sin palabras (geomtricos).

Por ejemplo, los nmeros triangulares se obtienen sumando los nmeros
naturales consecutivos a partir de 1. As son





1 3 = 1+2 6= 1+2+3 10 = 1+2+3+4


Esto se utiliza para calcular una formula general para la suma de los primeros
n nmeros naturales consecutivos, lo cual ilustramos en el caso n=4.


Es claro que la suma en cuestin es del nmero de puntos en el arreglo
rectangular y que ste, por la construccin que se ha hecho, es de dimensiones
n(n+1). Esto es, en efecto, la suma de los trminos en una progresin aritmtica.

Igualmente, los nmeros cuadrados son


1 4 9 16

Los pitagricos demostraron que la suma de los nmero impares consecutivos a
partir de 1 es un nmero cuadrado. Ilustraremos con el caso de la suma de los
primeros 4 nmeros impares consecutivos.


La frmula general es, evidentemente, 1 + 3 + 5 + + (2n-1) = n.

Los nmeros oblongos corresponden a la suma de la sucesin de nmeros pares
consecutivos a partir de 2. Cmo ser la configuracin? Cmo sera el clculo
de esa suma usando expresiones algebraicas?

Esto puede elaborarse mucho. Por ejemplo, cmo se puede demostrar que 8
veces cualquier nmero triangular ms 1 es un nmero cuadrado (el cuadrado de
un impar)?

Basta lograr una configuracin generalizable y sta nos sirve.


Tringulos rectngulos con lados racionales.

Como se estudia en el curso de lgebra, los pitagricos (probablemente siguiendo
a los babilonios) trabajaron el problema de hallar triplas de nmeros enteros que
son las longitudes (magnitudes) de los lados de un tringulo rectngulo,
llamadas aun hoy da, triplas pitagricas.

Se atribuye al mismo Pitgoras el descubrimiento de que

m + ((m-1)/2) = ((m+1)/2).

Se especula que haya llegado a esta frmula teniendo en cuenta que la suma de
los nmeros impares consecutivos a partir de 1 es un cuadrado. Luego, si el
ltimo sumando es un cuadrado, como la suma anterior es un cuadrado, se sigue
que se genera una tripla pitagrica.


4 + 9 = 5 o 4 + 3 = 5

Un nmero perfecto es aqul que es igual a la suma de sus partes (divisores del
nmero diferentes a l mismo). 6 y 28 son los primeros dos nmeros perfectos ya
que 6 = 1 + 2 + 3, 28 = 1 + 2 + 4 + 7 + 14.

Dos nmeros son amigables si cada uno es igual a la suma de las partes del otro.
Los nmeros 220 y 284 son amigables.


Media aritmtica, geomtrica y armnica.

Pitgoras descubri la dependencia de los intervalos musicales armoniosos de
razones numricas entre nmeros pequeos, y la teora de medias se desarroll
desde los principios de la existencia de la escuela pitagrica. Arquitas (trabaj en
Atenas entre 400 365 a.C.) menciona las tres medias, la aritmtica, la geomtrica
y la armnica.

Si las magnitudes a, x y b estn en progresin aritmtica, entonces x = (a + b)/2
que se llama la media aritmtica de a y b.

Si las magnitudes a, x y b estn en progresin geomtrica, entonces x = ab que
se llama la media geomtrica de a y b.

Si las magnitudes a, x y b estn en progresin armnica, entonces se tiene que si
a = x + a/n, entonces x = b + b/n. La media armnica es tal que (a-x)/(x-b) = a/b o
x = 2ab/a+b.

Teora de la proporcionalidad.

En el Libro VII de los Elementos de Euclides se encuentra resumida en las
proposiciones 11, 12, 13, 14, 17, 18, 19, 20, 21, 22 la teora pitagrica de la
proporcionalidad. Esto es,

Proposicin 11. Si a : b = c : d, entonces (a-c) : (b-d) = a : b.

Proposicin 12. Si a : a = b : b = c : c = , entonces a: a = (a+b+c+) :
(a+b+c+)

Proposicin 13. Si a : b = c : d, entonces a : c = b : d.

Proposicin 14. Si a : b = d : e y b : c = e : f, entonces a : c = d : f.

Proposicin 17. b : c = ab : ac.

Proposicin 18. a : b = ac : bc.

Proposicin 19. Si a : b = c : d, entonces ad = bc, y si ad = bc, entonces a : b = c : d.

Proposicin 20. Si a y b son los nmeros ms pequeos que estn en cierta razn
y si a : b = c : d, entonces a = (1/n)c y b = (1/n)d.

Proposicin 21. Nmeros primos relativos son los ms pequeos de todos
aquellos que tienen la misma razn que ellos.

Proposicin 22. Los ms pequeos de todos los nmeros que estn en cierta
razn son primos relativos.

La teora general de proporciones requiere que se pueda considerar magnitudes
no conmensurables (irracionales) y esto no lo hicieron los pitagricos, siendo
trabajo de Eudoxio que fue transcrito por Euclides en el Libro V de los Elementos.

3. Zenn de Elea.

Las antinomias de Zenn de Elea, enunciados en la primera mitad del siglo V
a.C. tienen por objetivo aparente someter la filosofa pitagrica a un anlisis que
obligara a rechazarla.

La situacin es atacar la premisa central de la filosofa pitagrica que sostiene
que los principios matemticos son los principios que gobiernan todo lo
existente. En particular se pretende demostrar que el movimiento no puede ser
modelado matemticamente.

Son bien conocidas las antinomias de Zenn conocidas con los nombres de la
dicotoma, Aquiles y la tortuga, la flecha y el estadio. El punto de Zenn es que
los nmeros racionales no son apropiados para describir el movimiento en el
espacio a travs del tiempo. La forma de mostrarlo es la introduccin de
argumentos en los cuales el uso de los racionales y la correspondiente propuesta
de la divisin infinita del espacio y el tiempo para describir el movimiento
conllevan contradicciones con lo observado empricamente. Esas contradicciones
implicaran que los principios matemticos no son la esencia de los principios
que gobiernan todo lo existente.

La dicotoma. Una flecha disparada a un blanco nunca puede llegar a el ya que
primero tiene que recorrer la primera mitad de la trayectoria quedando la
segunda mitad por recorrer, luego la primera mitad de la parte de la trayectoria
que falta, luego, la primera mitad de la trayectoria que falta de modo que
siempre le quedar la mitad de alguna trayectoria por recorrer. As nunca podr
llegar a su objetivo.

Aquiles y la tortuga. En una carrera en que se le da al inicio una ventaja a la
tortuga, Aquiles jams la podr alcanzarla, pues primero Aquiles tiene que llegar
al punto donde se encontraba la tortuga cuando l empez a correr. Pero
entonces, la tortuga habr avanzado y ya no estar all, de modo que a Aquiles le
falta llegar al punto donde ahora est la tortuga. Pero entonces, ella ya no estar
all. A Aquiles siempre le faltar por recorrer una parte de la trayectoria recorrida
por la tortuga de modo que nunca la podr alcanzar.

La flecha. Consideremos una flecha disparada. Es estrictamente imposible que la
flecha pueda moverse en un instante, supuestamente indivisible, puesto que, si
cambia su posicin el instante se dividira. Ahora un objeto en movimiento es, en
un instante o bien en movimiento o bien inmvil, pero como no est en
movimiento entonces est inmvil, y como el tiempo est compuesto por
instantes, el objeto en movimiento est siempre inmvil.

El estadio.
Dos corredores se mueven con igual velocidad en sentidos opuestos, cada uno a
partir de un extremo del estadio, y se cruzan ante un objeto inmvil que est en
el centro. Se supone que espacios iguales deben recorrerse en tiempos iguales por
cuerpos que se mueven a igual velocidad. Sin embargo, los corredores se
encontrarn al cabo de un tiempo que es la mitad de aqul en que se
encontraran si slo se moviese uno de ellos, y cada uno se mueve en relacin al
otro dos veces ms rpidamente que con relacin al objeto inmvil. O bien: un
mvil se mueve primero a lo largo de una magnitud movida a su vez con la
misma velocidad en sentido contrario, y despus a lo largo de una magnitud
igual en reposo. Se supone que tanto el tiempo como el espacio constan de
infinitos indivisibles, y que el intervalo entre un punto y otro es pasado en un
instante indivisible. Aun siendo iguales en ambos casos la velocidad y la
magnitud a recorrer, el tiempo es en el segundo caso doble que en el primero. De
donde resulta negado el principio de que espacios iguales se recorren en tiempos
iguales por cuerpos que se mueven a igual velocidad, y el instante necesario para
pasar de un punto del objeto inmvil al punto siguiente ser la mitad del instante
que necesita para pasar de un punto del objeto mvil al punto siguiente. Los
corredores que se han cruzado lo han hecho a la mitad de un instante. Cada
mvil avanza por nmeros enteros (indivisibles en el tiempo), y a la vez por
mitades de tiempo. Luego los indivisibles se dividen, lo que es absurdo, o la
mitad es igual a su doble, lo que tambin es absurdo. Luego, el movimiento que
engendra tales absurdos es imposible.


4. Hipcrates de Quos

Hipcrates construy el primer libro de elementos de la geometra, es decir, la
primera concatenacin de resultados (teoremas) de la geometra en cadenas
deductivas, donde cada nueva proposicin se demuestra usando las
proposiciones demostradas con anterioridad y puede luego servir para
demostrar proposiciones posteriores.

Hipcrates estaba trabajando en el problema de cuadratura, o sea, de construir
un cuadrado cuya rea sea igual al rea de una figura dada.

Toda esta clase de problemas pueden considerarse dentro de los mltiples
intentos por construir significado geomtrico claro para conceptos relacionados
con la medicin. Una de las razones para ello concierne la falta de claridad acerca
de su significado aritmtico o numrico, en especial, la existencia de medidas
inconmensurables con la unidad. En esencia, la imposibilidad de asignar un
valor numrico exacto a una longitud o rea, introdujo un elemento de
incertidumbre, y se buscaba la certeza a travs de interpretaciones geomtricas
precisas. Se haba llegado, entonces, al problema de las cuadraturas
probablemente por considerar el cuadrado como la figura geomtrica esencial en
la medicin de reas (similar a como seguimos midiendo reas en trminos de
unidades cuadradas).

Al investigar el problema de la cuadratura del crculo, Hipcrates logr
resultados parciales de inters, en particular, la cuadratura de varias lnulas. Y
tomaremos su trabajo en este tema para ilustrar cmo Hipcrates iba
construyendo as, cadenas deductivas de resultados en geometra.

Cuando expone Hipcrates la cuadratura de la lnula, lo hace de la siguiente
manera.

Tomemos un semicrculo con dimetro AB e inscribamos en el un tringulo
rectngulo issceles ABC. Sobre el lado AC como dimetro construyamos el
semicrculo ACE. Sea F un punto sobre el arco AC y consideremos la lnula
AECF.



Ahora bien, demuestra Hipcrates que la lnula AECF tiene rea igual al rea del
tringulo ADC. Y concluye, por lo tanto se ha efectuado la cuadratura de la
lnula, es decir, se ha construido un cuadrado igual en rea a la lnula.

La razn para ello es que Hipcrates ya ha demostrado cmo construir un
rectngulo igual en rea a un tringulo dado y cmo construir un cuadrado igual
en rea a un rectngulo dado. Tiene claro, entonces, que para mostrar la
cuadratura de la lnula le basta exhibir un tringulo con igual rea. Lo dems
sigue por proposiciones demostradas (problemas resueltos) con anterioridad.

Esto precisamente es la nocin de elementos. Es conocimiento organizado
lgica deductivamente en cadenas de implicaciones.

[En notacin contempornea, se podra escribir (p q q r) (p r).]

Eran resultados pitagricos las anteriores proposiciones.

Construir un rectngulo igual en rea a un tringulo dado. Basta bisecar uno de
los lados del tringulo y por el punto de biseccin trazar un segmento paralelo a
la base, y luego construir perpendiculares desde los vrtices de la base a ese
segmento paralelo.

Igualmente, y de mayor inters geomtrico, los pitagricos tambin saban
efectuar la cuadratura del rectngulo. Su construccin depende de varios de los
teoremas conocidos desde Tales.

Dado el rectngulo, extendamos el lado AB y sobre l cortemos un segmento BF
igual al lado BC. Bisecamos el segmento BF en O y construyamos el semicrculo
con centro en O y dimetro BF.


Ahora, en el semicrculo construyamos un tringulo rectngulo (el ngulo
inscrito en un semicrculo es recto) tal que la altura desde el vrtice del ngulo
recto al dimetro del semicrculo llega a B. Entonces los tringulos as formados
son semejantes y sus lados respectivos proporcionales.



Luego basta construir un cuadrado sobre la altura BE. Es claro, de la teora de las
proporciones, que al cuadrado y el rectngulo tienen igual rea. Pues los
tringulos AEB y EBF son semejantes, de donde, AB/BE = BE/BF. Luego AB BF =
BE. Pero BF = BC, de donde, AB BC = BE.

El trabajo de Hipcrates de Quos con las cuadraturas de las lnulas (sta no es la
nica que logr) es significativo en dos sentidos, uno mucho ms central que el
otro. Demuestra con claridad la estructuracin de sistemas lgico-demostrativos
incipientes. Muestra la cuadratura de una figura curvilnea lo cual anima a seguir
buscando una construccin que logra la cuadratura del crculo.


5. Platn

Los escritos de Platn (sus dilogos y epstolas) son de una envergadura casi
inimaginable en tanto proveen el escenario y plantean prcticamente todos los
interrogantes sobre los cuales se erige la tradicin cientfica y filosfica
occidental, as como proporcionan sus propias respuestas que han iluminado
generaciones de pensadores, si bien ninguna de ellas puede considerarse como
absoluta o definitiva.

Platn era un pitagrico, y como tal su punto de partida es la filosofa de que los
principios de todo lo existente son principios matemticos. Sin embargo, en el
transcurso de su maduracin filosfica, l se alejar un poco de esta posicin
buscando elementos ticos adicionales para su esquema. Sin embargo, sus
ilustraciones de cmo debe proceder el filsofo en su bsqueda del bien o de la
posibilidad de descubrir verdades universales y necesarias, son siempre tomadas
de las matemticas y su metodologa de la indagacin es frecuentemente
matemtica. Explora cuestiones sobre cmo definir cosas intangibles, como el
bien, la virtud, la justicia. Explora formas de argumentacin y expone las
primeras ideas sobre lo que nosotros llamamos la lgica. Expone su teora del
conocimiento, que finalmente lo lleva a proponer la existencia de un mundo de
ideas puras del cual nuestro mundo de la experiencia y del devenir es apenas
una sombra imperfecta.

Platn es conocido por su inters en la construccin de los cinco slidos llamados
platnicos, figuras tridimensionales tales que todas sus caras, aristas y ngulos
son congruentes. Estos cinco slidos son el tetraedro regular (que tiene cuatro
caras que son tringulos equilteros congruentes, el cubo (seis caras que son
cuadrados congruentes), el octaedro regular (ocho caras que son tringulos
equilteros congruentes), el dodecaedro (doce caras pentgonos regulares) y el
icosaedro (veinte caras que son tringulos equilteros congruentes). Una de las
ideas que tena Platn era que estos slidos representan las formas de los tomos
que componen los elementos fundamentales de los cuales todo est hecho.

Se recoge as muchas corrientes del pensamiento griego de grandes
repercusiones en todo el pensamiento occidental y hoy da del pensamiento
universal, incluyendo la corriente pitagrica y la atomista.

Vamos a mirar apartes de tres dilogos platnicos: (1) el Menn para apreciar
con claridad la metodologa de la matemtica aplicada a la indagacin filosfica
y para apreciar la teora del aprendizaje platnica, as como presenciar la
implementacin del mtodo que se llama socrtico, as como apreciar su respeto
por el pensamiento matemtico en s; (2) la Repblica para apreciar el
planteamiento de la existencia de dos mundos y la teora del conocimiento
platnico y el papel que juega la matemtica en ella; (3) el Sofista, para apreciar
algunas de sus consideraciones acerca de la lgica.

El Menn.
http://www.acropolis.org.uy/Investiga_y_Comparte/Biblioteca_Virtual/Platon
/Platon%20-%20Menon.pdf
http://www.filosofia.org/cla/pla/azf04275.htm
http://www.argentinawarez.com/ebooks-gratis/194442-platon-coleccion-los-
dialogos-de-platon-28-38-a.html

El dilogo adelanta una bsqueda intelectual, la de definir responder a la
pregunta qu es? la virtud.

Despus de varias consideraciones cuyo objetivo es dejar en claro que es lo que
significa el definir, que no llevan a ningn resultado, Scrates aborda el
rompecabezas que se encontraba en el medio de disputacin filosfica de
entonces probablemente promovido por los sofistas en los siguientes trminos
[traduccin ad hoc].

Scrates. S lo que quiere decir usted (Menn). Se da cuenta usted que est trayendo a
colacin el argumento tramposo que una persona no puede tratar de descubrir ni lo que
sabe ni lo que no sabe? No buscara descubrir lo que sabe, porque como lo sabe no hay
necesidad de indagar, ni buscar lo que no sabe, porque en este caso ni siquiera sabe que
es lo que debe buscar.

Scrates prosigue a exponer el argumento de que aprender es recordar. Y
propone demostrar que es posible haciendo un ejercicio con un nio esclavo que
no ha sido educado. El punto es llevarlo a descubrir cmo construir un cuadrado
cuya rea es el doble del rea de un cuadrado dado hacindole preguntas que lo
llevarn por el camino correcto de solucin (mtodo socrtico).

Veamos el original.









Esto los ha llevado a establecer aparentemente que aprender es recordar, pero
todava no han respondido a la pregunta qu es la virtud?

Para hallar la respuesta, Platn en la boca de Scrates propone usar un
mtodo matemtico, el de hacer una suposicin (acerca de lo que es la virtud) y
mirar las consecuencias lgicas o implicaciones de lo que se supuso; si se llega a
una contradiccin se rechaza la suposicin de la que se parti. Platn indica que,
mientras que en la matemtica, este proceso lleva a resultados positivos, en la
filosofa slo permite conclusiones negativas.

La suposicin que se hace es que la virtud es algo que se puede ensear y
aprender. Scrates prosigue el argumento, mostrando que no es virtuoso el hijo
del hombre ms virtuoso de su conocimiento. Establece que un padre lo que ms
quiere es ensearle a su hijo lo que ms atesora, que ese hombre virtuoso
seguramente trat con todo su poder de ensear a su hijo a ser virtuoso. No lo
logr, luego la virtud no es algo que se puede ensear y aprender.

Aqu vemos entonces la valoracin para la filosofa de la utilizacin de los
mtodos de demostracin matemticos. De alguna manera se deja la enseanza
que la indagacin matemtica produce resultados superiores (positivos), pero
que la matemtica no representa todo lo que es valioso indagar y aprender.


La Repblica. http://www.filosofia.org/cla/pla/azcarate.htm
http://www.argentinawarez.com/ebooks-gratis/194442-platon-coleccion-los-
dialogos-de-platon-28-38-a.html
http://www.nueva-acropolis.es/filiales/libros/Platon-La_Republica.pdf

La Repblica es un dilogo extenso en el cual se indaga acerca de la construccin
de un estado ideal a partir de la pregunta acerca de si el hombre justo es ms
feliz que el hombre injusto. De all se prosigue la pregunta qu es la justicia? Y
se busca primero determinar la justicia en el estado para luego examinarla en el
individuo.

Se procede a construir una utopa de un estado no gobernado por leyes, porque
todas las leyes puede ser transgredidas y llevar a la justicia, sino por filsofos
larga y exhaustivamente educados para conocer el bien y actuar para lograr el
bien para todos.

En el proceso de describir la educacin del filsofo, Platn expone su concepto de
los dos mundos, el mundo eterno e inmutable de las ideas puras y el mundo del
devenir, de las semblanzas, que son apenas sombras imperfectas de las ideas
puras. Lo esencial est contenido en la alegora de la caverna, lo cual veremos a
continuacin.





































Prosiguen a considerar la necesidad de formar a los futuros filsofos en la
astronoma, la estereometra, la dialctica (y los peligros asociados a ensear mal
la dialctica), para que puedan tomar las riendas del estado ideal.


El Sofista. http://www.filosofia.org/cla/pla/azcarate.htm
http://www.argentinawarez.com/ebooks-gratis/194442-platon-coleccion-los-
dialogos-de-platon-28-38-a.html

Inmersas en el dilogo el Sofista se encuentran consideraciones platnicas acerca
de la lgica que son antecedentes claras de algunas de las teoras lgicas de
Aristteles. El propsito aparente del dilogo es describir el ser humano llamado
sofista.

Los sofistas son, para Platn, lo ms reprobable de la raza humana y sus razones
pueden esbozarse as. El objetivo ltimo de toda indagacin filosfica es
encontrar la verdad; la verdad se busca por medio de la argumentacin y la
dialctica, es la empresa ms noble del ser humano. La razn es un instrumento
sagrado para poder llegar a la verdad.

Los sofistas son maestros de la argumentacin, pero su dominio no es usado para
llegar a la verdad sino para vencer al oponente en el debate o de convencer a los
oyentes, sin importar si de lo que los convenza sea verdadero o no.

Ahora, en el transcurso de la indagacin sobre cmo reconocer a un sofista, se
esgrimen argumentos acerca de cmo buscar la respuesta que son
consideraciones iniciales acerca de algunos temas de la lgica. Encontramos, por
ejemplo, los siguientes pasajes.

Sobre los tipos de enunciado (proposicin) dice el extranjero: Y observe que uno de
estas alternativas debe ser verdadera. O todos se mezclarn, o ninguno, o
algunos lo harn y algunos no lo harn.

Sobre los enunciados (proposiciones) Platn presenta el siguiente dilogo entre el
extranjero y Teteto.

Extranjero: Cuandoquiera que haya un enunciado, debe hacerse sobre algo, no
puede hacerse sobre nada.
(Establece que los trminos no pueden ser vacos)
Teteto: Eso es as.
Extranjero: Y no es cierto que debe tener un cierto carcter?
Teteto: Por supuesto.
Extranjero: Ahora fijmonos nuestra atencin en nosotros mismos.
Teteto: As lo haremos.
Extranjero: Har ante usted un enunciado, entonces, combinando una cosa y una
accin por medio de un nombre (sustantivo) y un verbo. Usted debe decirme
sobre qu versa el enunciado.
Teteto: Har lo mejor que pueda.
Extranjero: Teteto se sienta no es un enunciado largo, no es cierto?
Teteto: No, su longitud es modesta.
Extranjero: Ahora usted debe decir de qu se trata a quien pertenece.
Teteto: Claramente versa sobre m, me pertenece a m.
Extranjero: Ahora tomemos este otro.
Teteto: A saber?
Extranjero: Teteto, con quien estoy hablando en este momento, vuela.
Teteto: Ese tambin solo puede describirse como perteneciente a m y que versa
sobre m.
Extranjero: Y adems estamos de acuerdo que un enunciado debe tener un
cierto carcter?
Teteto: S.
Extranjero: Entonces qu tipo de carcter podemos asignar a cada uno de ellos?
Teteto: Uno es verdadero, el otro es falso.
Extranjero: Y el enunciado verdadero afirma sobre usted cosas que son (los
hechos tal y como son).
Teteto: Ciertamente.
Extranjero: Mientras que el enunciado falso afirma de usted cosas diferentes de
las cosas que son.
Teteto: Si.
Extranjero: Concordantemente afirma cosas que no son como si fueran (ciertas).
Teteto: Sin duda.
Extranjero: S, pero [afirma] cosas que existen diferentes de las cosas que existen
en su caso. Porque hemos establecido que en todo caso hay muchas cosas que
son y muchas cosas que no son.















6. Eudoxio

Eudoxio evidentemente fue un gran matemtico interesado en resolver
problemas surgidos a partir del descubrimiento de la existencia de nmeros
inconmensurables con la unidad y a partir de las antinomias de Zenn de Elea.

Su teora de los inconmensurables (irracionales) la encontramos en los Elementos
de Euclides (Libro V) y est tan bien hecha que es la inspiracin de Dedekind
para introducir sus conocidas cortaduras en su intento por lograr una adecuada
fundamentacin de los nmeros reales en el siglo XIX. Se basa en la idea de
establecer la igualdad entre razones cualesquiera (racionales o irracionales) y de
all extender toda la teora de la proporcionalidad de los pitagricos (hecha con
magnitudes racionales) para que incluya tambin razones y proporciones entre
magnitudes inconmensurables.

La definicin genial es la que se encuentra como definicin 5 del Libro V de los
Elementos, y reza:

Se dice que magnitudes cualesquiera estn en igual razn, la primera a la
segunda y la tercera a la cuarta, cuando, si se toman equimltiplos cualesquiera
de la primera y la tercera, y equimltiplos cualesquiera de la segunda y la cuarta,
los primeros equimltiplos de la misma manera exceden, son iguales o son
menores que los segundos equimltiplos respectivamente tomados en orden
correspondiente.

Expliquemos. Sean x, y, z, w las magnitudes. Se quiere establecer cuando ser
cierto que x : y = z : w (p x/y = z/w). Se toman equimltiplos cualesquiera de x y z,
digamos qx y qz. Y equimltiplos cualesquiera de y y w, digamos py y pw. La
definicin dice que

si qx < py entonces qz < pw,

si qx = py, entonces qz = pw,

y si qx > py, entonces qz > pw.

De la primera tenemos que si x/y < p/q entonces z/w < p/q.

De la segunda tenemos que si x/ y = p/q entonces z/w = p/q.

Y de la tercera tenemos que si x/y > p/q entonces z/w > p/q.
Entonces, las razones entre magnitudes cualesquiera x/y y z/w son iguales si todo
nmero racional que es mayor que x/y es tambin mayor que z/w, si todo nmero
racional que es igual a x/y es tambin igual a z/w, y si todo nmero racional que
es menor que x/y tambin es menor que z/w.

Ahora 2 : 3 = 12 : 18. Cmo sera el acotamiento? Qu relacin tiene
esto con las cortaduras de Dedekind?

Ahora bien, el mtodo de exhaucin de Eudoxio es un mtodo de demostracin
de resultados concernientes a la medicin. Euclides lo utiliza en los Elementos.
Por lo general est enunciado en trminos de cuadraturas. Arqumedes se volvi
absolutamente ducho en usar el mtodo de exhaucin para plantear lo que es
esencialmente la forma griega de hallar rea debajo de una curva, lo que hoy da
se hace con el clculo integral. Veremos un ejemplo ms adelante en la seccin 9.

7. Aristteles

Aristteles fue discpulo de Platn, pero rompi con la filosofa platnica del
mundo de las ideas puras construyendo unas alternativas importantes basadas
en el desarrollo de dos sistemas lgicos de fundamental importancia, la
silogstica (en los Primeros analticos) y la nocin de ciencia demostrativa (en los
Segundos analticos). Contest a Zenn de Elea y a los sofistas con dos grandes
ideas (expuestas en la Metafsica y la Fsica): la nocin de definicin real y la
prohibicin del infinito actual, permitiendo nicamente la referencia al infinito
potencial.

En el Libro de la Metafsica nos dice Aristteles que [traduccin ad hoc]

si las objetos matemticos existen, entonces deben existir o bien en los objetos
sensibles, como dicen algunos, o bien separados de los objetos sensibles (y esto
tambin lo dicen algunos); o si no existen de ninguna de estas maneras, o bien no
existen, o bien existen solamente en un sentido especial. As el tema de nuestra
discusin no ser si existen sino cmo existen.

As en la Metafsica Aristteles da sus argumentos en contra de la existencia del
mundo de las ideas (o formas) puras que postul Platn, argumentando de qu
manera existen cosas como nmero o lo blanco, dndoles una existencia
lgicamente anterior pero no anterior en el tiempo a sus manifestaciones.

Por otro lado, tratando la filosofa (y la matemtica, por supuesto) de lo
intangible, de lo abstracto, debe evitar caer en la mera especulacin. La solucin
de Aristteles es exigir que se demuestre la existencia de cualquier cosa que se
define. As las cosas, la definicin ser real, tratar de la realidad y no de la
imaginacin o de la especulacin.

As las cosas, en la silogstica los trminos que intervienen en un esquema
deductivo sern trminos no vacos; y, por ende, en los Elementos de Euclides,
por ejemplo, obedeciendo a esta restriccin aristotlica, Euclides no slo define
tringulo equiltero, sino se siente obligado a mostrar como construirlo con regla
y comps para establecer su existencia. El uso de la regla y el comps es
permitido en virtud de los postulados que toma para su sistema que pretende ser
una ciencia demostrativa (sistema lgico deductivo).

En el Libro III de la Fsica, Aristteles trata el infinito concluyendo que
[traduccin ad hoc]

en la direccin de lo grande, es siempre posible pensar en un nmero mayor,
pues el nmero de veces que una magnitud puede bisecarse es infinito. De ah
que ese infinito es potencial, nunca actual; el nmero de partes que pueden
tomarse siempre excede cualquier nmero dado. Pero ese nmero no es
separable del proceso de biseccin, y su infinitud no es una actualidad
permanente sino consiste en un proceso de devenir, como el tiempo y el nmero
que se asigna al tiempo.

De los matemticos dice:

De hecho, ellos (los matemticos) no necesitan lo infinito y no lo usan.
Solamente postulan que la lnea recta finita puede extenderse tanto como ellos
quieran. Que puede ser dividida en la misma razn que la cantidad de mayor
magnitud que quieran. De ah que, para los propsitos de la demostracin, no
har ninguna diferencia para ellos tener este tipo de infinito, mientras que su
existencia ser en la esfera de las magnitudes reales.

Entonces, Aristteles propone eludir las dificultades con la concepcin o el
concepto del infinito, prohibiendo referencia al infinito actual, y limitndose al
uso del infinito potencial, tan grande como se quiera o tan pequeo como se
quiera. Esto basta para las demostraciones que hacen los matemticos.

La silogstica en los Primeros Analticos

En los primeros analticos, Aristteles aborda el tema de las proposiciones
(enunciados), retomando la clasificacin que hace Platn en El Sofista, y
estableciendo lo que se ha venido a conocer como el cuadro de oposicin.

Los tipos de enunciado (proposicin) son: Universal afirmativa Todo A es B.,
Particular afirmativa Algn A es B., Universal negativa Ningn A es B. y
Particular negativa Algn A no es B.

Se nota que la negacin (contradictoria) de una proposicin Universal afirmativa
es una proposicin Particular negativa, y que la negacin de una proposicin
Particular afirmativa es una proposicin Universal negativa. As tambin se
hablan de tipos contrarios y subcontrarios. El cuadro completo es ste.



Es importante notar que, dado que Aristteles exige que las definiciones sean
reales, esto equivale a que los trminos no puedan ser vacos. As las cosas, la
proposicin universal implica la particular. Si todo A es B, entonces algn (existe
un) A (que) es B. Esto no se cumple en la lgica contempornea.

Veamos ahora la teora silogstica. Hemos tomado el tratamiento de Wikipedia.
Est en todos los tratados tradicionales de lgica.
Silogismo
De Wikipedia, la enciclopedia libre
Saltar a: navegacin, bsqueda

Se ha sugerido que Lgica aristotlica sea fusionado en este artculo o seccin
(discusin).
Una vez que hayas realizado la fusin de artculos, pide la fusin de historiales aqu.
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones
como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente
deductiva de las otras dos. Fue formulado por primera vez por Aristteles, en su obra
lgica recopilada como El Organon, de sus libros conocidos como Primeros Analticos,
(en griego Proto Analytika, en latn idioma en el que se reconoci la obra en Europa
Occidental-, Analytica Priora).
Aristteles consideraba la lgica como lgica de relacin de trminos. Los trminos se
unen o separan en los juicios. Los juicios aristotlicos son considerados desde el punto de
vista de unin o separacin de dos trminos, un Sujeto y un predicado. Hoy se hablara de
proposicin.
La diferencia entre juicio y proposicin es importante. La proposicin afirma un hecho
como un todo, que es o no es, como contenido lgico del conocimiento. El juicio, en
cambio, atribuye un predicado a un sujeto lgico del conocimiento otorgando a los
trminos al mismo tiempo una funcin lingstica de significado (semntica) y una
funcin formal lgica (sintctica). Esto tiene su importancia en el concepto mismo del
contenido de uno, el juicio, y la otra, la proposicin, especialmente en los casos de
negacin, como se considera, ms adelante, en la problemtica de la lgica silogstica.
Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional,
teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida por
la lgica simblica en la que esta lgica es interpretada como lgica de clases. Ver
clculo lgico.
La relacin entre los trminos de un juicio, al ser comparado con un tercero que hace de
"trmino medio", hace posible la aparicin de las posibles conclusiones. As pues, el
silogismo consta de dos juicios, premisa mayor y premisa menor, en los que se comparan
tres trminos, de cuya comparacin se obtiene un nuevo juicio como conclusin.
La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios
comparados (premisas), se pueda obtener con garanta de verdad un nuevo juicio
verdadero (conclusin).


Aristteles. Museo del Louvre.
Contenido
[ocultar]
1 Juicio de trminos
2 Los juicios aristotlicos: Definicin y elementos del silogismo
3 Figuras y modos silogsticos
4 Reglas del silogismo
o 4.1 Reglas para los trminos
o 4.2 Reglas de las premisas
5 Los modos vlidos
6 Resolucin de los modos mediante un algoritmo mecnico: Las cartas
silogsticas
7 Representacin grfica de los modos como lgica de clases mediante diagramas
de Venn
8 La problemtica de la lgica silogstica
9 El silogismo considerado en la lgica formal
10 Vase tambin
11 Notas y referencias
12 Bibliografa adicional
[editar] Juicio de trminos
El juicio de trminos es la comparacin de dos conceptos, bien sea de forma lgica o
extrada de la experiencia, mediante la cual creemos o afirmamos la relacin de uno con
respecto al otro como verdad objetiva.
As se justificaba la creencia verdadera en los juicios aristotlicos de la lgica clsica.
Por ejemplo: en la nieve es blanca, la mente se afirma en que la blancura es una
propiedad que se puede predicar con verdad de la nieve.[1] Tal ha sido la consideracin
de los juicios aristotlicos en el silogismo de la lgica tradicional.
Hoy da la lgica formal y simblica no acepta tales juicios que se interpretan como
creencia pues no requiere su formulacin lingstica o conceptual, como ya consideraron
los escolsticos y por otro lado la posibilidad de un categrico, como pensaba Aristteles,
est seriamente cuestionada.
Actualmente, en la lgica tal relacin se considera formalmente:
Como resultado de dominio de discurso de la relacin de dos clases lgicas.
Como la atribucin de un predicado a una variable lgica individual cuantificada.
[editar] Los juicios aristotlicos: Definicin y elementos
del silogismo
El juicio aristotlico considera la relacin entre dos trminos: un Sujeto, S, y un
predicado, P.
Los trminos pueden ser tomados en su extensin universal: abarca a todos los posibles
individuos, el dominio de discurso, a los cuales pueda referirse el concepto.[2] [3]
O en su extensin particular: cuando slo se refiere a algunos.[4]
Los juicios por la extensin en la que es tomado el trmino sujeto, como criterio de
cantidad, pueden ser:
UNIVERSALES: Todo S es P[5]
PARTICULARES: Algunos S son P[6]
Nota: Los nombres propios tienen extensin universal; pues el uno, como nico, equivale
a un individuo que siendo nico es, por eso, todos los posibles.[7]
La relacin entre los trminos puede ser asimismo:
AFIRMATIVOS: De unin: S es P.
NEGATIVOS: De separacin: S no es P.[8]
El predicado de una afirmacin siempre tiene extensin particular, y el predicado de una
negacin est tomado en su extensin universal. Cuando un concepto, sujeto o predicado,
est tomado en toda su extensin se dice que est distribuido; cuando no, se dice que est
no distribuido.
Segn el criterio de cantidad y cualidad, resulta la siguiente clasificacin de los juicios:
CLASE DENOMINACIN ESQUEMA EXPRESIN-EJEMPLO
Extensin de los
trminos
A Universal Afirmativo Todo S es P
Todos los hombres son
mortales
S: Universal P:
Particular
E Universal Negativo
Todos los S no
son P
Ningn hombre es mortal
S: Universal P:
Universal
I Particular afirmativo Algn S es P Algn hombre es mortal
S: Particular P:
Particular
O Particular Negativo Algn S no es P
Algn hombre no es
mortal
S: Particular P:
Universal
Los juicios se relacionan unos con otros en lo que constituye un argumento.
El silogismo argumenta estableciendo la conclusin como una relacin entre dos
trminos, establecida como resultado de la comparacin de ambos trminos con un
tercero (tertium comparationis). Por eso se define:
Silogismo es la argumentacin en la que a partir de un antecedente, (dos juicios como
premisas), que compara dos trminos, (Sujeto y Predicado de la conclusin), con un tercero,
(trmino Medio), se infiere o deduce un consecuente, (un juicio como conclusin), que une,
(afirma), o separa, (niega), la relacin de estos trminos, (Sujeto y Predicado), entre s.

ANTECEDENTE = Dos premisas:
Premisa mayor, en la que se encuentra el trmino mayor, que es el predicado de la
conclusin, que se representa como P.
Premisa menor, en la que se encuentra el trmino menor, que es el sujeto de la
conclusin, que se representa como S.
Entre ambas se realiza la comparacin del trmino sujeto y el trmino predicado con
respecto al trmino Medio, que se representa como M.

CONSECUENTE = Una conclusin:
En la que se establece la relacin entre el trmino Sujeto S, y el trmino Predicado P.
TRMINOS:
Trmino mayor: Es el predicado de la conclusin. La premisa en la que se encuentra se
llama Premisa mayor. Se representa como P.
Trmino menor: Es el sujeto de la conclusin. La premisa en la que se encuentra se
llama Premisa menor. Se representa como S.
Trmino medio: Que sirve de comparacin (tertium comparationis) y no puede estar en
la conclusin. Se representa como M.
[editar] Figuras y modos silogsticos
Teniendo en cuenta la disposicin de los trminos en las premisas y en la conclusin se
pueden dar las siguientes FIGURAS SILOGSTICAS, que se denominan:
1 2 3 4

FIGURA FIGURA FIGURA FIGURA
M P P M M P P M
Premisa
mayor
S M S M M S M S
Premisa
menor
S P S P S P S P Conclusin
Los modos son las distintas combinaciones que se pueden hacer con los juicios que
entran a formar parte de las premisas y la conclusin. Como estos juicios tienen cuatro
tipos distintos (A,E,I,O), y en cada caso se toman de tres en tres dos premisas y una
conclusin hay 64 combinaciones posibles.
Estas 64 combinaciones posibles quedan reducidas a 19 modos vlidos, al aplicar las
reglas del silogismo.
[editar] Reglas del silogismo
[editar] Reglas para los trminos
El silogismo no puede tener ms de tres trminos.
Esta ley se limita a cumplir la estructura misma del silogismo: La comparacin de dos
trminos con un tercero. Aunque la regla es clara, su aplicacin no siempre lo es. Es lo
que algunos llaman silogismo de cuatro patas. Ver quaternio terminorum.
Consideremos el siguiente silogismo:
Todos los caballos tienen huesos
Rocinante es un caballo
Por tanto, Rocinante tiene huesos
En la primera premisa estamos hablando de caballos como animales de verdad, y en la
segunda estamos hablando de un caballo imaginario. Este silogismo es de todo punto
invlido, aunque siga una forma aparentemente vlida.
Los trminos no deben tener mayor extensin en la conclusin que en las
premisas.
Por la misma estructura del silogismo; nicamente podremos obtener conclusiones acerca
de lo que hemos comparado en las premisas.
El trmino medio no puede entrar en la conclusin.
Por la misma estructura del silogismo la funcin del trmino medio es servir de
intermediario, como trmino de la comparacin.
El trmino medio ha de tomarse en su extensin universal por lo menos en
una de las premisas.
Para que la comparacin sea tal, es necesario que el trmino medio sea comparado en su
totalidad. De otra forma, podra ser comparado un trmino con una parte y el otro con la
otra, constituyndose en realidad entonces un silogismo de cuatro trminos.
Todos los andaluces son espaoles.
Algunos espaoles son gallegos.
Por tanto, algunos gallegos son andaluces
Lo que evidentemente no es un modo vlido, puesto que "espaoles" en la premisa mayor
al ser predicado de una afirmativa est tomado en su extensin particular.
[editar] Reglas de las premisas
De 2 premisas negativas no puede obtenerse conclusin alguna.
Dos premisas negativas no se adaptan a la estructura del silogismo, ya que si negamos S
de M, y P de M, no sabemos qu relacin puede haber entre S y P. Para establecer la
relacin, por lo menos uno de los trminos tiene que identificarse con M. Por tanto una de
las dos premisas tiene que ser afirmativa.
De dos premisas afirmativas no puede sacarse una conclusin negativa.
En efecto, si S se identifica con M, y P tambin se identifica con M, no tiene sentido
establecer una relacin negativa con entre S y P. La conclusin ser afirmativa.
La conclusin siempre sigue la peor parte. Entendiendo por peor parte, la
negativa respecto a la afirmativa y lo particular respecto a lo universal.
Veamos los dos casos separadamente:
a) Conclusin negativa de una premisa afirmativa y la otra negativa.
Si se afirma una relacin entre dos trminos (X, M), pero se niega la de uno de ellos con
otro (Y, M), siendo M el trmino medio, no puede haber ms conclusin que negar la
relacin que pueda haber entre el primero (X) y el ltimo (Y) siendo uno sujeto y el otro
predicado de la conclusin.
b) Conclusin particular de una premisa universal y otra particular (teniendo en cuenta
que dos premisas particulares no puede ser, como veremos en la regla siguiente).
Pueden darse dos casos: Que una sea afirmativa y la otra negativa, o que las dos sean
afirmativas.
1) Dos afirmativas. (Tenemos que recordar que el Predicado de una afirmativa est
tomado en su extensin particular, y el Predicado de una negativa en su extensin
universal).
Al ser las dos afirmativas sus predicados son particulares. El trmino de la Universal
tiene necesariamente que ser el Trmino Medio, la conclusin tiene que tener un sujeto
particular.
2) Una afirmativa y otra negativa: Tiene que haber dos trminos universales. Uno de
ellos tiene que ser el trmino medio, el otro tiene que ser el predicado de la conclusin,
pues la conclusin tendr que ser negativa, (caso a) de esta misma regla). Por tanto el
trmino que queda ser el sujeto de la conclusin con extensin particular.
De dos premisas particulares no se saca conclusin.
Tambin tiene dos casos posibles: que una sea afirmativa y la otra negativa o que las dos
sean afirmativas.
a) Afirmativa y negativa: Algn A es B - Algn A no es C.
Slo hay un trmino universal que es el predicado de la negativa, que por tanto tiene que
ser el Trmino Medio. La conclusin tendr que ser negativa (caso a) de la regla
anterior), y por tanto el predicado tendr que ser universal, y no puede ser el Trmino
Medio por tanto no puede haber conclusin.
b) Dos afirmativas: Algn A es B - Algn A es C.
Los tres trminos son particulares, y por tanto no puede haber Trmino medio con
extensin universal, y por tanto no hay conclusin posible.
[editar] Los modos vlidos
Modo del silogismo es la forma que toma ste de acuerdo con la cantidad y la cualidad de
las premisas y la conclusin. De la aplicacin de las leyes de los silogismos a los 64
modos posibles resultan vlidos solamente 19 y son los que tradicionalmente se
memorizan atendiendo a los modos vlidos de cada figura con sus premisas y conclusin.
As los modos vlidos Se memorizaban cantando
De la primera AAA, EAE, AII, EIO BARBARA, CELARENT, DARII, FERIO
figura
De la segunda
figura
EAE, AEE, EIO, AOO CESARE, CAMESTRES, FESTINO, BAROCO
De la tercera
figura
AAI, IAI, AII, EAO,
OAO, EIO
DARAPTI, DISAMIS, DATISI, FELAPTON,
BOCARDO, FERISON
De la cuarta
figura
AAI, AEE, IAI, EAO,
EIO
BAMALIP, CAMENES, DIMATIS, FESAPO,
FRESISON
Nota bene: Tambin son vlidos para la primera figura los modos subalternos BARBARI,
CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta:
CAMENOP.[9]
[editar] Resolucin de los modos mediante un algoritmo
mecnico: Las cartas silogsticas


cartas silogsticas
Consiste en un juego de diecisis cartas. Ocho mayores y ocho menores. En cada carta
mayor figura en primera lnea una posible premisa mayor y debajo posibles conclusiones.
La primera lnea de las cartas menores llevan una posible premisa menor, y en sus partes
medias unas aberturas.
Colocando una carta menor sobre una mayor como si fuera una combinacin de premisas,
aparece en la abertura correspondiente una conclusin si es modo vlido, o ninguna si no
lo es (carta 8 menor).
[editar] Representacin grfica de los modos como
lgica de clases mediante diagramas de Venn


Convencin para la representacin grfica del Juicio tipo A.
Se pueden representar estos modos mediante diagramas de Venn con las siguientes
convenciones:
Cada trmino del silogismo est representado por S, P, M, por un crculo incoloro
que representa a todos los miembros posibles de una clase.
La conclusin aparece como resultado de la relacin de los trminos S y P en su
relacin con M.
La inexistencia se muestra como zona rellena de color.
La existencia individual se afirma mediante una X: Al menos uno, o algunos.
La relacin de los trminos se constituye como pertenencia o no pertenencia a la
clase.
La relacin de inclusin, Todo S es P, se representa como No hay ningn S que
no sea P segn muestra la imagen que se muestra al margen.


Representacin grfica de los modos vlidos en diagramas de Venn.
Teniendo en cuenta la problemtica de la lgica aristotlica, de la que se habla ms
adelante, el problema del "compromiso existencial" afecta a los modos Darapti, Felapton,
Bramalip, y Fesapo que no se muestran en las grficas, al no ser admitidos como vlidos
por algunos y, sobre todo, la representacin grfica no hace plausible la conclusin,
debido a la falta de "compromiso existencial", como se comenta ms adelante.
[editar] La problemtica de la lgica silogstica
La exposicin anterior es la forma ms simple y esquemtica tradicionalmente presentada
como lgica aristotlica.[10]
Sin embargo, la problemtica que trata Aristteles es bastante ms compleja. Aristteles
define:
Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de
ellas, por ser lo que son, otra cosa diferente.
Aristteles An. Pr. I 24 b 18-23
Dos aspectos a destacar en su definicin:
La necesidad, que considera el silogismo como categrico, por considerar que los
juicios que lo integran son asimismo categricos.
El fundamento de dicha necesidad, por "ser las cosas lo que son".
Hablar del silogismo categrico supone hablar de lo necesario e incondicionado. Y
precisamente incondicionado por estar basado en el ser de las cosas.
Aristteles est pensando en un predicado aprehendido a partir de la experiencia y
atribuido por el entendimiento a un sujeto. En el lenguaje apofntico[11] el silogismo
manifiesta la verdad, porque el entendimiento humano (entendimiento agente, segn
Aristteles) es capaz de llegar a la intuicin directa de lo real[12] aunque sea a travs de
un proceso de abstraccin.[13]
Se parte del supuesto de que P es predicado verdadero de S (en el sentido de que P
manifiesta la "identidad" del ser de S), lo que plantea una cuestin metalgica. Vase
verdad.
Aristteles piensa que el juicio manifiesta lo que es como verdadero. El problema
entonces es y cmo se predica de un sujeto lo que no-es?[14] (V.:aportica).
La lgica aristotlica se encuentra con el problema de los juicios negativos que resuelve
no del todo bien.
De hecho en el cuadro de oposicin de los juicios Aristteles estudi con todo detalle
problemas que posteriormente no se han tenido en cuenta; en realidad consider tres
figuras y no todos los 19 modos vlidos.[15] Aristteles considera modos perfectos
aquellos cuya validez aparece como evidente, siendo los dems imperfectos por cuanto
deben ser probados por medio de los modos perfectos, que son los correspondientes a la
primera figura: BRBARA, CELARENT, DARII, FERIO.[16]
Incluso lleg a considerar tales modos como los axiomas de todo el sistema lgico.
El juicio como atribucin de un predicado verdadero a un sujeto, (en el sentido de que
P manifiesta la "identidad" como "ser del sujeto",[17] en tanto que realidad conocida),
plantea el problema de un predicado falso, es decir un no-predicado. Cmo conocemos
un no-predicado?...
Lingsticamente, el problema se disfraza negando el verbo en lugar del predicado como
atributo (gramtica). De esta forma en vez de decir "Antonio es un no-caballo", (qu es
un no-caballo?),[18] decimos "Antonio no es un caballo". Pero esto segundo slo es
inteligible bajo el punto de vista extensional de los conceptos,[19] es decir bajo el punto
de vista de ser un elemento de un conjunto definido por una propiedad, o lo que es lo
mismo por su pertenencia o no-pertenencia a una determinada clase; lo que nos lleva a la
lgica de clases.
La lgica moderna simblica, meramente lgica formal, no tiene conexin con contenido
de verdad alguno y supera con claridad estas dificultades; sobre todo con la ventaja de
poder tratar proposiciones polidicas, llamadas as porque tienen ms de dos trminos
(por ejemplo: "Jpiter es mayor que la Tierra y menor que el Sol"),[20] y facilitar
enormemente el clculo lgico, por lo que, de hecho, la lgica aristotlica, como tal, est
en claro desuso.[21]
Hans Reichenbach estudia el cuadro de oposicin de los juicios considerando los juicios
A, E, I, O, como relacin de clases y considera que pueden eliminarse los juicios
negativos E, O, que son los problemticos, mediante la anotacin de la negacin de la
clase complementaria.[22]
La notacin se hace estableciendo entre el Sujeto S y el Predicado P, la letra minscula
correspondiente al tipo de juicio. As tenemos que:


As no slo se simplifica la notacin sino que de modos que tradicionalmente han sido
considerados invlidos, se puede obtener conclusin vlida, que la notacin clsica haca
imposible.[23]
Por todo ello la interpretacin actual de la lgica aristotlica como silogismo es su
interpretacin como lgica de clases. Tal es el mrito de la obra de Lukasiewicz.
Pero considerar los conceptos universales, como clases plantea el problema de la
existencia del individuo como instanciacin o compromiso existencial. Pues la clase
como propiedad independiente puede considerarse como abstracto universal.[24] Pero los
predicados, como atributos, no tienen sentido sin un sujeto gramatical del cual se
prediquen porque posea dicha propiedad.[25]
La lgica tradicional no consideraba el problema de la existencia o no existencia del
individuo respecto a los conceptos universales, pues se supone que stos han surgido de
la abstraccin a partir del conocimiento de los singulares o individuos existentes.[26]
[editar] El silogismo considerado en la lgica formal
La lgica formal actual considera la relacin S y P como una relacin meramente
sintctica sin contenido material alguno, bien sea en una relacin de clases o una funcin
proposicional de predicados. Aristteles considera dicha formalidad, desde luego, bajo el
punto de vista de la relacin entre dos trminos S (sujeto) y P (predicado) que al mismo
tiempo tienen una funcin lingstico-gramatical, pues para Aristteles los trminos
representan aspectos del ser y por tanto de la realidad.
Pero la formalidad de la lgica actual convierte la deduccin en una inferencia, como
consecuencia lgica, en lugar de una implicacin con transmisin de contenido en un
lenguaje apofntico transmisor de la verdad como pretenda Aristteles para el lenguaje
de la ciencia.
En la nueva forma de relacin sintctica se pierde toda relacin de los trminos con la
gramtica del lenguaje y posible "significacin". El silogismo pierde as su formalidad de
ser categrico, transmisor de la verdad necesaria, "por ser las cosas como son", para
adquirir una formalidad hipottica.
Siendo S el sujeto, P el Predicado y M el trmino medio, el silogismo es ahora
interpretado como lgica de clases, y su esquema lgico sera del tipo siguiente:
Si la clase S est (o no est) contenida en la clase M, y la clase M est (o no est)
contenida en la clase P, entonces la clase S est o (no est) contenida en la clase P.
O, en su interpretacin con respecto a los individuos, cuando haya conocimiento de
instanciacin existencial:[27]
Si todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S
pertenecen (o no pertenecen) a la clase M, y todos (o algunos) los individuos que
pertenecen (o no pertenecen) a la clase M pertenecen (o no pertenecen) a la clase P,
entonces todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S
pertenecen (o no pertenecen) a la clase P.
As el silogismo en Brbara se convierte formalmente en lgica de clases como:

Que expresa una frmula de relacin hipottica y al no haber afirmacin de verdad
alguna en las premisas, la conclusin es condicionada y no implicada.
De la misma forma el silogismo puede interpretarse como una funcin proposicional de
un predicado P que se predica de uno, alguno o todos los individuos x, que a su vez
pueden ser o no ser sujeto de otro predicado S como resultado de la relacin que ambos
tienen o no tienen con otro predicado M, siendo S, P y M los trminos del silogismo.
Mx simboliza "Ser mortal", siendo M=ser mortal que se puede predicar respecto a una
variable x cuyo compromiso de existencia vendra dado por la cuantificacin existencial
de la referencia de dicha funcin, bien sea un cuantificador universal, todo x: ; un
cuantificador particular, un o algn x: ; o una constante individual determinada: a, b,
c
La lgica de predicados resuelve as el problema de la instanciacin existencial, pero
nuevamente convierte el silogismo en un esquema formal de inferencia, donde no hay
afirmacin sino una inferencia hipottica, a partir del hecho de que la proposicin puede
ser verdadera o falsa y no una afirmacin categrica.
As el silogismo por antonomasia en AAA, de la primera figura se interpretara de la
siguiente manera siendo S, M y P sus trminos:


Es decir un silogismo hipottico de la lgica de predicados.
En ambos casos, como relacin de clases o como lgica de predicados, el clsico
silogismo categrico:
Todos los hombres son mortales. Todos los griegos son hombres. Por tanto todos los
griegos son mortales.
Se convierte en un silogismo hipottico:
Si todos los hombres son mortales y todos los griegos son hombres, entonces, todos los
griegos son mortales.
Lo que, no cabe duda, es una transformacin no menor de la lgica aristotlica.
[editar] Vase tambin
Entimema
Sorites
Silogismo hipottico
Modus ponendo ponens
Modus tollendo tollens
Modus ponendo tollens
Modus tollendo ponens
Nyya
Regla de inferencia
Proposicin
Quaternio terminorum
Razonamiento
Razonamiento abductivo
Razonamiento circular
Razonamiento deductivo
Razonamiento inductivo
Conversin lgica
Obversin lgica
Contraposicin lgica
Inversin lgica
[editar] Notas y referencias
1. Vase verdad y la reflexin sobre tal afirmacin de Alfred Tarski
2. Que no necesariamente tiene una referencia en una palabra; puede ser una frase o un
discurso tomado como una unidad lgica
3. Se dice de un trmino tomado en su extensin universal que est distribuido. Ntese
que el dominio del concepto es mucho ms amplio que la mera referencia a "todos los
que existen". Quiere decir que el trmino universal, distribuido, abarca todos los posibles
individuos que hayan podido existir, hayan existido y los que existen y existirn. El
verbo ser es meramente atributivo y no exige la existencia. La filosofa tradicional
consideraba que el trmino tena su origen en la abstraccin a partir de la existencia de
individuos, por lo que no haca referencia a esta distincin que exige la lgica formal tal
como se entiende en la actualidad.
4. En esta referencia es necesario que se incluya la existencia de individuos bien sea
pasada, presente o futura, de existencia real o conceptual; de otro modo no habra
significacin en la atribucin. El verbo ser referido a la extensin particular es de
existencia. Lo que no pocas veces conduce a errores lgicos cuando no se tiene en
cuenta el diferente uso del verbo ser respecto a la extensin de los trminos, sobre todo
en los juicios negativos.
5. La forma lingstica que expresa el juicio admite variaciones: Todos los S, Cualquier
S.... Lo importante es que cualquier cosa que sea S, entonces es P. Ntese que en la
lgica aristotlica el uso del verbo ser tiene un contenido categrico de realidad. Ms
tarde la lgica de Port Royal har de esta relacin una atribucin. La lgica de clases,
por su parte, nicamente seala una relacin meramente lgica entre clases. El individuo
como se explica ms adelante, es un trmino, considerado en su extensin universal,
como clase lgica o trmino distribuido.
6. Las formas lingsticas tambin pueden ser variadas: Algn S siempre que sea
indeterminado, unos cuantos S etc.
7. De lo nico, como unidad elemental, no podemos ms que o "designarlo" con el dedo,
como hace el nio pequeo cuando no sabe hablar, o "nombrarlo" con un "nombre
propio" o "clasificarlo" mediante un "nombre comn" o "concepto universal", es decir
incluirlo como elemento "perteneciente a una clase" que designa una "propiedad". Por
eso los "nombres propios" son una "Clase Universal". Este problema lo resuelve mejor la
lgica actual considerando los elementos comunes como "variables" o "elementos de un
conjunto" y los individuos existentes como "constantes" o "instanciacin de existencia".
Las propiedades son consideradas como "clases" como posibilidad de la existencia de
individuos
8. Esta expresin es lgicamente la correcta. Sin embargo este matiz se oculta bajo la
forma expresiva de S no es P que suena mejor pero oculta este matiz y puede inducir
errores lgicos; S no es P manifiesta claramente la separacin de S respecto a P como
predicado de S. En cambiio la expresin S no es P expresa la no pertenencia de S a la
clase P. Vase ms adelante la problemtica de la lgica aristotlica respecto a los juicios
negativos y su interpretacin como lgica de clases.
9. Cfr. ukasiewicz. La silogstica de Aristteles desde el punto de vista de la lgica
formal moderna. Madrid: Tecnos (1977). pg. 81 y ss. Vase ms adelante: Problemtica
de la lgica aristotlica
10. Que es la considerada como lgica tradicional que no sigue exactamente los postulados
del propio Aristteles, como veremos ms adelante.
11. Aristteles considera que es el lenguaje propio de la ciencia; a diferencia del lenguaje
retrico que genera silogismos retricos o argumentos probables aunque formalmente
sean vlidos
12. Es decir a lo que "de verdad es"; la esencia frente a la apariencia sensible que
manifiesta lo que es al mismo tiempo que lo oculta
13. Si bien en los juicios derivados de la experiencia los sujetos lgicos nicamente pueden
ser las sustancias primeras individuales, en la abstraccin de sus predicados, como
categoras y modos de predicacin predicables, tales predicados como conceptos
pueden hacer de sujetos lgicos en oraciones gramaticales que expresan juicios
categricos mediante los cuales se ponen de manifiesto sus contenidos como
propiedades y sus relaciones con otros conceptos manteniendo su relacin con lo real,
puesto que su origen deriva de lo real existente. Las categoras lgicas tienen por ello
carcter de realidad.
14. Para los griegos clsicos y tambin para Aristteles, el concepto de clase o,
simplemente, el conjunto vaco era algo inconcebible. La problemtica parmenidiana
sobre el ser estaba en el fundamento lgico de todo su pensamiento. Por eso, en
matemticas no pudieron concebir el 0 (cero) como concepto. Vase supra nota 5.
15. Aristteles consider la posibilidad de poder afirmar "El hombre es un no-caballo"
como implicacin consecuente de la afirmacin previa existencial en la experiencia de
"El hombre no es un caballo" (CORREIA, Manuel. La Actualidad de la Lgica de
Aristteles. Rev. filos., Santiago, 2010 2010. Disponible en.
<http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-
43602006000100009&lng=es&nrm=iso>. accedido en doi 16: noviembre
10.4067/S0718- 43602006000100009.). Esto es as porque el conocimiento del concepto
de caballo en su relacin con el hombre es nicamente de "ser" o "no-ser". En cambio "El
hombre es bueno" no es oponible de la misma forma a "El hombre es no-bueno" puesto
que la bondad admite gradaciones y situaciones que no responden a la condicin de "ser"
o "no-ser", como ya haba expuesto Platn en su dilogo Fedro. Un mismo hombre
puede ser hoy bueno y maana malo; as como puede ser regular, mezcla en parte de lo
bueno y en parte de lo malo; la oposicin entre uno y otro no es totalmente excluyente. Si
es "malo" entonces es "no-bueno", como verdad implicada. Pero ser "no-bueno" no
implica "ser malo". [Analticos Primeros I, 46 (52b15)]. La forma lgica aristotlica
implica en algunos casos, como el presente, la consideracin de la materia o contenido
del juicio de que se trate. Por ello mientras que para la lgica simblica actual "El
hombre es un no-caballo" y "El hombre no es un caballo" son formalmente equivalentes,
y se simbolizan de la misma forma, siendo A= Ser hombre y C=
Ser caballo, para Arstteles no lo son como hemos visto antes. Lo que indica que la
lgica de Aristteles siendo formal, al pretender ser transmisora de la verdad, nunca
pierde su relacin con la materia o contenido en su consideracin lgica, pues siempre se
trata de una predicacin respecto a un sujeto que, en ltima instancia, tiene una
referencia verdadera, bien en la experiencia concreta como conocimiento de una
sustancia primera, bien en la evidencia de un axioma, bien en la realidad de un
concepto universal abstrado a partir de una sustancia existente individual. Por eso el
concepto aristotlico, como trmino del juicio, no es una clase, y siempre tiene una
referencia existencial. Algunos piensan que la lgica de Aristteles siendo formal no es
formalista. Manuel Correia. Revista de filosofa. Rev. filos. v.62 Santiago 2006. tienne
Gilson (1944). Eco (1977), Kant y el ornitorrinco. Cap. 1 "Sobre el ser"
16. Para hacer tales demostraciones se establecen ciertas operaciones lgicas que permiten
transformar unos juicios en otros. Vase conversin lgica, obversin lgica,
contraposicin lgica e inversin lgica. Es famosa la demostracin demostracin
formal!!! de la "inmortalidad" por este procedimiento segn el siguiente esquema: 1.
Todo S es P; 2. Nign S es no-P (por obversin en 1); 3. Ningn no-P es S (por
conversin en 2); 4. Todo no-P es no-S obversin en 3); 5. Algn no S es no-P (por
conversin per accidens en 4. De esta forma "Todos los hombres son mortales"
implicara que "Algn no-hombre es no-mortal" lo que sera una prueba o demostracin
la "inmortalidad". Pero ... qu es un "no-mortal" si no tenemos "experiencia" como
instanciacin existencial de ello?. A qu referente como no-hombre podremos aplicar
dicha propiedad de "inmortalidad"? a los ngeles? a los demonios?. David Mitchell,
Introduccin a la lgica, pp. 38-39.
17. Los griegos no concibieron el no-ser como posibilidad de un concepto. Por eso no
concibieron el cero matemtico a diferencia de la reflexin de la cultura india
18. Eso slo tiene sentido en tanto que lo que se afirma es el conocimiento previo de la
existencia de los contenidos (notas) del predicado en la identidad (notas) que constituye
al sujeto. Por su parte el predicado es conocido a travs de conocimientos singulares de
otros sujetos conocidos por la experiencia
19. Los conceptos se definen por su comprensin, es decir las notas que le hacen ser lo que
es, el significado en su expresin lingstica, y su extensin, o denotacin en su
expresin lingstica, es decir cada uno de los seres a los que dicho concepto se puede
aplicar, nombrndolos o designndolos. El concepto aristotlico, que procede de la
abstraccin a partir del conocimiento de los individuos particulares, tiene siempre y
necesariamente aplicacin a un grupo de individuos. Por eso, ms tarde en la Edad
Media, se considerarn como universales. En cambio la clase se define exclusivamente
por una propiedad, haya o no haya individuos que posean dicha propiedad. Por eso
existe el concepto de clase vaca. Para los griegos, que no conocan ni conceban la
posibilidad del cero, el concepto de clase habra sido imposible.
20. Miguel Candel Sanmartn Metafsica de cercanas, p. 55, Editorial Montesinos, 2004
ISBN 978-84-95776-85-3
21. Luis Guerrero Martnez Lgica: el razonamiento deductivo formal, p. 165,
Publicaciones Cruz O.S.A., 1991 ISBN 978-968-20-0272-4
22. Vase cuadro de oposicin de los juicios
23. Donde se puede apreciar, una vez ms, la importancia de la formalizacin del lenguaje
en el progreso de la ciencia.
24. Que da lugar a una Lgica de segundo orden
25. Quine, W.V. Filosofa de la lgica. Madrid. Alianza Editorial. 1981.pgs. 58-61. Cfr.
ref, 4 y 5
26.
Al construir su lgica, Aristteles no tiene en cuenta ni a los trminos singulares ni a los trminos
vacos. En los primeros captulos de los Primeros Analticos, que contiene una expresin
sistemtica de su silogstica, slo son mencionados trminos universales.
Jan ukasiewicz, op. cit.
27. Lo que excede de la mera informacin formal del concepto de clase. A veces se
confunde errneamente el uso de un concepto como clase lgica, es decir un Todo-
lgico, distribuido (en su extensin lgica universal), o no-distribuido (en su extensin
lgica particular), como si fuera un conjunto de individuos existentes. Tal puede
ocurrir cuando se utilizan lingsticamente pronombres vagos (Santo Toms) o
pronombres perezosos (Quine) como: algn o algunos, cualquiera o todo o todos
(considerando tales pronombres como sustitucin de uno por uno y cualquiera de todos
los posibles elementos del conjunto como si fueran individuos reales y existentes). Se
confunde de este modo la clase lgica con la clase natural como si fuera aquella un
conjunto enumerable. Una clase lgica significa toda la extensin lgica o el dominio
de discurso de un concepto expresado como trmino lingstico que significa posibles
individuos de cuya existencia no sabemos nada. La existencia se reconoce en un
sistema de referencia de lenguaje objeto o primer nivel como lgica de primer orden.
Las propiedades lgicas sitan su referencia en una lgica de segundo orden.
Los Segundos Analticos

En los Segundos Analticos Aristteles establece los parmetros que deben
obedecer las ciencias demostrativas (sistemas lgico-deductivos).

Discute primero sobre los trminos que intervienen en una ciencia demostrativa
y argumenta que deben tomarse primero unos trminos como autoevidentes
(primitivos), pues si no se hiciera, o bien el proceso de definicin se llevara al
infinito o bien sera circular. Luego, todos los dems trminos que intervienen en
el discurso cientfico deben definirse en trminos de los trminos primitivos o en
trminos de trminos definidos con anterioridad. Exige adems que las
definiciones sean reales, es decir, que se demuestre la existencia de lo definido
dentro de la ciencia en cuestin.

Aristteles analiza el proceso de demostracin de manera similar, anotando que
no se puede demostrar todo por las mismas razones anteriores (o el proceso de
demostracin se extendera al infinito o sera circular). Propone tomar unos
puntos de partida asumiendo como verdaderas unas proposiciones primitivas
que clasifica en postulados (comunes a todas las ciencias) y axiomas (particulares
a la ciencia demostrativa que se est construyendo). Estas deben ser verdades
autoevidentes, incuestionables.

Los postulados son descritos a partir de algunos ejemplos como son: El todo es
mayor que la parte., Si cosas iguales se suman a cosas iguales, las sumas son
iguales.

Los axiomas varan de acuerdo a la ciencia y postergaremos su discusin hasta
mirar los axiomas de Euclides. Sin embargo, es importante notar que Euclides
sigue las exigencias aristotlicas acerca de las ciencias demostrativas solo
parcialmente.

En la mente de Aristteles, entonces, brota el esquema bsico de la tradicin
cientfica occidental en tanto concierne sistemas deductivos, esquema que se ha
llamado axiomtica material.

A lo anterior hay que aadir las reglas de inferencia (o esquemas de
argumentacin) aceptadas dentro de cada ciencia demostrativa, as como la
silogstica que pretende Aristteles sea comn a todas las ciencias.

Para la matemtica, veremos cuando estudiamos Euclides que esto incluye la
demostracin por reductio ad absurdum, la demostracin por exhaucin, y la
demostracin directa comenzando por la aplicacin de los axiomas.

Segundos analticos
De Wikipedia, la enciclopedia libre
Saltar a: navegacin, bsqueda
Segundos analticos (en griego antiguo , en latn Analytica
posteriora) es un texto del filsofo griego Aristteles de Estagira. Se compone de dos
libros (I: 71a - 89b, II: 90a - 100b) y no existen dudas acerca de la autenticidad de la
obra. Es el cuarto libro del rganon, donde se coloca despus de Primeros analticos y
antes de los Tpicos. En algunas ediciones se traduce por Analticos
posteriores.
Contenido
[ocultar]
1 Tema
2 Resumen del contenido
3 Referencias
4 Enlaces externos
[editar] Tema
En Segundos analticos, Aristteles se ocupa de las necesidades especficas de la
demostracin, as como de la definicin y el conocimiento cientfico.
Segn Aristteles:
"Toda la didascalia y toda la disciplina dianotica se adquieren de un saber que precede al
conocimiento. Esto es evidente sea cual fuere el saber considerado: la ciencia matemtica se
adquiere de este modo, tal como las otras artes. Lo mismo acontece con los raciocinios
dialcticos, sean estos hechos por silogismo o por induccin, porque todos ellos ensean a travs
de un conocimiento anterior: en el primer caso, suponiendo que las premissas son admitidas por
el otro, en el segundo caso, demostrando lo universal mediante lo particular ya conocido. Por
otro lado, de anlogo modo es como los argumentos retricos persuaden, una vez usndolos, o
paradigmas, lo que es una especie de induccin, o entimemas, lo que no deja de constituir un
silogismo" (An. Post., 71a).
El libro I trata especficamente de las condiciones formales de la demostracin;
El libro II trata de la teora de la definicin y de la causa.
La demostracin se distingue como un silogismo que genera conocimiento cientfico,
mientras que la definicin se marca como el planteamiendo de la naturaleza de una cosa,
[...] un planteamiento del significado del nombre, o de una frmula nominal equivalente.
En los Primeros analticos se considera la lgica de silogismos en su aspecto formal; en
los Segundos, se considera respecto a su sustancia. La "forma" de un silogismo descansa
en la necesaria conexin entre las premisas y la conclusin. An cuando en la forma no
haya falta, puede haberla en la sustancia, es decir, las proposiciones de que se compone,
que pueden ser verdaderas o falsas, probables o improbables.
Cuando las premisas son ciertas, verdaderas y primarias, y la conclusin formalmente se
sigue de ellas, esto es demostracin, y genera conocimiento cientfico de una cosa. Tales
silogismos se llaman apodecticos y de ellos se trata en los dos libros de Segundos
analticos. Cuando las premisas son inciertas, tal silogismo se llama dialctico, y de estos
se trata en los ocho libros de los Tpicos. Un silogismo que parece perfecto tanto en
forma como en sustancia, pero que no lo es, se llama sofstico, y de stos se trata en el
libro De las refutaciones de los sofistas.
[editar] Resumen del contenido
El contenido de los Segundos analticos pueden resumirse como sigue:
Toda demostracin debe fundarse en principios ya sabidos. Los principios en los
que se funda, o bien deben ser demostrables, o bien ser de los llamados primeros
principios, que no se pueden ni se necesitan demostrar, siendo evidentes por s
mismos (o nota per se en jerga escolstica).
No podemos demostrar las cosas de manera circular, sustentando la conclusin
con las premisas y las premisas con la conclusin. Ni tampoco puede haber una
cantidad infinita de trminos intermedios entre el principio y la conclusin.
En toda demostracin, los primeros principios, la conclusin y todas las
proposiciones intermedias deben ser verdades necesarias, generales y eternas . De
las cosas que suceden por azar, o de manera contingente, o que pueden cambiar, o
de las cosas individuales, no hay demostracin.
Algunas demostraciones prueban solamente que las cosas son de cierto modo,
ms que por qu lo son. Las demostraciones del segundo tipo son las ms
perfectas.
La primera figura del silogismo (vase un repaso general de la teora de
silogismos en lgica de trminos) es la que mejor se adapta a la demostracin
porque permite coclusiones universalmente afirmativas. Esta figura la usan
comunmente los matemticos.
La demostracin de una proposicin afirmativa es preferible a la de una negativa;
la demostracin de una universal, a la de una particular; y la demostracin directa,
a la reduccin al absurdo.
Los principios son ms ciertos que la conclusin.
No puede haber al mismo tiempo opinin y conocimiento de la misma cosa.
En el segundo, Aristteles comienza con una afirmacin admirable; los tipos de cosas
determinan los tipos de preguntas, que son cuatro:
1 Si la relacin de una propiedad (atributo) con una cosa es un hecho verdadero.
2 Cul es la razn de esta relacin.
3 Si una cosa existe.
4 Cul es la naturaleza y significado de la cosa.
La ltima de estas preguntas fue llamada por Aristteles, en griego, el "qu es" de la cosa.
Esto lo tradujeron los lgicos escolsticos al latn como quidditas, que ha pasado al
espaol como quididad. Esta quididad no se puede demostrar, pero debe ser fijada por
una definicin. Se ocupa de la definicin y de cmo se debe elaborar una definicin
correcta. Como ejemplo ofrece la definicin del nmero tres, que define como el primer
nmero non.
Al mantener que conocer la naturaleza de una cosa es conocer por qu es y que
poseemos conocimiento cientfico de una cosa slo cuando conocemos su causa,
Aristteles postul cuatro tipos mayores de causa como los trminos medios ms
buscados de demostracin: la forma definible; un antecedente que necesita un
consecuente; la causa eficiente; la causa final.
Concluye el libro con el modo en que la mente humana llega a conocer las verdades
bsicas o premisas primarias o primeros principios, que no son innatas, ya que nos es
posible desconocerlas durante gran parte de nuestra vida. Tampoco pueden deducirse a
partir de ningn conocimiento anterior, o no seran primeros principios. Afirma que los
primeros principios se derivan por induccin, de la percepcin sensorial que implanta los
verdaderos universales en la mente humana. De esta idea proviene la mxima escolstica
"nada hay en el intelecto que no haya estado antes en los sentidos" (Nihil est in intellectu,
quod prius non fuerit in sensu).
De todos los tipos de pensamiento, se consideran universalmente verdaderos slo el
conocimiento cientfico y la intuicin, y sta ltima es la fuerte originadora del
conocimiento cientfico. La obra termina as: la ciencia en su totalidad es [...] fuente
originadora de todo el cuerpo de hechos.
[editar] Referencias
Mure, G. R. G. (translator) (2007), Posterior Analytics, eBooks @ Adelaide, The
University of Adelaide
Con material de en:Posterior Analytics (versin:
http://en.wikipedia.org/w/index.php?title=Posterior_Analytics&oldid=324103169
) y pt:Analticos posteriores (versin:
http://pt.wikipedia.org/w/index.php?title=Anal%C3%ADticos_posteriores&oldid
=11678660)


8. Euclides

De la vida de Euclides se sabe muy poco; en efecto lo que se puede decir es que
escribi los Elementos alrededor del ao 300 a.C. y que estaba trabajando en la
ciudad hoy egipcia de Alejandra. Sin embargo, en su obra Euclides recopila la
matemtica conocida en su tiempo, de modo que all se encuentre la aritmtica
(teora de nmeros) tratada geomtricamente, as tambin el lgebra con igual
tratamiento, en adicin a la geometra. Como dijimos antes, Euclides presenta la
teora de los irracionales de Eudoxio y utiliza el mtodo de exhaucin para
algunas demostraciones.

Vamos a mirar la manera en que Euclides hace caso (parcialmente) a las
recomendaciones de Aristteles para la ciencia demostrativa, y vamos a ver un
poco la genialidad de sus demostraciones viendo algunas proposiciones del
Libro I de los Elementos.

Euclides estructura los Elementos introduciendo primero las definiciones. No
hace caso estricto a Aristteles y, por lo tanto, trata de definir todo empleando
unas expresiones tomadas del lenguaje cotidiano.

Punto es aquello que no tiene partes.
Lnea es longitud sin anchura.
Lnea recta es aquella que yace de manera pareja con los puntos que le
pertenecen.

Sin embargo, Euclides s obedece a las restricciones aristotlicas en cuanto
pretende demostrar la existencia de todo lo que ha definido. Hace 23
definiciones.

Euclides enuncia cinco axiomas (postulados) y toma cinco postulados (nociones
comunes). Ha sido criticado por pensadores modernos porque no explicita todos
los postulados que emplea. Pero para sus tiempos es una obra magnfica que fue
usada como texto hasta los primeros aos del siglo XX. Su obra est estructurada
en trece libros, contiene toda la matemtica conocida en sus tiempos; nosotros
miraremos unos apartes del Libro I. (En nuestro tratamiento no utilizaremos el
lenguaje exactamente como est en Euclides, pero conservaremos el espritu de
su obra.)

Proposicin 1. Sobre una lnea recta finita dada construir un tringulo equiltero.

Esta obedece a la exigencia aristotlica de mostrar la existencia de lo definido. Su
definicin 20 abarca el tringulo equiltero. La construccin toma en cuenta los
axiomas 1 (Trazar una lnea recta de cualquier punto a cualquier punto.) y 3
(Trazar un crculo con cualquier centro y distancia (radio)) y el postulado 1
(Cosas iguales a la misma cosa son iguales entre s.)

Las siguientes proposiciones permiten construir un segmento de longitud dada
en un punto dado como extremo o cortarlo de un segmento dado. La proposicin
4, altamente criticado, establece el criterio LAL de congruencia entre dos
tringulos, lo cual a su vez implica que todos los dems elementos
correspondientes de los dos tringulos son respectivamente congruentes.

Queremos ver con detenimiento las proposiciones 5 y 6 porque representan una
metodologa o estrategia utilizada muchas veces en los Elementos tratndose de
proposiciones inversas.

Proposicin 5. En tringulos issceles los ngulos en la base son iguales entre s
y si se producen los lados iguales, los ngulos debajo de la base sern iguales
entre s.

Demostracin (el puente del burro). Sea ABC el tringulo issceles dado con AB
= AC. Extendamos AB hasta D y AC hasta E.


Cortemos sobre BD un segmento cualquiera BF y sobre CE un segmento CG = BF.
Entonces los tringulos ABG y ACF son congruentes. Pues AB = AC , AF = AG y
el ngulo A es comn, luego sigue por la Proposicin 4 que los tringulos son
congruentes. Luego BG = CF, el ngulo ACF ser igual al ngulo ABG y el ngulo
AFC igual al ngulo AGB. Y como BC es comn se sigue (por la Proposicin 4)
que los tringulos BCF y CBG son congruentes y los ngulos CBG y BCF sern
iguales. Y los ngulos restantes sern iguales (ABG CBG = ACF BCF), esto es
los ngulos ABC y ACB que es lo que se quera demostrar. Se demuestra la
segunda parte con argumentos similares.

Proposicin 6. Si en un tringulo dos ngulos son iguales entre s, los lados que
subtienden los ngulos iguales sern iguales.



Sea ABC un tringulo con el ngulo ABC igual al ngulo ACB. Afirmamos que el
lado AB tambin es igual al lado AC, porque si no son iguales uno de ellos es
mayor. Sea AB el mayor, entonces por la Proposicin 3 de AB cortemos BD igual
a AC y unamos CD. Entonces como BD = AC, el lado BC es comn y los ngulos
DBC y ACB son iguales, por la Proposicin 5, los tringulos DBC y ACB son
congruentes, el menor al mayor, lo cual es absurdo. Entonces AB no es mayor
que AC, y por lo tanto son iguales como se quera demostrar.

Proposicin 16. En cualquier tringulo si se extiende uno cualquiera de los lados,
el ngulo exterior es mayor que cualquiera de los ngulos interiores no
adyacentes.


Proposicin 18. En cualquier tringulo, el lado mayor subtiende el ngulo mayor.

Sea ABC un tringulo en el cual el lado AC es mayor que el lado AB. Afirmo que
el ngulo ABC tambin es mayor que el ngulo ACB.

Como AC es mayor que AB cortemos sobre AC un segmento AD igual a AB.
Entonces los ngulos ABD y ADB son iguales. Se sigue que ABC > ABD =
ADB > ACB, como queramos. La segunda > sigue en virtud de la Proposicin
16.

Proposicin 19. En cualquier tringulo el ngulo mayor subtiende el lado mayor.

Evidentemente, sta es la inversa de la Proposicin 18 y ser demostrada por
contradiccin (reductio ad absurdum).

Proposicin 20. En cualquier tringulo dos lados tomados conjuntamente son
mayores que el tercer lado.

Sea ABC el tringulo y extendamos BA hasta D de tal modo que AD = AC.

Entonces ADC = ACD. Luego ADC < DCB. Y por la Proposicin 19, el
ngulo mayor subtiende el lado mayor. Se sigue que BD > BC, esto es, AB + AC >
BC.


9. Arqumedes

El gran genio matemtico de la Grecia clsica es Arqumedes, tambin ingeniero
y fsico. Nos interesa mirar dos de sus demostraciones una de las cuales utiliza
claramente el principio arquimediano de los nmeros que nosotros llamamos
reales, y aplica el mtodo de exhaucin. En ella se ingenia una cuasicuadratura
del crculo. En la otra veremos la manera en que la matemtica griega enfrenta la
bsqueda de valores racionales aproximados para los nmeros irracionales.

Clculo del valor aproximado de .

Proposicin. Alrededor de un semicrculo con centro O se circunscribe un
polgono. Sea CA tangente en A al semicrculo con centro en O de modo que el
ngulo AOC sea igual a un tercio de un ngulo recto. Bisecamos el ngulo AOC
por OD, el ngulo OD por OE, el ngulo AOE por OF y el ngulo AOF por OG.
Extendamos GA hasta AH, haciendo AH igual a AG. El ngulo GOH es igual al
ngulo FOA que es 1/24 de un ngulo recto, de modo que GH es el lado de un
polgono regular circunscrito de 96 lados.

Ahora bien,
OA : AC [ = 3 : 1] > 265 : 153
y
OC : CA = 2 : 1 = 306 : 153.

Y, como OD biseca el ngulo COA,

CO : OA = CD : DA,

de modo que (CO + OA) : OA = CA : DA,

o, lo que es lo mismo, (CO + OA) : CA = OA : AD.

De ah se tiene que OA : AD > 571 : 153.

Por otra parte, OD : AD = (OA + AD) : AD

> (571 + 153) : 153
> 349450 : 23409.

Por lo tanto, OD : DA > 591 1/8 : 153.

Luego, tal y como se ha encontrado el lmite (la cota) de OD : AD a partir de la de
OC : CA y la de OA : AC, encontramos cotas para OA : AE y de OE : AE a partir
de las cotas de OD : DA y OA : AD, y as sucesivamente. Esto da, eventualmente,
la cota de OA : AG.



Luego, se trabaja con el polgono inscrito. Arqumedes logra deducir una serie
similar de aproximaciones. Siendo ABC un semicrculo, se hace que el ngulo
BAC sea igual a un tercio de un ngulo recto. Entonces, si el ngulo BAC es
bisecado por AD, el ngulo BAD por AE, el ngulo BAE por AF, y el ngulo BAF
por AG. El segmento de recta BG es el lado de un polgono inscrito de 96 lados.

Ahora, los tringulos ADB, BDA, ACd son semejantes. De ah se sigue que

AD : DB = BD : Dd = AC : Cd

= AB : Bd,

ya que AD biseca el ngulo BAC,

= (AB + AC) : (Bd + Cd)

= (AB + AC) : BC.

Pero, se tiene que AC : CB < 1351 : 780, mientras que BA : BC = 2 : 1 = 1560 : 780.

Por lo tanto, AD : DB < 2911 : 780.


De ah se sigue que,
AB: BD < (2911 + 780) : 780

< 9082321 : 608400,
Y, dice Arqumedes,

AB : BD < 3013 : 780.

Ahora bien, de la misma manera como se ha encontrado un lmite (una cota) para
AD : DB y para AB : BD a partir de las cotas de AB : BC y de AC : CB, as mismo
se encuentra cotas para AE : EB y para AB : BE a partir de las cotas de AB : BD y
AD : DB, y as sucesivamente. Finalmente, obtenemos la cota para AB : BG.



Tenemos, por lo tanto, en ambos casos, dos series de trminos

a, a, a, ., an y b, b, b, , bn, para las cuales la regla de formacin es

a = a + b, a= a + b
donde
b= (a + c), b= (a + c),
y, en el primer caso,
a = 265, b= 306, c = 153,

mientras que en el segundo caso,

a = 1351, b = 1560, c = 780.

Teniendo en cuenta que, en el primer caso, la razn final a : c es la razn OA :
AG = 2 OA : GH y, en el segundo caso, la razn final b : c es la razn AB : BG,
mientras que GH en la primera figura y BG en la segunda, son los lados de
polgonos regulares de 96 lados circunscrito e inscrito, respectivamente, tenemos
que
(96 153)/4673 > > (96 66)/2017.

De ah se tiene que 3 1/7 > > 3 10/71.

rea del crculo

Proposicin. El rea de un crculo es igual al rea de un tringulo rectngulo uno
de cuyos catetos es igual al radio y el otro igual a la longitud (permetro) del
crculo.

Sea K el rea del tringulo rectngulo descrito y consideremos el crculo.




Si el rea del crculo no es igual a K, entonces o bien es menor o bien es mayor.

i) Supongamos que el rea del crculo, A, es mayor que K, y sea T = A - K.

Inscribamos en el crculo un cuadrado. Sea S la diferencia entre el rea del
crculo y el rea del cuadrado. Bisecamos cada uno de los arcos y unamos los
puntos medios formando un octgono. Sea S la diferencia entre el rea del
octgono y el rea del crculo. Es claro que S < S pues construyendo el
rectngulo sobre cada lado del cuadrado tangente en el punto medio, el octgono
ocupa la mitad del rea del rectngulo, luego ocupa mas que la mitad del rea
del respectivo segmento de crculo.

Procediendo de la misma manera para formar un polgono regular inscrito de 16
lados, y haciendo S igual a la diferencia entre el rea del crculo y el rea del
polgono inscrito de 16 lados, es claro que S< S. Siguiendo de esta manera,
la diferencia entre el rea del crculo y el rea del polgono inscrito puede hacerse
menor que cualquier cantidad positiva. En particular, puede hacerse menor que
T.

Ahora bien, el rea P del polgono inscrito es igual a el permetro del polgono
por la altura h de cada tringulo que se forma sobre cada lado del polgono y con
radios por lados. Se sigue que h < r, y que el permetro del polgono es menor
que la longitud del crculo. P < K. Entonces, A P < T. Pero A K = T, una
contradiccin. Se sigue que A no puede ser mayor que K.



ii) Supongamos que el rea del crculo, A, es menor que K y sea V = K - A.

Circunscribamos alrededor del crculo un cuadrado.



Sea S la diferencia entre el rea del cuadrado y el rea del crculo. Bisecamos
cada cuadrante del crculo, construyamos la tangente al crculo en cada punto de
biseccin y consideremos el rea del octgono as circunscrito al crculo. Sea S
la diferencia entre el rea del octgono y el rea del crculo. Entonces, S< S,
puesto que, si J es el punto de tangencia del crculo con el lado CB y fijndonos
en el tringulo CGJ tenemos que CG = GI = IJ, mientras que CI > GI = IJ, de donde
el rea del tringulo CGI > el rea del tringulo IGJ. Y se ha dejado por fuera ms
que la mitad de la diferencia entre el cuadrado y el octgono.

Procediendo de esta manera, circunscribiendo luego un polgono regular de 16
lados, la nueva diferencia S entre el rea del polgono y el rea del crculo ser
menor que S,y as sucesivamente, se puede hacer que la diferencia entre el
rea del polgono circunscrito y el rea de crculo sea menor que cualquier
cantidad (positiva) dada, de modo que se puede hacer menor que K A = V.

Pero el rea P del polgono es r por el permetro del polgono, entonces,
mientras que K = r por la longitud de la circunferencia. Se sigue que el rea del
polgono es mayor que K, P > K y la diferencia P A > K A = V. Esta
contradiccin muestra que A no puede ser menor que K.

De i) y ii) se sigue que A = K que es lo que se quera demostrar.