Aristóteles escreveu alguns tratados de lógica nos quais nos deixa um método preciso para entender o conhecimento formal (das formas) por meio da linguagem. A lógica é exata, assim como a matemática, e permite o julgamento da forma de um enunciado, permitindo perceber se ele faz sentido ou não. A lógica aristotélica é composta, principalmente, pelo quadrado aristotélico e pela verificação linguística dos enunciados, que hoje pode ser feita pelas tabelas de verdade. O filósofo também conceitua as noções de substância (aquilo que permite que uma matéria siga uma determinada forma) e categorias (diferenças conceituais que classificam os seres, como qualidade, quantidade, cor etc.).