Silogismos Categ—ricos - CFH

Além dessas inferências, cabe ainda salientar que de uma proposição universal afirmativa
(em ’A’), como ’Todo homem é mortal’, podemos derivar ’Sócrates é mortal’;
trata-se de uma aplicação do princípio aristotélico dictum de omni et nullo, como diziam
os medievais: o que é predicado de qualquer todo é predicado de qualquer parte
deste todo [Kneale&.1980, p.81]. Isso vale tanto para proposições afirmativas quanto
para negativas.
Exercício 5 Podemos fazer as seguintes inferências? Justifique:
1. Obter "Alguns mortais são cachorros"de "Alguns cachorros são mortais".
2. "Nenhum ser voador é um anjo"de "Nenhum anjo é um ser voador".
3. "Alguns bêbados são divertidos"de "Todos os bêbados são divertidos".
Os três termos Para as demais inferências, é preciso notar que, em um silogismo
categórico, as três proposições que nele figuram ligam três termos, ditos termo maior
(P), termo médio (M) e termo menor (S ). A conclusão (a terceira proposição) contém
os termos maior e menor (na terminologia que se usa hoje, S designa o sujeito
e P o predicado); o seu termo predicado é o termo maior e o seu termo sujeito é o
termo menor. O termo médio aparece unicamente nas premissas, e em ambas deve ter
o mesmo conteúdo, ou compreensão e deve haver pelo menos um objeto que comprove
este conceito. Uma das premissas, a premissa principal, contém o termo médio
e o termo maior, a premissa menor contém o termo médio e o termo menor. Os aristotélicos
representaram todas as formas válidas de silogismos por meio de quatro figuras
(Aristóteles havia considerado apenas três figuras — veja o verbete Aristotle’s Logic
na Stanford Encyclopedia (SEP), [Smith.]), 2 como na figura 2, onde são apresentadas
somente as duas premissas.
Resumo
Premissa maior: termos M e P
Premissa menos: termos M e S
Conclusão: termos S e P
Nota-se que, como salientou Aristóteles, em todo silogismo devemos ter sempre uma
premissa universal, e pelo menos uma delas deve ser afirmativa. Dentre as 64 possibilidades
(4 3 ), os medievais usavam versos em latim para memorizar as 24 formas válidas
de inferência dadas por cada figura. As 19 primeiras são: 3
Barbara, Celarent, primae Darii, Ferio que.
Cesare, Camestres, Festino, Baroco, secundae.
2. Há uma tradução deste verbete, publicada na revista Kinesis, mas infelizmente a terceira figura tem
um erro, conforme se pode constatar no artigo original na SEP.
3. Cf. Dopp 1970, pp. 143-144.
5