Qual é a importância de aristóteles para a lógica