擴展三段論的可化歸性與廣義量詞的語義性質(zhì)之間的關系
發(fā)布時間:2017-09-19 20:35
本文關鍵詞:擴展三段論的可化歸性與廣義量詞的語義性質(zhì)之間的關系
更多相關文章: 擴展 三段論 可化 歸性 廣義 量詞 語義 性質(zhì) 間的 關系
【摘要】:基于Barwise、Cooper、Keenan、Peters、Westersthl和vanEijck等人的研究成果,作者提出并證明了若干事實和推論。這些事實和推論表明:(1)不同三段論之間的可化歸性本質(zhì)上反映了廣義量詞的單調(diào)性、對稱性等語義性質(zhì)之間的可轉(zhuǎn)換性,因此,我們可以根據(jù)四個亞氏量詞的語義性質(zhì)之間的轉(zhuǎn)換關系來驗證亞氏三段論的可化歸性;(2)利用廣義量詞的語義性質(zhì)可以驗證擴展三段論的不同推理模式之間的可化歸關系。由于廣義量詞在自然語言中普遍存在,因此,本文的研究對廣義量詞理論的發(fā)展和自然語言的信息處理都具有積極意義。
【作者單位】: 廈門大學哲學系;福建省仿腦重點實驗室;
【關鍵詞】: < %E7%B1%BB%E5%9E%8B%E7%9A%84%E5%B9%BF%E4%B9%89%E9%87%8F%E8%AF%8D" target="_blank">>類型的廣義量詞 單調(diào)性 對稱性 亞氏三段論 擴展三段論
【基金】:教育部人文社科研究規(guī)劃項目“面向自然語言信息處理的廣義量詞理論研究”(批準號:12YJA72040001)
【分類號】:B812
【正文快照】: 20世紀以來,為了解釋亞氏三段論以外的大量有效推理,提升一階邏輯的表達力,為計算機能夠更好地處理自然語言而引入了廣義量詞(generalizedquantifiers)。([2])廣義量詞除了包括一階邏輯的全稱量詞和存在量詞外,還包括限定詞以及由限定詞a,an,the或其他量化關系指稱所形成的所,
本文編號:883832
本文鏈接:http://sikaile.net/shekelunwen/ljx/883832.html
最近更新
教材專著