發(fā)布時間：2018-10-31 09:11

【摘要】：扎爾塔所構(gòu)造的的二階模態(tài)對象演算[1](P249-279)是一個抽象對象公理理論的邏輯系統(tǒng)。該系統(tǒng)有若干重要而有趣的特征;配有復(fù)雜類型論的演算系統(tǒng),能用于分析自然語言的內(nèi)涵語境,因而其本身也是一個內(nèi)涵邏輯系統(tǒng)。而演算的簡單二階形式則表達(dá)了一個關(guān)于性質(zhì)、關(guān)系和命題的理論,同時它也為定義情景、可能世界、故事和虛構(gòu)人物提供了一個框架。扎爾塔的二階模態(tài)對象演算不同于通常的二階模態(tài)謂詞演算,二階對象演算極強(qiáng)的表達(dá)力大大增強(qiáng)了它處理邏輯和哲學(xué)問題的能力。
[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.
【作者單位】： 蘇州大學(xué)政治與公共管理學(xué)院;
【分類號】：B812.2

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 吳新民;邏輯語言與思維觀念意義域探析[J];青海師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2004年05期

2 李志昌;論算法的邏輯特征及其方法論意義[J];楚雄師范學(xué)院學(xué)報;2002年06期

3 葛恒云;哲學(xué)研究必須走馬克思指出的“兩條道路”——訪《廣義唯物論第一篇:物性論》一書作者朱廣啟[J];江西社會科學(xué);2001年01期

4 K．懷爾都!美,魯旭東;文化的普遍原則是否存在?[J];哲學(xué)譯叢;1999年03期

5 應(yīng)奇;本體論的相對性與優(yōu)先性——從奎因到斯特勞森[J];社會科學(xué)戰(zhàn)線;1998年05期

6 羅永忠;論教育學(xué)元科學(xué)研究的五大誤區(qū)[J];貴州師范大學(xué)學(xué)報(社會科學(xué)版);1997年01期

7 劉述忠,程虎;對象的表示：模式與概念[J];北京大學(xué)學(xué)報(自然科學(xué)版);1996年05期

8 翟玉章;弗雷格的兩個區(qū)別及其問題[J];社會科學(xué)戰(zhàn)線;1994年06期

9 李小兵;奎因的本體論承諾[J];北京社會科學(xué);1994年04期

10 胡平;情感的抽象與形式的建構(gòu)[J];當(dāng)代文壇;1991年03期

相關(guān)碩士學(xué)位論文 前4條

1 范傳康;鍋爐熱力計算系統(tǒng)的理論、模型及框架研究[D];浙江大學(xué);2005年

2 王洪剛;虛擬數(shù)控機(jī)床仿真系統(tǒng)的研究[D];浙江大學(xué);2004年

3 鄭桂欣;化工過程仿真系統(tǒng)的開發(fā)[D];浙江大學(xué);2003年

4 劉巍巍;關(guān)于陰陽五行之基本概念、理論體系結(jié)構(gòu)及動態(tài)變化聯(lián)系之假說[D];天津中醫(yī)學(xué)院;2000年

，

本文編號：2301619