er的定义，石炭蜥目则包括所有非羊膜动物、像爬行动物及两栖类的迷齿螈，原有的定义则较像他的开始椎类。内德·科尔伯特（Edwin H. Colbert）则缘用这个定义，但后来于1970年则有学者重新使用Säve-Söderbergh的定义。随着支序分类学的出现，这个分类亦有所变更。最初石炭蜥目只是指最像爬行动物的四足超纲（钝头龙亚目及Solenodonsauridae）及羊膜动物。但后来石炭蜥目，与蜥螈形类及钝头龙亚目，成为了爬行形类下的侧系群。
名字起源.石炭蜥目的名字源自