论“非形式逻辑”逻辑学是研究“有效推论和证明的原则与标准”的一门学科。
一般认为，古希腊伟大的思想家亚里士多德是逻辑学的创始人。
但是由亚里士多德创造的这种逻辑类型，后来被康德称之为形式逻辑，只是康德却并未对此做出解释。
在后来的发展过程中，逻辑学逐渐产生了传统逻辑和数理逻辑两种类型。
但是较多的逻辑学者还是倾向于把这两种由亚里士多德奠定基础的逻辑类型统一称为形式逻辑。
形式逻辑为人类的文明与进步做出了巨大贡献。
但是，随着社会的进步，单纯的形式逻辑已经不再适应新的形势，迫切需要进一步改革与研究，于是非形式逻辑应运而生。
本文将在定义、出现的原因、重要研究著作等三方面对其进行简要介绍。
一、定义著名逻辑学家拉尔夫·约翰逊和安东尼·布莱尔提出：“非形式逻辑是逻辑的一个分支，其任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序”。
这个定义被认为是当今流行的定义。
他们认为，非形式逻辑之所以是“非形式的”，这主要是因为，它不依赖于形式逻辑的主要分析工具——逻辑形式的概念，也不依赖于形式逻辑的主要评价功能——有效性。
非形式逻辑以实际论证分析与评估的非形式方法和规范为理论旨归。
二、出现的原因毫无疑问，形式逻辑为人类的文明与进步做出了重大贡献，但是与此同时，它与人们的日常生活和思维活动之间的距离却变得越来越疏远。
一直以来，形式逻辑把研究的中心放在推理上,其主要目的是揭示推理的有效性,即推理形式的有效性。
从这个意义上说,形式逻辑在确定推理的有效性方面是极为成功的。
然而,一进入论证领域,其局限性就暴露无余，显得虚弱无力,甚至顾此失彼，难以自圆其说。
虽然形式逻辑也需要涉及到论证,对论证的结构、方法、规则等进行了研究,但这些研究都是很简单、肤浅的。
它关于论证的理论, 在很大程度上只是关于概念、判断、推理和逻辑基本规律的理论的重复。
其次，形式逻辑研究的核心问题是推理和论证的有效性，即在前提为真的条件下能够确保结论亦为真的推理模式，但在人们的日常生活中，有效逻辑推理可能发生的条件及适用性十分有限。
