论证
出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第65页（1203字）
亦称逻辑证明或证明。
分普通逻辑的论证和数理逻辑的论证。普通逻辑的论证是用一个或一些已知为真的判断，通过推理确定另一判断的真实性的思维过程或方法。任何论证都是由三部分组成的。
(1)论题：通过论证要确定其真实性的判断。
在一个论证过程中，论题只有一个，它回答的是“论证什么”的问题。论题可以是科学上已被证明为真的判断。这类论证在于使读者和听众确信论题的真实性。如理论工作者对马列主义、毛泽东思想基本原理的论证；教师在教学工作中对科学原理、定理的论证。
论题也可以是科学上尚待证明的判断。
这类论证在于探求论题的真实性。如对科学假说的论证。(2)论据：被引用来作为论题的真实性的根据的判断。
论据回答的是“用什么论证”的问题。在一个论证中，论据可以有许多个。论据必须是真实的判断。
已被证明的有关事实的判断，科学中的公理、定义、原理、定理都可以作为论据。
(3)论证方式：把论据和论题联系起来的推理形式。它回答的是“如何论证”的问题。
一个论证过程可以只包含一个推理，也可以包含一系列的推理，视论证情况的需要而定。论证与推理有密切的联系。
论证要借助于推理来进行。论据相当于推理的前提，论题相当于推理的结论，论证方式则相当于推理形式。它们之间的对应关系可表示如下图：
(2)论证要求论据真实，而推理并不要求前提真实。(3)论证通常比推理复杂，是一种创造性的思维活动。为了进行正确的、有说服力的论证，必须遵守有关论题、论据和论证方式的规则。这些规则是：(1)论题应当清楚、明白；(2)论题应当保持同一；(3)论据应当是真实判断；(4)论据的真实性不应当靠论题的真实性来论证；(5)论据应能推出论题。
论证按照不同的根据，可以分为不同的科类。根据论证中所用推理类型的不同，可分为演绎论证和归纳论证，根据论证方法的不同，可分为直接论证和间接论证。
数理逻辑的论证即证明，是一个有穷的公式序列，其中每一公式都适合以下条件之一：(1)是一公理，(2)是一已证的定理，(3)由本序列里次序在前的两个公式经分离得到，(4)最后一个公式是所要证明的定理。(王宪钧：《数理逻辑引论》北京大学出版社1982年版，第51页)数理逻辑的论证是演绎的论证。
无论普通逻辑的论证还是数理逻辑的论证，其目的都在于使人们不但知其然，而且知其所以然。
普通逻辑论证的作用：(1)间接认识的重要工具，建立科学体系的必要条件；(2)传播真理、传授知识和反驳谬误与诡辩的重要手段。
数理逻辑论证的作用主要是为了判定在一个形式语言L中的合式公式是否为一个演算中的定理。