【摘要】：斯多葛學(xué)派是古希臘在邏輯上可以跟亞里士多德邏輯相媲美的學(xué)派。他們所建立的命題邏輯系統(tǒng)是運(yùn)用自然推理的方法 ,把命題邏輯加以形式化 ,是最早的一個(gè)自然推理系統(tǒng)。該派認(rèn)為 ,運(yùn)用他們的命題邏輯系統(tǒng)中的 5個(gè)不可證式作為基本推理規(guī)則 ,借助 4個(gè)元邏輯規(guī)則 ,可以推論出命題邏輯系統(tǒng)的全部正確的推理形式。但從現(xiàn)代邏輯的角度來(lái)考察斯多葛學(xué)派命題邏輯系統(tǒng) ,卻發(fā)現(xiàn)它是一個(gè)不完全的系統(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
【分類號(hào)】：B81

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

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

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

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

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

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

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

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

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

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

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

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

2 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

3 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日?qǐng)?bào);2007年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2504410