斯多葛学派的命题逻辑系统及其不完全性

发布时间：2019-06-22 08:33

【摘要】：斯多葛学派是古希腊在逻辑上可以跟亚里士多德逻辑相媲美的学派。他们所建立的命题逻辑系统是运用自然推理的方法 ,把命题逻辑加以形式化 ,是最早的一个自然推理系统。该派认为 ,运用他们的命题逻辑系统中的 5个不可证式作为基本推理规则 ,借助 4个元逻辑规则 ,可以推论出命题逻辑系统的全部正确的推理形式。但从现代逻辑的角度来考察斯多葛学派命题逻辑系统 ,却发现它是一个不完全的系统。
[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.
【作者单位】： 华南师范大学政法学院!广东广州510631 华南师范大学政法学院!广东广州510631
【分类号】：B81

【参考文献】

相关期刊论文 前1条

1 程仲棠;一个古典的自然推理系统——论斯多葛命题逻辑[J];广东社会科学;1990年01期

【共引文献】

相关期刊论文 前10条

1 沈跃春;悖论与20世纪逻辑学的发展[J];安庆师范学院学报(社会科学版);2000年06期

2 袁正校;;关于现代逻辑教学中若干问题的思考[J];重庆工学院学报;2006年01期

3 刘邦凡;论逻辑史与比较逻辑研究的基本方法——兼论从历史与文化上看两种逻辑的命运[J];重庆社会科学;2002年03期

4 杨万斌;阅读理解水平层次试析[J];楚雄师范学院学报;1997年02期

5 蔡文,杨春燕,何斌;可拓学基础理论研究的新进展[J];中国工程科学;2003年02期

6 倪荫林;;逻辑本体问题新探[J];甘肃理论学刊;2005年06期

7 胡泽洪;对逻辑学范围与性质的反思[J];华南师范大学学报(社会科学版);2002年02期

8 贺寿南,潘天群;弗雷格的逻辑观评析[J];华南师范大学学报(社会科学版);2002年05期

9 孙培福;;变元间的相关性是人类逻辑的本质属性——由关于“实质蕴涵”的“相关蕴涵”引发的深层思考[J];华南师范大学学报(社会科学版);2006年03期

10 徐春根;论逻辑与哲学的初步分离[J];广西社会科学;2002年04期

相关博士学位论文 前9条

1 王漫;基于实在概念结构拓扑的设计智能理论研究[D];合肥工业大学;2001年

2 彭灵勇;法律推理的确定性与不确定性[D];中国社会科学院研究生院;2001年

3 胡宗山;西方国际关系理论方法论研究[D];华中师范大学;2005年

4 张萍;亨普尔科学解释理论研究[D];吉林大学;2005年

5 焦宝乾;法律论证理论研究[D];山东大学;2005年

6 刘魏荣;《公孙龙子》的语言逻辑和本体论思想研究[D];北京师范大学;2000年

7 方珍平;表达的认知量度观[D];复旦大学;2006年

8 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

9 张立娜;个体词的逻辑语义[D];清华大学;2007年

相关硕士学位论文 前10条

1 于霞;战国名实之辩的文化解释[D];陕西师范大学;2002年

2 孙华程;言说的逻辑与沉默之域[D];西南师范大学;2002年

3 曹雪菲;《庄子》“道言论”研究[D];河北师范大学;2003年

4 刘素姣;一阶谓词逻辑在人工智能中的应用[D];河南大学;2004年

5 莫晓红;图尔敏论证模式研究[D];华南师范大学;2004年

6 侯占香;亚里士多德的逻辑学说与语言的渊源关系研究[D];广西师范大学;2004年

7 李海波;语言游戏论与自然语言量化结构[D];中国海洋大学;2004年

8 张杨;俄语句法体系中的繁化现象[D];黑龙江大学;2004年

9 张焱;什么是命题——从两种命题处理方案来看[D];华东师范大学;2005年

10 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

【相似文献】

相关期刊论文 前10条

1 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

2 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

3 樊明亚,朱小阳;师专逻辑教材改革研究[J];中国大学教学;1999年06期

4 程仲棠;;关于“蕴涵怪论”及其反例[J];学术研究;2011年08期

5 隋云云;;逻辑系统L_4~2中公式的相似度[J];潍坊学院学报;2011年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 张全新;;关于斯多葛学派论“来克顿(λεκτσν)”的述评[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

2 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

3 刘社军;;命题逻辑之判定层次及其判定方法[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

4 夏梦;;逻辑真理的特点[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

5 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

6 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

7 熊明;;古典命题演算的直觉主义语义分析[A];2000年逻辑研究专辑[C];2000年

8 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

9 刘壮虎;;逻辑系统中的蕴涵[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

10 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年

相关重要报纸文章 前3条

1 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

2 陈波;逻辑学与理性精神[N];光明日报;2003年

3 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

相关博士学位论文 前7条

1 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

2 田忠锋;形式逻辑前提批判[D];吉林大学;2008年

3 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

4 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

5 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

6 张继华;科学探究推理研究[D];西南大学;2012年

7 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

相关硕士学位论文 前10条

1 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

2 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

3 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

4 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

5 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

6 王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年

7 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

8 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

9 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

10 李晟;命题逻辑公理系统内定理证明的技巧和方法研究[D];燕山大学;2012年

，

本文编号：2504410