【摘要】：斯多葛學(xué)派是古希臘在邏輯上可以跟亞里士多德邏輯相媲美的學(xué)派。他們所建立的命題邏輯系統(tǒng)是運用自然推理的方法 ,把命題邏輯加以形式化 ,是最早的一個自然推理系統(tǒng)。該派認(rèn)為 ,運用他們的命題邏輯系統(tǒng)中的 5個不可證式作為基本推理規(guī)則 ,借助 4個元邏輯規(guī)則 ,可以推論出命題邏輯系統(tǒng)的全部正確的推理形式。但從現(xiàn)代邏輯的角度來考察斯多葛學(xué)派命題邏輯系統(tǒng) ,卻發(fā)現(xiàn)它是一個不完全的系統(tǒng)。
[Abstract]:Stoicism is a school that is logically comparable to Aristotle's logic in ancient Greece. The propositional logic system established by them is the earliest natural reasoning system, which uses the method of natural reasoning to formalize the propositional logic. The school holds that all the correct reasoning forms of propositional logic system can be inferred by using five non-propositional formulas in their propositional logic system as basic reasoning rules and four meta-logical rules. However, from the point of view of modern logic, it is found that the propositional logic system of stoic school is an incomplete system.
【作者單位】： 華南師范大學(xué)政法學(xué)院!廣東廣州510631 華南師范大學(xué)政法學(xué)院!廣東廣州510631
【分類號】：B81

【參考文獻(xiàn)】

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

1 程仲棠;一個古典的自然推理系統(tǒng)——論斯多葛命題邏輯[J];廣東社會科學(xué);1990年01期

【共引文獻(xiàn)】

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

1 沈躍春;悖論與20世紀(jì)邏輯學(xué)的發(fā)展[J];安慶師范學(xué)院學(xué)報(社會科學(xué)版);2000年06期

2 袁正校;;關(guān)于現(xiàn)代邏輯教學(xué)中若干問題的思考[J];重慶工學(xué)院學(xué)報;2006年01期

3 劉邦凡;論邏輯史與比較邏輯研究的基本方法——兼論從歷史與文化上看兩種邏輯的命運[J];重慶社會科學(xué);2002年03期

4 楊萬斌;閱讀理解水平層次試析[J];楚雄師范學(xué)院學(xué)報;1997年02期

5 蔡文,楊春燕,何斌;可拓學(xué)基礎(chǔ)理論研究的新進(jìn)展[J];中國工程科學(xué);2003年02期

6 倪蔭林;;邏輯本體問題新探[J];甘肅理論學(xué)刊;2005年06期

7 胡澤洪;對邏輯學(xué)范圍與性質(zhì)的反思[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2002年02期

8 賀壽南,潘天群;弗雷格的邏輯觀評析[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2002年05期

9 孫培福;;變元間的相關(guān)性是人類邏輯的本質(zhì)屬性——由關(guān)于“實質(zhì)蘊涵”的“相關(guān)蘊涵”引發(fā)的深層思考[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2006年03期

10 徐春根;論邏輯與哲學(xué)的初步分離[J];廣西社會科學(xué);2002年04期

相關(guān)博士學(xué)位論文 前9條

1 王漫;基于實在概念結(jié)構(gòu)拓?fù)涞脑O(shè)計智能理論研究[D];合肥工業(yè)大學(xué);2001年

2 彭靈勇;法律推理的確定性與不確定性[D];中國社會科學(xué)院研究生院;2001年

3 胡宗山;西方國際關(guān)系理論方法論研究[D];華中師范大學(xué);2005年

4 張萍;亨普爾科學(xué)解釋理論研究[D];吉林大學(xué);2005年

5 焦寶乾;法律論證理論研究[D];山東大學(xué);2005年

6 劉魏榮;《公孫龍子》的語言邏輯和本體論思想研究[D];北京師范大學(xué);2000年

7 方珍平;表達(dá)的認(rèn)知量度觀[D];復(fù)旦大學(xué);2006年

8 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學(xué)技術(shù)大學(xué);2006年

9 張立娜;個體詞的邏輯語義[D];清華大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 于霞;戰(zhàn)國名實之辯的文化解釋[D];陜西師范大學(xué);2002年

2 孫華程;言說的邏輯與沉默之域[D];西南師范大學(xué);2002年

3 曹雪菲;《莊子》“道言論”研究[D];河北師范大學(xué);2003年

4 劉素姣;一階謂詞邏輯在人工智能中的應(yīng)用[D];河南大學(xué);2004年

5 莫曉紅;圖爾敏論證模式研究[D];華南師范大學(xué);2004年

6 侯占香;亞里士多德的邏輯學(xué)說與語言的淵源關(guān)系研究[D];廣西師范大學(xué);2004年

7 李海波;語言游戲論與自然語言量化結(jié)構(gòu)[D];中國海洋大學(xué);2004年

8 張楊;俄語句法體系中的繁化現(xiàn)象[D];黑龍江大學(xué);2004年

9 張焱;什么是命題——從兩種命題處理方案來看[D];華東師范大學(xué);2005年

10 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

【相似文獻(xiàn)】

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

1 馮棉;;一類命題邏輯的一般弱框架擇類語義[J];邏輯學(xué)研究;2011年02期

2 劉新文;;皮爾士存在圖的形式推演系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報;2011年05期

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

4 程仲棠;;關(guān)于“蘊涵怪論”及其反例[J];學(xué)術(shù)研究;2011年08期

5 隋云云;;邏輯系統(tǒng)L_4~2中公式的相似度[J];濰坊學(xué)院學(xué)報;2011年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 張全新;;關(guān)于斯多葛學(xué)派論“來克頓(λεκτσν)”的述評[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

2 張清宇;;古典命題邏輯的證偽系統(tǒng)[A];1996年邏輯研究專輯[C];1996年

3 劉社軍;;命題邏輯之判定層次及其判定方法[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

4 夏夢;;邏輯真理的特點[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

5 李娜;;我講《數(shù)理邏輯》課程的方法[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

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

7 熊明;;古典命題演算的直覺主義語義分析[A];2000年邏輯研究專輯[C];2000年

8 張家鋒;徐揚;;格值命題邏輯LP(X)中的語義歸結(jié)方法[A];中國運籌學(xué)會模糊信息與模糊工程分會第五屆學(xué)術(shù)年會論文集[C];2010年

9 劉壯虎;;邏輯系統(tǒng)中的蘊涵[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

10 趙總寬;;辯證模態(tài)命題邏輯系統(tǒng)DMT與實然世界語義學(xué)[A];1997年邏輯研究專輯[C];1997年

相關(guān)重要報紙文章 前3條

1 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢及其對我們的啟示[N];光明日報;2008年

2 陳波;邏輯學(xué)與理性精神[N];光明日報;2003年

3 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日報;2007年

相關(guān)博士學(xué)位論文 前7條

1 呂進(jìn);基于時間和行動規(guī)劃的知識—意圖邏輯[D];西南大學(xué);2008年

2 田忠鋒;形式邏輯前提批判[D];吉林大學(xué);2008年

3 惠小靜;計量邏輯學(xué)及其隨機化研究[D];陜西師范大學(xué);2008年

4 馬麗娜;模糊推理方法及知識推理的計量化研究[D];陜西師范大學(xué);2011年

5 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

6 張繼華;科學(xué)探究推理研究[D];西南大學(xué);2012年

7 胡明娣;邏輯度量空間的內(nèi)蘊結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 李彩紅;命題邏輯中廣義MP問題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

2 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學(xué);2011年

3 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

4 孟艷平;擾動模糊命題邏輯系統(tǒng)的語義[D];遼寧師范大學(xué);2005年

5 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

6 王永安;二值命題邏輯公式在等價意義下的一般表示及其應(yīng)用[D];陜西師范大學(xué);2008年

7 劉保翠;命題邏輯中公式的Γ蘊涵真度及相對Γ-重言度理論[D];陜西師范大學(xué);2008年

8 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

9 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

10 李晟;命題邏輯公理系統(tǒng)內(nèi)定理證明的技巧和方法研究[D];燕山大學(xué);2012年

，

本文編號：2504410