逻辑的不敢说.法律的分法很多,从国际体系上分,分大陆法和欧美伐,大陆法是成文法,成文法分为实体法和程序法.
合同不能这么分,合同法分类很多,没有分类的叫无名合同.所以,你简单分为有名合同和无名合同号