流水席 流水席
关注数: 20 粉丝数: 512 发帖数: 45,719 关注贴吧数: 21
必然性 在讨论必然性之前,需要先明确【必然】一词的概念 决定论着将任何发生的事件视作必然,也即,他们用p→□p定义必然算子。如此定义的必然算子是trivial的,但同时也是与任何不带模态算子的系统一致的。换言之,决定论无法反驳,但它所断言的结论也缺乏营养。这是必然一词的最强定义。 数学中的必然定义为可证明,例如“三角形中若∠A大于∠B,那么BC必然大于AC”,这里的必然也即必然化公理N:如果p可证明,则□p。如此定义的必然性很难得到满足,除公理系统给定后的数学命题和少数物理命题,大部分的命题都不具有必然性。这是必然一词的最弱定义。 在两者之间,还存在强弱不一的各种对必然性的定义。不同定义下的“必然”实质上已不是同一个概念,只不过人们使用了相同的词汇,从而导致了混淆。值得一提的是,对必然性最朴素的理解,也即反事实条件句/虚拟语气(例如:即使没有哥德尔,也必然会有其他人发现哥德尔不完备性定理),其中必然一词的定义是含混不清的——对反事实条件句的最直接翻译需要使用可能世界的概念(例如:在所有不存在作为数学家的哥德尔这个人的可能世界中,不完备性定理也都被其他人证明了),而究竟什么样的世界是可能的?要回答这个问题恐怕并不简单。 总之,不加定义地使用【必然】一词,所给出的陈述与扯淡无异。在社会、政治、经济等一系列领域中出现的所谓历史必然,大多都是这种类型的使用
首页 1 2 3 下一页