Se le considera uno de los lógicos más importantes de todos los tiempos.