反基础公理AFA及其在解悖中的应用研究
| 中文摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-12页 |
| 引言 | 第12-14页 |
| 第一章 反基础公理 AFA 的基本理论 | 第14-42页 |
| 第一节 解引理 | 第14-22页 |
| ·从良基论域到非良基论域 | 第14-15页 |
| ·模型化方程组和方程组的解 | 第15-17页 |
| ·反基础公理 AFA 的解引理表达 | 第17-20页 |
| ·广义平坦方程组和典范平坦方程组 | 第20-22页 |
| 第二节 方程组之间的互模拟关系 | 第22-24页 |
| 第三节 广义方程组和广义解引理 | 第24-31页 |
| 第四节 ZFA 的一致性 | 第31-42页 |
| ·模型 M 和 Mafa | 第31-33页 |
| ·平坦互模拟方程组 | 第33-36页 |
| ·ZFA | 第36-42页 |
| 第二章 高级游戏悖论及其消解 | 第42-56页 |
| 第一节 高级游戏悖论概述 | 第43-44页 |
| 第二节 模型化游戏 | 第44-50页 |
| ·预备知识 | 第44-45页 |
| ·游戏的规则 | 第45-46页 |
| ·决定谁赢了游戏的方法 | 第46-48页 |
| ·游戏的策略和赢策略 | 第48-50页 |
| 第三节 高级游戏悖论的消解 | 第50-56页 |
| ·超级游戏的构造 | 第51-52页 |
| ·高级游戏的构造 | 第52-54页 |
| ·一些启示 | 第54-56页 |
| 第三章 情境语义学解悖方案探究 | 第56-96页 |
| 第一节 引言 | 第56-62页 |
| ·悖论概述 | 第56-60页 |
| ·罗素型命题与奥斯汀型命题 | 第60-61页 |
| ·形式语言 L | 第61-62页 |
| ·命题与集合 | 第62页 |
| 第二节 命题的罗素型阐释 | 第62-78页 |
| ·模型化罗素型命题 | 第62-65页 |
| ·形式语言 L 的罗素型语义 | 第65-67页 |
| ·罗素型命题的“真”和现实世界 | 第67-70页 |
| ·罗素型世界中的 T-模式 | 第70-75页 |
| ·悖论性的罗素型命题 | 第75-78页 |
| 第三节 命题的奥斯汀型阐释 | 第78-91页 |
| ·模型化奥斯汀型命题 | 第78-80页 |
| ·奥斯汀型命题的“真”和现实世界 | 第80-83页 |
| ·奥斯汀型世界中的 T-模式 | 第83-86页 |
| ·形式语言 L 的奥斯汀型语义 | 第86-91页 |
| 第四节 罗素型阐释与奥斯汀型阐释的关系 | 第91-93页 |
| 第五节 情境语义学解悖的两个重要概念：否定和否认 | 第93-96页 |
| 第四章 反基础模型论解悖方法探究 | 第96-124页 |
| 第一节 反基础模型论原理 | 第96-105页 |
| ·部分模型和全模型 | 第96-97页 |
| ·模型的扩充和扩张 | 第97-102页 |
| ·可及模型和自返模型 | 第102-105页 |
| 第二节 几个和真谓词有关的悖论的消解 | 第105-116页 |
| ·给语言增加真谓词 | 第105-107页 |
| ·悖论的消解 | 第107-114页 |
| ·模糊逻辑中的说谎者语句 | 第114-115页 |
| ·直觉模糊逻辑中的说谎者语句 | 第115-116页 |
| 第三节 指称悖论及其消解 | 第116-124页 |
| ·给语言增加形成规则 | 第116-118页 |
| ·给语言增加指派谓词 | 第118-120页 |
| ·悖论的消解 | 第120-124页 |
| 参考文献 | 第124-128页 |
| 致谢 | 第128-129页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第129-130页 |
