|
| 李小五，男，1955年1月生于浙江湖州，1986年在北京大学哲学系攻读逻辑学研究生，1989年获硕士学位，1992年调入中国社会科学院哲学所逻辑研究室，2002年8月进入中山大学逻辑与认知研究所。主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》（上下卷），还发表论文20余篇，合著5部、译著1部。现任中山大学逻辑与认知研究所教授，中国社会科学院哲学所研究中心客座研究员。 |
| 第0章预备知识 1集合论初步 2句子逻辑初步 3谓词逻辑初步 第1章一般缺省逻辑 1经典句子逻辑中的单调推理规则 2缺省推理与缺省理论的基本性质 3缺省理论的扩张 4缺省规则的良序化 5弱扩张与部分扩张 6量化逻辑 第2章子缺省逻辑 1正规缺省逻辑 2半正规缺省逻辑 第3章缺省逻辑的变种（上） 1正当缺省逻辑 2累积缺省逻辑 3析取缺省逻辑 第4章缺省逻辑的变种（下） 1优先缺省逻辑 2约束缺省逻辑 3合理缺省逻辑 第5章模态逻辑基础与稳定理论 1模态逻辑基础 2稳定理论 第6章模态系统的膨胀理论 1依赖语境的证明 2S-膨胀及其基本性质 3极小模型语义 4相对反思的一致性 5S-膨胀的再认识 第7章几个重要的非单调模态逻辑 1非单调逻辑N 2非单调逻辑KD45和Sw5 3自识逻辑 4与单调模态逻辑的对应 5对反思的限制 6与缺省逻辑的互译 第8章限定逻辑 0经典二阶逻辑 1直观思想 2谓词限定逻辑 3公式限定逻辑 4二阶限定逻辑 5非递归的限定逻辑 6个体域限定逻辑 7逐点限定逻辑 参考文献 后记 |
内容加载中，请稍后...
商品评论（0条）