符号逻辑讲义

图书信息

内容简介

目录

在线试读部分章节

图书信息

作　者：徐明 编出 版 社：武汉大学出版社

出版时间：2008-9-1

版　次：1

页　数：581

字　数：534000

印刷时间：2008-9-1

开　本：16开

纸　张：胶版纸

印　次：1

I S B N：9787307065536

包　装：平装

内容简介

这份讲义是当代逻辑入门课程的教材，内容大约是.阶逻辑的前部，可作为教科书或参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生，也可以把它当作课外读物。

无论在国内还是国外，可用于一阶逻辑课的教材不少，导论性的教材更多；但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容（如完全性定理），其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写本书的目的之一，就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材，不能不提一种现象：越来越多的这类教材是由逻辑界之外的人撰写的。有一次，美国哲学界的几位同事谈起部分学生逻辑水平很低，其中一人开玩笑说，那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢？西方人写的逻辑教科书，有的很好，有的也很糟。所以，选用这类教材时要慎重，决不是西方人写的就一定好。

作为学科和知识体系，当代逻辑并没有理科当代逻辑、上科当代逻辑和文科当代逻辑之分。任何人着想掌握当代逻辑的基础知识，应该学习的决不会比其他学科的人更少。编写本书时，在基本内容的选择上对各学科读者一视同仁，但为了使没经过理论数学的严格训练的人也能学好，在写法上力求从接近直观的东西入手，循序渐进。

目录

第一章 引言

1.1 论说

1.1.1 论说的好坏

1.1.2 论说形式的好坏

1.1.3 论说的好坏取决于其形式的好坏

1.2 演绎

1.2.1 演绎的例子（一）

1.2.2 演绎的例子（二）

1.2.3 可演绎性、可证性和独立性

1.2.4 可演绎性与论说

1.3 一致性

1.3.1 关于一致性的基本想法

1.3.2 不一致命题集的例子

1.3.3 一致性、逻辑蕴涵和可演绎性的关系

1.4 与逻辑或“逻辑”有关的几个问题

在线试读部分章节

第一章　引言

在我上大学的时候，不少关于X的课程始于下面这样的问题：

什么是X？（X的定义）

学好X在理论上有什么意义？

学好X在实践上有什么意义？

怎样学好X7．．．

然后给出一些答案和细节，构成该课程的“绪言”。近年来，一些新出版的教科书仍沿袭这样的惯例，甚至“读经风”也要从“为什么要读”、“读什么”和“怎样读”等问题刮起。这门课叫“符号逻辑”，是当代逻辑即数理逻辑的入门课程。按惯例，好像也该先讲讲什么是逻辑，什么是符号逻辑，什么是当代逻辑，为什么要学及如何学好逻辑，等等。

像“逻辑是什么”或“当代逻辑是什么”这类问题，如果问的是逻辑或当代逻辑等的定义，那么我劝初学者不必太认真。初学逻辑，自然想知道逻辑学大概是怎么回事，想知道逻辑学家大概做些什么。但是，若想满足这种好奇心，与其在脑子里装些不明不白的“定义”，倒不如对逻辑学里讨论的问题以及讨论的方法多一点认真。这是因为：对一个学科的整体上的理解，是以对该学科中的问题和方法的理解为前提的。当然，这并不是说，关于逻辑或数理逻辑的各种说法都不值得思考。这里的要点是：不具备足够逻辑知识的人，分不出这些说法的好坏高低，反而容易因为学了某些“定义”、“分类”或“方向”，就自以为有些“逻辑学问”甚至“超逻辑学问”了。待到真有 点逻辑学问后，再来思考这类问题为时不晚——只要那时还有这种兴趣。

……