Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке[1][2].
Идея неформальной логики возникла в русле исследований, посвящённых критическому мышлению, и получила развитие в форме движения «неформальных логиков» во второй половине XX века в среде американских и европейских философов, логиков, лингвистов как следствие неудовлетворённости методами формальной логики для анализа обыденных рассуждений[3][4]. Вместе с тем в истории логики изучением рассуждений в повседневной речи философы занимались со времени Аристотеля[1]. В настоящее время средства неформальной логики также используются для анализа научного (гуманитарного) знания[5].
Существуют различные точки зрения на цели и задачи неформальной логики, её отличие от формальной логики[7].
Американские философы Джонсон и Блэр, одни из основателей движения «неформальных логиков», определяют неформальную логику как «ответвление логики, задачей которой является разработка неформальных стандартов, критериев и процедур для анализа, интерпретации, оценки, критики и построения аргументации в повседневном дискурсе»[7].
Бельгийский логик Хаим Перельман характеризует неформальную логику как логику аргументаций, в отличие от формальной логики — логики доказательств[8].