不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

简介“演绎推理” - “肯定前件” (Modus ponens)

已有 4335 次阅读 2020-4-20 16:53 |个人分类:在法国教逻辑课|系统分类:教学心得| 演绎推理, 肯定前件

肯定前件演绎推理的基本推理规则,自然演绎系统(Natural deduction),希尔伯特系统(Hilbert system),相继式演算系统(Sequent calculus)皆以此为基础。


一,肯定前件的形式表达


肯定前件,也称为三段论

- “如果A那么BA;故B

- A, A B B


二,肯定前件溯源 1


肯定前件(拉丁语Modus ponensMP)的历史可以追溯到古希腊,第一个明确描述使用肯定前件论证的是德奥弗拉斯特(Theophrastus)。


德奥弗拉斯特(371 BC-288 BC)是古希腊的哲学家,植物学家和博物学家,炼金术士,亚里士多德的学生。


对德奥弗拉斯特来说,尽管有障碍和困难,但科学家的合法雄心是要设法阐明他所观察和分析的事物的原因,为达到此目的,需要对一般性理论保持批评的态度,培养自己的观察力,诉诸类比,建立新的假设(如果相关),。。。必须敦促人们学习科学而不是依靠财富。


智者应该是这样的:不会在自己的家乡以外成为陌生人;不会失去朋友后缺少爱他的人;成为世界公民,勇敢地轻视财富的弊端。这正是海内存知己,天涯若比邻,。。。


三,肯定前件的有效性


肯定前件可以看作是一般性因果关系的形式化表达,推论的信任是一种信念,即如果两个先前的命题(前提)没有错误,那么最终的命题(结论)就没有错误 换句话说:如果一个命题蕴含第二个命题,而第一个命题为真,则第二个命题也为真。 


肯定前件的有效性还可以使用真值表来说明:


p

q

p q

T

T

T

T

F

F

F

T

T

F

F

T


参考文献:

1https://fr.wikipedia.org/wiki/Modus_ponens





https://wap.sciencenet.cn/blog-2322490-1229291.html

上一篇:中国哲学——情识论(佛教哲学论)
下一篇:中国思想与现代理性 - 儒学,站在科学的肩膀上

3 杨正瓴 吴斌 黄荣彬

该博文允许注册用户评论 请点击登录 评论 (4 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2021-12-6 19:42

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部