Логика как наука о мышлении¶
Логика — раздел философии и формальных наук, изучающий законы и формы правильного мышления, а также способы рассуждения, при которых из истинных посылок с необходимостью следуют истинные выводы. Предметом логики являются не сами объекты действительности, а структура рассуждений о них: понятия, суждения, умозаключения и отношения между ними. Логика служит основой математики, информатики, лингвистики, теории аргументации и методологии научного познания.
¶Предмет и задачи
Логика исследует, при каких условиях вывод является корректным независимо от конкретного содержания высказываний. Её интересует форма рассуждения, а не его материал. Например, схема «если все A есть B, а все B есть C, то все A есть C» истинна при любой подстановке содержательных терминов. Такая независимость от содержания называется формальностью логики, а её основной метод — построение формальных систем и анализ их свойств.
К центральным задачам логики относятся: определение правил вывода, различение корректных и некорректных рассуждений, выявление логических ошибок (паралогизмов и софизмов), а также исследование таких свойств систем, как непротиворечивость, полнота и разрешимость.
¶История
Элементы логического знания возникали в древних культурах — в Индии, Китае, Греции. Систематическую форму логика впервые приобрела в трудах Аристотеля (IV век до н. э.), который описал силлогистику — учение о категорических умозаключениях. Аристотелевский свод логических сочинений, известный как «Органон», на многие столетия определил развитие дисциплины.
В Средние века логика преподавалась в составе тривиума вместе с грамматикой и риторикой; схоласты разрабатывали учение о терминах, модальностях и парадоксах. В Новое время Фрэнсис Бэкон предложил индуктивную логику, а Готфрид Лейбниц выдвинул идею сведения рассуждений к вычислениям.
Решающий перелом произошёл в XIX–XX веках: Джордж Буль, Готлоб Фреге, Бертран Рассел и Давид Гильберт создали математическую (символическую) логику. Курт Гёдель доказал теоремы о неполноте, показавшие принципиальные ограничения формальных систем. В России значительный вклад внесли математики и логики, в том числе представители московской и ленинградской школ; в советский период логика развивалась в рамках философии и математики, а с 1940-х годов преподавалась в университетах как самостоятельная дисциплина.
¶Основные разделы
- Формальная (традиционная) логика — учение о понятии, суждении и умозаключении, восходящее к Аристотелю.
- Математическая логика — использует формальные языки и методы доказательства; включает теорию множеств, теорию моделей, теорию доказательств.
- Логика высказываний — изучает связи высказываний с помощью логических операций (конъюнкция, дизъюнкция, отрицание, импликация).
- Логика предикатов — расширяет предыдущую за счёт кванторов и анализа внутренней структуры утверждений.
- Модальная логика — рассматривает модальности: необходимость, возможность, долженствование, знание.
- Нечёткая логика — оперирует степенями истинности, а не только значениями «истина» и «ложь».
¶Законы логики
К классическим законам, сформулированным в традиционной логике, относят:
| Закон | Формулировка |
|---|---|
| Тождества | Всякая мысль в процессе рассуждения должна оставаться тождественной себе |
| Непротиворечия | Два противоположных суждения не могут быть одновременно истинными |
| Исключённого третьего | Из двух противоречащих суждений одно истинно, другое ложно |
| Достаточного основания | Всякое утверждение должно быть обосновано |
В математической логике эти принципы выражаются в виде тождественно истинных формул и аксиом формальных систем.
¶Логические ошибки
Нарушение правил вывода ведёт к ошибкам. Наиболее известны: подмена тезиса, круг в доказательстве, аргумент к личности, ложная дилемма, поспешное обобщение, апелляция к авторитету. Различение логических ошибок важно для критического мышления и теории аргументации.
¶Применение
Логика лежит в основании математических доказательств и программирования: языки программирования, базы данных, системы искусственного интеллекта опираются на формальные логические исчисления. В юриспруденции логика используется при анализе норм и построении юридических заключений, в лингвистике — при описании семантики, в философии — при построении непротиворечивых теорий. Логическая культура мышления рассматривается как элемент общего образования.
¶Логика и смежные дисциплины
Логика тесно связана с теорией познания (гносеологией), психологией мышления и методологией науки. При этом логику отличают от психологии: первая изучает нормативные правила корректного вывода, вторая — фактические процессы мышления. Современная логика взаимодействует с информатикой в области теории алгоритмов и с математикой в вопросах оснований.
Источники: Аристотель. «Органон»; Ивин А. А. «Логика»; Чёрч А. «Введение в математическую логику»; Кондаков Н. И. «Логический словарь-справочник».