本文關(guān)鍵詞：亞里士多德三段論系統(tǒng)研究，，由筆耕文化傳播整理發(fā)布。

《河南大學(xué)》 2011年

亞里士多德三段論系統(tǒng)研究

鄭偉  

【摘要】：亞里士多德三段論系統(tǒng)是歷史上第一個(gè)自然演繹系統(tǒng),是建立在類的傳遞基礎(chǔ)上的邏輯。文章從全稱命題在亞里士多德三段論自然演繹系統(tǒng)中的重要性以及歷史上學(xué)者對亞里士多德三段論中直言命題的翻譯出發(fā),在簡要回顧歷史上關(guān)于亞里士多德三段論系統(tǒng)的研究之后,重新構(gòu)建亞里士多德三段論自然演繹系統(tǒng),最后證明此系統(tǒng)的判定能力、可靠性和相容性。 文章共分四個(gè)部分: 第一部分,介紹全稱命題對亞里士多德三段論自然演繹系統(tǒng)的重要性,全稱命題是組成亞里士多德三段論的基本命題形式之一,并且是亞里士多德三段論演繹性質(zhì)的保證。 第二部分,縱觀現(xiàn)代邏輯對亞里士多德直言命題的翻譯,發(fā)現(xiàn)亞里士多德直言命題是帶兩個(gè)量詞的直言命題形式,而并非是只帶一個(gè)量詞的直言命題形式。并且發(fā)現(xiàn),“并非”和“不是”在亞里士多德三段論自然演繹系統(tǒng)中都不可缺少。 第三部分,從四個(gè)方面重新構(gòu)建亞里士多德三段論自然演繹系統(tǒng):初始符號、形成規(guī)則、推理規(guī)則和有效式的證明。 第四部分,從有效式系統(tǒng)的判定能力、有效式系統(tǒng)的可靠性和有效式系統(tǒng)的相容性等三個(gè)方面對此系統(tǒng)進(jìn)行反思。

【關(guān)鍵詞】：
【學(xué)位授予單位】：河南大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2011
【分類號】：B812
【目錄】：

下載全文 更多同類文獻(xiàn)

CAJ全文下載

(如何獲取全文？ 歡迎：購買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式

【相似文獻(xiàn)】

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

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

2 王力鋼;;一種基于模態(tài)語境的分析性刻畫新方案[J];西南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2011年04期

3 樊明亞,朱小陽;師專邏輯教材改革研究[J];中國大學(xué)教學(xué);1999年06期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 張家龍;;論《墨經(jīng)》中“侔”式推理的有效式[A];“中國名辯學(xué)與方法論研討會(huì)、道家與西方研討會(huì)、馮友蘭哲學(xué)思想研討會(huì)”優(yōu)秀論文精選[C];1998年

2 繆四平;;試論復(fù)稱三段論及其凡恩圖解判定[A];1996年邏輯研究專輯[C];1996年

3 王靖華;;華沙學(xué)派主要邏輯思想概述[A];1996年邏輯研究專輯[C];1996年

4 黃衛(wèi)星;;運(yùn)用FoxBASE研究“EI三段論”規(guī)則[A];1994年邏輯研究專輯[C];1994年

5 黃衛(wèi)星;;三段論規(guī)則的符號化[A];1996年邏輯研究專輯[C];1996年

6 吳格明;;關(guān)于三段論格的規(guī)則[A];1994年邏輯研究專輯[C];1994年

7 陳江;;論回溯推理的幾種具體類型[A];邏輯研究文集——中國邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

8 朱玉堦;周光明;;“E、I”三段論與傳統(tǒng)三段論[A];1993年邏輯研究專輯[C];1993年

9 杜國平;;金岳霖邏輯觀述評[A];2000年邏輯研究專輯[C];2000年

10 雷康;;詞項(xiàng)檢視法簡介[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

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

1 鄭偉;亞里士多德三段論系統(tǒng)研究[D];河南大學(xué);2011年

2 李志國;非形式邏輯中論證的評估標(biāo)準(zhǔn)[D];河南大學(xué);2004年

3 郭美云;辛提卡IF一階邏輯研究[D];西南師范大學(xué);2003年

4 雷宇;證詞邏輯初探[D];西南大學(xué);2011年

  本文關(guān)鍵詞：亞里士多德三段論系統(tǒng)研究，由筆耕文化傳播整理發(fā)布。