Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке[1][2].