道义逻辑

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

相关

  • 病原菌病原细菌(英语:Pathogenic bacteria)是指能导致传染病的细菌病原体。本条目主要针对会造成人类传染病的病原细菌。大部分的细菌是无害,甚至是有益的,不过有些细菌是病原体。像结
  • 美国国家生物技术信息中心国家生物技术信息中心(National Center for Biotechnology Information,简称NCBI)是美国国家医学图书馆(NLM)的一部分(该图书馆是美国国家卫生研究所的一部分)。NCBI位于美国马里兰
  • 猝死猝死(sudden cardiac death,简称SCD)指突然的死亡,其定义是“非因自杀、他杀或事故而发病、24小时内意外出现的内因性死亡”。一个人由于过度兴奋或过度疲劳而导致的突然死亡。
  • 水净化水净化(英语:Water purification),是指从原水中除去污染物的净化过程,其目的是以特定的程序达到把水净化的效果,并用水作不同的用途;大多数的水都是提供人类饮用的。净化水亦可作很
  • 神农本草经《神农本草经》,简称《本经》,是现存最早的中药学专著,作者不详,约成书于秦汉时期。书内记载的药物凡365种,分上品、中品和下品三品。原书早已佚失。南朝陶弘景为《神农本草经》
  • 牛津辞典《牛津英语词典》(英语:Oxford English Dictionary,OED)是由牛津大学出版社出版的20卷词典,截至2005年11月30日,该词典收录了301,100主词汇,字母数目达3亿5千万个。词典亦收录了157
  • 蔗糖蔗糖是一种双糖(葡萄糖+果糖),晶体白色,具有旋光性,但无变旋。易被酸水解,水解后产生等量的D-葡萄糖和D-果糖。不具还原性。发酵形成的焦糖可以用作酱油的增色剂。蔗糖是光合作用
  • 波萝勉省波萝勉省(高棉语:ខេត្តព្រៃវែង,高棉语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode",
  • 红斑狼疮红斑狼疮(Lupus erythematosus)为一系列自体免疫性疾病的统称,即免疫系统非正常地攻击自身正常组织。症状可能会发生于全身各处,包含关节、皮肤、肾、血球、心脏,以及肺。最常见
  • 先验先验(拉丁语:a priori;也译作 先天)在拉丁文中指“来自先前的东西”,或引申为“有经验之前”。近代西方传统中,认为先验指无需经验或先于经验获得的知识。它通常与后验知识相比较,