本文選題：一階邏輯 + 集合論��； 參考：《安徽大學學報(哲學社會科學版)》2012年05期

【摘要】：廣義量詞理論在集合論的基礎(chǔ)上得到發(fā)展,提升了一階邏輯處理現(xiàn)實世界的能力,有助于計算機更好地處理自然語言。單調(diào)性是廣義量詞最為重要的語義性質(zhì)。1類型廣義量詞的單調(diào)性與其親緣量詞的單調(diào)性之間具有可轉(zhuǎn)換關(guān)系,同一個1,1類型廣義量詞的不同單調(diào)性之間也具有可轉(zhuǎn)換關(guān)系,這些轉(zhuǎn)換關(guān)系可以用數(shù)字三角形簡圖進行直觀驗證。
[Abstract]:The theory of generalized classifiers is developed on the basis of set theory, which improves the ability of first-order logic to deal with the real world and helps computers to deal with natural languages better. Monotonicity is the most important semantic property of the generalized classifier. The monotonicity of the generalized classifier of type .1 has a transferable relationship with the monotonicity of its relative quantifier, and the different monotonicity of the same type of generalized quantifier is also convertible. These transformation relationships can be directly verified by the diagram of digital triangles.
【作者單位】： 廈門大學哲學系;
【基金】：教育部人文社科研究規(guī)劃基金項目(12YJA72040001)
【分類號】：B815

【相似文獻】

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

1 郭美云;;從動態(tài)認知邏輯的角度看偏好——劉奮榮《動態(tài)偏好邏輯》評介[J];邏輯學研究;2011年02期

2 劉衛(wèi)花;;論蒯因“本體論承諾”及其價值[J];重慶理工大學學報(社會科學);2011年07期

3 劉新文;;現(xiàn)代模態(tài)邏輯探源[J];哲學動態(tài);2011年05期

4 劉明元;陳治龍;;從謂詞邏輯的觀點看傳統(tǒng)詞項邏輯推理中的空詞項[J];畢節(jié)學院學報;2011年06期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會議論文 前10條

1 ;書訊[A];2001年邏輯研究專輯[C];2001年

2 陳波;;蒯因的邏輯哲學[A];1993年邏輯研究專輯[C];1993年

3 李小五;;無窮邏輯與LS定理[A];理有固然——紀念金岳霖先生百年誕辰[C];1995年

4 張錦文;;一種弗晰邏輯的形式系統(tǒng)[A];全國邏輯討論會論文選集[C];1979年

5 李小五;;BF-方法與無窮邏輯[A];1996年邏輯研究專輯[C];1996年

6 劉壯虎;;復合謂詞的邏輯系統(tǒng)[A];2000年邏輯研究專輯[C];2000年

7 劉新文;;一階邏輯函數(shù)完備性和邏輯常項問題[A];科學發(fā)展：社會管理與社會和諧——2011學術(shù)前沿論叢（上）[C];2011年

8 張維真;;試論“基數(shù)量詞”[A];1993年邏輯研究專輯[C];1993年

9 黃華新;胡龍彪;;邏輯的內(nèi)在機制與研究對象——兼評《邏輯的觀念》[A];2001年邏輯研究專輯[C];2001年

10 孟曉青;;Topos理論的哲學意義以及辯證法的形式化[A];1994年邏輯研究專輯[C];1994年

相關(guān)重要報紙文章 前1條

1 戈萊格·萊斯特爾 墨爾本大學哲學、人類學和社會研究學院，，焦兵編譯，熊明輝校;《澳洲邏輯學雜志》簡介[N];中國社會科學報;2009年

相關(guān)博士學位論文 前3條

1 張立娜;個體詞的邏輯語義[D];清華大學;2007年

2 史t

本文編號：1980054