我们再来看本书的第5部分的思想内容谓词逻辑，关于这部分的思想内容，个人提取的相关思想，要点如下所示：
第一个思想要点，谓词逻辑相比较命题逻辑和词项逻辑的一个显著优势，就在于是能够去处理关系命题及推理。比如：任一自然数,如果它能够被2整除,则它是偶数；如果它不能被2整除,则它不是偶数。有的自然数不能被2整除；所以,有的自然数不是偶数。
关于谓词逻辑的基本介绍，在前面已然表述在这里只简单提一下，谓词逻辑把该命题拆分为个体词、谓词、量词,有时还要加上联结词。再有就是这个个体词，又分为个体常项和个体变项。所谓的常项就是论域里面的确定的对象，变项就是这个论域里面不确定的对象。关于论域，可以理解为“全域”,即由世界上所有能够被思考、被谈论的事物组成的集合。
关于这一部分的思想内容，实际上就是前面讲的那个属于数理逻辑范畴的内容，把我们所表述的每一句话语能够用数学符号以及相关的英文字母进行替换，然后再从中探讨相关的逻辑性质与推理关系，因此这方面的内容个人就不多加以表述，感兴趣的可以自行阅读本书这一部分。
我们再来看本书第6部分归纳逻辑的思想内容，关于这一部分的思想内容，个人提取的思想要点，如下所示：
第一个思想要点，在现代逻辑学界，归纳逻辑，从起初感觉经验材料中发现普遠命题的程序和方法,转变为去研究感觉经验证据对某个一般性假说的确证程度,并引人概率论和数理统计作工具,从而形成了概率归纳逻辑。
第2个思想点，当我们使用简单的归纳法的时候，需要注意的是，第一，被考察对象的数量要足够多，第二，被考察对象的范圃要足够广，第三被考察对象之间的差异要充分大。
第3个思想要点，排除归纳法。所谓的排除归纳法，实际上就是在寻找事物之间因果联系的时候，把一些明显不属于某一现象发生的原因给排除掉，再去看剩下的这些先行情况和现象发生的因果关系。
第4个思想要点，类比推理。根据两个或两类事物在一系列属性上相似,从而推出它们在另一个或另一些属性上也相似的推理，这个要点在于已知属性和要推导出来的这个属性，他们之间的相关程度，相关程度越高，那么就结论越可靠。
第5个思想要点，比较方法。横向比较，纵向比较，定性比较，定量比较。在这里简单解释一下定性与定量，所谓定性就是在性质上或者说质的规定上进行区分，所谓定量就是在数量特征上进行区分。但需要注意的是，必须在同一关系以及在这一事物的内部关系以及有同一确定的标准下，才能够进行比较。
第6个思想要点，溯因推理，即从某个待解释现象出发,若运用某个一般性规律就能解释该现象何以如此发生,由此就推出该一般规律有可能成立。这样的一种推理方式虽然不能够保证，但是至少能够给一定的思路，但还需要注意的是，对于这种思路要进行实践性的验证。
第七个思想要点，作者对归纳逻辑的认识。第一，“”否存在既具有保真性又能够扩展知识的归纳推理”这个问题,逻辑既不能提供绝对背定的答案,也不能提供绝对否定的答案。第二，人类生存逃不了归纳逻辑推理。第三，归纳逻辑推理只能可能真，不能必然真。
我们再来看这本书，第7部分的思想内容，也就是批判性思维这一方面，我个人在这一方面选取出来的思想要点如下所示：
第一，定义的分类。关于定义的分类有以下这么几类，第1类是内涵定义。所谓内涵定义就是揭示出对象的本质特征或者特有属性，其包括（发生定义，功用定义，关系定义，操作定义）。在内涵定义当中最常见的方式就是属+种差的定义方式，比方说，人的概念就是动物这个概念的种概念，那么人和动物的区别就是种差，那所以说对人的定义可以定义为人是能够制造使用创造工具的动物。
所谓发生定义，指的就是说根据被定义概念所反映、代表、指称的事物的发生、来源方面来揭示种差的定义形式。比方说水是由氢原子和氧原子所构成的化合物。功用定义以某种事物的特殊用途来作为种差的定义形式。例如：电子计算机是具有自动和快速地进行大量计算和数据处理功能的电子设备。
关系定义，以事物之间的特殊关系来作为种差的定义。例如原子量就是一个原子的重量与氢原子的重量相比的数量。操作定义，通过对一整套相关的操作程序的描述来对被定义项下定义，例如x是酸类,如果将x与石蕊试纸接触,石蕊试纸就呈现出红色。
第二类，外延定义。所谓外延定义，即通过列举一个概念的外延,也能够使人们获得对该概念的某种理解和认识,从而明确该概念的意义和适用范圃。其包括（穷举定义，例举定义，实指定义，报道定义。）所谓穷举定义，指的就是如果一个概念所指的对像数目很少,或者其种类有限,则可以对它下穷举的外延定义。例如:氧族元素是指氧O、疏S、硒Se、碎Te、钭Po五种元素。
所谓例举定义，指的就是一个概念的外延的对象数目很大,或者种类很多,无法穷尽的列举,于是就举出一些例证,以帮助人们获得关于该概念所指称的对象的一些了解。比方说，中国的省份，有湖南省，广东省等等。
所谓实指定义，就是指一个具体的物体说明这个概念，比方说你指着苹果说，这就是苹果。所谓报道定义，就是对被定义语词既有用法的报道或说明。也就是你在看一篇新闻报道当中对某个词语的定义解释。
第三类，语词定义与约定定义。所谓语词定义，比方说，孔老夫子论语当中对仁的定义。所谓约定定义，比方说互联网这个词儿。
第二个是思想要点， 定义的规则。第1条规则，定义必须揭示被定义对象的本质区别性特征。比方说水是一种透明的液体，这个定义就不大符合这一条规则。第2条规则，定义项和被定义项的外延必须相等，不能过宽，也不能过窄。比如：汽车是适用用于街道或公路的自动车辆。这一条对于汽车的定义显然过宽。
第3条规则，定义不能恶性循环。比方说，我看见了鬼，鬼看见了我。第4条规则，定义不可用含混、隐晦或比喻性词语来表示。比如说，对人的定义，人就像没毛的两足动物。第5条规则，除非必要,定义不能用否定形式或负概念。比方说，并非人都是猪。
第3个思想要点诡辩。诡辩实际上是违反了逻辑规则，为错误的观点做似是而非的论证。它包含两个方面，一方面是形式谬误，另外一方面是非形式谬误。
所谓形式谬误， 指的是在逻辑上无效的推理方式和论证方式。具体有以下三个方面的表现，第1个方面是在命题逻辑方面的形式谬误。第一，否定前件式:如果p则q,非p,所以,非q。例如如果他扶老奶奶过马路，他就是一个好人;他没有扶老奶奶过马路,所以,他不是一个好人。
第二，肯定后件式:如果p则q,q,所以,p。例如:如果他是一个好人,那么他会扶老奶奶过马路;王猛扶了老奶奶过马路，所以,他背定是一个好人。第三，互换条件式:如果p则q,所以,如果q则p。他如果是个聪明人，就会知道解开这道题，如果他知道解开这道题，他就是一个聪明人。
第四，不正确的逆否式:如果p则q,所以,如果非p则非q。例如:如果天下雨，地就会湿，如果天没有下雨，地就不会湿。第五，不正确的选言三段论:或者p或者q;P,所以,非q。例如:南怀瑾或许是儒学大师，或许是中国人，他是儒学大师，所以他不是中国人。
第2个方面，词项逻辑中的形式谬误
1.中项不周延。例如:有些天鹅是白色的，有些白色的东西是石头，有些天鹅是石头。2.大项周延不当。例如:老虎是食肉动物,狮子不是老虎,所以,狮子不是食肉动物。3.小项周延不当。例如:所有兔子都吃草，所有吃草的动物是山羊，所以所有山羊都是兔子。
4.两个否定前提。例如,没有性别歧视是公正的，有些性别歧视者不是记者，所以有些记者是不公正的。5.不正确的背定或否定。例如:所有说谎者都是骗人者,有些说谎者不是成年人,所以,有些成年人是骗人者。
谓词逻辑中的形式谬误。第一，不正确的量词换序。比如：小强知道鲁迅是鲁迅,鲁迅是生物学家周建人的哥哥,所以,小强知道鲁迅是生物学家周建人的哥哥。
第2类，非形式谬误。是指结论不是依据某种推理、论证形式从前提得出的,而是依据语言、心理等方面的因素从前提得出的,并且这种推出关系是不成立的。主要有这么两种表现形式，即岐义性谬误和关联谬误。所谓岐义性谬误，它包括（概念模糊，一词多义，错音重音，分举与合举等）。
这里仅简单解释一下分举和合举，所谓分举，比方说：逻辑学是什么？这一本书很难一天看完，归纳逻辑是逻辑学这一本书当中的其中一章，所以这一章也很难一天看完。所谓合举，比方说，这本书书当中这一句话写的好，这一整本书肯定写的也特别好。所谓关联性谬误，比方说有这个人身攻击，这个给出的前提跟别的没什么关系等等。
我们再来看本书第八部分的思想内容也是全书最后一部分的思想内容，关于这一部分的思想内容，个人提取的重要的思想要点，如下所示：
第1个思想要点，逻辑学发展史上的三大主义。分别是逻辑主义，形式主义和直觉主义，所谓逻辑主义，其基本观点是数学可以化归于逻辑，这就是说,数学概念可以借助于逻辑的概念得到明确的定义,数学的命题可以借助逻辑的公理和推演规则而得到证明,因此数学可以建立在逻辑的基础之上,数学的可靠性可以通过逻辑的可靠性而得到保证。它的代表性人物是弗雷格、罗索和前因。其学派，代表著作《算术基本规律》，《数学原理》。
所谓形式主义，其基本观点是，第一无穷总体是不存在的；第二，认为数学对像是独立于思维而存在的,对此人们只能去认识,而不能任意创造或改变。第三，可将各门数学形式化,构成形式系统或形式理论,然后用有穷方法证明各形式系统的一致性,从而导出全部数学的一致性。第四，数学可分为处理不涉及实无穷的现实数学和涉及实无穷的理想数学两部分。其学派的代表性人物，有柯里、鲁宾逊和柯恩等。
所谓直觉主义，其基本观点是，第一，数学是独立于经验的人类心灵的自由创造,它独立于逻辑和语言;先验的、原始的初始直觉构成了数学的基础。第二，不承认实无穷,只承认潜无穷。所谓实无穷,是把无穷视为现实的、完成了的总体,例如由所有自然数所构成的集合(自然数集)。所渭潜无穷,只是把无穷看成是一种无休止扩展或延伸的可能性或过程,而不是一种实际得到的总体,例如作为极限概念的无穷大和无穷小。其学派的代表性人物布劳继尔。
第2个思想要点，作者认为中国传统哲学缺乏逻辑思辨系统，而单靠这个悟的功夫，那么这个功夫的问题就在于，十分神秘,难以交流,难以学习,难以评判,从而也难以把对相关向题的研究推向深入,形成有效的知识积累。那么西方哲学当中的这个逻辑思辨系统，可以使这个论证自己这一套思维观点的这个人的论证过程走得更透彻，走得更全面，走得更深入。
而对于去学习这个论证者这一套思维观点的人而言，它能够借助一套公开的，可检验的逻辑思维标准对这个论证者，其论证的思维过程当中的假设论据等进行拷问，进行质疑，从而更好的推动这个思维观念的向前发展。
行文至此，已近尾声。在个人的阅读过程当中会越发觉的逻辑学的重要性，那么我们透过这样的一本书籍去比较详细全面的理解逻辑学当中的一些基本理论，并透过这些理论当中的一些方法论来拷问和质疑他人的观点论证过程，同时也可以用来拷问和质疑自己的观点论证过程，这样方能更有益于我们养成独立思考的思维习惯和能力。
网友评论