公丕臻 黄健美 王国仁 刘叶涛 何向东 张力锋 信俊昌 吕进 贾玉树 陈北宁 鞠实儿 李春泰 李剑

本体论 模态逻辑 严格性 仿本 语义学 意义 实在论 谓词演算 认识论 整体论 跨世界同一性 发生论 语义规则 猜测 真值表 跨界同一 模态逻辑系统 不一致性 跨世界识别 数理逻辑 先天性 归纳概率逻辑 存在概率 刘易斯 轮廓 归纳逻辑 假说 不确定性 函项 必然性