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)
Sem comentários:
Enviar um comentário