El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega.