【摘要】：以羅伯特.范.羅伊的工作為基礎(chǔ),展示如何通過形式化的方法把三段論邏輯擴(kuò)充到全部命題邏輯。文中將依次給出按現(xiàn)代邏輯標(biāo)準(zhǔn)形式化的三個邏輯:亞里士多德的三段論邏輯SYL,引入否定詞項等之后的擴(kuò)充系統(tǒng)SYL+,最終得到從三段論邏輯擴(kuò)充而來的命題邏輯SYL+PL。
[Abstract]:To Robert. Van. Based on Roy's work, it shows how to extend syllogism logic to all propositional logic by formal method. In this paper, three kinds of logic which are formalized according to modern logic standard are given in turn: Aristotle's syllogism logic, the extended system SYL after the introduction of negative terms, and finally the propositional logic SYL, which is extended from syllogism logic.
【作者單位】： 中央財經(jīng)大學(xué)現(xiàn)代邏輯研究所;中國社會科學(xué)院哲學(xué)研究所;
【基金】：教育部人文社科研究青年基金項目“自然邏輯研究”(09YJC72040004),項目負(fù)責(zé)人:張立英 國家社科基金重大招標(biāo)項目“基于多學(xué)科視域的認(rèn)知研究”(12&ZD119),項目負(fù)責(zé)人:周北海
【分類號】：B812.2

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 何庸;;違反周延規(guī)則的三段論是無效的[J];思維與智慧;1987年06期

2 巫壽康;三支論式和三段論是互相獨(dú)立的兩種推理形式[J];哲學(xué)研究;1993年08期

3 呂正春;具體三段論的簡化歐拉圖判定方法探索[J];齊齊哈爾大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1994年05期

4 王志輝;試析三段論推理的五種檢驗方法[J];思維與智慧;1994年04期

5 程仲棠;引入負(fù)名詞的三段論系統(tǒng)[J];學(xué)術(shù)研究;1999年03期

6 馬養(yǎng)新;關(guān)于三段論一般規(guī)則存在依據(jù)的思考[J];陜西師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2001年01期

7 周光明;三段論的“E、I”檢驗方法[J];渝州大學(xué)學(xué)報(自然科學(xué)版);1997年02期

8 于德禮;怎樣理解三段論各格的特殊規(guī)則[J];九江師專學(xué)報;1998年03期

9 王東浩;張學(xué)立;段偉偉;;淺析亞里士多德三段論與墨家三物論[J];法制與社會;2008年27期

10 高崇會;關(guān)于演繹推理的幾個理論性問題[J];人文雜志;1984年06期

相關(guān)會議論文 前10條

1 劉壯虎;;相干邏輯的鄰域語義學(xué)[A];1995年邏輯研究專輯[C];1995年

2 楊百順;;印度邏輯論式的演變及其與西方推論式略比[A];因明研究[C];1990年

3 吳堅;;走出邏輯的霧區(qū)[A];2000年邏輯研究專輯[C];2000年

4 樊明亞;;普通邏輯教材改革的“四化”[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

5 陳樹楨;;完善三段論的第一格，

本文編號：2139848