Lgica Aristotlica

Aristteles considerado o fundador da lgica formal por ter

determinado que a validade lgica de um raciocnio depende somente
de sua forma ou estrutura, e no de seu contedo. Introduziu a
anlise da quantificao dos enunciados e das variveis, realizou o
estudo sistemtico dos casos em que dois enunciados implicam um
terceiro, estabeleceu o primeiro sistema dedutivo ou silogstico e
criou a primeira lgica modal, que, ao contrrio da lgica pr-
aristotlica, admitia outras possibilidades alm de "verdadeiro" e
"falso".
No sculo II da era crist, as obras de Aristteles sobre lgica foram
reunidas por Alexandre de Afrodsia sob a designao geral de
rganon. Inclui seis tratados, cuja seqncia corresponde diviso
do objeto da lgica. Estuda as trs operaes da inteligncia: o
conceito, o juzo e o raciocnio.
Conceito a mera representao mental do objeto. Juzo um ato
mental de afirmao ou de negao de uma idia a respeito de outra,
isto , da coexistncia de um sujeito e um predicado. Raciocnio a
articulao de vrios juzos. O objeto prprio da lgica no o
conceito nem o juzo, mas o raciocnio, que permite a progresso do
pensamento. Em outras palavras, no h pensamento estruturado
quando se consideram idias isoladas.
Em Per hermeneas (Da interpretao), um dos tratados do rganon,
Aristteles estuda a proposio, que a expresso verbal do juzo. O
juzo verdadeiro quando une na proposio o que est unido na
realidade, ou separa, na proposio, o que est realmente separado.
A verdade , assim, a adequao ou a correspondncia entre o juzo
e a realidade. Esse tratado procura principalmente determinar as
oposies possveis entre as proposies.
A partir do juzo de existncia ou de realidade, considerado
primordial, Aristteles estabelece as seguintes modalidades de
oposio e de negao: o animal ; o animal no ; o no-animal ;
o no-animal no . As proposies simples apresentam as mesmas
modalidades. Outro tipo de proposies admite maior nmero de
modalidades: o homem mortal; o homem no mortal; o homem
no-mortal; o homem no no-mortal; o no-homem mortal; o
no-homem no mortal etc.
Os juzos se dividem de acordo com a qualidade, a quantidade, a
relao e a modalidade. Quanto qualidade, podem ser afirmativos
ou negativos. Os afirmativos sustentam a convenincia do predicado
ao sujeito (o homem racional), enquanto os negativos sustentam a
no convenincia entre eles (o homem no imortal). De acordo com
a quantidade, os juzos podem ser de trs tipos: universais, quando o
sujeito tomado em toda sua extenso (todo homem mortal);
particulares, quando o sujeito tomado em parte de sua extenso
(alguns homens so brasileiros); e individuais ou singulares,
situaes em que o sujeito tomado no mnimo de sua extenso
(Aristteles filsofo).
Com relao quantificao do sujeito, distingue-se a compreenso,
que o contudo do conceito, e a extenso, que indica a quantidade
de objetos aos quais o conceito se aplica. Quanto maior for o
contedo, ou conjunto de atributos caractersticos do conceito, menor
ser a extenso. Por exemplo, o conceito "mesa" abrange todos os
membros da classe. Quando se acrescenta o atributo "branca",
aumenta-se a compreenso, mas limita-se a quantidade de mesas
individuais a que se refere e diminui-se a extenso.
Do ponto de vista da relao, os juzos se distinguem em categricos,
hipotticos e disjuntivos. No juzo categrico, o enunciado independe
de condies (Aristteles grego); no hipottico, condicional (se
fizer bom tempo, sairemos); no disjuntivo, tambm condicional, a
condio est na prpria predicao (o objeto real fsico ou
psquico).
De acordo com a modalidade, os juzos podem ser assertricos,
problemticos e apodcticos. No juzo assertrico, a validade do
enunciado de fato e no de direito (o livro est aberto, mas poderia
estar fechado); no problemtico, a validade apenas possvel (talvez
as injustias sejam reparadas); no apodctico a validade necessria
e de direito, e no de fato (dois mais dois so quatro).
Raciocinar, em lgica, significa estabelecer uma relao necessria
entre duas proposies ou enunciados. No tratado Analysis prt
(Primeiras analticas), terceira parte do rganon, Aristteles estuda o
silogismo, cuja doutrina criou, para estabelecer as condies
fundamentais do conhecimento cientfico. O silogismo "um
argumento do qual, admitidas certas coisas, algo diferente resulta
necessariamente de sua verdade, sem que se precise de qualquer
outro termo". Aristteles distingue o silogismo, ou deduo, da
induo. A deduo vai do universal ao particular, e a induo do
particular ao universal. Mesmo assim, compreende que a induo
no fundo silogstica.
No tratado do rganon intitulado Anlysis deutera (Segundas
analticas), Aristteles estuda a demonstrao e a definio. A
propsito, indica os temas possveis da investigao cientfica: (1) o
que a palavra significa; (2) o que o objeto correspondente ; (3) qual
a essncia desse objeto; (4) quais so suas propriedades; (5) por
que tem essas propriedades. Assim, o mtodo cientfico comea com
a determinao de um objeto conhecido apenas pelo nome, e
prossegue com a determinao da essncia e da existncia do objeto.
A demonstrao um silogismo cientfico cujas premissas devem ser
verdadeiras, primeiras, indemonstrveis e mais inteligveis do que a
concluso e a causa da concluso. Os princpios, ou pontos de partida
do conhecimento cientfico, so os axiomas e as teses das diversas
cincias, subdivididas em hipteses e definies. Acrescentam-se
ainda os postulados que, ao contrrio dos tipos de proposio
mencionados, s devem ser admitidos depois de demonstrados.
A cincia consiste no encadeamento lgico das proposies que,
tomadas isoladamente, no poderiam ser conhecidas como
verdadeiras. A rigor, a demonstrao trata de evidenciar, por meio de
mediaes sucessivas, o que inicialmente admitido como simples
hiptese ou suposio. Alm da demonstrao ou da prova,
Aristteles admite, como forma de conhecimento, os primeiros
princpios, que excluem a demonstrao.
Perguntar o que alguma coisa perguntar qual a essncia dessa
coisa, e responder pergunta expor essa essncia em sua
definio. Aristteles classifica trs espcies de definio: a
indemonstrvel (a unidade em aritmtica, por exemplo); a definio
causal ou real; e a definio nominal. A propsito da definio da
espcie, recomenda:
(1) s tomar como caractersticas de espcie os atributos
que pertencem a sua essncia;
(2) apresentar os atributos em ordem, do determinvel
ao determinando;
(3) dar as indicaes necessrias para distinguir o
definido de tudo o que dele difere. A obedincia a essas
regras permitir definir, pela indicao do gnero prximo
e da diferena especfica, determinaes que, por
hiptese, devem conter a essncia do objeto definido.
Por consistir numa reduo evidncia, a demonstrao implica a
apreenso dos primeiros princpios, indemonstrveis. No processo
que conduz da percepo cincia, Aristteles v que o primeiro
momento a memria ("persistncia da percepo") e o seguinte a
experincia, que a lembrana das percepes dos mesmos objetos
e a abstrao daquilo que apresentam em comum. A passagem do
particular ao universal possvel porque o que se percebe no objeto
particular no o que o particulariza, mas os caracteres que tem em
comum com objetos semelhantes. Ao ascender a universais cada vez
mais extensos, chega-se, pela razo intuitiva, aos primeiros princpios
da cincia, os axiomas, as definies, os postulados e as hipteses.
Segundo Aristteles, por induo que se aprendem os primeiros
princpios, pois assim que a percepo produz o universal.