首页 >
道义逻辑
✍ dations ◷ 2025-07-18 06:43:23 #道义逻辑
道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该(obligate)p:Op允许(permit)p:Pp禁止(forbid)p:Fp应该...不...(obligate...not...)非p:O¬p允许...不...(permit...not...)非p:P¬p禁止...不...(forbid...not...)非p:F¬p“不应当不A”等值于“许可A”; ¬O¬A↔PA“不许可不A”等值于“应当A”; ¬P¬A↔OA“应当A”等值于“禁止不A”;OA↔F¬A“禁止A”等值于“应当不A”。 FA↔O¬A《逻辑学》(第二版)人民大学出版社
相关
- 三酸甘油酯甘油三酯(triglyceride, TG, triacylglycerol, TAG, or triacylglyceride),亦作三酸甘油酯,常称为油脂,为动物性油脂与植物性油脂的主要成分,一种由一个甘油分子和三个脂肪酸分子
- 肌肌肉(拉丁语:Musculus)是一种能收缩的动物组织,属于软组织,由胚胎的中胚层发育而来。肌肉细胞有收缩纤维,会在细胞间移动,并改变细胞的大小。肌肉分为骨骼肌、心肌和平滑肌三种,其功
- 隐真菌门罗兹菌门(学名:Rozellomycota),旧称隐真菌门(Cryptomycota),是存在于土壤、淡水与海洋沉积物中的微生物。罗兹菌门为真菌界中最基群的演化支之一,与其他真菌界的生物呈姐妹群。隐真
- 鹅膏蕈氨酸鹅膏蕈氨酸(Ibotenic acid), 是一种含有异
- 田纳西河谷管理局田纳西河谷管理局(英语:Tennessee Valley Authority),简称TVA,成立于1933年5月,总部位于美国田纳西州诺克斯维尔,是大萧条时代美国总统富兰克林·德拉诺·罗斯福所推动的新政中专责
- 当代史当代史(英语:Contemporary history)是在时间轴上与当前紧密相连的历史,是现代史的特定角度,即现在的历史,或是与个人相关的历史。当代史一词早在19世纪就已使用,并在21世纪成为一门
- 砂糖糖(sugar)泛指各种可食用的带有甜味的晶体,有甜味、短链、可溶于水的有机化合物,许多会用在食品。糖在有机化学中属于糖类,由碳、氢及氧三种原子组成。单糖是结构较简单的糖,包括
- 止咳药止咳药是指治疗咳嗽的药品,通常为片状(亦有含化的)、溶液和混悬液。部分止咳水含有可待因或麻黄碱,过量服用会使人产生欣快感,故被滥用者称为摇头水),泛指用于止咳的所有药水,包括医
- 坐标地理坐标系一般是指由经度、纬度和相对高度组成的坐标系,能够标示地球上的任何一个位置。经度和纬度常合称为经纬度,把球面上的经纬度显示在平面地图上需要采用某种地图投影。
- 降部在西文字体排印学中,降部(英语:Descender)指的是一个字体中,字母向下延伸超过基线的笔画部分,也称为下延部。如右图所示,字母y第二笔的“尾巴”部分就是降部。另外字母 v两条对角线