首页 >
道义逻辑
✍ dations ◷ 2025-06-07 03:40:25 #道义逻辑
道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该(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《逻辑学》(第二版)人民大学出版社
相关
- 丧恸丧恸(拼音:sāng tòng;英语:Grief),是对丧亡或死别的多重反应,会表现出悲伤、悲哀和伤心。这些反应除了在感情上外,也包括生理、认知、行为、社交及精神的层面。所经验的很多时都与
- 法兰克-史达林机制Frank–Starling机制(英语:Frank–Starling mechanisms),是心脏的一种代偿机制。指的是心脏的每搏输出量在所有其他因素保持不变的情况下,会随着心脏前负荷(心肌在收缩前所承受的
- 性传染病性感染疾病(英语:Sexually transmitted infections, STI),又称性病(英语:Venereal Disease, VD)或花柳病,描述因性行为(指阴道性行为、肛交和口交)而传播的疾病。大多数的性感染疾病一
- 独立国家联合体地区独立国家联合体(俄语:Содружество Независимых Государств),简称独联体(俄语:СНГ),苏联解体后由部分原苏联加盟共和国协调成立的一个国家联盟,其
- 奥硝唑奥硝唑(Ornidazole),化学名:1-(3-氯-2-羟丙基)-2-甲基-5-硝基咪唑,是一种5-硝基咪唑类抗生素,用于治疗厌氧菌和原虫、滴虫感染。左奥硝唑是奥硝唑的左旋体((S)-(−)-),用于滴虫、阿米
- 雄激素雄激素(英语:androgen、英语:androgenic hormones或英语:testoids),也译为雄性激素、男性激素、男性荷尔蒙,是一种化学成合物的泛称。在于脊椎动物中,凡是能够与雄激素受体(androgen
- 马尔马拉海马尔马拉海(土耳其语:Marmara Denizi,希腊语:Θάλασσα του Μαρμαρά),又译马摩拉海,古希腊与古罗马时期则称为普罗庞提斯海,是亚洲小亚细亚半岛同欧洲巴尔干半岛之间
- 后期中世纪后期 (Late Middle Ages),或称中世纪晚期、中世纪末期、中古后期、中古晚期、中古末期,是历史学者用来描述14世纪至15世纪(约1300年-1499年)欧洲历史的术语。中世纪晚期位
- 肽链肽(英语:peptide,来自希腊文的“消化”),旧称胜,即胜肽,又称缩氨酸,是天然存在的小生物分子,介于氨基酸和蛋白质之间的物质。由于氨基酸的分子最小,蛋白质最大,而它们则是氨基酸单体组
- 生僻字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧