本文關鍵詞：基于廣義量詞理論的直言三段論推理規(guī)則的形式化辨析

  更多相關文章： 廣義量詞理論 亞里斯多德量詞 三段論 推理規(guī)則

【摘要】：在國內外新近研究成果的基礎上,作者通過對作為廣義量詞特例的四個亞里斯多德量詞的普遍語義性質和推理特征的研究,形式化地揭示了如何從廣義量詞理論的角度來解釋直言三段論的推理規(guī)則。此研究對一階邏輯和廣義量詞理論的發(fā)展、自然語言信息處理以及計算機科學中的知識表示和知識推理,都具有重要的理論意義和實踐價值。
【作者單位】： 四川師范大學政教學院;四川邏輯學學會;
【關鍵詞】： 廣義量詞理論 亞里斯多德量詞 三段論 推理規(guī)則
【基金】：國家社科基金重大招標項目(10&ZD073) 教育部人文社科規(guī)劃基金項目(12XJA740007)
【分類號】：B812.23
【正文快照】： 通過深人研究,筆者發(fā)現(xiàn):利用廣義量詞理論(generalized quantifier theory),就可以清晰明了且形式化地說明直言三段論的推理規(guī)則,并可以為有效的直言三段論給出直觀簡潔的形式化證明。這是因為:直言三段論實際上就,關于all,some,no,not all這四個亞里斯多德量詞的三段論,其中

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前5條

1 張曉君;黃朝陽;;廣義量詞理論的淵源及其發(fā)展趨勢[J];重慶與世界(學術版);2012年07期

2 張曉君;黃朝陽;;基于廣義量詞理論的亞氏三段論[J];重慶理工大學學報(社會科學);2012年10期

3 張曉君;;廣義量詞的相關性質研究[J];邏輯學研究;2010年03期

4 張曉君;;擴展三段論的可化歸性與廣義量詞的語義性質之間的關系[J];邏輯學研究;2012年02期

5 張曉君;林勝強;;如何利用廣義量詞的語義性質判斷擴展三段論的有效性[J];邏輯學研究;2013年02期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 張炯;;包含非連續(xù)成分的句子的語義計算[J];重慶工學院學報(社會科學版);2008年06期

2 朱小美,張明;當代國外有關模糊語言學的主要研究簡評[J];當代語言學;2005年03期

3 張曉君;黃朝陽;;廣義量詞理論的淵源及其發(fā)展趨勢[J];重慶與世界(學術版);2012年07期

4 張曉君;;廣義量詞的各種單調性之間的關系[J];安徽大學學報(哲學社會科學版);2012年05期

5 張曉君;黃朝陽;;基于廣義量詞理論的亞氏三段論[J];重慶理工大學學報(社會科學);2012年10期

6 張曉君;黃朝陽;;廣義量詞的單調性與其三種否定量詞的單調性之間的關系[J];安徽師范大學學報(人文社會科學版);2012年06期

7 戴春勤;;傳統(tǒng)三段論的一個簡明體系——基于直言命題語義與性質[J];畢節(jié)學院學報;2013年03期

8 李飛;;從馬克思的辯證唯物主義實踐觀談模糊語言問題[J];重慶交通大學學報(社會科學版);2013年04期

9 戴春勤;;基于量詞語義與性質的擴展三段論[J];畢節(jié)學院學報;2014年10期

10 賀川生;潘海華;;平均句中的分數(shù)名詞短語及其指稱[J];當代語言學;2014年02期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 張喬;;自然語言模糊量詞的蘊涵問題研討[A];2001年邏輯研究專輯[C];2001年

中國博士學位論文全文數(shù)據(jù)庫 前10條

1 張世寧;廣義量詞理論研究[D];南開大學;2010年

2 陳宗利;限定性關系結構的句法研究[D];廣東外語外貿大學;2005年

3 王廣成;漢語無定名詞短語的語義特征：指稱和量化[D];北京語言大學;2007年

4 徐爾清;基于中心語驅動短語結構文法的句法和語義分析[D];上海外國語大學;2007年

5 張炯;漢語量化結構的形式分析[D];浙江大學;2009年

6 吳莊;漢語基數(shù)詞語義和語用的實驗研究[D];北京語言大學;2009年

7 薛小英;漢語疑問詞的句法與語義不對稱現(xiàn)象探究[D];中南大學;2012年

8 張旭紅;回指的DRT形式方案的問題及其解決[D];上海外國語大學;2012年

9 陳冰飛;級差含義實驗研究[D];東北師范大學;2012年

10 王麗香;現(xiàn)代漢語“全都”類總括副詞研究[D];浙江大學;2013年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 徐正科;漢語“一量名”結構的句法語義解讀[D];湘潭大學;2010年

2 李穎;基于空間參照框架理論的英漢存在構式對比研究[D];山東農業(yè)大學;2011年

3 王城鎮(zhèn);“Every+名詞”和“每+名詞”的句法語義研究[D];湘潭大學;2011年

4 曾旭;基于語言量詞模糊積分語義的近似推理研究[D];寧波大學;2011年

5 謝丁;基于MMTD的模糊語義量化研究[D];南京郵電大學;2012年

6 祝娟;論漢語中強弱量化詞的語義解讀差異[D];湖南大學;2011年

7 Qiao Zhengwei;[D];廣東外語外貿大學;2001年

8 高澤峰;[D];北京語言文化大學;2002年

9 麥濤;漢語“都”量化的句法、語義研究[D];湖南大學;2003年

10 趙莉;There構塊形式與用法之間的映射[D];西南師范大學;2005年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前4條

1 張曉君;郝一江;;廣義量詞的單調性與數(shù)字三角形[J];重慶理工大學學報(社會科學);2010年03期

2 張曉君;;廣義量詞的相關性質研究[J];邏輯學研究;2010年03期

3 張曉君;;擴展三段論的可化歸性與廣義量詞的語義性質之間的關系[J];邏輯學研究;2012年02期

4 丁國旗;廣義量詞及其單調性[J];山東外語教學;2001年03期

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 羅伯特·杰·克奈奇;李衍華;;直言三段論(續(xù)二)——規(guī)則、式、格[J];邏輯與語言學習;1987年03期

2 蘇越;;弟弟的推理錯在哪里?——談直言三段論的格及其規(guī)則[J];新聞與寫作;1988年06期

3 張照明;直言三段論第三格特殊規(guī)則芻議[J];社會科學輯刊;1992年03期

4 黃順基;;直言三段論邏輯的修正意見[J];教學與研究;1961年01期

5 段軒如;直言三段論模式變形推理機制及應用[J];濟南大學學報(綜合版);1995年04期

6 呂正春;三種直言三段論的公理判定方法──對三段論的全面具體統(tǒng)一性的思考[J];齊齊哈爾師范學院學報(哲學社會科學版);1997年06期

7 徐慶軒,王根虎;對直言三段論推理規(guī)則表述方法的商榷和思考[J];警學研究;1998年04期

8 王元漢;;直言三段論的化歸——三段論研究之二[J];湖北師范學院學報(哲學社會科學版);2010年05期

9 倪蔭林;;關于直言三段論規(guī)則4及相關問題的探討[J];武警學院學報;2012年05期

10 戴春勤;;論替換中項法下的直言三段論自然推理系統(tǒng)[J];畢節(jié)學院學報;2009年02期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 戴寧東;;直言三段論規(guī)則證明[A];邏輯教學·知識創(chuàng)新·素質教育研討會論文集[C];2001年

中國重要報紙全文數(shù)據(jù)庫 前2條

1 李慶年;解差發(fā)問之聯(lián)想[N];青島日報;2007年

2 弋洋;普通工人劉潤澤受聘大學教授[N];光明日報;2002年

，

本文編號：844579