道义逻辑

✍ dations ◷ 2024-12-22 18:13:07 #道义逻辑
道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该(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《逻辑学》(第二版)人民大学出版社

相关

  • 核蛋白核蛋白是指与核酸(脱氧核糖核酸,DNA或者核糖核酸,RNA)有关的任何蛋白质。譬如,组织蛋白类型的蛋白-染色质。端粒酶,核糖核蛋白和精蛋白都是核蛋白。典型的核蛋白包括核糖体,核小体和
  • 法律美国法律(law of the United States)源自美国独立战争时期的英国普通法体系,只是在最高权力条款规定下,美国宪法、国会制定的其他法律和美国参与的国际条约是国家的最高法律。这
  • 国家全世界已有30个国家拥有核电站。在这些国家中,有26个国家有建造更多其他核电站的计划,而有4个国家决定不再建造核电站。另外,有15个暂未拥有核电站的国家正在准备建造属于这些
  • 光通常指的是人类眼睛可以见的电磁波(可见光),视知觉就是对于可见光的知觉。可见光只是电磁波谱上的某一段频谱,一般是定义为波长介于400至700奈(纳)米(nm)之间的电磁波,也就是波长比
  • 斯维尔德洛夫斯克炭疽泄漏事件斯维尔德洛夫斯克炭疽泄漏事件(俄语:Эпидемия сибирской язвы в Свердловске),是1979年4月2日在莫斯科东部1450公里的斯维尔德洛夫斯克市(旧名
  • 教宗教宗(拉丁语:Papa),或译教皇(华语圈外国家如韩国、日本、越南与部分教外人士目前仍沿用之),是罗马主教,同时为普世天主教会领袖与梵蒂冈城国国家元首,传统上被认为是圣伯多禄宗徒之位
  • 塔西佗普布利乌斯·科尔奈利乌斯·塔西陀(Publius或Gaius Cornelius Tacitus,也译作塔吉突士,55年?—117年?),罗马帝国执政官、雄辩家、元老院元老,也是著名的历史学家与文体家,他的最主要
  • 人造丝嫘萦(léi yíng/ㄌㄟˊ ㄧㄥˊ),英文Rayon或Viscose,又译人造丝,中文译名是发想自中国传说中发明养蚕的嫘祖而来。嫘萦是一种人工制造的纤维。由天然的植物棉加工制造而成,所以属
  • 免疫球蛋白GIgG(免疫球蛋白 G,英语:Immunoglobulin G)是人血清和细胞外液中含量最高的一类免疫球蛋白,约占血清总免疫球蛋白的75%~80%,血清含量9.5~12.5mg/mL,是分子质量最小的一类免疫球蛋白,具
  • 6号染色体人类的6号染色体是23对染色体的其中之一,正常状况下每个细胞拥有两条。此染色体含有大约170百万个碱基对,占细胞内所有DNA的5.5%到6%。其中约有2000到2057个基因 ,依预测方式而