【新逻辑教程】宋文坚.pdf
新逻辑教程 宋文坚 主编
前言 逻辑是一门基础学科。逻辑的现代发展使它成为与数学、计算 机科学、语言科学,哲学、社会学、物理学等有密切联系的学科。我 国日前的逻辑研究和教学跟国外尚有差距。在高等学校普及现代 逆辑知识,吸引较多的人关注现代逻辑的发展和应用,这对我国社 本书是北京市哲学社会科学“七五”规划项自之一。它的量点 在于阐述现代演绎逻辑和现代归纳逻辑的基本内容。它是我们在 北京大学多年来为哲学系、社会学系、中文系、国际政治系等系开 设的逻辑课程的基础上撰写成书的。本书比较系统地讨论了现代 形式逻辑的基础知识,还重点地研究和讨论了这些内容的实际应 用。
91 目录 形式证明 第一章逻辑的对象、方法和意义 第一节逻辑类型 第二节逻辑形式 第三节逻辑运算和逻辑方法 第四节逻辑的作用和意义 第二章命题逻辑的公式 第一节复合命题 第二节复合命题的推理 第三节真值联结词 否定式 析取式和合取式 蕴涵式和等值式 第七节真值形式和真值断定 第八节真值函项 第三章真值表范式 第节永真公式 第二节真值表方法 简化的真值表方法 简化范式和优范式 范式的多种应用 求否定运算和求对偶运算 第八节命题逻辑的形式证明 第九节形式证明的推理规则 第四章命题演算 第四节 第五节