扎尔塔的二阶模态对象演算

• 作者: 朱建平
• 来源期刊: 山东师范大学学报(人文社会科学版)
• 学科: 哲学
• 关键词: 二阶模态对象演算 抽象对象 具体对象
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 哲学研究
• 页码范围: 93-98
• 分类号: B812.2
• 字数: 8380字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-5973.2010.03.018

摘要

扎尔塔所构造的的二阶模态对象演算[1](p249-279)是一个抽象对象公理理论的逻辑系统.该系统有若干重要而有趣的特征;配有复杂类型论的演算系统,能用于分析自然语言的内涵语境,因而其本身也是一个内涵逻辑系统.而演算的简单二阶形式则表达了一个关于性质、关系和命题的理论,同时它也为定义情景、可能世界、故事和虚构人物提供了一个框架.扎尔塔的二阶模态对象演算不同于通常的二阶模态谓词演算,二阶对象演算极强的表达力大大增强了它处理逻辑和哲学问题的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱建平	苏州大学政治与公共管理学院	67	66	4.0	4.0