Há quatro leis do pensamento clássicas reconhecidas na filosofia ocidental, principalmente a partir da filosofia do século XVII e da filosofia do século XVIII, e amplamente discutidas na filosofia do século XIX. No formulação de Leibniz, tais leis ou princípios são:

• A lei da não-contradição,
• A lei do terceiro excluído,
• O princípio de razão suficiente e
• O princípio da identidade dos indiscerníveis.