La lógica actual formaliza los enunciados lingüísticos bien como relación de clases o como funciones proposicionales o relaciones.