| 内容摘要 | 第6-7页 |
| abstract | 第7页 |
| 1 绪论 | 第9-15页 |
| 1.1 研究意义 | 第9-10页 |
| 1.2 研究现状 | 第10-13页 |
| 1.3 研究框架 | 第13-15页 |
| 2 子结构逻辑概述 | 第15-25页 |
| 2.1 子结构逻辑溯源——根岑的贯列演算 | 第15-20页 |
| 2.1.1 从公理化系统到自然演绎 | 第15-18页 |
| 2.1.2 从自然演绎到贯列演算 | 第18-20页 |
| 2.2 当代子结构逻辑的理论特征 | 第20-25页 |
| 2.2.1 结构规则 | 第20-22页 |
| 2.2.2 联结词规则 | 第22-25页 |
| 3 子结构逻辑溯因 | 第25-34页 |
| 3.1 结构规则在自然语言中的局限性 | 第25-27页 |
| 3.2 拒斥弱化规则的理由 | 第27-30页 |
| 3.3 拒斥收缩规则的理由 | 第30-32页 |
| 3.4 拒斥交换规则的理由 | 第32-34页 |
| 4 贯列、联结词规则和结构规则的哲学辨析 | 第34-53页 |
| 4.1 “贯列”语义的不同解读 | 第34-39页 |
| 4.1.1 外延结构下的“贯列” | 第34-35页 |
| 4.1.2 内涵结构下的“贯列” | 第35-39页 |
| 4.2 联结词规则和联结词的定义 | 第39-47页 |
| 4.2.1 “tonk”难题 | 第39-40页 |
| 4.2.2 “完全证成”的语义测试 | 第40-42页 |
| 4.2.3 保守性和唯一性 | 第42-45页 |
| 4.2.4 Tonk-逻辑——一种新的子结构逻辑？ | 第45-47页 |
| 4.3 证明论语义学视角下的结构规则 | 第47-53页 |
| 4.3.1 从模型论语义学到证明论语义学 | 第47-48页 |
| 4.3.2 结构规则与联结词规则的联系 | 第48-50页 |
| 4.3.3 从结构规则看逻辑的本质 | 第50-53页 |
| 结语 | 第53-54页 |
| 参考文献 | 第54-56页 |
| 后记 | 第56页 |