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

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

　（名数）外道六种之论也。婆薮盘豆法师传曰：「四皮陀六论。」百论疏上之下曰：「六论者：一式叉（Śikṣā）论，释六十四能法。二毘伽罗（Vyākaraṇa）论，释诸音声法。三柯刺波（Kalpa）论，释诸天仙上古以来因缘名字。四竖底沙（Jyotiṣa）论，释天文地理算数等法。五阐陀（Chandas）论，释作首卢迦法，佛弟子五通仙等说偈名首卢迦。六尼鹿多（Nirukta）论，释立一切物名因缘。」