|
逻辑是关于思维形式的科学。但是，逻辑有形式逻辑，有辩证逻辑，还有数理逻辑。这三种逻辑是不同的逻辑，又同样都是逻辑。我们在此所讲的逻辑不是辩证逻辑，也不是数理逻辑，而是形式逻辑（普通逻辑）。以下，我们都在此意义上使用逻辑这个概念。 那么，逻辑——形式逻辑是怎样研究思维形式的呢？形式逻辑只研究思维形式的结构。思维形式的结构又叫作思维的逻辑形式。 所谓思维的逻辑形式是指不同的具体思维内容之间的共同的联系方式。我们知道，人们各自的具体思维内容是千差万别的。无论是概念，或是判断，乃至推理，它们都各自概括了无数人的千差万别的具体思维内容。但是，不同的具体思维，尽管在内容上千差万别，但它们的联系方式则可能是相同的。 诸看下面两则幽默—— 《五百只鸭子》： 课堂上，老师对吵闹不休的女学生说：“两个女人等于一千只鸭子。” 不久，师母来校。一个女学生赶忙向老师报告：“老师，外面有五百只鸭子找您。” 《歌德让路》 德国诗人歌德在公园散步，与一位批评家在一条仅能让一人通行的小路上相遇。 “我从来不给蠢货让路。”批评家说。 “我恰好相反！”歌德说完，笑着退到了路边。 这两则幽默，一则是中国的，一则是外国的。 它们在具体思维内容上，完全不同。但是，它们都包含了一个思维内容之间的联系方式完全相同的推理。 让我们把这两个推理分别整理表达如下： 那个女学生的推理—— 一个女人等于五百只鸭子； 师母是一个女人； 所以，师母等于五百只鸭子。 歌德的推理—— 凡是蠢货到来我都让路； 某某批评家到来是蠢货到来； 所以，某某批评家到来我让路。 可以看出，这两个推理都一样由三个概念组成。（组成第一个推理的三个概念是：一个女人、师母、等于五百只鸭子；组成第二个推理的三个概念是：蠢货到来、某某批评家到来、我让路）而且，其中，每个概念都在各自所属的推理中出现两次；同时，这两个推理都分别包含三个判断。如果我们用M、S、P来表示各个推理中相应的三个概念，那么，显然，这两个推理的具体思维内容之间，就有着如下相同的联系方式，即共同的逻辑形式—— 所有M是P； S是M； ∴ S是P。 形式逻辑这门科学不同于其他科学的特点，正在于它从千差万别的具体思维内容中抽象出一些思维的逻辑形式来加以研究，研究它们的结构规律以及各种不同逻辑形式之间的真假关系，（同时也研究一些如定义、划分、限制与概括之类的简单的逻辑方法。这些逻辑方法也包含其固有的逻辑形式和规律）从而指导具体思维实际，为正确认识事物和准确表达思想服务。 现在，我们可以给形式逻辑下一个较为完整的定义了——形式逻辑是关于思维的逻辑形式及其规律的科学，同时也研究一些简单的逻辑方法。 |
|
|
