¿que pretende el estudio y desarrollo de la lógica?