Clase 1: Aristteles (la lgica)

Aristteles, amigo y discpulo de Platn, pero como l mismo dijo, ms amigo de la verdad,
desarrolla a su ve el mtodo de la dialctica !aciendolo cam"iar de aspecto, Aristteles se
#ija principalmente en ese movimiento de la ran intuitivo $ue !ace pasar, por medio de la
contraposicin de opiniones(%ialogo), de una a#irmacin a la siguiente y de sta a la
siguiente !asta llegar a la verdad&
Aristteles se es#uera por reducir a leyes simples ese trnsito de una a#irmacin a la
siguiente $ue en el caso de 'crates se logra"a mediante la interrogacin y en el de Platon
(Aristocles) por medio del dialogo& Aristteles se es#uera por encontrar la ley en virtud de la
cual de una a#irmacin pasamos a la siguiente& (sta ocurrencia de Aristteles es
verdaderamente genial, por$ue es el origen de lo $ue llamamos la lgica (Conocida a partir
de ese momento como lgica Aristotlica)& )o puede decirse $ue Aristteles sea el inventor
de la lgica, puesto $ue ya Platn, en su dialctica, tena una lgica implcita* pero Aristteles
es el $ue le da estructura #ormal y #orma de#initiva, la misma #orma $ue mantiene !asta !oy&
+a lgica iniciada #ormalmente por Aristteles no !a cam"iado durante todos estos siglos ya
$ue este da una #orma y estructura de#initiva a eso $ue llamamos la lgica, o sea la teora de
la in#erencia, de una proposicin $ue sale de otra proposicin&
Nota: Inferencia (inferir): Sacar una conclusin o deducir algo de otra cosa.
(stas leyes son plasmadas por Aristteles en sus tratados de +gica, $ue se agrupan en una
colecci,n $ue se conoce con el nom"re de -rganon& +istadas en el orden sistemtico, las
o"ras $ue componen el -rganon son las siguientes: Categoras, %e .nterpretatione, Primeros
analticos, 'egundos analticos, /,picos y 0e#utaciones so#sticas&
rganon: (del griego antiguo , "instrumento", "mtodo") es un conjunto de obras de
lgica escritas or !ristteles " comiladas or !ndrnico de #odas$
/odos ustedes sin !a"er estudiado lgica y sin sa"er lo $ue es un silogismo, !an aplicado de
ma1era intuitiva la lgica, por medio de la cual de una proposicin general, por medio de otra
proposicin tam"in general, se e2trae una proposicin particular&
P3(
%remisa &: 'odos los (ombres son mortales ()eneral)
%remisa *: +crates es un (ombre ()eneral)
,onclusin: %or tanto +crates es mortal (%articular)
4n silogismo invlido es un silogismo $ue o "ien sus premisas son correctas, pero la
conclusin es incorrecta, o alguna de sus premisas es incorrecta y por consecuencia su
conclusin tam"in lo es, miremos el siguiente ejemplo:
Premisa 1: 'odos los -jaros .uelan$
Premisa 2: /n ing0ino es un -jaro$
Conclusin: 1os ing0inos .uelan$
(l pro"lema es este silogismo es $ue la premisa uno, no es correcta& )o todos los pjaros
vuelan& Por ejemplo, los ping5inos y las avestruces no vuelan&
+as leyes del silogismo, sus #ormas, sus #iguras, son, pues, el desenvolvimiento $ue
Aristteles !ace de la dialctica y la 6ayutica& Para Aristteles el mtodo de la #iloso#a es la
lgica, o sea la aplicacin de las leyes del pensamiento racional (+eyes de los silogismos)
$ue nos permite transitar de una posicin a otra posicin por medio de los engarces $ue los
conceptos ms generales tienen con otros menos generales, !asta llegar a lo particular& (sas
leyes del pensamiento racional son, para Aristteles, el mtodo de la #iloso#a&
Para Aristteles por tanto la #iloso#a !a de consistir, por consiguiente, en la demostracin de
la prue"a& +a prue"a de las a#irmaciones $ue se adelantan es lo $ue convierte estas
a#irmaciones en verdad& Una afirmacin que no est probada deber ser considerada
como no verdadera.
El Organon y las leyes de los silogismos.
(ntre los escritos de inters lgico puede mencionarse tam"in el li"ro .7 de la 6eta#sica,
donde Aristteles !a"la de la nocin de verdad y discute los principios del tercio e2cluso y de
no contradiccin&
Las Categoras es un li"ro en la #rontera entre la lgica y la meta#sica $ue Aristteles dedica
al estudio de la predicacin& (n De Interretatione Aristteles estudia los enunciados (el
ttulo es poco a#ortunado, pero no es de Aristteles)& Los Primeros !nalticos estaran
dedicados #undamentalmente al estudio de los silogismos (tanto los categricos como los
modales y los !ipotticos)& Contienen, por tanto, lo $ue podemos consideran como la 8lgica
#ormal9 de Aristteles& +os :ltimos ; captulos del segundo li"ro los dedica a estudiar los
argumentos por induccin& Los Segundos !nalticos es una o"ra de #iloso#a de la ciencia&
Contiene la teora de la de#inicin y la concepcin aristot<lica de la ciencia&
+os /picos son un manual de dialctica& 'e trata de un conjunto de reglas y consejos :tiles
para la participacin en los de"ates p:"licos& 'egun Aristteles, los de"ates dialcticos
ayudan discernir entre lo verdadero y lo #also& Aun$ue tradicionalmente se las considera por
separado, las 0e#utaciones 'o#sticas son un apndice de los /picos $ue trata de los
diversos tipos de #alacias& %e !ec!o, el apartado #inal de conclusiones a"arca tam"in los
/picos& Aristteles e2amina gran cantidad de argumentos #alaces e2plicando en cada caso
donde est la incorreccin&
Las leyes de los silogismos
componentes esenciales:
+os componentes esenciales de la lgica aristotlica son el raonamiento, la proposicin y el
trmino& (stos elementos #orman parte de una misma estructura, a sa"er, la argumentacin
(la demostracin) 'eg:n esto, todo raonamiento se compone de proposiciones, cada una de
las cuales, a su ve, consta de dos o ms trminos& =racias a un ejemplo como los
anteriores entenderemos de #orma prctica, $u es cada elemento&
Consideremos el siguiente raonamiento:
'odas las a.es tienen alas,
2ing3n erro es a.e$
%or tanto, ning3n erro tiene alas$
(n este raonamiento podemos distinguir las tres proposiciones siguientes: 8/odas las aves
tienen alas9, 8)ing:n perro es ave9 y 8)ing:n perro tiene alas9& Por su parte, en cada una de
dic!as proposiciones, !ay dos trminos: en la primera >aves? y >alas?* en la segunda,
>perros? y >aves?, y en la tercera, >perros? y >alas?&
2ota: 4n lugar de roosicin, algunos utili5an el trmino 6enunciado7, ero 6enunciado7 "
6roosicin7 signi8ican lo mismo$
El silogismo
(l silogismo constituye el prototipo de raonamiento deductivo de aristteles& 'e trata de una
argumentacin #ormada por tres proposiciones: las dos primeras, $ue se denominan
premisas, y la tercera, $ue se denomina conclusin&
Consideremos el siguiente silogismo:
'oda a.e es animal$
4l gorrin es a.e$
1uego, el gorrin es un animal$
(n este ejemplo, las premisas son >/oda ave es animal? y >(l gorrin es ave?, mientras $ue
la conclusin es >(l gorrin es animal?&
)ota para el lector: .ntente construir por si mismo un silogismo verdadero&
(n un silogismo se distingue entre trmino mayor, trmino menor y trmino medio& (l menor
es el $ue !ace de sujeto en la conclusin, mientras $ue el mayor es el $ue !ace de
predicado& Por su parte, el trmino medio aparece :nicamente en las premisas y mediante l
comparamos el trmino mayor con el menor&
7eamos nuestro ejemplo anterior:
(n el silogismo de nuestro ejemplo, el trmino menor sera 8gorrin9 por $ue !ace de sujeto
en la conclusin* el mayor, 8animal9 por $ue !ace de predicado y el medio 8ave9 puesto
aparece :nicamente en las premisas& Como se puede o"servar, en las premisas tenemos
tres trminos ave, animal y gorrin, de los cuales ave se repite en am"as& Pues "ien,
mediante dic!o trmino relacionamos los otros dos animal y gorrin, dando lugar a una una
deduccin&
A este respecto, e2iste una amplia variedad de silogismos vlidos, es decir, de silogismos
$ue poseen un valor demostrativo& Aristteles, de acuerdo con la posicin del trmino medio
en las premisas, agrup los distintos modos del silogismo en tres #iguras& (n la primera
premisa, el trmino medio ocupa la posicin de sujeto en la primera y de predicado en la
segunda& (n la segunda premisa, ocupa el puesto de predicado en am"as& (n la tercera
premisa, ocupa en am"as el puesto de sujeto&
La demostracin cientfica
@emos visto $ue para Aristteles toda demostracin consiste en un raonamiento cient#ico y
$ue el instrumento ms adecuado para llevar a ca"o esta tarea es el silogismo& A!ora "ien,
no todos los silogismos son cient#icos, sino solo a$uellos $ue constan de unas premisas
verdaderas, anteriores a la conclusin, ms conocidas $ue esta y causa de la misma&
A este respecto, toda ciencia particular, como puede ser la #sica o la "otnica, posee
determinados principios Aa2iomas o postuladosA a partir de los cuales se demuestran o
deducen sus teoremas& Pero los principios de una ciencia particular pueden ser demostrados
por otra superior, es decir, por otra ms general y a"stracta& As, por ejemplo, los postulados
de la ptica pueden ser demostrados por la #sica, los de sta por las matemticas, etctera&
A!ora "ien, ms all de estos principios particulares, se encuentran los primeros principios o
a2iomas comunes a todos ellos, por ejemplo, el principio de contradiccin, el de identidad, el
de e2clusin del trmino medio, etc& 'eg:n Aristteles, estos a2iomas comunes constituyen
los principios #undamentales de todas las ciencias&
El principio de contradiccin
'eg:n nuestro Aristteles, sera imposi"le demostrar todas las verdades, pues para
demostrar unas tenemos $ue apoyarnos en otras, y para demostrar estas en otras, y as
sucesivamente& 'in em"argo, en tal proceso no podremos llegar al in#inito, ya $ue en este
caso no demostraramos nada& Por tanto, tiene $ue !a"er unos a2iomas o unos primeros
principios indemostra"les pero evidentes en s mismos, $ue sean a"solutamente primeros y
causa de toda demostracin&
A este propsito, Aristteles se1ala como principio primero, a"solutamente indemostra"le y
#undamento de toda demostracin al principio de contradiccin& 'eg:n l, se trata del
principio ms #irme, evidente en s mismo y causa de la verdad de todos los dems& (sto
signi#ica $ue, en :ltimo trmino, todas las demostraciones cient#icas descansan en l& 'eg:n
el principio de contradiccin, es imposi"le $ue un mismo atri"uto perteneca y no perteneca
al mismo tiempo y "ajo un mismo respecto a un mismo sujeto&
B)o $uedo claro verdadC
-tras #ormulaciones del principio de contradiccin (o de no contradiccin) sera:
8)ada puede ser y no ser al mismo tiempo y "ajo el mismo respecto9
8/oda asercin es necesariamente a#irmativa o negativa9
8'i una proposicin es #alsa, su contradictoria ser necesariamente verdadera9&
(jercicio:
.ndi$ue si los siguientes silogismos son vlidos o no& (n caso de $ue el silogismo no sea
vlido, indi$ue (si se puede) $ue
D
conclusin s se puede derivar a partir de las premisas
dadas, es decir, de un enunciado $ue su"stituya a la conclusin de #orma $ue o"tengamos
un silogismo vlido&
1) Algunos viajeros no son ancianos&
)ing:n turista es viajero&
Algunos turistas no son ancianos&
E) /odos los canadienses son am"idiestros&
/odos los am"idiestros sonmiopes&
Algunos miopes son canadienses&
F) /odos los r"oles son plantas&
Algunos r"oles son ar"ustos&
)inguna planta es un ar"usto&
G) )ing:n piloto es una aa#ata&
/odos los pasajeros son aa#atas&
Algunos pilotos son pasajeros&
;) Algunas plantas no son verdes&
)ing:n organismo es una planta&
Algunos organismos no son verdes&
H) /odos los instrumentos son pianos&
)ing:n instrumento es una guitarra&
Algunas guitarras no son pianos&
I) )ing:n #ilso#o es un atleta&
/odos los administradores son atletas&
Algunos #ilso#os son administradores&
J) )ing:n apicultor es cocinero&
/odos los !olandeses son apicultores&
Algunos cocineros no son !olandeses&