四 训诂：逻辑学的另一矿源