人性标准 模态逻辑学 克里普克 小世界 科学技术发展 排中律 反馈环路 可能世界理论