formal-morality:用 Haskell 编码的正式道德框架

形式道德 一个高度数学化的伪罗尔斯道德框架。 例如，使用 GHC 编译 Example.hs。 哲学背景 完整的哲学论点超出了本 repo 的范围，但有必要做一个简短的总结。 约翰·罗尔斯的《正义论》也许是现代哲学中最具影响力的一部，它定义了创建道德理论的框架和他认为该框架产生的道德理论。 这个框架围绕着无知之幕的中心原则，本质上是问那些对自己的生活状态一无所知的人将如何设计道德理论。 我觉得这个概念很有吸引力，但它有两个关键困难： 人们对不同事物的重视程度不同，因此需要某种对应关系。 人们有不同的风险逆境。 我试图将克服这些障碍的方法正式化。 存在其他这样的形式主义，最著名的是功利主义。 然而，功利主义的假设对我来说似乎太强了。 我的形式主义在某些方面类似于功利主义，但效用函数被更弱的先序概念所取代。 因此，它创建的理论通常施加的职责相对较少。 道德理论 该理论要求社区的每个成员