As regras do silogismo, os princípios da lógica formal, que, como disse Kant, não avançaram desde então, vêm das matemáticas. Aristóteles tirou-as, (está hoje provado), do raciocínio dos geómetras, da lógica das matemáticas. Note-se, também, que, em grego, a palavra maqesiV (mathesis) quer dizer ciência.