| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 引言 | 第8-9页 |
| 1 基于组合子逻辑的 Curry 悖论研究 | 第9-15页 |
| ·组合子逻辑简介 | 第9-10页 |
| ·组合算子介绍 | 第10-12页 |
| ·早期组合子逻辑系统的不相容 | 第12-15页 |
| 2 推理组合子逻辑系统中的 Curry 悖论 | 第15-24页 |
| ·纯粹组合子逻辑 CLw | 第15-17页 |
| ·最小推理组合子逻辑系统 | 第17-20页 |
| ·最小推理组合子逻辑系统 I 的不相容性 | 第20-24页 |
| ·不动点组合子 | 第20-21页 |
| ·不动点组合子下的 Curry 悖论 | 第21-22页 |
| ·对悖论的分析 | 第22-24页 |
| 3 朴素集合论的 Curry 悖论 | 第24-28页 |
| ·朴素集合论介绍 | 第24-25页 |
| ·Curry 悖论的集合论版本 | 第25-28页 |
| 4 Curry 悖论的语义版本 | 第28-34页 |
| ·Tarski 的 T-模式 | 第28-29页 |
| ·Tarski 不可定义性定理 | 第29-31页 |
| ·Curry 悖论的语义悖论版 | 第31-34页 |
| 5 Curry 悖论与 L(o|¨)b 定理 | 第34-40页 |
| ·对角线引理及其证明 | 第34-36页 |
| ·L(o|¨)b 定理及其对 Tarski 不可定义性定理的证明 | 第36-38页 |
| ·L(o|¨)b 定理的证明与 Curry 悖论的语义形式比较 | 第38-40页 |
| 结论 | 第40-41页 |
| 致谢 | 第41-42页 |
| 参考文献 | 第42-45页 |