| 扎尔塔的二阶模态对象演算 |
| |
| 引用本文： | 朱建平.扎尔塔的二阶模态对象演算[J].山东师范大学学报(人文社会科学版),2010,55(3):93-98. |
| |
| 作者姓名： | 朱建平 |
| |
| 作者单位： | 苏州大学,政治与公共管理学院,江苏,苏州,215123 |
| |
| 摘 要： | 扎尔塔所构造的的二阶模态对象演算1]（P249-279）是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论的演算系统,能用于分析自然语言的内涵语境,因而其本身也是一个内涵逻辑系统。而演算的简单二阶形式则表达了一个关于性质、关系和命题的理论,同时它也为定义情景、可能世界、故事和虚构人物提供了一个框架。扎尔塔的二阶模态对象演算不同于通常的二阶模态谓词演算,二阶对象演算极强的表达力大大增强了它处理逻辑和哲学问题的能力。
|
| 关 键 词： | 二阶模态对象演算 抽象对象 具体对象 |
Zalta's The Modal Object Calculus and Its Interpretation |
| |
| Zhu Jianping.Zalta's The Modal Object Calculus and Its Interpretation[J].Journal of Shandong Teachers' University(Social Science Edition),2010,55(3):93-98. |
| |
| Authors: | Zhu Jianping |
| |
| Institution: | Zhu Jianping (School of Politics and Public Administration,Soochow University,Soochow Jiangsu 215123) |
| |
| Abstract: | The modal object calculus is the system of logic which houses the proper axiomatic theory of abstract objects.this calculous has some rather interesting feature.The most sophosticated type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language so constitutes an intensional logic.However,The simple second-order version of the calculus couches a theory of fine-grained properties and propositions and serves as a framework for defining situations,possible worlds,stories and fictional characters. |
| |
| Keywords: | second order modal object calculous abstract objects ordinary objects |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
