首页 >
道义逻辑
✍ dations ◷ 2025-05-15 16:50: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《逻辑学》(第二版)人民大学出版社
相关
- 醛固酮拮抗剂抗盐皮质激素(anti-mineralocorticoid、或称"醛固酮拮抗剂"(aldosterone antagonist)、醛固酮受体拮抗剂、醛甾酮拮抗剂)是指一种利尿剂能拮抗在盐皮质激素受体(Mineralocor
- 核事故依照国际原子能机构(IAEA)的标准,核事故是指对人、环境或设备造成严重后果的事件。核事故导致的后果有致死的影响、对自然环境造成的大量辐射泄漏、炉心熔毁等。“重大核事故”
- 防止船舶污染国际公约防止船舶污染国际公约(英语:International Convention for the Prevention of Pollution from Ships,简称MARPOL),现称“关于1973年防止船舶污染国际公约之1978年议定书(英语:Proto
- Sc3d1 4s22,8,9,2蒸气压第一:633.1 kJ·mol−1 第二:1235.0 kJ·mol−1 第三:2388.6 kJ·mol−1 (主条目:钪的同位素钪(Scandium),其命名Scandium源自斯堪的纳维亚半岛的拉丁文名称Sc
- Ds5f14 6d8 7s2(预测)2, 8, 18, 32, 32, 16, 2(预测)第一:955.2(估值) kJ·mol−1 第二:1891.1(估值) kJ·mol−1 第三:3029.6(估值) kJ·mol−1 (主条目:
- 美国食品和药物管理局美国食品药品监督管理局(英语:U.S. Food and Drug Administration,缩写为FDA)为美国卫生与公众服务部直辖的联邦政府机构,其主要职能为负责对美国国内生产及进口的食品、膳食补充
- 弗罗茨瓦夫弗罗茨瓦夫(波兰语:Wrocław;德语:Breslau,中文译为布雷斯劳、布列斯劳、洛克劳;捷克语:Vratislav;拉丁语:Wratislavia 或 Vratislavia),是波兰城市,位于波兰西南部的奥得河畔,自1999年起
- 阿拉吉欧症候群阿拉吉欧症候群是一种体染色体基因异常的疾病,其会导致胆汁郁积、先天性心脏血管疾病、骨骼结构异常、眼球角膜异常以及特殊的外观长相。此病通常借由肝脏内胆管的数目来判定
- 希腊希腊国家图书馆(希腊语:Εθνική Βιβλιοθήκη),位于雅典市中心附近,由丹麦建筑师特奥费尔·翰森设计,为其新古典主义建筑三部曲之一(另外两个是雅典科学院、雅典大学)
- 阿尔吉克语系阿尔吉克语系(英:Algic languages)是北美洲原住民语言语系,主要使用在北美洲的北部地区,包括加拿大和美国的一些省份。语系内多数语言属于阿尔冈昆语族,分布在北美东岸至落基山脉