胡红 辛晓东 王汉清 盛作国 俞胜 洪晓楠 吴丽兴 孙雪霞

维特根斯坦 形式逻辑基本规律 协调式 多值逻辑 “存在” 不矛盾律 α—重言式 公理系统Z 排中律 公理系统 插入式 卮言式 前提的一致性 ∑—α—重言式) 双重否定 多值系统 交际意向 联结词 真值函项 现实世界状态 可证性 寓言式 复合命题 语法谓词 准逻辑悖论 语义解释 R0—代数 乘积 系统Z 逻辑哲学