silogismo
O silogismo (a partir do συλλογισμός grego, syllogismòs, formado por σύν, syn, "em conjunto", e λογισμός, logismos, "calcular": assim, "raciocínio encadeada") é um tipo de raciocínio demonstrativo foi teorizado pela primeira vez por Aristóteles , que, a partir dos três tipos do termo "maior" (que actua como um predicado na conclusão), "médio" e "menor" (que na conclusão actua como sujeito) classificado de acordo com o relatório contendo - conteúdo, chega a uma conclusão conectando os termos acima através de declarações breves (premissa). A filosofia escolar formalizou que, se uma única premissa ou ambas são falsas, a proposição consequente é necessariamente falsa. Em vez disso, se as premissas são verdadeiras, a conclusão pode ainda ser falso, como mostram os paradoxos lógicos chamados que são a principal limitação da lógica formal, ou que ignora o conteúdo de sujeitos individuais e predicados inseridas no lugar de letras. Portanto, o silogismo é uma ferramenta necessária, mas, por si só, não é suficiente para chegar à verdade.