существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и др. – нередко применяются каждым человеком в его мыслительной деятельности неосознанно и с погрешностями. Некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение, но реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач также существенны: интуиция, эмоции, образное видение мира и многое другое. Однако нестрогость мышления ещё не значит, что оно не подчинено логике. Основная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, «что из чего следует», логика выявляет наиболее общие или, как говорят, формальные условия правильного мышления. Сфера конкретных интересов логики существенно менялась на протяжении её истории.
Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений». В частности этим словом могут называться следующие вещи:
процесс мышления – если говорится о логичном и нелогичном мышлении, когда последовательность утверждений соответствует изученным в логике схемам, в отличие от полностью бессвязных и рассуждений по аналогии с произвольными понравившимися автору образами или стереотипами.
В электронике – вид схем, предназначенных для обработки информации и управления. В отличие от силовых схем трансформации и распределения энергии. И маломощных, но обрабатывающих атомарные сигналы – фильтрации, регистрации, генерации.
В произвольных явлениях – приписываемое или обнаруженное в них определённое функционирование, повторяющиеся процессы, которые могут быть описаны в логических категориях – состояние, подчинение, отражение, зависимость и т. п.
Неформальная логика (термин принят прежде всего в англоязычной литературе) – исследование аргументации в естественном языке. Одной из главных задач её является исследование логических ошибок – см. Логическая семантика, философская логика, теория аргументации, логический анализ языка. Любой вывод, сделанный на естественном языке, обладает чисто формальным содержанием (смысл рассуждения может быть разделён на форму мысли и собственно содержание), если можно показать, что он является частным применением абстрактного универсального правила, которое отвлекается от всякого конкретного предмета, свойства или отношения. Именно этот вывод с чисто формальным содержанием называют логическим выводом и основным предметом логики. Анализ вывода, который раскрывает это чисто формальное содержание, называется формальной логикой. Символическая логика изучает символические абстракции, которые фиксируют формальную структуру логического вывода.
Диалектическая логика – наука