首页 >
道义逻辑
✍ dations ◷ 2025-12-09 02:04:58 #道义逻辑
道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该(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《逻辑学》(第二版)人民大学出版社
相关
- 胞器细胞器(英语:organelle,或称胞器)是细胞的一部分, 是细胞中通过生物膜与细胞中其他部分分隔开来的、功能上独立的亚细胞结构,与细胞质基质和细胞骨架统称为“细胞质”。细胞器可依
- 能量能量(古希腊语中 ἐνέργεια energeia 意指“活动、操作”)在物理学中是一个间接观察到的物理量。它往往被视为某一个物理系统对其他的物理系统做功的能力。由于功被定
- 灰黄霉素灰黄霉素(英语:Griseofulvin),是一种抗真菌的口服药物。在动物和人类中,它是用来治疗真菌感染的皮肤(癣的俗称)和指甲。它是在1939年由灰黄青霉被分离的部分菌株所培养而成。灰黄霉
- 鼻塞鼻塞是指鼻道因鼻内血管肿胀、鼻中膈歪曲,或鼻甲、鼻息肉肥厚而造成空气流通不顺的情况。它是上呼吸道感染常见的症状。鼻塞成因有很多,而影响亦可大可小。对成年人或普通儿童
- 取代基取代基是取代的无机或有机化合物中氢原子的基团,取代发生后,会形成新的化合物。不同的取代基会导致不同的效应,如诱导效应、共振效应、电子效应及立体效应等,从而使不同的化合物
- 玩耍在心理学和动物行为学的解释中,玩耍是一种自愿和主动进行的为了娱乐的活动 。通常,玩耍是孩子们和青少年的活动,但它也能够给成人带来一定的好处。许多在心理学领域杰出的研究
- 行为能力行为能力(capacity)为一种法律上的概念,其与“权利能力”及“意思能力”不同,乃指为法律行为之资格,亦即个人以独自的意思表示,使其行为发生法律上效果的资格而言。民法中基于私法
- 语言转移语言转移也称为语言交替、语言变化、语言转换、语言迁移、语言替代(Languages shift、Language transfer、Language replacement、Assimilation),是指某语言的使用群体改用另一
- 因纽特语伊努克提图特语,或译作因纽特语、伊努特语、Eastern Canadian Inuktitut( (/ɪˈnʊktᵻtʊt/; Inuktitut: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL",
- 上标上标,也叫上角标,是出现在一列正常字体文字的上边的数字、字母或其他符号,在其他字母或符号的左边或右边。上标具有多种用途,常用于公式、数学式或化学复合物及同位素。也能用于
