道义逻辑

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

相关

  • 肺炎分枝杆菌肺炎支原体(Mycoplasma pneumoniae、霉浆菌性肺炎)是一种可导致肺炎的支原体细菌,也有机会导致冷凝集素症(英语:cold agglutinin disease)。这种由肺炎支原体引起的肺炎,又称作霉浆
  • X射线计算机断层成像计算机断层成像(Computed Tomography,简称CT),是一种影像诊断学的检查。这一技术曾被称为计算机轴向断层成像(Computed Axial Tomography)。X射线计算机断层成像(X-Ray Computed To
  • α-变形菌门α-变形菌(Alphaproteobacteria)是变形菌门(Proteobacteria)下的一个纲。此纲的成员变异性极大,且共通点极少,但他们确实系出同源。α-变形菌大多都是革兰氏阴性菌,而有些包内寄生
  • 诺贝尔生理学与医学奖诺贝尔生理学或医学奖(瑞典语:Nobelpriset i fysiologi eller medicin),通常合称诺贝尔生理医学奖,由诺贝尔基金会管理,该奖项每年颁发一次,用于表彰在生理学或医学领域作出重要发
  • 水疱病毒属水稻病毒属(Oryzavirus),又称作水稻皱缩矮化病毒,是呼肠孤病毒科(Reoviridae)中的一属,其代表种为:*水稻破(烂;褴)褛矮小(化)病毒(Rice ragged stunt virus),为一类植物病毒。
  • 心悸心悸(英语:Palpitation)是一种可以感觉到自己的心脏跳动的不适现象,有时伴有眩晕和呼吸困难。心悸可在正常人的健康心脏中发生,因此常常被认为是一种正常现象。然而,它也有可能是
  • 甲壳纲见内文甲壳亚门(学名:Crustacea)是由非常大的一组的节肢动物门形成的,通常被当作是一个亚门,包括常见的物种,例如螃蟹,虾,龙虾,淡水龙虾,磷虾,和藤壶等等。这些物种通过对非常不同的环
  • 威尼斯威尼斯(威尼斯语:Venezsia;意大利语:Venezia;弗留利语:Vignesie;拉丁语:Venetia;英文:Venice)是意大利东北部著名的旅游与工业城市,也是威尼托地区的首府。威尼斯城由被运河分隔并由桥梁
  • 异亮氨酸异亮氨酸(Isoleucine、简写:三字母: Ile;一字母: I)是二十种基本氨基酸的其中一种,几乎在所有蛋白质的结构里都存在着。其化学组成和亮氨酸完全一样,但原子连接/排列顺序不同,因此
  • 悬雍垂悬雍垂(palatine uvula,又名腭垂,俗称“小舌”、“吊钟”)是人体口腔器官,悬挂于软颚正中间的末端。悬雍垂的功能是在饮食时上升堵住食物通过鼻腔进入气管的通道,从而使食物进入食