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

河南大學(xué) 碩士學(xué)位論文 亞里士多德三段論系統(tǒng)研究 姓名：鄭偉 申請學(xué)位級(jí)別：碩士 專業(yè)：邏輯學(xué) 指導(dǎo)教師：郭橋；李振江 2011-05 摘 要 亞里士多德三段論系統(tǒng)是歷史上第一個(gè)自然演繹系統(tǒng)，，是建立在類的傳遞基礎(chǔ)上的 邏輯。文章從全稱命題在亞里士多德三段論自然演繹系統(tǒng)中的重要性以及歷史上學(xué)者對(duì) 亞里士多德三段論中直言命題的翻譯出發(fā)，在簡要回顧歷史上關(guān)于亞里士多德三段論系 統(tǒng)的研究之后，重新構(gòu)建亞里士多德三段論自然演繹系統(tǒng)，最后證明此系統(tǒng)的判定能力、 可靠性和相容性。 文章共分四個(gè)部分： 第一部分，介紹全稱命題對(duì)亞里士多德三段論自然演繹系統(tǒng)的重要性，全稱命題是 組成亞里士多德三段論的基本命題形式之一，并且是亞里士多德三段論演繹性質(zhì)的保 證。 第二部分，縱觀現(xiàn)代邏輯對(duì)亞里士多德直言命題的翻譯，發(fā)現(xiàn)亞里士多德直言命題 是帶兩個(gè)量詞的直言命題形式，而并非是只帶一個(gè)量詞的直言命題形式。并且發(fā)現(xiàn)，“并 非”和“不是”在亞里士多德三段論自然演繹系統(tǒng)中都不可缺少。 第三部分，從四個(gè)方面重新構(gòu)建亞里士多德三段論自然演繹系統(tǒng)：初始符號(hào)、形成 規(guī)則、推理規(guī)則和有效式的證明。 第四部分，從有效式系統(tǒng)的判定能力、有效式系統(tǒng)的可靠性和有效式系統(tǒng)的相容性 等三個(gè)方面對(duì)此系統(tǒng)進(jìn)行反思。 關(guān)鍵詞：三段論系統(tǒng)，演繹，可靠性，相容性 I

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