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

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

–– процесс мышления – если говорится о логичном и нелогичном мышлении, имеется в виду его логичность;

–– в электронике – электронные логические схемы.

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

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

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

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

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

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

Отношение к другим наукам

Исторически логика изучалась как часть философии. Сейчас символическая ло-гика также изучается как часть математики, информатики.

Металогика

–– Метатеоретические проблемы логики

–– Непротиворечивость формализованных теорий

–– Полнота формализованных теорий

–– Разрешимость формализованных теорий

–– Независимость аксиом формализованных теорий

–– Определимость

–– Сравнительный анализ логических теорий

Концепции логики

Концепции логики различаются между собой, прежде всего, по способам реше-ния метатеоретических проблем логики, связанных с основаниями математики:

–– Психологизм

–– Логицизм

–– Формализм (математика)

–– Интуиционизм

–– Конструктивная математика

–– Консерватизм (логика)

Проблемы аксиоматизации теории множеств

–– Логические парадоксы

–– Семантические парадоксы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логика в Древнем Китае

Логика в Китае появилась в период появления большого количества школ, конку-ренции и дискуссий между ними. Современник Конфуция Мо-цзы («Учитель Мо», «Мудрец Мо»; V–IV вв. до н. э) был известен как основатель моизма (школы мо цзя), представители которой занимались поиском источников достоверного расу-ждения и условий его правильности. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции. В процессе анализа семантики языка моисты разработали метод классификации имён по степени их общности и деления вещей по видам (метод «трёх правил», «трёх фа»).

Одно из ответвлений моизма, логики (мин цзя, школа имён, V–III вв. до н. э), приступило к исследованию собственно формальной логики (её представители подошли к открытию категорического силлогизма ранее или одновременно с её формулировкой Аристотелем).

Позднее, при династии Цинь, эта линия исследований исчезла в Китае, посколь-ку тогда философия легизма жестоко подавляла все остальные философские школы. Вновь логика в Китае появилась только с проникновением туда индийс-кой логики буддистов и далее сильно отстала от развития европейской и ближ-невосточной логики.