数理逻辑基础:一阶逻辑与一阶理论(21世纪哲学系列教材)
点此进入淘宝搜索页搜索分类: 图书,科学与自然,数学,数理逻辑、数学基础,
品牌: 陈慕泽
基本信息·出版社：中国人民大学出版社
·页码：244 页
·出版日期：2003年
·ISBN：7300049427
·条形码：9787300049427
·包装版本：1版
·装帧：平装
·开本：16
·正文语种：中文
·丛书名：21世纪哲学系列教材
产品信息有问题吗？请帮我们更新产品信息。
内容简介本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。
作者简介陈慕泽，上海人。中国人民大学哲学系教授，博士生导师，中山大学逻辑与认识研究所兼职研究员。
余俊伟，江西省安义县人。哲学博士，中国人民大学哲学系副教授。
媒体推荐书评
数理逻辑是思维科学的一个分支，也是数学的一个分支。由于具有强有力的形式表达和形式分析的功能，数理逻辑在哲学、语言学、经济学、计算机科学、人工智能、决策学等诸多领域的现代发展中，得到了广泛的实质性的运用。熟悉和掌握数理逻辑基础，已成为当代人文、社会科学工作者应当具备的一种知识结构和素养。
本书主要是为高等学校人文、社会科学学科的学生编写的教材。前四章是一阶逻辑，最后一章是一阶理论。一阶逻辑是数理逻辑的基础，是数理逻辑最具直接应用价值的部分，是新世纪我国所培养的大学生必须具备的基础理论知识。
目录
绪论
第一节逻辑与推理
第二节逻辑语言数理逻辑
第三节预备知识
第一章命题逻辑
第一节原子命题与复合命题
第二节真值联结词与真值形式
第三节命题逻辑对命题的符号化
第四节真值函数
第五节真值形式的类型及其判定方法真值表方法
第六节归谬赋值法
第七节范式
第八节真值树
第九节自然推理
第二章谓词逻辑
第一节谓词个体词量词
第二节谓词逻辑对命题的符号化
第三节谓词逻辑的命题形式及其判定
第四节量化自然推理
第五节谓词逻辑中的范式
第三章命题演算
第一节形式化的基本概念
第二节命题演算P
第三节P的元理论
第四章谓词演算
第一节谓词演算Q
第二节Q的元理论
第三节谓词演算的不同系统谓词演算QS
第五章一阶理论
第一节一阶理论
第二节不可判定性
参考文献
……[看更多目录]
