什么是形式解释论 八论什么意思？如何解释？

八论什么意思？如何解释？  

　（名数）外道十八明处中有八论：一、肩亡婆论，简释诸法之是非者。二、那邪毘萨多论，明诸法之道理者。三、伊底呵婆论，明传记宿世之事者。四、僧佉论，明二十五谛者。五、课伽论，明摄心之法者。六、陀菟论，释用兵杖之法者。七、犍闼婆论，明音乐之法者。八、阿输论，明医方者。见百论疏上之下。