实在论解释 表象理论 逻辑真理 语言哲学 同型同构 符号 卡尔纳普 语义分析方法