法律逻辑学 第四版 配套课件.ppt

*************************************************************************************************************************************************************************第四节可废止道义逻辑三、一个基于可废止推理的条件道义逻辑系统下面简单介绍一个由YoungU.Ryu构建的一个基于可废止推理的条件道义逻辑系统,以使大家了解现代道义逻辑的一些基本思想和方法。可废止道义推理系统一个道义规范δ(?/ψ)是一个义务(?/ψ)或者是其否定﹁(?/ψ),其中?和ψ是一阶公式。一个道义情景是=D,W,F,其中D是一个道义规范集合,W是一个一阶公式的集合(即不是基本字符),F是一个关于事实的集合(即基本字符)。两个道义规范(?1/ψ1)和(?2/ψ2)(或者﹁(﹁?2/ψ2)被认为是相冲突的,如果W∪{?1,ψ2}是不一致的。如果两个或两个以上的相冲突的道义规范可适用于同一个情景,那么它们就会导致道义冲突。解决道义冲突的第一步是为相冲突的道义规范定义一个优先关系:第四节可废止道义逻辑三、一个基于可废止推理的条件道义逻辑系统定义11.1优先的道义规范定义11.2最小道义集合定义11.4一致的道义约束集合定义11.5道义扩张的一致性定义11.6道义扩张的存在性定义11.7可废止道义后承关系定义11.8设=D,W,F,且W∪F是一致的。定义11.9对道义逻辑下面的推理规则进行了约束定义11.10可废止性定义11.11违反******************************第一节现代逻辑基础知识五、模态逻辑系统(一)模态逻辑PM的语法3.PM的公理(模式):具体构成如下:系统K=PC+K;系统T=PC+K+T;系统D=PC+K+D;系统B=PC+K+T+B;系统S4=PC+K+T+4;系统E=PC+K+T+E。第一节现代逻辑基础知识五、模态逻辑系统(一)模态逻辑PM的语法4.PM的导出规则:(1)PC的推导规则:由A和A→B,可推出B。(2)N规则(必然化规则):由?A,可推出?□A。5.可以证明PM存在以下定理(证明略):定理1.?TA→

A.定理2.如果?TA→B,则?T□A→□B.第一节现代逻辑基础知识五、模态逻辑系统(一)模态逻辑PM的语法5.可以证明PM存在以下定理(证明略):定理3.?T□(A∨B)?□A∧□B.定理4.?T□A?﹁

﹁A.定理5.?T□﹁A?﹁

A.定理6.?T﹁□A→

﹁B.定理7.?T

(A∨B)?(﹁

A∧﹁

B).定理8.?T(□A∨□B)→□(A∨)B.定理9.?T(□A∨□B)→(□A∨□B).定理10.?T

(A∨B)→(

A∧

B).第一节现代逻辑基础知识五、模态逻辑系统(二)模态逻辑的语义模态逻辑有多个语义理论,其中最著名的是由美国逻辑学家克里普克建立的可能世界语义学理论,其基本的思想是:A是必然的,当且仅当A在所有可及的可能世界都是真的;A是可能的,当且仅当存在一个可及可能世界,A在其中是真的。因而,相对于命题逻辑的语义只涉及赋值运算之外,模态逻辑的语义还涉及可能世界和可及关系两个因素。所谓可能世界,是指事物存在的各种情况,我们所在的现实世界只是其中的一种,我们用W表示所有可能世界的集合。第一节现代逻辑基础知识五、模态逻辑系统(二)模态逻辑的语义据此,对于模态公式的解释就是由三个要素:可能世界的集合W,可及关系R和赋值V构成的一个三元组W,R,V,这样的解释又称为一个模型,用M表示;而把一个可任意赋值的二元组W,R称为框架,用F表示。下面我们给出系统T的可能世界语义模型的定义:一个T模型是一个三元组W,R,V,其中W表示可能世界的集合,R表示W上的二元自反关系,V是满足下列条件的赋值:(1)对于任意命题变元p,任意