Os filósofos clássicos identificaram a lógica a uma arte de pensar, e nela se faz o conhecimento dos procedimentos necessários que segue o sujeito em sua démarche cognitiva. De maneira mais técnica o primeiro corpo de doutrina lógica totalmente constituído é fornecido pelos Primeiros Analíticos de Aristóteles, onde se encontra formulada a teoria dos silogismos. A lógica é então uma disciplina formal, ela não se preocupa com o conteúdo do raciocínio. [Notions Philosophiques]