辛提卡IF一阶逻辑研究

中文摘要	第1-4页
英文摘要	第4-6页
文献综述	第6-8页
一 IF一阶逻辑的形式化讨论	第8-15页
1 关于量词的讨论	第8-13页
·量词在谓词逻辑中的地位	第8-9页
·量词依赖在一阶逻辑中的作用	第9-10页
·独立量词	第10-11页
·联结词与量词的关系	第11-13页
2 IF一阶逻辑形式与经典一阶逻辑形式的联系	第13页
3 司寇伦函项在IF一阶逻辑中的作用	第13-14页
4 IF一阶逻辑中的存在例示规则和全称例示规则	第14-15页
二 IF一阶逻辑的博弈论语义学解释	第15-21页
1 博弈论语义学的哲学背景	第15-18页
2 一阶逻辑的博弈论语义学解释	第18-20页
3 IF一阶逻辑的博弈论语义学解释	第20-21页
4 IF一阶逻辑的不完全性	第21页
三 IF一阶逻辑与经典一阶逻辑的比较	第21-26页
1 IF一阶逻辑的真定义是二阶定义	第21-22页
2 IF一阶逻辑与经典一阶逻辑定理形式的比较	第22-24页
3 IF一阶逻辑与经典一阶逻辑有效性的比较	第24-26页
四 IF一阶逻辑的一些应用	第26-31页
1 在认知逻辑中的作用	第26-28页
2 在数学基础中的作用	第28-31页
注释	第31-32页
参考文献	第32-34页
后记	第34页