第四个思想要点，推理形式，是指在一个推理中抽掉各个命题的具体内容之后所保留下来的那个模式或框架,,由逻辑常项(如命题联结词“或者”、直言命题中的系词“是”和“不是”,量词“所有”和“有些”等)和逻辑变项(如命题变项，词项变项，个体变项等)构成。
其中逻辑常项代表推理中的结构要素,常项的不同决定了推理形式的不同;变项代表推理理中的内容要素,用不同的具体命题替换相同的命题变项，就会得到不同的具体推理。
其次，在一个命题当中，由真前提推出来的真结论，称之为保真性推理或者说有效推理。比方说所有米饭都是能够用来吃的，所有的沙子都不是米饭，所以所有的沙子都不能吃。那么这个推理形式是不是有效推理呢？他显然不是一个有效推理，为什么？因为可以把中间这一项当中沙子变成白菜，或者说西瓜，一看就失效了。
这里需要注意的是，虽然证据不能够100%为真的支持，但是如果这个证据真实度是大于50%，小于100%这个区间范围内，那么这个证据支持度也是相当高的，而且也是被我们人类广泛使用的有效推理。
其次，如何去反驳一个结论，一般而言有三种途径，第1个途径，就是直接举一个相反的结论，第2个途径，就是质疑他的论据，第3个途径，就是指出来他的这个推理过程违反逻辑规则。
第5个思想想要点，语义预设和语用预设。所谓语义预设就是指的是我们去讨论一个命题以及其否定命题真假的前提条件。它包括，存在预设和事实预设。所谓存在预设，比如，莫言的文学作品获得了诺贝尔文学奖，莫言的文学作品没有获得诺贝尔文学奖。那么这两个命题前提预设存在就是莫言的文学作品。所谓事实预设，张三是个帅哥，吸引了很多美女，张三是个帅哥没有吸引很多美女。那么这两句话的事实预设是张三是个帅哥。
所谓语用预设，它包括几个特征，第1个特征就是共知性，也就是交谈双方能够共同知道这个命题具体讲的是什么？第二个特征，可取消性，比如一个男生张三，有孩子了，那明显预设他有了妻子。但是前几天离婚了，那就是取消了预设。第三个特征，得有意义。比方说，外星人会攻击地球，外星人不会攻击地球，那么这两句话有意义的前提假设是有外星人。
我们再来看本书的第3部分命题逻辑的思想内容，那么关于这一部分的思想内容，我在当中又提取了哪些重要的思想要点呢，如下所示：
第一个思想要点，对斯多葛学派的基本认识。斯多葛学派是由芝诺诺创建的，在其发展历程当中做出比较突出的人物是克里西普。那么这个学派他们在逻辑学上的研究包含两个方面，一个方面是论辩术，另外一个方面是修辞术。所谓论辩术，指的就是 告诉人们怎么用问答式的技巧去讨论问题和阐明观点，所谓修辞术，指的就是告诉人们如何持续的正确说话。
这个学派把意义当成逻辑学研究的主题，从而开创了一个与亚里士多德截然不同的命题分类体系，那么这个分类体系把命题分为简单命题和复合命题，从而更注重讨论复合命题，并给多数命题联结词给予了真值函项的解释,并发现了联结词之间的可互定义性。例如,关于联结词“如果,那么”的意义,他们就给出了四种不同的解释。
第2个思想要点，联言命题，联言命题的标准形式是“p并且q”,其中p、q称为联言支，一个联言命题是真的,当且仅当它的各个联言支都是真的。比如张三又矮又胖，那么矮和胖都同时为真，这个命题才为真。其次联言推理的有效式：合成与分解，所谓合成，张三是湖南人，李四是湖南人，所以张三李四都是湖南人。所谓分解，张三是一个优秀的三好学生，可以分解为张三是一个优秀的学生。
第三个思想要点，选言命题。选言命题可以分为相容选言命题和不相容选言命题。区分相容选言命题和不相容选言命题的方法，就在于看它的选言支是否同时成立？同时成立就相容，不同时成立就不相容，所谓的选言支，实际上就是前面那个例子当中，张三又胖又瘦，这个胖和瘦就是选言支。
那么相容选言推理的有效式包括否定肯定式，肯定肯定式，前一个举个例子来说就是张三或是湖南人或是浙江人，他不是浙江人，所以是湖南人。后一个举一个例子，张三是一个人，是一个好人，张山是一个好人。
不相容选言推理的有效式包括肯定否定式，否定肯定式，其实这些就是那个咱们高中数学学那个交集并集那方面的知识，所以在这里就不多加赘述了。
第四个思想要点，充分条件假言命题。所谓假言命题前面已经提到了概念，简单的来理解，举个例子就是如果天下雨，那么地面会潮湿。那么这一句话就是一句，充分条件假言命题，那么这个命题前一半可以称之为前件，后一半可以称之为后件，那么关于这个样子的命题，他只有在前件为真，后件为假的情况之下，他这一句话才是假的，其余都是真的。
其实这里面的这部分内容，就是咱们原来高中数学学过的那一些内容，什么充分不必要，必要不充分，充要条件等等这些，然后你把那种数学表达式应用在前面讲的这种命题当中那么进行相关的拆分和推理，这其实就是这一部分的内容，那么关于前面讲的这个推理有效，其实就是它遵循的规则，也就是那个数学表达式当中的相关的规则，只不过这里用了另外一种说法，因此关于这部分的内容就不多说了。
在这里还得补充有两点，第一点，就是这个真值联结词有这么5个：“并且”,“或者”,“如果、则”,“当且仅当”,“并非”。但是在这个逻辑学上，他用另外的符号去表示了，是用数学符号去表示这些词，如果感兴趣，可以自行去阅读这方面的内容。
第二点就是，模态命题及其推理。所谓的模态命题是由模态词所组成的那一个命题。所谓的模态词，指的是必然，可能，不可能等这些词儿，那么根据这些关系，进行相关的推理，作者在这里开列了很多，感兴趣可以自行阅读这方面的内容。
我们再来看本书的第四部分词项逻辑的思想内容，那么关于这一部分的思想内容，我在当中又提取了哪些重要的思想要点呢，如下所示：
第一个思想要点，直言命题。关于直言命题的内容前面已经有了相关的解释在这里就不赘述，这里仅补充前面没有提到的内容。根据直言命题所含的联项和量项的不同,可以把直言命题分为六种类型，即全称肯定命题；全称否定命题；特称肯定命题；特称否定命题；单称肯定命题；单称否定命题。举个例子全程肯定命题，所有的天鹅都是白色的。
第2个思想要点词项的内涵和外延。关于词项的定义前面已然解释，在这里不多加以赘述，解释一下所谓的词项的内涵和外延，所谓词项的内涵实际上就是对这个词的定义，比如人是理性的动物。所谓词项的外延，指的是该词项所表示或指称的那个对象或对象的类别。比如白色，可以指白色的花，白色的猪，白色的石头，包含着该词一切性质的集合。
那么这里面其实又涉及到我们高中数学学到的那个集合相关的概念，这里实际上用这五种关系来表示，同一，包含，被包含，包含于，交叉，全异，你看这部分的内容还是跟咱们数学学的那个集合的相关概念有关系，所以在这一部分的内容也不多，加以追溯，感兴趣的一方面可以自行阅读这方面内容，一方面也可以去再看看集合的概念。
第3个思想要点，直言命题的4个重要的关系，第1个关系是对当关系，第2个关系是差等关系，第3个关系是反对关系，第4个关系是下反对关系。所谓的对当关系简单的理解，就是说判断直言命题的真假，它的这个主项和谓项必须一致。比方说这个小伙子长的很帅，这个小姑娘长的很漂亮，那么这两个直言命题就无从判断真伪了。
所谓的差等关系，其实就是在讨论并全称命题和特称命题的真伪关系，比如：如果全称命题真,则相应的特称命题真;如果特称命题真,则相应的全称命题真假不定。所谓的反对关系，其实就是指的这个直言命题当中不能同真，但能假的问题，比如：已知所有奇数都能被三整除为假，但不能推出所有奇数都不能被三整除的真假。 所谓的下反对关系就跟反的关系相反，就是能同真，但不能同假。比如，有些30岁的青壮年就成了教授为真，但是你不能推出有些三十岁的青壮年没成教授的真假。
第4个思想要点，词项的周延性。这个周延性，实际上是指的这个词项的全部外延，关于词项的周延性，有这么几个结论：第一，全称命题的主项都是周延的；第二，特称命题的主项都是不周延的；第三，肯定命题的谓项都是不周延的；第四，否定命题的谓项都是周延的。比方说，所有天鹅都是白色的，这个职业命题是全称命题，它的主项天鹅，是包含了全部的天鹅，因此，主项是周延的。其次，还有一点，在前提中不周延的词项在结论中不得周延。
第5个思想要点，直命题的换质法，换位法，换质位法。所谓的换质法，比方说，所有的花都是白色的，换质，所有的花都不是白色的。所谓的换位法，就是把直言命题的主项和谓项换一下位置，但是他必须遵循一个规则，在前提中不周延的词项，在结论中不得周延。比如：所有植物都需要阳光，你不能够换成所有需要阳光的事物都是植物。所谓的这个换质位法实际上就是先换质，再换位。
第6个思想要点，直言命题三段论需要遵循的逻辑规则。第一，在一个三段论中,有而且只能有三个不同的项。比方说，所有人会死，苏格拉底是人，所以苏格拉底会死。这个三段论里面只有三个词项，人，死，苏格拉底。
第二，中项至少要在前提当中周延一次。所谓的中项，就是这个三段论中的中间那一项。比方说有些大学生就有了私人汽车，那所有大款都拥有私人汽车，所以有些大学生就是大款。第三，在前提中不周延的项，结论也不能周延。比方说，张三生病了，张三是中国人，中国人都生病了。
第四，从两个否定前提推不出任何确定的结论。比如：他不是人，他不是猪。第五，两个前提当中有一个前提，否定其中结论也会被否定，如果结论被否定，那么有两个前提，其中有一个前提要被否定。第六，两个特称，前提得不出结论。第七，前提有一个特称前提，结论必然特称。
网友评论