是时候给出休谟问题的数学推导了

一切哲学都是大号杂文，即便迄今为止与数学走得最近的蒯因级分析哲学依然是一种未与欧陆哲学的非定量模因切割干净的半散文-半杂文式理论. 惟其如此，近三个世纪以来，休谟问题一直置哲学于不义：皓首穷经地码上数十万字，哲学仍无法严格描述传说中的休谟问题，更无法从数学层面严格推导出该问题的科学答案. 万能的休谟问题(Humean problem)，即从“是(be)”能否推导出“应该ought to be”，也即从事实判断能否推导出价值判断. 例如，从“大烟有极强的成瘾性”能否推导出“人应该戒鸦片”？答案显然连老农民都知道，由此足见休谟哲学也与其它任意哲学一样流于哲学固有的杂文范式. 观察表明，只要摈弃一切哲学固有的杂文式推导，即可秒从事实命题推导出价值命题. 无模无真相，翠花，上谓词演算.

设P(x)为任意事实命题，o为P(x)的宾词，则当且仅当已知o所描述的性质时，存在一个形如ought to be sth的价值命题Q(x)，使得P(x)├ Q(x)，即

∀x(P(x)├ Q(x))↔K(o)

式中K为表征变元的性质为已知的谓词，上式称为格局定理(李，2023)，它定量描述了休谟问题的答案取决于宾词的性质是否已知：若已知，则价值命题可期.

证明：设S为表征变元可用ought to be语句评价的谓词，则由评价公理(“仅有性质已知的若事实是可评价的”)，有

1）充分性(反证法)

1)-1. ∃x(K(o)∧P(x) ⊬ Q(x))

∃x(K(o)∧¬S(x))

∃x((K(o)∧P(x) ⊬ Q(x)→¬K(o))

∄x(K(o)∧P(x) ⊬ Q(x))

∀x(K(o)→P(x)├ Q(x))；

2）必要性

¬K(o)

¬S(x)

∄Q∧Q(x)

P(x) ⊬ Q(x)

Q.E.D.

千百年来，无计其数的理论研发人员为了证明自己可绕开科学而开辟一条解释世界的文科路径，在哲学的道路上前赴后继. 其结果，除了给哲学史增添一个个大号杂文式的理论，几无任何学术价值.

是时候给出休谟问题的数学推导了相关推荐

休谟问题---至今无解的难题！
[休谟问题,即所谓从"是"能否推出"应该",也即"事实"命题能否推导出"价值"命题,它是休谟在<人性论>中提 ...
休谟与人机、因果、实践
[人们常常会根据动机来评判人类,而根据结果评判机器.有道无术,术尚可求也,有术无道,止于术.或许,在这里道不妨粗略类比为算计,术为计算.] 虽然休谟属于18世纪的哲学家,他的著作中讨论到的题材 ...
人机混合智能的瓶颈——休谟之问
[编者按:人机融合智能中的机并不创造事物,它只能执行我们本身了解如何去做的事情,属于现实性的Being:而其中的人则是创造事物之源,Ta不但能够明辨是非把握方向还可以想象未知探索不确定性,属于可能性的 ...
休谟的“归纳问题”——关于归纳方法的批判
[编者按:大家知道,绘画是视觉艺术,看不到真东西,一切都是空谈,就像一群聋子在那里谈论音乐.人机融合智能也是如此,没有最底层的反思和探索,大家只能会源木求鱼.望梅止渴] 一.普通归纳法vs 科学归纳法 ...
休谟、同情、道德、智能
休谟之问,即从事实中能否推出价值的问题是当前智能领域突破的临界点,对此,常规的归纳演绎方法已渐露疲态,而对同情(共感)机制的思考已展露出一丝曙光,但这个概念又常与道德粘连在一起,不觉中,同情(共感)就 ...
人机融合系统的休谟之问到工业智能的成熟应用的联想
人机融合智能是一种新型智能形式,它不同于人的智能.也不同于人工智能,是一种跨越物种属性结合的下一代智能科学体系.如果说真就是Being,善就是Should,美就是Being+Should的融合:假设机 ...
终极算法——第三章：符号学派：休谟的归纳问题
本文为阅读总结个人认为书里概念性的.对本人有帮助的内容,仅供参考. 你是理性主义者还是经验主义者? 理性主义者认为,感官会欺骗人,而逻辑推理是通往知识的唯一可靠的道路.经验主义者认为所有推理都不可靠, ...
能讲一下关于 18 世纪哲学家大卫 • 休谟和恐怖悖论吗
好的.大卫·休谟是一位著名的18世纪哲学家,他的思想主要涉及人类理解和认识的本质.他提出了一个著名的悖论,称作恐怖悖论,它是一个哲学问题,涉及人们对事物的认识是否可以确定和完全. 恐怖悖论的核心思想是 ...
康德、孔子和休谟的对话
一般地,伦理学有理性主义和情感主义的分际,康德是理性主义伦理学的重要代表,休谟常被人们看作功利主义和现代情感主义伦理学的重要前驱者.道德行为的根据是义务还是幸福,对它的回答,显示了康德和休谟的对立.康 ...

是时候给出休谟问题的数学推导了

是时候给出休谟问题的数学推导了相关推荐

最新文章

热门文章