El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente de la lógica aristotélica, que sería más tarde desarrollada por los lógicos islámicos y, luego, por los lógicos de la Edad Media europea.