本文關(guān)鍵詞：傳統(tǒng)三段論的形式化和公理化研究

  更多相關(guān)文章： 廣義量詞理論 傳統(tǒng)三段論 亞里斯多德量詞 形式化 公理化

【摘要】：利用廣義量詞理論對(duì)四個(gè)亞里斯多德量詞的真值定義,可以對(duì)傳統(tǒng)三段論進(jìn)行形式化。在AAA-1和EAE-1這兩個(gè)公理的基礎(chǔ)上,利用四個(gè)亞里斯多德量詞的單調(diào)性之間的可轉(zhuǎn)換關(guān)系,可以對(duì)傳統(tǒng)三段論進(jìn)行公理化。這些創(chuàng)新性成果,對(duì)于自然語(yǔ)言信息處理以及計(jì)算機(jī)科學(xué)中的知識(shí)表示和知識(shí)推理,都有著重要的理論意義和實(shí)踐價(jià)值。
【作者單位】： 四川師范大學(xué)邏輯與信息研究所;
【關(guān)鍵詞】： 廣義量詞理論 傳統(tǒng)三段論 亞里斯多德量詞 形式化 公理化
【基金】：國(guó)家社會(huì)科學(xué)基金資助項(xiàng)目:15XYY012
【分類號(hào)】：B812
【正文快照】： 一、引言亞里斯多德學(xué)派認(rèn)為,根據(jù)第一格AAA式(簡(jiǎn)記為AAA-1)三段論和第一格EAE式(簡(jiǎn)記為EAE-1,其他類似)三段論的有效性,可以推出除了預(yù)設(shè)主項(xiàng)存在的三段論以外的其他所有的有效的傳統(tǒng)三段論[1]228。為此,他們主要利用換位法、歸謬法和顯示法等方法對(duì)其進(jìn)行了非形式化的論證[2

【相似文獻(xiàn)】

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

1 斯文·漢森;;基礎(chǔ)生成的多元部分收縮的一個(gè)公理化刻畫(英文)[J];邏輯學(xué)研究;2012年01期

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

1 江春琦;;孫學(xué)思維邏輯之公理化系統(tǒng)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

，

本文編號(hào)：751143