En lógica, pues, un concepto viene a definir el dominio de una variable que sólo adquiere sentido de existencia cuando está determinado por un cuantificador o determinado por una constante.