道义逻辑

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

相关

  • 粒毛盘菌纲粒毛盘菌纲只有一纲、一目、一科、一属,是属于外囊菌亚门的真菌,是外囊菌亚门中唯一一类有子囊果的品种,子囊果有7厘米长,呈黄色、橘黄或淡黄色。粒毛盘菌属各品种生长在亚洲、
  • 空窗期空窗期(英语:window period)在医学检验的领域中,指的是:“从生物体受到疾病感染 那一刻开始直到医学检验可有效侦测到生物体受到疾病感染那一刻为止”中间的时期。例如:一个生物体
  • 神经元神经元(英语:neuron),又名神经原或神经细胞(英语:nerve cell),是神经系统的结构与功能单位之一。神经元能感知环境的变化,再将信息传递给其他的神经元,并指令集体做出反应。神经元占了
  • 单体在高分子化学中,单体是可与同种或他种分子通过共价键连接生成聚合物的小分子。英文的“单体”(monomer)一词来源于希腊语的“一”(mono)和“部分”(meros)。单体可以按聚合反应的方
  • PPM百万分率(英语:parts per million,缩写作ppm),定义为百万分之一,1ppm即是一百万分之一。可以用在衡量生产品质及医学、化学的计量上,例如对客户的出货ppm保证在30ppm以下,公司内制程
  • 马来穿山甲马来穿山甲(学名:Manis javanica),又名爪哇穿山甲或爪哇鲮鲤,是东南亚的一种穿山甲,分布在泰国、印尼、菲律宾、越南、老挝、柬埔寨、马来西亚及新加坡的森林。它们大部分时间都是
  • 志愿者志愿者(港澳称为义工,台湾称为志愿工作者),台湾简称志工,是指一种助人、具组织性及基于社会公益责任的参与行为,通常旨在促进善良或改善人类生活质量。其发展可追溯至二次大战后,福
  • 产后出血产后大流血(英语:Postpartum hemorrhage,缩写为PPH),又称产后出血(Postpartum bleeding),妇女在生产之后可能出现的一种失血病症,通常被定义为生产后24小时内失血超过500至1,000毫升,
  • 比较比照法(comparative method)或比较法是一套比较语言学的研究方法,语言学家用它来揭示语言间的源流关系。它的任务是通过同源词的比较来证明两种或多种切实存在或存在过的语言拥
  • 辞书学辞书学(英语:lexicography)是编纂辞典的工艺和技巧的学问,是语言学的分支学科。辞书学的研究对象主要是语文辞典。有人认为,辞书学的研究对象应包括百科全书、专科辞典及年表等。