En logique du premier ordre, une Structure de Herbrand S est une structure sur un vocabulaire σ qui est défini uniquement par les propriétés syntaxiques de σ. L'idée étant de se contenter de prendre les symboles des termes comme leurs valeurs. Ainsi la valeur d'un symbole constant c est juste "c"(en tant que symbole). Ces structures tirent leur nom du mathématicien français Jacques Herbrand.
Les structures de Herbrand jouent un rôle important dans les fondations de la programmation logique[1].