Логическая философия это кратко

Обновлено: 02.07.2024

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

По сравнению с историей логики разграничение между философией логики и философской логикой возникло недавно и не всегда полностью ясно. Характеристики включают:

  • Философия логики - это область философии, посвященная исследованию объема и природы логики. [1]
  • Философия логики - это исследование, критический анализ и интеллектуальное размышление над проблемами, возникающими в логике . Эта область считается отличной от философской логики .
  • Философская логика - это отрасль исследования, которая касается вопросов о референции , предикации , тождественности , истине , количественной оценке , существовании , следствии , модальности и необходимости . [2]
  • Философская логика - это применение формальных логических методов к философским проблемам. [3]

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

СОДЕРЖАНИЕ

В этой статье используются следующие термины и концепции:

Аристотель сказал: « Сказать, что то, что есть, что нет или то, что не есть, есть ложь; и говорить о том, что есть, а что нет, верно [4]

Этот очевидный трюизм не оказался беспроблемным.

В логике используются такие термины, как истинный, ложный, непоследовательный, достоверный и противоречивый. Возникают вопросы, как пишет Стросон (1952) [5].

(а) когда мы используем эти слова логической оценки, что именно мы оцениваем? и (б) как становится возможной логическая оценка?

Поскольку использование, значение, если не значимость, терминов является частью дискуссии, для целей обсуждения можно дать только следующие рабочие определения:

Концепция логической истины тесно связана с концепцией обоснованности , логического следствия и следствия (а также самопротиворечия, обязательно ложного и т. Д.).

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

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

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

Содержание

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Металогика

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

    формализованных теорий формализованных теорий формализованных теорий
  • Независимость аксиом формализованных теорий
  • Определимость
  • Сравнительный анализ логических теорий

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

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

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

  • Логические парадоксы
  • Семантические парадоксы

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

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

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

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

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

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

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

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

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

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

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

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

      Логика античности

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

      Логика в Средневековье

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

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

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

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

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

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

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

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

      В 80-х годах ХХ века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.

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

      В целом, указанное выше относится больше к философии математики, чем к философии логики, но задача философского осмысления применения логики к решению различных проблем математики остаётся. Убедительным примером здесь являются ограничительные теоремы К. Гёделя о неполноте достаточно богатых теорий (1931), которые говорят о том, что нет и в принципе не может быть адекватного формализма, охватывающего всю математику. Философские следствия этих результатов обсуждаются по сей день и привлекли к себе внимание не только логиков-профессионалов, но и философов, методологов, и широкий круг дилетантов, не имеющих никакого понятия о логике. К этому можно добавить также философскую дискуссию относительно тезиса Чёрча — Тьюринга. Следует отметить, что философией логики занялись математики, получившие в ней глубокие результаты (Г. Фреге, Б. Рассел, У. Куайн, Р. Карнап и другие).

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

      Корректное использование силлогизмов открывает дорогу для доказательных рассуждений в философии, в математике, в естественных науках или для формализации дедуктивного мышления [1] .

      Читайте также: