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

《河南大學》 2011年

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

鄭偉  

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

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

下載全文 更多同類文獻

CAJ全文下載

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

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

【相似文獻】

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

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

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

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

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

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

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

4 黃衛(wèi)星;;運用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];邏輯研究文集——中國邏輯學會第六次代表大會暨學術(shù)討論會論文集[C];2000年

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

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

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

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

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

2 李志國;非形式邏輯中論證的評估標準[D];河南大學;2004年

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

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

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