安全科学方法学课件—检查、证明、试错、验证的方法.ppt

3 3.10.10检查检查证明证明试错试错验证的方法验证的方法安全检验之常规安全检验之常规主 要 内 容3.10.1 检查单法检查单法3.10.2 证明方法证明方法3.10.3 试错方法试错方法3.10.4 验证方法验证方法3.10.1 检查单法检查单法是指全面地列出需要解决的问题，再逐一加以研检查单法是指全面地列出需要解决的问题，再逐一加以研究、分析，从中获得解决问题的途径的一种思考方法究、分析，从中获得解决问题的途径的一种思考方法在第二次世界大战中，美国一些学者在兵工厂的设计、管在第二次世界大战中，美国一些学者在兵工厂的设计、管理中先提出一系列问题，如为什么要建这种厂（理中先提出一系列问题，如为什么要建这种厂（why），），应该在哪里完成（应该在哪里完成（where），应在什么时候完成），应在什么时候完成（when），由谁来完成（），由谁来完成（who），应做些什么（），应做些什么（what），），怎样去完成（怎样去完成（how），这已具备了检查单法的雏形这已具备了检查单法的雏形检查单法的作用在于使思维系统化，帮助人们一个方面、检查单法的作用在于使思维系统化，帮助人们一个方面、一个方面地进行思考，使各种途径各个方面都得到考虑，一个方面地进行思考，使各种途径各个方面都得到考虑，以至从一些常常被忽视的角度挖掘新的思想。

以至从一些常常被忽视的角度挖掘新的思想现在安全分析方法中常用的可操作性研究，其关键词的提现在安全分析方法中常用的可操作性研究，其关键词的提出也是基于这种思想现在安全领域也经常运用到出也是基于这种思想现在安全领域也经常运用到5W1H法1）根据解决问题的目标，）根据解决问题的目标，思考解决问题、达到目标思考解决问题、达到目标的各种方法如要解决圆的各种方法如要解决圆珠笔的漏油问题，可以设珠笔的漏油问题，可以设想改进圆珠，或改进油的想改进圆珠，或改进油的质量、改进纸张、减少油质量、改进纸张、减少油的容量等的容量等2）从某一事实出发，想）从某一事实出发，想象这一事实能起什么作用，象这一事实能起什么作用，如想象边角料有什么用，如想象边角料有什么用，炉渣有什么用等炉渣有什么用等3）设想对已有的事物作）设想对已有的事物作某种改变，如改变灯泡发某种改变，如改变灯泡发光光谱，就制成了红外灯、光光谱，就制成了红外灯、紫外灯、灭菌灯等早期紫外灯、灭菌灯等早期的飞机螺旋桨安装在头部，的飞机螺旋桨安装在头部，装在顶部成了直升飞机装在顶部成了直升飞机4）设想对产品作某种增）设想对产品作某种增加或减少如增加容量、加或减少。

如增加容量、提高强度，或减轻重量、提高强度，或减轻重量、缩小体积等缩小体积等检查单法是指全面地列出需要解决的问题，再逐一加以研究、分析，从中获得解决问题的途径的一种思考方法检查单法的应用过程为：检查单法的应用过程为：证明方法也称论证方法，是引用已知的正确判断来证实另一判断的真实性的一种逻辑方法它由论题、论据和论证方式三部分组成开开始始思思考考论题是真实性要求证明的那个判断或命题；论据是为论题是真实性要求证明的那个判断或命题；论据是为了证明论题的正确而引用的那些判断；论证方式是论题和了证明论题的正确而引用的那些判断；论证方式是论题和论据之间的逻辑联系，即证明中所使用的推理形式证明论据之间的逻辑联系，即证明中所使用的推理形式证明方法按其表达的方式可分为直接证明和间接证明方法按其表达的方式可分为直接证明和间接证明问题！3.10.2 证明方法证明方法的分类：证明方法按其表达的方式可分证明方法按其表达的方式可分为直接证明和间接证明直接为直接证明和间接证明直接证明就是用能证明论题的证据证明就是用能证明论题的证据推出论题的真实性，间接证明推出论题的真实性，间接证明主要有反证法，就是通过证明主要有反证法，就是通过证明和论题相矛盾的判断是虚假的，和论题相矛盾的判断是虚假的，从而说明原论题为真。

从而说明原论题为真证明方法还可按其论据是证明方法还可按其论据是一般原理还是特殊事实，一般原理还是特殊事实，分为演绎证明和归纳证明，分为演绎证明和归纳证明，前者用可靠的原理作为论前者用可靠的原理作为论据，严密地推出论题；后据，严密地推出论题；后者着重举出许多事实，从者着重举出许多事实，从中得出结论中得出结论论题必须明确论题必须明确论据必须真实论据必须真实不准许循环论证不准许循环论证论证要合乎逻辑论证要合乎逻辑论据要有充分的依据论据要有充分的依据论题是证明的目的，要论题是证明的目的，要证明什么必须明确，不证明什么必须明确，不能随意扩大或缩小，更能随意扩大或缩小，更不能偷换论题不能偷换论题一个证明过程要合乎逻辑，才能达到论证思想的目的，为此必须掌握证明的逻辑规则：论题必须明确论题必须明确论据必须真实论据必须真实不准许循环论证不准许循环论证论证要合乎逻辑论证要合乎逻辑论据要有充分的依据论据要有充分的依据引来作为论据的判断，引来作为论据的判断，应当是真实的，无可怀应当是真实的，无可怀疑的否则，论证便无疑的否则，论证便无法进行，论题也无法证法进行，论题也无法证明一个证明过程要合乎逻辑，才能达到论证思想的目的，为此必须掌握证明的逻辑规则：论题必须明确论题必须明确论据必须真实论据必须真实不准许循环论证不准许循环论证论证要合乎逻辑论证要合乎逻辑论据要有充分的依据论据要有充分的依据如果用某些论据来证明一个如果用某些论据来证明一个论题，而这些论据的真实性论题，而这些论据的真实性又是根据这个论题来证明，又是根据这个论题来证明，那就等于用某个命题的自身那就等于用某个命题的自身来证明这个命题，这是逻辑来证明这个命题，这是逻辑论证所不允许的。

因此，用论证所不允许的因此，用以证明论题的论据必须是不以证明论题的论据必须是不依赖论题本身即可证明的那依赖论题本身即可证明的那种判断一个证明过程要合乎逻辑，才能达到论证思想的目的，为此必须掌握证明的逻辑规则：论题必须明确论题必须明确论据必须真实论据必须真实不准许循环论证不准许循环论证论证要合乎逻辑论证要合乎逻辑论据要有充分的依据论据要有充分的依据因为论据和论题之间存在必因为论据和论题之间存在必然性的联系，所以通过论证然性的联系，所以通过论证才能知道论题为什么是正确才能知道论题为什么是正确的如果论据与论题没有联的如果论据与论题没有联系，就推不出论题；如果论系，就推不出论题；如果论据和论题只有或然性的联系，据和论题只有或然性的联系，论题只是从论据中推出一个论题只是从论据中推出一个可能性的结果，则这种证明可能性的结果，则这种证明也是不可靠的也是不可靠的一个证明过程要合乎逻辑，才能达到论证思想的目的，为此必须掌握证明的逻辑规则：论题必须明确论题必须明确论据必须真实论据必须真实不准许循环论证不准许循环论证论证要合乎逻辑论证要合乎逻辑论据要有充分的依据论据要有充分的依据一般说来，一个论题只要有一般说来，一个论题只要有了必然性的论据就能得到证了必然性的论据就能得到证明。

但是由于客观情况的复明但是由于客观情况的复杂性，如果论据不够充分，杂性，如果论据不够充分，论题只能部分地得到证明，论题只能部分地得到证明，论证就失去严密性证明是论证就失去严密性证明是一种比推理更复杂的思维形一种比推理更复杂的思维形式在证明知识的真理性的式在证明知识的真理性的过程中，通过论据和论题的过程中，通过论据和论题的逻辑联系，进一步揭示客观逻辑联系，进一步揭示客观事物之间的内在联系，有助事物之间的内在联系，有助于发现真理，加深认识在于发现真理，加深认识在建立理论体系过程中，证明建立理论体系过程中，证明是把概念和判断联结起来的是把概念和判断联结起来的纽带，它为这个体系的结论纽带，它为这个体系的结论在逻辑上提供立论的根据在逻辑上提供立论的根据一个证明过程要合乎逻辑，才能达到论证思想的目的，为此必须掌握证明的逻辑规则：摸着石头过河就是一种试错方法试错方法是探索具有黑摸着石头过河就是一种试错方法试错方法是探索具有黑箱性质的系统的一种方法箱性质的系统的一种方法应用这种方法的主体通过间断地或连续地改变黑箱系统的应用这种方法的主体通过间断地或连续地改变黑箱系统的参量，试验黑箱所作出的应答，以寻求达到目标的途径。

参量，试验黑箱所作出的应答，以寻求达到目标的途径主体行为的成败是用它趋近目标的程度或达到中间目标的主体行为的成败是用它趋近目标的程度或达到中间目标的过程来评价的过程来评价的趋近目标的信息反馈给主体，主体就会继续采取成功的行趋近目标的信息反馈给主体，主体就会继续采取成功的行为方式；偏离目标的信息反馈给主体，主体就会避免采取为方式；偏离目标的信息反馈给主体，主体就会避免采取失败的行为方式失败的行为方式通过这种不断的尝试和评价，主体就能逐渐达到所要追求通过这种不断的尝试和评价，主体就能逐渐达到所要追求的目标3.10.3 试错方法试错法的基本特点表现在人与黑箱的信息联系方面：试错法的基本特点表现在人与黑箱的信息联系方面：1）人能按照对黑箱内部结构的预想给黑箱输入信息；）人能按照对黑箱内部结构的预想给黑箱输入信息；2）人能充分利用已有的知识，选择信息最大的搜索方）人能充分利用已有的知识，选择信息最大的搜索方式，加速试错行为；式，加速试错行为；3）人能用概念把握从黑箱输出的信息通过对这些反）人能用概念把握从黑箱输出的信息通过对这些反馈信息的分析和综合，人们逐渐获得了对黑箱功能的认馈信息的分析和综合，人们逐渐获得了对黑箱功能的认识，从而形成了对待黑箱的行为准则。

在科学研究中应识，从而形成了对待黑箱的行为准则在科学研究中应用试错法，对于人类认识黑箱系统的功能，并采取相应用试错法，对于人类认识黑箱系统的功能，并采取相应的对策，具有重要的方法论意义的对策，具有重要的方法论意义在安全检测和探测技术中，试错方法也经常使用在安在安全检测和探测技术中，试错方法也经常使用在安全管理软系统领域，有时也可以运用试错方法，以制定全管理软系统领域，有时也可以运用试错方法，以制定行之有效的安全管理规章制度行之有效的安全管理规章制度3.10.4 验证方法验证方法是指检验假说真理性程度的一种方法验证方法是指检验假说真理性程度的一种方法它强调验证科学假说的标准既不是它强调验证科学假说的标准既不是“权威人物的权威人物的决断决断”，也不是，也不是“多数人的承认多数人的承认”，而是人类的，而是人类的社会实践社会实践根据科学假说的实质内容与为了验证科学假说所根据科学假说的实质内容与为了验证科学假说所观测的内容及实验结果的关系，观测的内容及实验结果的关系，直接验证方法直接验证方法间接验证方法间接验证方法逐步逼近法逐步逼近法局部验证法局部验证法反证法反证法通过观察与实验直接地观测通过观察与实验直接地观测科学假说的实质内容，以证科学假说的实质内容，以证明或否定科学假说的一种方明或否定科学假说的一种方法。

这种验证最为有力，最法这种验证最为有力，最能说服人因此，要善于利能说服人因此，要善于利用现有的科学技术手段进行用现有的科学技术手段进行相应的观察与实验，尽量运相应的观察与实验，尽量运用直接验证方法，直接地观用直接验证方法，直接地观测假说所反映的自然现象，测假说所反映的自然现象，对假说的实质内容作出直接对假说的实质内容作出直接证明或直接否定证明或直接否定可将验证方法分为：可将验证方法分为：直接验证方法直接验证方法间接验证方法间接验证方法逐步逼近法逐步逼近法局部验证法局部验证法反证法反证法将科学假说的基本观念同其将科学假说的基本观念同其他方面的理论成果相结合，他方面的理论成果相结合，作出进一步的分析和推测，作出进一步的分析和推测，提出一些与假说的基本观点提出一些与假说的基本观点相关的预见，然后对这些预相关的预见，然后对这些预见进行验证由于科学技术见进行验证由于科学技术水平的限制，往往不能通过水平的限制，往往不能通过观察实验去直接验证科学假观察实验去直接验证科。