加标动态逻辑及其若干应用-北京大学哲学系.PDFVIP

《哲学动态》2005 年增刊 加标动态逻辑及其若干应用 李小五 ( 中山大学逻辑与认知科学研究所，哲学系，广东广州，510275) 摘要：我们引入一加标动态逻辑，然后用它以及变种逻辑刻画实践、活动程度和活动否定这三个概念。 关键词：加标动态逻辑；实践和成功实践；活动程度；活动否定 〔中图分类号〕B81 〔文献标识码〕A 〔文章编号〕1002–8862–(2005)增刊–0012–10 ϕ ∧…∧ϕ→ψ / [α]ϕ ∧…∧[α]ϕ →[α]ψ。┤ 1. 加标动态逻辑 1 n i 1 i n i 说明：由A 和 MP 构成的系统记为 PC 。 本文提到但未定义的概念、记号和结果，请参 当n = 0 时，如通常规定ϕ ∧…∧ϕ是，所以 1 n 见后面的参考文献[1]。 RKα 相对PC等价于ψ / [α]ψ。 i i 1.1 定义 本文我们用Act表示可数无穷多个 1.4 定义 我们用 ϕ 表示ϕ是IPDL 的内定理： （原子）活动的集合。用At = {p , p , …}表示可数无 ϕ在IPDL 中有一个形式证明。IPDL 的全体内定理的 1 2 穷多个句符的集合。用I表示一个指标集，它由可数 集合记为Th(IPDL) 。我们也用ϕ表示ϕ∉Th(IPDL) 。 无穷多个元素或有穷多个元素构成。用ϕ, ψ和θ （加 ┤ 或不加下标）表示公式，其形成规则如下： 1.5 引理 下面是 IPDL 的导出规则和内定理： p ⏐¬ϕ⏐(ϕ∧ψ) ⏐[α]ψ， (1) [α](ϕ→ψ)→[α]ϕ→[α]ψ， i i i i 其中p ∈At ，α∈Act ，i ∈I 。 (2) ϕ→ψ / [α]ϕ→[α]ψ， i i 所有公式的集合记为 Form 。┤ (3) ϕ→ψ / αϕ→αψ， i i 1.2