科研之友
微信
新浪微博
Facebook
分享链接
摘要
在本文中，我们在冯·赖特（G. von Wright）的道义逻辑和贝泽拉（E. Bezerra）与文丘里（G. Venturi）的■逻辑之间架起一座桥梁：一方面，我们将■算子解释成冯·赖特的道义必然；另一方面，我们给出冯·赖特道义模态词的确切语义。受启发于一个几乎可定义模式，我们解释为什么极小■逻辑的典范模型以那种方式被定义。我们也提出■逻辑的各种公理化，其中传递系统也是受到上述模式的启发。我们解释为什么文献中关于■的两种不等价语义，其中一个是标准的，另一个是非标准的，能给出相同的逻辑。在结尾部分，我们将讨论道义非偶然和道义偶然的概念。
- 单位
