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

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

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

【參考文獻(xiàn)】

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

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

2 張曉君;黃朝陽(yáng);;基于廣義量詞理論的亞氏三段論[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2012年10期

3 張曉君;;廣義量詞的相關(guān)性質(zhì)研究[J];邏輯學(xué)研究;2010年03期

4 張曉君;;擴(kuò)展三段論的可化歸性與廣義量詞的語(yǔ)義性質(zhì)之間的關(guān)系[J];邏輯學(xué)研究;2012年02期

5 張曉君;林勝?gòu)?qiáng);;如何利用廣義量詞的語(yǔ)義性質(zhì)判斷擴(kuò)展三段論的有效性[J];邏輯學(xué)研究;2013年02期

【共引文獻(xiàn)】

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

1 張炯;;包含非連續(xù)成分的句子的語(yǔ)義計(jì)算[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2008年06期

2 朱小美,張明;當(dāng)代國(guó)外有關(guān)模糊語(yǔ)言學(xué)的主要研究簡(jiǎn)評(píng)[J];當(dāng)代語(yǔ)言學(xué);2005年03期

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

4 張曉君;;廣義量詞的各種單調(diào)性之間的關(guān)系[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2012年05期

5 張曉君;黃朝陽(yáng);;基于廣義量詞理論的亞氏三段論[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2012年10期

6 張曉君;黃朝陽(yáng);;廣義量詞的單調(diào)性與其三種否定量詞的單調(diào)性之間的關(guān)系[J];安徽師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);2012年06期

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

8 李飛;;從馬克思的辯證唯物主義實(shí)踐觀談模糊語(yǔ)言問(wèn)題[J];重慶交通大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2013年04期

9 戴春勤;;基于量詞語(yǔ)義與性質(zhì)的擴(kuò)展三段論[J];畢節(jié)學(xué)院學(xué)報(bào);2014年10期

10 賀川生;潘海華;;平均句中的分?jǐn)?shù)名詞短語(yǔ)及其指稱(chēng)[J];當(dāng)代語(yǔ)言學(xué);2014年02期

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

1 張喬;;自然語(yǔ)言模糊量詞的蘊(yùn)涵問(wèn)題研討[A];2001年邏輯研究專(zhuān)輯[C];2001年

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

1 張世寧;廣義量詞理論研究[D];南開(kāi)大學(xué);2010年

2 陳宗利;限定性關(guān)系結(jié)構(gòu)的句法研究[D];廣東外語(yǔ)外貿(mào)大學(xué);2005年

3 王廣成;漢語(yǔ)無(wú)定名詞短語(yǔ)的語(yǔ)義特征：指稱(chēng)和量化[D];北京語(yǔ)言大學(xué);2007年

4 徐爾清;基于中心語(yǔ)驅(qū)動(dòng)短語(yǔ)結(jié)構(gòu)文法的句法和語(yǔ)義分析[D];上海外國(guó)語(yǔ)大學(xué);2007年

5 張炯;漢語(yǔ)量化結(jié)構(gòu)的形式分析[D];浙江大學(xué);2009年

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

7 薛小英;漢語(yǔ)疑問(wèn)詞的句法與語(yǔ)義不對(duì)稱(chēng)現(xiàn)象探究[D];中南大學(xué);2012年

8 張旭紅;回指的DRT形式方案的問(wèn)題及其解決[D];上海外國(guó)語(yǔ)大學(xué);2012年

9 陳冰飛;級(jí)差含義實(shí)驗(yàn)研究[D];東北師范大學(xué);2012年

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

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

1 徐正科;漢語(yǔ)“一量名”結(jié)構(gòu)的句法語(yǔ)義解讀[D];湘潭大學(xué);2010年

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

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

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

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

6 祝娟;論漢語(yǔ)中強(qiáng)弱量化詞的語(yǔ)義解讀差異[D];湖南大學(xué);2011年

7 Qiao Zhengwei;[D];廣東外語(yǔ)外貿(mào)大學(xué);2001年

8 高澤峰;[D];北京語(yǔ)言文化大學(xué);2002年

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

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

【二級(jí)參考文獻(xiàn)】

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

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

2 張曉君;;廣義量詞的相關(guān)性質(zhì)研究[J];邏輯學(xué)研究;2010年03期

3 張曉君;;擴(kuò)展三段論的可化歸性與廣義量詞的語(yǔ)義性質(zhì)之間的關(guān)系[J];邏輯學(xué)研究;2012年02期

4 丁國(guó)旗;廣義量詞及其單調(diào)性[J];山東外語(yǔ)教學(xué);2001年03期

【相似文獻(xiàn)】

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

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

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

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

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

5 段軒如;直言三段論模式變形推理機(jī)制及應(yīng)用[J];濟(jì)南大學(xué)學(xué)報(bào)(綜合版);1995年04期

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前2條

1 李慶年;解差發(fā)問(wèn)之聯(lián)想[N];青島日?qǐng)?bào);2007年

2 弋洋;普通工人劉潤(rùn)澤受聘大學(xué)教授[N];光明日?qǐng)?bào);2002年

，

本文編號(hào)：844579