搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
逻辑学
0.00    
图书来源: 浙江图书馆(由图书馆配书)
  • 配送范围:
    全国(除港澳台地区)
  • ISBN:
    7010027331
  • 作      者:
    宋文坚主编
  • 出 版 社 :
    人民出版社
  • 出版日期:
    1998.6
收藏
内容介绍
    《逻辑学》包括七章和一个附录。第一章绪言,介绍逻辑的总体内容和历史概况。第二章命题逻辑,其内容与一般的逻辑教材比较接近,只是更加丰富、更加系统。第三章词项逻辑,是用传统方法讲术有关直言命题的推理,为了与后面各章的内容相衔接,在写法上作了一些改变。第四章一元谓词逻辑,是从传统内容向现代内容过渡的一章。第五章谓词逻辑是现代谓词逻辑的一个比较系统的陈述。第六章归纳逻辑,是用比较现代的方法进述归纳逻辑的基本内容。第七章逻辑方法,是一些与逻辑有关但又不单纯是推理的内容,如定义、论证、论辩等。附录中简单介绍了现代逻辑学中被称为“非经典逻辑”或“应用逻辑”的一些内容。目的是让读者对现代逻辑学的情况有一个比较全面的了解,特别是使读者了解到我们所讲的经典逻辑并不是唯一的逻辑理论,也不是无懈可击的逻辑理论。
展开
目录
前言
第一章  绪言
1.1 什么是逻辑
1.2 逻辑和逻辑的类型
1.3 现代逻辑的基本思想与方法
1.4 逻辑的作用和意义
1.5 预备知识

第二章  命题逻辑
2.1 联结词与复合命题
2.2 真值联结词和真值形式
2.3 真值函数重言式
2.4 重言式的判定
2.5 重言蕴涵式和重言等值式
2.6 范式
2.7 联结词推理的形式证明
2.8 命题演算
习题

第三章  词项逻辑
3.1 词项
3.2 直言命题
3.3 直接推理
3.4 三段论
3.5 词项逻辑中的主项存在问题
习题

第四章  一元谓词逻辑
4.1 词项逻辑的不足
4.2 一元谓词逻辑的形式语言
4.3 可满足性和有效性
4.4 代入和易字
4.5 有效式的判定
4.6 范式
4.7 推理的形式证明
习题

第五章  谓词逻辑
第六章  归纳逻辑
第七章  逻辑方法
附录  应用逻辑简介
索引
参考书目
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证