O que é a lógica para a filosofia?