书籍详情

现代逻辑学讲义

现代逻辑学讲义

作者:李小五编著

出版社:中山大学出版社

出版时间:2005-01-01

ISBN:9787306025883

定价:¥35.00

购买这本书可以去
内容简介
  《模态逻辑》:模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础,作为一门课程,它是逻辑学专业的基础课之一。本讲义介绍了句子层次上(命题型的)模态逻辑最基本的内容。本讲义内容多,知识面广,定理定义表达严谨,例题习题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。《数理逻辑》:数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础,作为一门课程,它是逻辑学专业最重要的基础课。数理逻辑分两大部分:句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。本讲义内容丰富,知识面广,表达严谨,习题例题丰富,可作为高等学校逻辑学专业本科生、研究生教材使用。
作者简介
  李小五,男,1955年1月生于浙江湖州。1980-1984年在北京大学哲学系念哲学本科,1986-1989年在北京大学哲学系攻读逻辑学硕士学位,1989年获硕士学位。1992年从国防大学调入中国社会科学院所逻辑研究室,2000年10月在中国社会科学院聘为研究员。2002年8月作为引进人才调入中山大学哲学系逻辑与认知研究所。主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》(上、下卷)、《条件句逻辑》。还发表多篇论文、多部合著和一部译著。现任中山大学教授和博士生导师、北京中心客座研究员。
目录
现代逻辑学讲义:模态逻辑
 第1章 公理化系统
  1 公理化系统 协调性 和谐性
  2 初等系统
  3 基本系统
  4 退化系统
  5 其他一些重要的系统
 第2章 强推演、一致性与极大一致性
  1 强推演
  2 s-一致性与极大性
 第3章 关系语义与可靠性定理
  1 关系语义
  2 对应定理
  3 可靠性定理
  4 反模型方法
 第4章 典范模型与完全性定理
  1 完全性概念
  2 典范模型及其基本定理
  3 完全性定理
  4 刻画定理
  5 kg(mn)/(jk)的刻画定理
 第5章 有穷模型性与可判定性
  1 有穷模型性与穷框架性
  2 过滤有穷模型性
  3 极小典范模型与有穷模型性
  4 有模型性与可判定性
  5 没有有穷模型性的系统
 第6章 邻域语义
  1 领域语义
  2 刻画定理
  3 过滤与有穷模型性
  4 与关系主义的关系
 参考文献
 后记
现代逻辑学讲义:数理逻辑
猜您喜欢

读书导航