四、逻辑的一元论、多元论和工具论