Неформальная, формальная, символическая и диалектическая логика

Неформальная логика (термин принят, прежде всего, в англоязычной литерату-ре) – исследование аргументации в естественном языке. Одной из главных за-дач её является исследование логических ошибок. См. Логическая семантика, философская логика, теория аргументации, логический анализ языка.

Любой вывод, сделанный на естественном языке, обладает чисто формальным содержанием (смысл рассуждения может быть разделён на форму мысли и соб-ственно содержание), если можно показать, что он является частным примене-нием абстрактного универсального правила, которое отвлекается от всякого кон-кретного предмета, свойства или отношения. Именно этот вывод с чисто форма-льным содержанием называют логическим выводом и основным предметом ло-гики.

Анализ вывода, который раскрывает это чисто формальное содержание, назы-вается формальной логикой.

Символическая логика изучает символические абстракции, которые фиксируют формальную структуру логического вывода.

Диалектическая логика – наука о мышлении, которая, как предполагается, даёт знание о способе рассуждения, расширяющем возможности формально-логичес-кого вывода. Здесь понятие логики употребляется как в собственном логическом, так и в метафорическом смысле. Диалектическое рассуждение учитывает зако-ны формальной логики. Вместе с тем, осуществляет анализ динамики перехода понятий в свою противоположность, допускает, что противоположности совпада-ют, ориентируется на законы диалектики.