Tipar o no tipar, una cuestión de lógica