En 1315, Ramon Llull tuvo la idea de que el razonamiento podía ser efectuado de maneral artificial.