逻辑的拓扑空间
“逻辑空间” 是指一个命题的活动空间
在积极的意义上，它规定了命题可以活动的空间
在否定的意义上，它限定了其他命题作用于这个命题的自由