Lógica (Logikê) — Ciência das leis formais do pensamento correto e da argumentação válida. Aristóteles funda a lógica com os Analíticos e o estudo do silogismo. Os estoicos desenvolvem a lógica proposicional. Frege (final do séc. XIX) e Russell (início do séc. XX) fundam a lógica matemática (simbólica), que analisa estruturas formais da linguagem com rigor algébrico. Wittgenstein na fase do Tractatus propõe que a lógica mostra a forma do mundo.


Glossário