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

摘要：

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

关键词：二阶模态对象演算、抽象对象、具体对象

所属期刊栏目：55

分类号：B812.2(逻辑学(论理学))

在线出版日期：2010-07-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：93-98