filosofia aristoteles

Aristóteles é considerado o fundador da lógica formal por ter determinado que a validade lógica de um raciocínio depende somente de sua forma ou estrutura, e não de seu conteúdo. Introduziu a análise da quantificação dos enunciados e das variáveis, realizou o estudo sistemático dos casos em que dois enunciados implicam um terceiro, estabeleceu o primeiro sistema dedutivo ou silogístico e criou a primeira lógica modal, que, ao contrário da lógica pré-aristotélica, admitia outras possibilidades além de "verdadeiro" e "falso".
No século II da era cristã, as obras de Aristóteles sobre lógica foram reunidas por Alexandre de Afrodísia sob a designação geral de Órganon. Inclui seis tratados, cuja seqüência corresponde à divisão do objeto da lógica. Estuda as três operações da inteligência: o conceito, o juízo e o raciocínio.
Conceito é a mera representação mental do objeto. Juízo é um ato mental de afirmação ou de negação de uma idéia a respeito de outra, isto é, da coexistência de um sujeito e um predicado. Raciocínio é a articulação de vários juízos. O objeto próprio da lógica não é o conceito nem o juízo, mas o raciocínio, que permite a progressão do pensamento. Em outras palavras, não há pensamento estruturado quando se consideram idéias isoladas.
Em Perí hermeneías (Da interpretação), um dos tratados do Órganon, Aristóteles estuda a proposição, que é a expressão verbal do juízo. O juízo é verdadeiro quando une na proposição o que está unido na realidade, ou separa, na proposição, o que está realmente separado. A verdade é, assim, a adequação ou a correspondência entre o juízo e a realidade. Esse tratado procura principalmente determinar as oposições possíveis entre as proposições.
A partir do juízo de existência ou de realidade, considerado primordial, Aristóteles estabelece as seguintes modalidades de oposição e de negação: o animal é; o animal não é; o não-animal é; o não-animal não é. As proposições simples apresentam as mesmas modalidades. Outro tipo de