Логика как наука

Здравствуйте!

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

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

Что такое логика?

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

Сложно сказать точно, когда она возникла. Отдельные элементы логики присутствуют в работах древнегреческих, древнекитайских и древнеиндийских мыслителей VI–V веков до н. э., но впервые её основные принципы сформулировал Аристотель в IV веке до н. э.

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

Термин «логика» образован от греческого слова λόγος (логос — мысль, слово, причина). Сегодня у него два основных значения: им обозначают как научную дисциплину, изучающую закономерности мыслительных процессов и логических построений, так и совокупность правил, которых необходимо придерживаться при построении непротиворечивых умозаключений.

Объект и предмет логики

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

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

Формы логического мышления

Форма мышления — это структура мысли, определяющая взаимосвязи между её отдельными элементами.

Существует три основные формы мышления:

1. Понятие. Это мысль о конкретном объекте, явлении или свойстве. Оно может относиться к одушевлённому существу (другой человек), материальному предмету (автомобиль) или нематериальному понятию (любовь).
2. Суждение. Это цепочка взаимосвязанных понятий. Например, у нас есть понятие, что ответственность — это хорошо. Если мы думаем о конкретном человеке как об ответственном, то это уже суждение, состоящее из двух понятий (человек + качество).
3. Умозаключение. Это вывод, который делается на основе нескольких суждений и содержит в себе новую информацию. Например, зная, что наш знакомый — ответственный человек, мы можем сделать вывод, что ему можно доверять.

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

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

Существует четыре закона, знание которых позволяет лучше понять, что такое логика.

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

1. Закон тождества

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

Например, утверждение «Выучить новый язык можно, общаясь с носителями на житейские темы» истинно в отношении английского или испанского языка, но слабо применимо к языкам программирования. Подобная подмена понятий является грубым нарушением закона тождества и иногда используется как демагогический приём.

2. Закон непротиворечия

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

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

Выделяют три основных типа логических противоречий:

1. Контактные. Два несовместимых высказывания, следующих друг за другом.
2. Дистантные. Взаимоисключающие высказывания, разделённые интервалом.
3. Мнимые. Кажущиеся противоречия, которых на самом деле нет при правильном понимании контекста.

Контактные противоречия часто используют сознательно, чтобы смягчить или усилить высказывание. Дистантные противоречия иногда применяют демагоги, но чаще они возникают по ошибке.

3. Закон исключённого третьего

Если одно суждение отрицает другое, то одно из них является ложным, а второе — истинным. Важно не путать простое взаимоисключение с отрицанием. Утверждения «Этот шар белый» и «Этот шар не белый» отрицают друг друга, поэтому одно из них обязательно истинно.

4. Закон достаточного основания

Этот закон ввёл Готфрид Лейбниц. Его суть в том, что для признания утверждения истинным необходимо располагать однозначными доказательствами, исключающими другие варианты. В повседневной жизни люди часто пренебрегают этим законом, делая выводы по косвенным фактам. Например, если в середине лета несколько дней не видно соседа, можно предположить, что он уехал в отпуск, однако без достаточных доказательств такой вывод противоречит закону.

Нарушение законов логики

Когда законы логики нарушаются, возникают логические ошибки.

Существует три основных типа логических ошибок:

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

Софизмы служат основным инструментом софистики. Парадоксы могут возникать при смешении количественных и качественных характеристик или наличии неявных условий. Классический пример — «Парадокс кучи» и апория Зенона об Ахиллесе и черепахе.

Виды логики

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

Рассмотрим каждый из разделов подробнее.

1. Формальная логика

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

2. Математическая логика

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

3. Диалектическая логика

Это философская дисциплина, изучающая мышление в целом. Её основателем считается Георг Гегель (1770–1831). Она опирается на формальную логику, но учитывает содержание явлений, объектов и процессов. В диалектической логике используются принципы объективности, всесторонности, историзма и конкретности.

Зачем нужна логика?

Главная цель логики — обеспечить эффективный инструментарий для поиска решений и доказательств, применимый в любых сферах знаний. Благодаря логике мы оперируем фактами, чья достоверность установлена и доказана.

Логика необходима при решении следующих задач:

1. Познание. В любой науке накопленные знания связаны между собой логическими связями. Часть знаний получена эмпирически, часть — благодаря теоретическому анализу с использованием логики.
2. Разрешение спорных ситуаций. При столкновении противоположных точек зрения логический анализ помогает найти истину. Судебное разбирательство, например, строится на применении формальной логики.
3. Продуктивное общение. Мы стараемся излагать мысли логично, чтобы быть понятыми однозначно, и рассчитываем, что собеседник руководствуется теми же правилами.
4. Поиск ответов. В любой сфере знаний при поиске решений и доказательств используются правила формальной или математической логики.

Заключение

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

До новых встреч!