Le nom de Badis est d?origine berbère et son usage, en Algérie et au Maghreb, remonte, sous des formes diverses, à l?antiquité. Il provient de la racine BEDD, qui a fourni principalement le verbe bded, variante courante bedd (être debout, se dresser, par extension être prêt à, se préparer au combat, être vigilant, etc.). On relève, dans l?Antiquité, sur les stèles libyques le nom YBDD qu?il faut lire probablement Yebded (il est debout, il a résisté, par extension il est solide, puissant), ou à la forme optative Yabdad (qu?il soit debout, dressé, qu?il reste debout, c'est-à-dire invincible). La forme moderne, Badis, elle, remonte au Moyen Age et doit se lire : badd(y)is (debout par lui, par elle, c'est-à-dire le peuple, le clan, la tribu, c'est-à-dire porté au pouvoir, au commandement par le peuple, le clan, la tribu). Au Moyen Age toujours, on note Badisen, à lire badd-yisen (debout par eux, c'est-à-dire ses hommes, ses partisans), Badasen, peut-être à la forme optative (qu?il soit debout par eux) et Nebdasen, peut-être (a)nebdad(n)sen (leur appui, leur soutien). A l?époque moderne, on relève, outre Badis, une autre forme, attestée cette fois chez les Touareg : Badi ou Baddi, qui a le même sens que les autres (debout, dressé, fort, invincible).