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

1、亞里士多德三段論系統(tǒng)是歷史上第一個自然演繹系統(tǒng)，是建立在類的傳遞基礎(chǔ)上的邏輯。文章從全稱命題在亞里士多德三段論自然演繹系統(tǒng)中的重要性以及歷史上學(xué)者對亞里士多德三段論中直言命題的翻譯出發(fā)，在簡要回顧歷史上關(guān)于亞里士多德三段論系統(tǒng)的研究之后，重新構(gòu)建亞里士多德三段論自然演繹系統(tǒng)，最后證明此系統(tǒng)的判定能力、可靠性和相容性。
　　 文章共分四個部分：
　　 第一部分，介紹全稱命題對亞里士多德三段論自然演繹系統(tǒng)的重要性，全稱命題是

2、組成亞里士多德三段論的基本命題形式之一，并且是亞里士多德三段論演繹性質(zhì)的保證。
　　 第二部分，縱觀現(xiàn)代邏輯對亞里士多德直言命題的翻譯，發(fā)現(xiàn)亞里士多德直言命題是帶兩個量詞的直言命題形式，而并非是只帶一個量詞的直言命題形式。并且發(fā)現(xiàn)，“并非”和“不是”在亞里士多德三段論自然演繹系統(tǒng)中都不可缺少。
　　 第三部分，從四個方面重新構(gòu)建亞里士多德三段論自然演繹系統(tǒng)：初始符號、形成規(guī)則、推理規(guī)則和有效式的證明。
　　 第四