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

发布时间：2018-10-31 09:11

【摘要】：扎尔塔所构造的的二阶模态对象演算[1](P249-279)是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论的演算系统,能用于分析自然语言的内涵语境,因而其本身也是一个内涵逻辑系统。而演算的简单二阶形式则表达了一个关于性质、关系和命题的理论,同时它也为定义情景、可能世界、故事和虚构人物提供了一个框架。扎尔塔的二阶模态对象演算不同于通常的二阶模态谓词演算,二阶对象演算极强的表达力大大增强了它处理逻辑和哲学问题的能力。
[Abstract]:The second order modal plant calculus [1] (P249-279) constructed by Zarta is a logical system of abstract object axiom theory. This system has some important and interesting features. The calculus system with complex typology can be used to analyze the connotative context of natural language, so it itself is a connotative logic system. The simple second-order form of calculus expresses a theory of properties, relations and propositions, and it also provides a framework for defining scenarios, possible worlds, stories and fictional characters. Zarta's second-order modal object calculus is different from the usual second-order modal predicate calculus. The extremely strong expressiveness of second-order object calculus greatly enhances its ability to deal with logical and philosophical problems.
【作者单位】： 苏州大学政治与公共管理学院;
【分类号】：B812.2

【相似文献】

相关期刊论文 前10条

1 吴新民;逻辑语言与思维观念意义域探析[J];青海师范大学学报(哲学社会科学版);2004年05期

2 李志昌;论算法的逻辑特征及其方法论意义[J];楚雄师范学院学报;2002年06期

3 葛恒云;哲学研究必须走马克思指出的“两条道路”——访《广义唯物论第一篇:物性论》一书作者朱广启[J];江西社会科学;2001年01期

4 K．怀尔都!美,鲁旭东;文化的普遍原则是否存在?[J];哲学译丛;1999年03期

5 应奇;本体论的相对性与优先性——从奎因到斯特劳森[J];社会科学战线;1998年05期

6 罗永忠;论教育学元科学研究的五大误区[J];贵州师范大学学报(社会科学版);1997年01期

7 刘述忠,程虎;对象的表示：模式与概念[J];北京大学学报(自然科学版);1996年05期

8 翟玉章;弗雷格的两个区别及其问题[J];社会科学战线;1994年06期

9 李小兵;奎因的本体论承诺[J];北京社会科学;1994年04期

10 胡平;情感的抽象与形式的建构[J];当代文坛;1991年03期

相关硕士学位论文 前4条

1 范传康;锅炉热力计算系统的理论、模型及框架研究[D];浙江大学;2005年

2 王洪刚;虚拟数控机床仿真系统的研究[D];浙江大学;2004年

3 郑桂欣;化工过程仿真系统的开发[D];浙江大学;2003年

4 刘巍巍;关于阴阳五行之基本概念、理论体系结构及动态变化联系之假说[D];天津中医学院;2000年

，

本文编号：2301619