SILOGISMO

Um silogismo é um argumento dedutivo no qual é inferida um conclusão a partir de duas premissas.
As inferências silogísticas tratadas por Aristóteles dizem respeito a duas premissas e três termos, um dos quais é comum às duas premissas.

O problema de inferência silogística deixa-se formular do seguinte modo:
- que conclusão se segue de duas premissas com um termo comum a ambas e tal que este termo não ocorre na conclusão.
- ou como eliminar um termo comum a um par de premissas dado.
Em resumo:
Se de uma preposição com termos M. P. e de uma preposição com termos M. S. se infere um preposição Y com nenhuma ocorrência de M. então esta inferência chama-se silogismo.

Etinema: é um silogismo incompleto por não ser expressa uma das premissas.

Forma normal predicativa: S é P (sujeito/copula/predicado)

Regras de justificação silogística
- Predicado da conclusão é termo maior> (P) e ocorre na premissa maior ou 1ªpremissa.
- O sujeito da conclusão é termo menor< (S) e ocorre na premissa menor ou 2ª premissa. - O termo médio (M) ocorre em ambas as premissas e não na conclusão. Forma 1 - PREMISSA MAIOR M É P.

Se todos os antenienses são educadores de jovens.
2 - PREMISSA MENOR S É M.
E se Socrates é anteniense
3 - CONCLUSÃO S É P.
Então Socrates é educador de jovens.

M É O TERMO MÉDIO.



SILOGISMO VÁLIDOS

I FIGURA - AAA ; AII ; EAE ; EIO
II FIGURA - EAE ; EIO ; AEE ; EOO
III FIGURA - AAI ; IAI ; AII ; EAO ; OAO ; EIO
IV FIGURA - AAI ; AEE ; IAI ; EAO ; EIO