论证逻辑包括了形式论证和非形式论证。形式论证主要和形式逻辑有关，非形式论证则和非形式逻辑有关。
逻辑论证就是用一个或一些已知为真的命题确定另一命题真实性或虚假性的思维过程，它包括证明和反驳。
世界万事万物最后的抽象物、哲学的开端，对它自身的表述所得到体系，对世界上万事万物无不正确。因此，它就构成了人们认识和分析事物的公理性前提，即大学科方法论。
