中文摘要 | 第1-5页 |
英文摘要 | 第5-6页 |
引言 | 第6-8页 |
一、 冯-赖特的行动概念和对行动的说明和理解 | 第8-14页 |
二、 冯-赖特的实践三段论 | 第14-21页 |
三、 冯-赖特建立的行动逻辑演算 | 第21-32页 |
(一) 行动语句的分析和符号构建 | 第21-24页 |
(二) 基于命题逻辑建立的演算 | 第24-27页 |
(三) 基于谓词逻辑建立的演算 | 第27-32页 |
四、 冯-赖特引入的BS算子及其行动逻辑 | 第32-47页 |
(一) 二个行动算子B、S的引入 | 第32-35页 |
(二) BS算子的运用 | 第35-39页 |
(三) BS算子的特点、BS-语句及其量化 | 第39-47页 |
参考文献 | 第47-49页 |
后记 | 第49-50页 |