Логика

Материал из Википедии – свободной энциклопедии

Грегор Рейш «Логика представляет её центральные темы», Margarita Philosophi-ca, 1503/08 (?). Две собаки veritas (лат. истина) и falsitas (лат. ложь) преследуют зайца problema (лат. проблема), логика, вооруженная мечом силлогизма, спешит позади. Слева внизу в гроте изображён Парменид, с которым логическая аргуме-ментация проложила себе путь в философию.

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

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

В любой науке логика служит одним из основных инструментов^[1].

Содержание

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

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

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

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

• 2 Металогика

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

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

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

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

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

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

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

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

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

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

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

• 4 Основные понятия науки логики

• 5 Традиционная логика

  • 5.1 Дедуктивное и индуктивное рассуждение в традиционной логике

  • 5.2 Силлогистика

• 6 Классическая математическая логика

  • 6.1 Аппарат математической логики

  • 6.2 Пропозициональная логика

  • 6.3 Логика предикатов

  • 6.4 Исчисления и логические методы

  • 6.5 Логическая семантика

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

  • 6.7 Теория моделей

  • 6.8 Теория доказательств

  • 6.9 Теории логического вывода

• 7 Неклассические логики

  • 7.1 Логики с неклассическим пониманием следования

  • 7.2 Логики, отменяющие закон исключённого третьего

  • 7.3 Логики, меняющие таблицы истинности

  • 7.4 Логики, расширяющие состав высказывания

  • 7.5 Модальная логика

  • 7.6 Недедуктивные логические теории

  • 7.7 Другие неклассические логики

• 8 Приложения логики

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

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

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

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

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

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

• 9 Примечания

• 10 Литература

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

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

• 11 См. также

12 Ссылки

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

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

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

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