（三）关于辩证逻辑能否形式化的问题