Sant’Anselmo, la teologia, la logica e la storia della logica