12/7/2014 Sistema dedutivo aristotlico

DOMINGOS
FARIA
PhD student of philosophy at the University
of Lisbon

Incio > Lgica

Sistema dedutivo aristotlico

Gosto 2

Aristteles foi o primeiro a empreender um estudo sistemtico de inferncias dedutivas, sendo por isso
considerado o fundador da lgica. No corao da sua teoria lgica reside a silogstica assertrica, que est
presente nos captulos 1.1-2 e 1.4-7 do livro "Analticos Anteriores". A silogstica assertrica lida com
proposies no-modais tais como "Todo homem mortal" ou "Alguns homens no so gregos". Normalmente
Aristteles representa estas proposies por meio de uma certa construo artificial usando o verbo "pertence
a". Por exemplo, ele usa a frase "A pertence a todo B" em vez de "Todo B A", e "A no pertence a algum B" em
vez de "Algum B no A". Aristteles foca-se em quatro tipos de proposies assertricas, que so
habitualmente identificadas pelas letras "a" (universal afirmativa), "e" (universal negativa), "i" (particular
afirmativa) e "o" (particular negativa). Alm disso, costuma-se usar a letra "X" para indicar que uma proposio
no-modalizada. (Para indicar proposies modalizadas necessrias utiliza-se a letra "N", para indicar a
modalidade do que no impossvel utiliza-se a letra "M", e para o que no necessrio nem impossvel utiliza-
se a letra "Q"). Assim, utilizando a notao de Marko Malink (2013) e de outros especialistas, podemos
escrever as quatro proposies da lgica assertrica da seguinte forma:

AaxB = A pertence a todo B = Todo B A

AexB = A no pertence a nenhum B = Nenhum B A
AixB = A pertence a algum B = Algum B A
AoxB = A no pertence a algum B = Algum B no A

Nesta notao, "A" representa o termo predicado, "B" o termo sujeito, e expresses como "ax", "ex", etc,
representam a cpula. Nos primeiros sete captulo do livro "Analticos Anteriores" desenvolve-se um sistema
dedutivo dessas proposies baseado nas regras de converso e nos silogismos perfeitos da primeira figura.
Mas ainda no princpio, em 1.1-22, Aristteles evidencia as trs figuras de silogismo, as quais se podem
representar usando "x", "y" e "z" como smbolos para serem substitudos por uma cpula:

Primeira Figura: AxB, ByC AzC

Segunda Figura: Bxa, ByC AzC
Terceira Figura: AxB, CyB AzC

Para Aristteles s existiam estas trs figuras (vale a pena salientar que a quarta figura, bem com as regras
tradicionais de validade silogsticas, ou a distribuio dos termos, etc, so invenes posteriores a Aristteles,
sobretudo medievais). Ora, ao substituirmos "x", "y" e "z" por cpulas concretas, obtemos os chamados
modos do silogismo. E alguns desses modos so vlidos de acordo com Aristteles, enquanto outros so
invlidos. Na lgica assertrica os modos vlidos da primeira figura so os seguintes:

http://blog.domingosfaria.net/2014/07/sistema-dedutivo-aristotelico.html 1/3
12/7/2014 Sistema dedutivo aristotlico

Barbara: AaxB, BaxC AaxC

Celarent: AexB, BaxC AexC
Darii: AaxB, BixC AixC
Ferio: AexB, BixC AoxC

Nos "Analticos Anteriores", em 1.4, Aristteles no s considera que estas quatro formas so vlidas mas
tambm perfeitas. Ou seja, ele considera a sua validade como evidente, no sendo preciso qualquer prova para
mostrar a sua validade. Todavia, os modos que ele identifica como vlidos na segunda e na terceira figura no
so perfeitos e, por isso, precisam de prova. De forma a provar a sua validade, Aristteles faz uso dos
silogismos perfeitos da primeira figura e das seguintes regras de converso:

Converso-ex: AexB BexA

Converso-ix: AixB BixA
Converso-ax: AaxB BixA

Atravs desse mtodo, nos captulos 1.5-6 dos "Analticos Anteriores", Aristteles prova a validade dos
seguintes modos:

Segunda figura: Cesare, Camestres, Festino, Baroco.

Terceira figura: Darapti, Disamis, Datisi, Felapton, Ferison, Bocardo.

A prova desses modos vlidos feita por Aristteles por dedues diretas ou por dedues indiretas (i.e. com
recurso reduo ao absurdo). Este sistema dedutivo aristotlico baseia-se em sete regras de deduo,
nomeadamente: as trs regras de converso e os quatro silogismos perfeitos da primeira figura. Neste sistema,
as dedues diretas comeam com as proposies que so as premissas de um dado argumento, e cada uma
das proposies subsequentes derivada a partir das proposies precedentes por meio de alguma das sete
regras de deduo. A ltima proposio ser a concluso da deduo. Por exemplo, em 1.5 27a9-14 dos
"Analticos Anteriores" existe uma deduo direta de Aristteles para provar a validade do modo Camestres
da segunda figura. Ou seja, quer provar-se que da premissa maior "BaxA" e da premissa menor "BexC" se pode
concluir validamente "AexC". Assim,

1. BaxA (premissa maior)

2. BexC (premissa menor)
3. CexB (de 2, por converso-ex)
4. CexA (de 3 e 1, por Celarent)
5. AexC (de 4, por converso-ex)

Portanto, como se pode ver, a validade de Camestres foi provada, pois a partir das premissas 1 e 2, e utilizando
as regras de deduo do sistema aristotlico, conseguimos chegar concluso da linha 5. No entanto, entre os
vrios silogismos vlidos da lgica assertrica, existem dois em que no se consegue provar a sua validade por
reduo direta: o Baroco e o Bocardo. Apesar disso, Aristteles consegue provar a validade desses silogismos
por dedues indiretas, ou seja, utilizando o mtodo de reduo ao absurdo. Deste modo, nas redues
indiretas depois de se escreverem as premissas coloca-se logo de seguida a negao da concluso, ou seja, a
contraditria da concluso. Por exemplo, "AaxB" contraditria de "AoxB" e vice-versa; do mesmo modo,
"AexB" a contraditria de "AixB" e vice-versa. A esse passo de se colocar a contraditria da concluso chama-
se "suposio". A partir da procede-se a vrias derivaes, utilizando algumas das sete regras de deduo, at
se encontrar duas proposies que so contraditrias ou incompatveis. Deste modo, se derivamos a partir da
suposio inicial proposies contraditrias ou incompatveis, ento essa suposio falsa e por isso devemos
concluir a negao da suposio. Vejamos, ento, por exemplo a prova para Baroco (da segunda figura) em que

http://blog.domingosfaria.net/2014/07/sistema-dedutivo-aristotelico.html 2/3
12/7/2014 Sistema dedutivo aristotlico

se tenta mostrar que as premissas "BaxA" e "BoxC" implicam a concluso "AoxC":

1. BaxA (premissa maior)

2. BoxC (premissa menor)
3. AaxC (suposio; negao da concluso de Baroco)
4. BaxC (de 1 e 3, por Barbara)
5. (2 e 4, contraditrias)
6. AoxC (de 3 e 5, por reductio)

Nesta prova, na linha 3, comeou-se pela suposio para a reduo ao absurdo. Por conseguinte, a linha 4
justificada por Barbara (que uma das regras de deduo deste sistema). Depois encontramos proposies
contraditrias nas linhas 2 e 4; por isso, a suposio inicial falsa e, assim, conclumos no final a negao dessa
suposio. QED! Mostramos dessa forma que a concluso "AoxC" se segue validamente das premissas;
portanto Baroco vlido. Com este sistema de dedues diretas e indiretas consegue-se provar todos os
restantes silogismos vlidos da lgica assertrica. fantstico ver como que Aristteles inventou todo este
sistema dedutivo para a lgica assertrica silogstica (sobretudo se pensarmos que este sistema tem mais de
2300 anos e ainda hoje mantm a sua relevncia). Mas, alm disso, no campo da lgica Aristteles tambm
criou o seu sistema de lgica modal silogstica deixando em aberto alguns problemas que ainda hoje
continuamos a tentar resolver. Uma das mais recentes respostas a esses problemas encontra-se no excelente
livro "Aristotles Modal Syllogistic", de Marko Malink, que foi publicado no ano passado. A lgica aristotlica
continua bem viva!

Um desafio para o leitor: tente resolver as restantes dedues (diretas ou indiretas) que provam os silogismos
vlidos da lgica aristotlica e deixe a sua resoluo nos comentrios a este texto.

Interessante 0 Recomendo 0 Obrigatrio ler! 1

Gostou deste artigo? Receba outros por e-mail, assine a nossa newsletter. Digite aqui o seu e-mail:
Inscrever-se

Este artigo, com 0 comentrios, encontra-se no seguinte tema: Lgica

Escreva aqui os seus comentrios ao artigo "Sistema dedutivo

aristotlico":
Adicionar um comentrio...

Publica tambm no Facebook Publicar como Van Oliveira (No s tu?) Comentar

Plugin social do Facebook

http://blog.domingosfaria.net/2014/07/sistema-dedutivo-aristotelico.html 3/3