Что такое логика?

Логика (др.-греч. λογική — раздел философии, «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.

Логика служит одним из инструментов почти любой науки.

[[1]]

Сущность логики

Классическая логическая теория далеко не совершенна: основное её содержание формулируется на особом, созданном специально для своих целей языке, использует абсолютное предметное мышление. В ней не предполагается использование контроля прагматических ошибок, погрешностей нелинейностей используемых систем отсчёта, пограничных ошибок описания, релятивизма масштабирования и т. п. Вследствие чего принято считать нормальным факт наличия в её языке парадоксов и априорных утверждений, кустовых эффектов словаря и т. п. Подобно тому как умение говорить существовало ещё до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и др. — нередко применяются каждым человеком в его мыслительной деятельности неосознанно и с погрешностями. Некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение, но реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач также существенны: интуиция, эмоции, образное видение мира и многое другое. Однако нестрогость мышления еще не значит, что оно не подчинено логике.

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

Значение слова

Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений»[3]. В частности этим словом могут называться следующие вещи: процесс мышления — если говорится о логичном и нелогичном мышлении, имеется в виду его логичность. В электронике — электронные логические схемы

В аспектонике и соционике — тип воспринимаемой человеком информации, обобщённое название для аспектов «белая логика» (информация об измеримых отношениях объектов) и «чёрная логика» (информация об измеримом движении объектов).

Используются выражения:

логика событий — имеется в виду некоторая виртуальная модель реальных событий, созданная в языке описания, достаточном для прогнозирования будущего с достаточной точностью.

логика характера — имеется в виду некоторая виртуальная модель характера личности, позволяющая более или менее точно прогнозировать события-поступки в будущем.

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

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

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

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

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

История логики

Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты не слишком достоверны (особенно в случае Индии), скорее всего, логика возникла во всех трёх культурах в IV веке до н. э.. Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков. Можно выделить следующие исторические и региональные формы логики (приведены также их наименования, исторически существовавшие и принятые в литературе по истории формальной логики):

Древнекитайская логика

Индийская логика

Европейская и ближневосточная логика: традиционная логика (в широком смысле)

Античная и раннесредневековая логика: диалектика

Средневековая логика

Арабская и еврейская средневековая логика

Восточнохристианская средневековая логика

Западноевропейская средневековая логика: схоластическая логика, диалектика

Логика европейского Возрождения; диалектика

Логика Нового времени: традиционная логика (в узком смысле), формальная логика

Современная логика (общемировая, со второй половины XIX века): математическая логика, символическая логика, логистика (последнее — как правило, в западной литературе).

Логика в своём развитии прошла три порога:

порог формализации рассуждений (во всех трёх традициях)

введение условных (символических, буквенных и числовых) обозначений (только европейская традиционная логика) научная революция, с которой началась современная логика, — математизация (внесение в логику математических методов).

Законы логики

Закон тождества

Закон исключённого третьего

Закон противоречия

Закон достаточного основания

Законы де Моргана

Законы дедуктивных умозаключений

Закон Клавия

Законы деления

Прикладные проблемы логики и логической семантики

Приложения логики в методологии науки

Приложения логики в философии

Приложения логики в теологии

Приложения логики в психологии

Приложения логики в правовых науках

Приложения логики в лингвистике

Приложения логики в других дисциплинах

Литература по истории логики

Бажанов В. А. История логики в России и СССР. — М.: Канон+, 2007. — 336 с. — ISBN 5-88373-032-9

Маковельский А. О. История логики. — М., 1967. — 504 с.

Попов П. С. История логики нового времени. — М., Издательство МГУ, 1960.

Стяжкин Н. И. Формирование математической логики. — М., 1967.

Scholtz H. Geschichte der Logik, 1931. (Concise History of Logic. — New York, 1961).

Ссылки

Институт Логики, Когнитологии и Развития Личности (ИЛКиРЛ) http://logic.ru/