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