王咏诗:“实用人类学”在何种意义上是一种康德式道德学说?
除了对康德的写作方式进行抱怨外,他还不无挖苦地指出“康德的人类学一定是有意与所有的人类学相抵牾……因为它公然与康德哲学的其余部分相冲突。”(Schleiermacher,1984:v.1,S.366)撇开施莱尔马赫戏剧化的表述不谈,他的确触及了康德批判体系的一个根本疑难:康德的自由理论与他的人类学思想看起来是不融贯的。“...
与论证有关的几个概念 | 为了让孩子不抢盐逻辑论证系列
就这一点上来说,逻辑学家们在使用推论或推理时,常常是不加区别的,甚至对推论、推理和论证都作相同对待。有的逻辑学使用“推论”,有的使用“推理”,有的使用“论证”,实际上他们讲的是同一个对象。(3)论证(argument)是一个有意义的陈述所组成的命题序列,其中,一个命题被认为是结论,其余命题被认为是前提。这...
原创: 重构证据定义以消解贝叶斯确证逻辑的内在矛盾
即,传统的确证逻辑将陈述命题H├e作为确证的前提,并在此前提下,直接将经验事实陈述命题e作为证据,通过贝叶斯公式,测算、比较概率P(H/e)与P(H),来定义确证概念,量化确证结果,完成e对H确证作用的测算。贝叶斯确证理论出现不久,就受到以美国当代哲学家克拉克·格莱莫尔(C.Glymour)为代表的来自哲学、逻辑学的批判。...
王浩︱生物学的形式与直觉
London:Parker,1837),并非常关注融通(consilience)的概念——即推理结果的同时性或一致性(concurrenceoraccordance)——努力展示了自然选择如何应用于行为、古生物学、生物地理学、解剖学、分类学和胚胎学的解释。在
资讯|上海市逻辑学会等举行“逻辑与社会发展”学术研讨会
上海师范大学博士宋鹏飞在题为“信念库语义对认知逻辑的重构”的报告中建立了从命题觉知逻辑到该逻辑的多项式嵌入,以及从该逻辑到一般觉知逻辑的多项式嵌入,通过后一个嵌入,证明了检测该逻辑公式可满足性的问题是pspace完全的。华东师范大学贾国恒副教授、华东政法大学杜文静副教授、华东师范大学郝旭东副教授进行了点评。...
《中国人工智能简史》:数学家翻开了中国人工智能研究的第一页
言归正传,王浩此前对《数学原理》中命题逻辑定理的证明和吴文俊想要实现的几何定理机器证明之间还存在着鸿沟,前者符号逻辑的成分更多,后者则有推理的成分在内(www.e993.com)2024年7月27日。当时,国外有很多对几何定理机器证明的研究,但都以失败告终。从中国古代数学思想的机械化到“吴方法”...
人文数学的文化意蕴及价值意义
则所有命题As,As+1,As+2,…,是真的。就是说,对所有的n≥s,An成立。”很清楚,这里是把序列1,2,3…换成了类似的序列s,s+1,s+2,…,并运用了建立普通数学归纳法时所用的同一推理。许多大数学家的伟大发明都是通过归纳法获得的,归纳法有完全归纳法和不完全归纳法之分。
逻辑系统 | 是什么,让你沉迷于烧脑的推理小说却不能自拔?
在命题逻辑中,∧∨都可以通过和→定义,所以,为了系统的简洁,我们只需要和→两个联结词就可以等价地表达所有的公式。一个常用的命题公理系统PA是这样的:公理:(这里A、B和C是任意公式)(a):A→(B→A)(b):(A→(B→C))→((A→B)→(A→C))...
原创深度解析:弗雷格的逻辑学思想,是如何影响后世的?
弗雷格提出的“概念-对象”区分为后来的逻辑学和语言哲学提供了重要的启示,同时他的量词理论也为后来的逻辑学发展奠定了基础,弗雷格的逻辑符号系统,即弗雷格逻辑,一直是现代逻辑学中重要的组成部分。弗雷格的语言哲学思想对认识论领域也产生了深远的影响,我们的认知能力不仅限于感性经验,还需要运用概念和推理。这个观点...
2014年联考行测逻辑判断基础公式集结
既然采用日常思维容易做错,考生就需要补充一些必要的逻辑学公式,在做题时加强对公式的练习与使用,以期提高正确率,且加快做题速度。本文拟就行测中判断推理模块的逻辑判断所需一些基础公式加以整理,以期对考生备考带来帮助。一、翻译推理题型:1、对充分条件假言命题的翻译:如果……那么……,前半句推后半句...