Demostraciones lgicas

Por Rafael Flix Mora Ramrez

Se debe filosofar o no se debe filosofar; pero para decidir no
filosofar es tambin siempre necesario filosofar; as, pues en
cualquier caso filosofar es necesario
rist!teles
"i#o uno de los presentes$
% &on'nceme de que la l!(ica es )til*
% +,uieres que te lo demuestre-
% S*
% .ntonces****es necesario que recurra a una demostraci!n*
/ al 'er que el otro asenta le di#o$
% Si te en(a0o con sofismas, +c!mo 1ar2s, pues, para darte
cuenta-
.l otro (uard! silencio*
% /a 'es como te das cuenta de que la l!(ica es necesaria 3 que,
apart2ndote de ella, ni siquiera puedes lle(ar a saber si es
necesaria o no*
"iscursos de .picteto
1. Implicacin
.n cuanto al condicional existen dos posturas entre los me(2ricos que consideraban cuando era
correcto* Se()n Fil!n un condicional correcto es uno que no comienza con una 'erdad 3 conclu3e
con una falsedad; pero "iodoro dice que un condicional as es uno que no comienza ni puede
comenzar con una 'erdad 3 acabar con una falsedad* Por e#emplo, en el primer caso tenemos una
implicaci!n material, un condicional de la forma Si a1ora es de da, entonces 45467, ser2
'erdadero si se dice de noc1e, en tanto que nunca ser2 'erdadero, de acuerdo a la caracterizaci!n de
"iodoro, 3a que puede comenzar con una 'erdad, si el condicional se dice de da 3 concluir2 con
una falsedad* "e acuerdo a la propuesta de "iodoro, entonces, un condicional ser2 'erdadero con
solo que su antecedente sea siempre falso o que su consecuente sea siempre 'erdadero; de esta
manera, se cumple con la exi(encia de que nunca se d el caso de que el antecedente sea 'erdadero
3 el consecuente falso* este caso le llamaremos implicaci!n l!(ica
8
1 "os f!rmulas establecen una relaci!n de implicaci!n cuando una de ellas a modo de antecedente, implica a
otra, que 1ace las 'eces de consecuente* Formalmente, que implica se escribe en el metalen(ua#e
como
23
4
2
3
4
5
5
6
6