Логика

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Ло́гика (др.-греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος — «речь», «рассуждение»).

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

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

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

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

Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений»[1]

Содержание

Сущность логики[править]

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

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

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

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

Значения слова «логика»[править]

Слово «логика» может употребляться как:

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

Пример: «Быть может, он безумец, — говорит один из героев рассказа английского писателя Г. К. Честертона, — но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума». Здесь «логика» означает, что наблюдатель имеет в своей памяти достаточно точное описание характера — «безумия», позволяющее ему зафиксировать в используемом языке причинно-следственные связи черт характера и поведения субъекта — «безумца», а также и вообще любых других людей, страдающих «безумием».

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

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

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

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

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

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

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

Отношение к другим наукам[править]

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

Металогика[править]

Icons-mini-icon 2main.png Основная статья: Металогика

Метатеоретические проблемы логики[править]

Концепции логики[править]

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

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

История логики[править]

Icons-mini-icon 2main.png Основная статья: История логики

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

  • Древнекитайская логика:
  • Индийская логика
  • Европейская и ближневосточная логика: традиционная логика (в широком смысле)
    • Античная и раннесредневековая логика: диалектика
    • Средневековая логика
      • Арабская и еврейская средневековая логика
      • Восточнохристианская (византийская, грузинская, армянская) средневековая логика
      • Западноевропейская средневековая логика: схоластическая логика, диалектика
    • Логика европейского Возрождения; диалектика
    • Логика Нового времени: традиционная логика (в узком смысле), формальная логика
  • Современная логика (общемировая, со второй половины XIX века): математическая логика, символическая логика, логистика (последнее — как правило, в западной литературе).

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

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

Логика в Древнем Китае[править]

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

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

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

Индийская логика[править]

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

Само название школы «ньяя» значит «логика». Главным её достижением и была разработка логики и методологии, ставших впоследствии общим достоянием (ср. аристотелевская логика в Европе). Основным текстом школы были Ньяя-сутры Акшапады Гаутамы (II век н. э.). Посольку ньяики считали единственным путём освобождения от страданий достижение надёжного знания, они разрабатывали тонкие методы отличения надёжных источников знания от ложных мнений. Есть только четыре источника знания (четыре праманы): восприятие, умозаключение, сравнение и свидетельство. Строгая пятичленная схема умозаключения включала в себя: начальную посылку, основание, пример, приложение и вывод.

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

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

Школа навья-ньяя («новая ньяя», «новая логика») была основана в XIII веке Ганешей Упадхьяей из Митилы, автора «Таттвачинтамами» («Сокровище мысли о реальности»). Впрочем, он и опирался на работы своих предшественников X века.

Европейская и ближневосточная логика[править]

В истории европейской логики можно выделить этапы: аристотелевский, или традиционный — период доминирования формальной логики — продолжался сотни лет, в течение которых логика развивалась очень медленно; схоластический этап развития, пик которого приходится на XIV век; нововременной этап.

Логика античности[править]

Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения».

После Аристотеля в Древней Греции логика также разрабатывалась представители школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квантилиан.

Логика в Средневековье[править]

По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.

Логика в эпоху Возрождения и в Новое время[править]

Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.

Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля.

В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Декарта.

Современная логика[править]

Как охарактеризовал её известный русский логик П. С. Порецкий, она представляет собой современную теорию правильного рассуждения, «логику по предмету и математику по методу» и не является логическим исследованием исключительно математических доказательств.

В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

Начало ХХ века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н.А. Васильевым и И.Е. Орловым.

С помощью синкретной логики Федосину С.Г. удалось доказать, что философские категории составляют в совокупности математическую группу. [2] Геометрической моделью множества категорий философии может быть бесконечноразмерная система координат. Если каждой оси координат сопоставить свою категорию, то все оси будут расположены симметрично в пространстве и взаимно противоположны друг другу. Для однозначного определения конкретной категории или любого понятия в такой системе координат необходимо найти его сущность как соответствующую проекцию на каждую ось (поскольку ни одно понятие не существует самостоятельно, и может быть понято только через другие понятия). Кроме этого было показано, что совокупность наборов истинности дискретной формальной логики с операциями сложения и отрицания составляют математическую группу, эквивалентную группе чисел в арифметике.

Основные понятия науки логики[править]

Традиционная логика[править]

Icons-mini-icon 2main.png Основная статья: Традиционная логика

Дедуктивное и индуктивное рассуждение в традиционной логике[править]

Силлогистика[править]

Icons-mini-icon 2main.png Основная статья: Силлогистика

Классическая математическая логика[править]

Icons-mini-icon 2main.png Основная статья: Математическая логика
Icons-mini-icon 2main.png Основная статья: Классическая логика

Аппарат математической логики[править]

Icons-mini-icon 2main.png Основная статья: Алгебра логики

Пропозициональная логика[править]

Icons-mini-icon 2main.png Основная статья: Логика высказываний

Логика предикатов[править]

Icons-mini-icon 2main.png Основная статья: Логика предикатов

Исчисления и логические методы[править]

Логическая семантика[править]

Icons-mini-icon 2main.png Основная статья: Логическая семантика

Законы логики[править]

Теория моделей[править]

Icons-mini-icon 2main.png Основная статья: Теория моделей

Теория доказательств[править]

Icons-mini-icon 2main.png Основная статья: Теория доказательств

Теории логического вывода[править]

Неклассические логики[править]

Icons-mini-icon 2main.png Основная статья: Неклассические логики

Логики с неклассическим пониманием следования[править]

Логики, отменяющие закон исключённого третьего[править]

Логики, меняющие таблицы истинности[править]

Icons-mini-icon 2main.png Основная статья: Многозначные логики

Модальная логика[править]

Icons-mini-icon 2main.png Основная статья: Модальная логика

Недедуктивные логические теории[править]

Другие неклассические логики[править]

  • Категориальная логика
  • Комбинаторная логика — это логика, которая заменяет переменные функциями с целью прояснить такие интуитивные операции с переменными, как подстановка. Построенная на базе комбинаторной логики система арифметики содержит все частично рекурсивные функции и избегает гёделевской неполноты.
  • Кондициональная логика (условная логика). Её предмет — истинность условных предложений (в частности, сослагательного наклонения). Логика контрафактических утверждений.

Приложения логики[править]

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

  • Приложения логики в методологии науки
  • Приложения логики в философии
  • Приложения логики в теологии
  • Приложения логики в психологии
  • Приложения логики в правовых науках
  • Приложения логики в лингвистике
  • Приложения логики в других дисциплинах

Приложения логики в анализе познавательных процедур[править]

Логический анализ форм и приемов познания

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

Приложения логики в философии[править]

Icons-mini-icon 2main.png Основная статья: Философская логика

Приложения логики в психологии[править]

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

Приложения логики в лингвистике[править]

Приложения логики в компьютерных науках[править]

Источники[править]

  1. Ефремова Т. Ф. Новый словарь русского языка. Толково-словообразовательный. — 2001—2002.
  2. Федосин С.Г. Основы синкретики. Философия носителей, М: Эдиториал УРСС, 2003, ISBN 5-354-00375-Х. 464 стр., Табл.28, Ил.11, Библ. 102 назв.

Литература[править]

См. также[править]

Ссылки[править]

В Викицитатнике есть страница по теме
Логика


Метафилософия Разделы философии П
о
р
т
а
л
Философия познания теоретическая практическая
Дисциплины ЭпистемологияЛогика ОнтологияМетафизика АксиологияЭтикаЭстетика
Философия предметной области наукиматематикитехникисознанияязыка природычеловекадухатеология искусстваисториикультурыобразованияобществаполитикиправарелигииэкономики