首页 >
道义逻辑
✍ dations ◷ 2025-04-24 18:31:52 #道义逻辑
道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该（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《逻辑学》（第二版）人民大学出版社
相关
- 义膜性喉炎哮吼（Croup），又称咽喉气管支气管炎（laryngotracheobronchitis）为一种呼吸道感染症，通常是由病毒感染所诱发。感染会引致气管内肿胀，并影响正常呼吸，而导致咳嗽会类似狗吠声，其他症状
- 水水部，为汉字索引中的部首之一，康熙字典214个部首中的第八十五个（四划的则为第二十五个）。就繁体和简体中文中，水部归于四划部首。水部通常是从上、下、左方均可为部字。当上、下
- 精液精液（英è¯ï¼šSemen），闽å—è¯ã€æ½®æ±•è¯å«åšâ€œæ½²â€ï¼ˆè¯»éŸ³ï¼šsiâu），而
- NF-κB核因子活化B细胞κ轻链增强子（英语：nuclear factor kappa-light-chain-enhancer of activated B cells，简称为NF-κB）是一种控制DNA转录的蛋白复合体。NF-κB几乎存在于所有类型
- 流鼻涕鼻漏（英语：rhinorrhea或rhinorrhoea）是指鼻腔充斥大量黏液的一种症状。该症状也被称为流鼻涕、流鼻水等，在人身上较为常见。鼻漏是过敏（过敏性鼻炎）和其他一些疾病（如普通感冒）的常
- 后工业化后工业社会是社会科学名词，指涉开始自1960年代的工业社会转型出现的社会现象，该词最早出自法国社会学家阿兰·图赖讷，后由美国社会学家丹尼尔·贝尔的著作《后工业社会的来临》
- Right右束支传导阻滞（Right bundle branch block，简称RBBB）是一类心脏电传导系统阻滞疾病（英语：heart block）。乃肇因于心脏的右束支传导阻断，进而造成电讯号无法经由此途径传入右心室，而
- 4-AcO-MiPTN-甲基-N-异丙基-4-乙酰氧基色胺（4-acetoxy-N-methyl-N-isopropyltryptamine 或 4-AcO-MiPT）是一种迷幻性色胺。到目前为止，有关其药理与毒性的认知不多。在瑞典，当局以危害健康
- 伯罗奔尼撒伯罗奔尼撒（希腊语：Πελοπόννησος，转写：Peloponnisos）是希腊南部的一个半岛。行政区划而言，半岛东南部是伯罗奔尼撒大区，西北部是西希腊大区。面积15491平方公里，人口632
- 集合论集合论（英语：Set theory）或称集论，是研究集合（由一堆抽象对象构成的整体）的数学理论，包含集合和元素（或称为成员）、关系等最基本数学概念。在大多数现代数学的公式化中，都是在集合论的
