道义逻辑

✍ dations ◷ 2025-08-07 23:44:48 #道义逻辑

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

相关

阿基米德浮体原理阿基米德浮体原理（或直接称为阿基米德原理或浮力原理）是阿基米德发现的原理。该原理是说，浸在流体中的物体（全部或部分）受到竖直向上的浮力，其大小等于物体所排开流体的重力。其公
人口增长率人口自然增长率指一定时期内人口自然增长数（出生人数减死亡人数）与该时期内平均人口数之比，通常以年为单位计算，用千分比来表示，计算公式为：人口自然增长率＝（年内出生人数－年内死
惊厥惊厥（英语：Convulsion），亦称惊风，在医学上指肌肉突然紧张、松弛而导致身体失控颤抖的状况。因为症状与癫痫发作相似而被混淆，但并不是所有的癫痫发作都会导致惊厥。和西医所指的广
情报单位美国情报体系（英语：United States Intelligence Community，缩写：IC）是由美国政府内16个独立机构组成的联合组织，这些独立机构进行各类情报活动，以支持美国的外交政策和国家安全。美
PWR压水反应堆（Pressurized Water Reactor，缩写为PWR）是美国贝蒂斯原子能实验室（英语：Bettis Atomic Power Laboratory）开发成功的一种轻水核反应堆。所有的压水反应堆利用普通水作为
纽约大学纽约大学（英语：New York University，缩写为NYU）是一所位于纽约市曼哈顿的研究型私立大学。主要的校区位于曼哈顿格林威治村的附近区域，以华盛顿广场为中心。于1831年成立，今日已经
原位癌原位癌（Carcinoma in situ），是已被发现有恶性肿瘤的特点，但还没有入侵其它组织的肿瘤。许多形式的癌症始于原位癌，但不能及早发现。原位癌的癌变仍然限于黏膜上皮层内或皮肤表皮
主题标目权威控制或规范控制，是图书馆信息学中一个整理图书馆目录（英语：Library catalog）和目录信息的方式，使同一主题使用相同、唯一的标题。这些标题贯彻整个目录库并且能与其他交叉引
未解的问题尚未解决的语言学问题（List of unsolved problems in linguistics）列举了语言学中十分关键但仍待解决的诸多问题，内容如下。以下所示问题中，既有目前已被公认无解的问题，也有已解
≡↔⇔≡当且仅当的逻辑符号当且仅当（英语：if and only if，iff），在数字逻辑中，逻辑算符反异或闸（exclusive or）是对两个运算元的一种逻辑分析类型，符号为XNOR或ENOR或