Text this: Formalización del concepto de salud a través de la lógica: impacto del lenguaje formal en las ciencias de la salud