道义逻辑

✍ dations ◷ 2025-04-04 06:36: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《逻辑学》（第二版）人民大学出版社

相关

尘土土壤（德语：Boden，英语：soil）是一种自然体，由数层不同厚度的土层（德语：Bodenhorizont，英语：soil horizon）所构成，主要成分是矿物质。土壤和母质（岩石）的差异主要是表现在形态特征或物理、化
美西林美西林（INN：Mecillinam；USAN：Amdinocillin）是一种广谱半合成青霉素，对革兰氏阴性菌作用强，也可用来治疗伤寒和副伤寒。其口服利用率很差，匹美西林则是针对此缺陷开发出来的。这种药
植物表皮表皮（英语：epidermis，来自希腊语：επίδερμίδα）是单层的细胞群，覆盖了植物的叶、花和茎。它形成了植物和外界环境的界线，表皮承担多重功能，如防止水的流失，调控气体交换，分泌
模式生物模式生物（英语：model organism）是指受到广泛研究，对其生物现象有深入了解的物种。根据从这些物种所得的科学研究结果，可以归纳出一些涵盖许多生物的模型，并应用在各领域的研究。利
含水层含水层（英语：aquifer），也作蓄水层，是指地底一层含有水分的渗透岩（英语：permeability (earth sciences)）、岩石碎隙或未固结的材料（砾石、沙、淤泥）。人们可通过打钻水井来从含水层提取
马拿瓜马那瓜（西班牙语：Managua）是尼加拉瓜的首都及第一大城市，也是中美洲地区第二大城市。位于尼加拉瓜的西部以及尼加拉瓜第二大湖－马那瓜湖的沿岸。该城在1855年被订为尼加拉瓜的首
银川市银川市，简称银，古称中兴路、兴庆府、怀远镇、宁夏省城，是中华人民共和国宁夏回族自治区首府，位于宁夏中北部。市境北接石嘴山市，东抵内蒙古自治区鄂尔多斯市，南达吴忠市，西界内蒙古
临高语临高语，又称临高话，是海南岛北部临高人所使用的一种语言，属于侗台语系，使用人数约60万。尽管临高人被认为是汉族人，但临高话并非汉语的一种。临高语一般分成东西两种方言：15-17个
字纸敬惜字纸是中国文化传统理念之一，也传到受中国儒家文化影响的汉字文化圈其他地区。在科举制度的影响下，出于对文化与文字的崇敬，古人认为应当对字纸，即写有文字的纸张表示尊敬和
阳平阳平可以指：