LÓGICA COMBINACIONAL - Wuala

Pode-se utilizar os diagramas lógicos de Euler/Venn para visualizar as relações entre
conjuntos, onde se associa cada termo a uma região do plano, limitado por uma curva
fechada.
A - Proposição universal afirmativa
Todos os X são Y
E - Proposição universal negativa
Nenhum X é Y
Y
X
Y
X
I - Proposição particular afirmativa
O - Proposição particular negativa
Algum X é Y Algum X é não-Y (algum X não é Y)
Y
Y
X
X
1.3 O SILOGISMO
Aristóteles elaborou uma teoria do raciocínio como inferência. Inferir é tirar uma
proposição como conclusão de uma outra ou de várias outras proposições que a
antecedem e são sua explicação ou sua causa. O raciocínio é uma operação do
pensamento realizada por meio de juízos e enunciada lingüística e logicamente pelas
proposições encadeadas, formando um silogismo. Raciocínio e silogismo são operações
mediatas de conhecimento, pois a inferência significa que só conhecemos alguma coisa
(a conclusão) por meio ou pela mediação de outras coisas. A teoria aristotélica do
silogismo é o coração da lógica, pois é a teoria das demonstrações ou das provas, da
qual depende o pensamento científico e filosófico.
O silogismo possui três características principais:
a) Mediato: exige um percurso de pensamento e de linguagem para que se possa
chegar a uma conclusão;
b) Dedutivo: movimento de pensamento e de linguagem que parte de certas afirmações
verdadeiras para chegar a outras também verdadeiras e que dependem
necessariamente das primeiras;
c) Necessário: porque é dedutivo (as conseqüências a que se chega na conclusão
resultam necessariamente da verdade do ponto de partida).
Exemplo mais famoso de silogismo:
Todos os homens são mortais.
Sócrates é homem.
Logo,
Sócrates é mortal.
5