道义逻辑

✍ dations ◷ 2024-07-05 08:06:42 #道义逻辑

道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该（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《逻辑学》（第二版）人民大学出版社

相关

FICD-10 第五章：精神和行为障碍（英语：ICD-10 Chapter V: Mental and behavioural disorders#(F10–F19) Mental and behavioural disorders），为世界卫生组织发布的、ICD-10规定的
衣壳衣壳是病毒的蛋白质外壳，又称为壳体。衣壳是由病毒衣壳蛋白亚基所形成的寡聚体。衣壳的作用是用于包裹病毒的遗传物质（核酸）。衣壳的类型大致是按它们的形态来分类的。不同的病
子宫癌子宫癌（Uterine cancer）为发源自子宫的所有癌症之统称。最常见的为子宫颈癌，为第二常见的妇女癌症。次常见的为子宫内膜癌，同时也是发达国家中第四常见的妇女癌症。风险因子根据
食道癌食管癌指的是发生在食道的癌症。常见的症状包括吞咽困难与体重减轻，其他症状还有吞咽疼痛、沙哑（英语：Hoarseness）、锁骨周边淋巴结肿大、干咳、以及咳血或吐血。有两大类食管癌
白喉白喉疫苗是一种用来对抗白喉杆菌（英语：Corynebacterium diphtheriae）的疫苗，而白喉杆菌正是白喉的致病原。在1980年到2000年间，白喉疫苗的出现让白喉患者的感染人数减少90%之多。
波多黎各面积以下资讯是以2015年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）人类发展指数以下资讯是以2014估计波多黎各自由邦（英语：The Common
世界卫生大会观察员世界卫生大会（法语：Assemblée Mondiale de la Santé，AMS ; WHA; 英语：World Health Assembly，WHA），是世界卫生组织（WHO）的最高权力机构。世界卫生大会每年5月在瑞士日内瓦的万国
圣奥古斯丁县圣奥古斯丁县（San Augustine County, Texas）是美国德克萨斯州的一个县。面积1,534平方公里。根据美国2000年人口普查，共有人口8,946人。县治圣奥古斯丁（San Augustine）。成立于18
伊利湖伊利湖（英语：Lake Erie）是北美洲五大湖之一，也是世界第十三大湖。伊利湖的名字来源于原在南岸定居的印地安伊利部落。伊利湖的面积有24,000平方公里，平均深度19米，蓄水量483立方公
留职停薪根据雇主的命令，停权或停职是离开工作场所的有薪或无薪时间，以便进行工作场所调查。对于学校，为暂时性禁止某位学生上课。当需要将员工从工作地点撤职以避免妨碍调查时，也可以使