司马谈对诸子百家的派别归类，中国哲学史上的逻辑学