辩论逻辑

归谬法是人的经常使用的一种反驳方法。这种方法是"以退为进，引入荒谬"的方法。所谓"以退为进"，是因为这种方法通过假定对方的论点是真的这一手段，来达到反驳对方论点的目的；所谓"引入荒谬"，是因为这种方法可以从对方的论点合乎逻辑地引出荒谬的结论。使人一听，一读就会立刻感到对方的论点站不住脚。然后根据充分条件假言推理的否定后件式。证明对方的论点必然为假。这一步．往往并不说出。因为不言而喻。
正面启发法包括一组部分明确表达出来的建议或暗示，以说明如何改变、发展研究纲领的"可反驳的变体"，如何更改、完善"可反驳的"保护带。科学家在运用正面启发法时要建立模型，一个模型是一组初始条件(可能还有一些观察理论)，人们知道在纲领进一步发展的过程中，这一组初始条件必定要被取代，甚至或多或少地知道怎样被取代。这再一次表明在研究纲领中对任一特定的变体进行"反驳"是多么不相关；反驳的存在完全是意料之中的，正面启发法就是预见及消化反驳的策略。
分析方法，是抽象思维的基本方法之一。使用这种方法的特点是：思维必须把思维对象有机联系着的各个部分、方面或因素暂时地割裂开来，孤立起来、抽取出来，从而了解这些部分、方面或因素各自具有的性质以及在整体中的地位或作用。分析方法是形成概念、判断和进行推理不可缺少的方法。理性认识来自感性认识，但感性认识所提供的，往往是某种直观的整体性的模糊认识，要从这种直观、模糊的整体性认识中提炼出清晰而具有本质性的认识来，就必须对它进行分析。分析是形成概念、判断和推理的首要前提。分析方法同其他的逻辑方法例如归纳法，演绎法、比较分类法等并不是相互独立、互不相干的，而是相互渗透、相互补充、相互为用的。分析方法有其重要的认识作用，但也有其明显的局限。由于这种方法侧重认识对象的局部，这就容易使人陷入"只见树木、不见森林"的片面性，而不能把握认识对象的整体。因此，分析的本身不是思维的最终目的，分析之后随之还应当综合。
有必要明确归谬法与反证法之间的联系与区别。它们之间的联系是：在反证法中要运用归谬法。它们之间的区别在于：(1)反证法是论证的方法，归谬法是反驳的方法；(2)归谬法用的是单一的推理形式，而反证法则比归谬法复杂，它在运用归谬法之后，还需进一步百度文库用排中律。
【正面启发法】拉卡托斯认为，在一个科学研究纲领中，仅有反面启发法是不够的，因为即使进步最快的、最一贯的研究纲领，也只能慢慢地消化它们的反证据"，反常是永远不会完全消除的。人们不能被动消极地应付反常，也不能老跟着反常跑，受反常的束缚、限制，把注意力全集中在反常上面。科学家们不应该被大量的反常所迷惑，而应该规划出一个能够预见这些反常的长期研究纲领，开列出这一纲领越来越复杂的一连串的模拟实在的模型：科学家的注意力专注于按其纲领正面部分规定的指示来建立他的模型。他不管实际的反例，即可资利用的"材料"。这就是科学研究纲领的正确启发法。
正面启发法是科学研究纲领的肯定性原则，理论科学具有的相对自主性，在有力的研究纲领内进行研究的科学家合理地选择哪些问题，是由纲领的正面启发法决定的，而不是由心理上使人发愁(或技术上急迫)的反常决定的。把反常现象列举出来，但放置一边而不管它们，希望到了一定的时候它们就会变成对纲领的确认。
一般来说，正面启发法比反面启发法要灵活。此外，偶尔会发生这样的情况，当一个研究纲领进入退化阶段时，正面启发法中一个小小的革命或创造性的转换会再次推动纲领前进。因此，最好将"硬核"同表达正面启发法的较为灵活的形而上学原则区分开。
【归纳逻辑】归纳逻辑以研究从个别或特殊到一般的推理和证明为主要内容。其中包括简单枚举归纳推理、完全归纳推理、寻求因果联系的归纳法、科学归纳推理、溯因归纳推理、统计概率归纳推理及类比推理和假说。归纳逻辑与演绎逻辑是传统逻辑的两个基本组成部分。归纳命题可能得到l级到n级的证据支持。此外还有人用模糊逻辑、模型论，计算机模拟等方法探讨解决归纳逻辑问题。中国的辩证逻辑工作者在努力用辩证逻辑方法解决归纳逻辑在科学发现、归纳命题证实等方面所遇到的问题。中国著名数理逻辑学家莫绍揆先生最近发表论文，用因果条件句逻辑探讨归纳推理的本质及与演绎推理的关系，在归纳逻辑的研究方面取得了积极的成果。中国著名西方逻辑史学者江天骥先生最近出版了中国第一本归纳逻辑专著。归纳逻辑的研究将出现热潮，面临新的突破。
【分析法】在思维中把对象的整体分解为各个部分、方面，把复杂的事物分解为简单的要素，以深入了解这些部分、方面或要素的固有特性的方法。分析方法，是近代科学使用的主要思维方法。从15世纪至19世纪的近代科学发展中，由于借助分析方法，维萨里的《人体解剖》使医学的研究突破了神学的桎锢，并为波义耳的元素概念奠定了化学的科学。
[求证]：所有S是P
[证明]：S1是P(已知)
S2是P(已知)
S3是P(已知)
S9是P(已知)
S1、S2、S3...S9是S数的全部个别对象，所以，所有S都是P
反面启发法是科学家关于如何处理"反例"，保护纲领"硬核"的规则。在科学理论建立之初，被淹没在无数的"反例"中时，科学家就要调整、修改甚至替换由辅助假说和初始条件构成的保护带，以更好地保护"硬核"，这一切如果导致了进步的问题转换，那么一个研究纲领就是成功的；如果导致了退化的问题转换，它就是失败的。
牛顿的万有引力理论是成功的研究纲领的一个经典例子。在牛顿纲领中，反面启发法禁止把否定后件式指向牛顿动力学的三定律和万有引力定律。因为根据其支持者的方法论决定，这一"内核"是"不可反驳的"，反常必须只在由辅助假说等构成的保护带中起变化。这一理论最初产生时，确实遇到了许许多多的"反常"，并受到支持这些反常的观察理论的反对。但他们主要通过推翻据以确立"反证据"的那些原先的观察理论，十分顽强而巧妙地将一个又一个的反证据变成了确认的证据，他们把每一个新的困难都变成了他们纲领的新胜利。在一个研究纲领中，人们运用反面启发法处理"反常"。通过修正某些错误的"事实"，或通过增加带有新的经验内容，新的预见辅助假说，就使科学理论不断得到巩固和发展。
归纳方法基本上是总结经验科学的研究方法而提出来的。
归纳方法在科学研究、技术发展和管理决策过程中均具有重要的作用。(1)提供假说。简单枚举归纳法、类比和消除归纳法在科学发现和技术发明方面都起着重要的作用。如光的波动说的提出和飞机的发明过程中，类比法都起了不可缺少的作用。(2)证明假说和理论。完全归纳法和数学归纳法在这方面具有突出的作用。证明三段论的规则要用到完全归纳法；证明数学定理离不开数学归纳法。(3)确定假说的支持度。以概率和统计方法为工具的量的归纳法对确定假说的支持度或置信度起着决定的作用。(4)理论择优。这也要靠量的归纳法。(6)对事件未来情况进行预测。(6)各种管理决策。解决(5)和(6)两类问题都需要用以概率和统计为工具的归纳方法。
【反面启发法】拉卡托斯认为，对科学评价的单元应该是有其内在联系的成系列的科学理论，而不是个别的结论。科学理论T1，T2，...Tn是一个研究纲领的产物，它由"硬核"和"保护带"两部分组成。"硬核"部分是指理论系列之间共有的某些"不可反驳的"公设，例如牛顿的三个运动定律和万有引力定律便构成他的研究纲领的硬核。"保护带"部分则是指一个科学理论中除硬核以外的其余陈述，包括一些辅助假说或模型或初始条件。科学理论的形成和发展是通过科学研究纲领的运用进行的。科学研究纲领由方法论的规则组成。其中有的规则是指示人们怎样消解反常，避免科学理论的"硬核"受到损害，这就是反面启发法；还有的规则是指示人们不要被大量的反常所困扰，应专注于规划出科学研究纲领的方针、顺序、战略，这就是正面启发法。
传统形式逻辑和现代形式逻辑方法是适用于某一类科学领域的一般性方法；而辩证逻辑的逻辑方法则是适用于一切科学领域的最有普遍性的方法。
逻辑方法不是纯主观的、先天的范畴，它是在人类社会实践基础上产生的，是人类思维经验的总结。逻辑方法只有符合客观世界的发展规律时，才是正确的，才能达到预期的目的。
【反证法】间接论证的一种。先论证与原论题相矛盾的论题即反论题为假，然后根据排中律确定原论题为真。其论证过程可以表示如下：
【归纳方法】又称归纳法。它有两种常用的定义。一种定义为从个别前提得出一般结论的方法。依据这个定义它包括简单枚举归纳法、完全归纳法、科学归纳法、穆勒五法、赖特的消除归纳法、逆推理方法(参见江天骥著《归纳逻辑导论》)和数学归纳法。第二种定义为从个别前提或然得出结论的方法。依据第二种定义它包括简单枚举归纳法、穆勒五法、赖特的消除归纳法、逆推理方法和类比法；而不包括完全归纳法、科学归纳法和数学归纳法。
【归谬法】间接反驳方法之一，为了反驳某论题(或某论据)，首先假定它为真，然后由它推出荒谬的结论，最后根据假言推理的否定后件式，确定它是假的。反驳过程可以表示如下：
(1)反驳：A
(2)设：A真
(3)证：如果A则B(根据假设进行的推导)
(4)非B(已知)
(5)所以，并非A真
(6)所以，A假(充分条件假言推理的否定后件式)
【逻辑方法】以逻辑规律为指导，根据事实材料，形成概念、作出判断，进行推理，构成理论体系的方法。逻辑方法有广义和狭义之分。某一逻辑理论体系的应用就是广义的逻辑方法。逻辑学包括传统形式逻辑、现代形式逻辑和辩证逻辑等。现代形式逻辑又分别包括很多分支逻辑系统。传统形式逻辑系统的应用，就广义的传统形式逻辑方法，包括亚里士多德逻辑和培根归纳逻辑方法，现代形式逻辑及其各分支的应用，就是广义的现代形式逻辑的逻辑方法。例如：命题逻辑，集合论，多值逻辑、认识论逻辑等。辩证逻辑的应用，就是广义的辩证逻辑方法。某一逻辑理论的基本规律的具体化和补充，并作为逻辑理论体系形成概念、作出判断，进行推理，构成理论体系的方法，就是狭义的逻辑方法。比较法、分析法、综合法、抽象法、概括法、定义法、划分法、演绎法、归纳法、类比法等方法、就是狭义的传统形式逻辑的逻辑方法。形式化方法、公理化方法、假说演绎方法、数理统计方法、真值表方法、范式方法等，就是狭义的现代形式逻辑的逻辑方法。演绎与归纳相统一的方法，分析与综合相统一的方法，从抽象上升到具体的方法，逻辑与历史相统一的方法等，就是狭义的辩证逻辑的逻辑方法。
【归纳论证】论题的真实性由论据通过归纳推理导出的论证。如：论证"所有太阳系的大行星都是沿椭圆轨道绕太阳运行的"，该论题，以"水星、金星、地球、火星、木星、土星、天王星、海王星、冥王星分别皆沿椭圆轨道绕太阳运行"为论据，每一论据皆真实且九大行星为太阳系的全部大行星，从而使论题的真实性得到证明。这一论证的结构可用符号表示如下：
求证] A(原论题)
[证明] (1)设非A真(非A为反论题)
(2)如果非A，则B(B为由非A推出的论断)
(3)非B(已知)
(4)所以，并非非A(根据充分条件假言推理的否定后件式)
(5)所以，A(非非A=A)。
例如，语言学工作者论证"语言的声音和它所表示的事物之间没有必然联系"这一论题时运用反证法论证如下："声音和词所表示的事物之间并没有什么必然的联系，并非某一个声音必然表示某一个对象。声音和事物的结合假如有什么必然联系，世界上所有的语言中表示同一事物的词的声音就应当是相同的。既然世界上表示同一事物的词的声音各有不同，可见语言的声音和所表示的事物之间是没有必然联系的。"这一段论述的反证过程分析如下：论题：语言的声音和所表示的事物之间没有必然的联系(在开头提出，最后又做归结)反论题：声音和事物的结合有必然联系。设反论题为真，然后进行推导："声音和事物的结合假如有什么必然联系，世界上所有的语言中表示同一事物的词的声音就应是相同的。"后件显然不能成立："世界上表示同一事物的词的声音各有不同"。根据充分条件假言推理的否定式，否定后件就必然否定前件，从而证明反论题"声音和事物的结合有必然联系"是假的。然后根据排中律，证明原论题是真的。需要注意的是，反证法是通过先论证反论题假，然后由假推真，确定原论题真。因此反论题与原论题必须是矛盾关系，不能是反对关系。因为反对关系的判断可以同假，即从一个判断的假不能必然推出另一判断的真。当论题从正面不容易或不能得到证明时，就需要运用反证法。