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

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

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

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

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

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

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

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

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

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

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

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

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

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

Здесь следует отметить, что мышление является объектом не только для логики, но и для большого количества других наук.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Но они оба вполне могут быть ложными, если шар, к примеру, красный.

Есть три основных типа логических противоречий:

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

Контактные противоречия обычно не пытаются скрыть. Их используют сознательно, чтобы смягчить негативное высказывание («Ты хорошо справился, но это не совсем то, о чём я просил») или, наоборот, усилить его («Отлично! Ты опять всё испортил!»).

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

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

Если одно суждение отрицает другое, то одно из них является ложным, а второе – истинным. Здесь важно не путать, что подразумевается под отрицанием.

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

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

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

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

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

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

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

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

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

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

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

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

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

В качестве примера можно привести «Парадокс кучи». Его суть состоит в следующем: если из кучи гравия убрать 1 камешек, куча останется кучей, однако если продолжать этот процесс, то в какой-то момент куча перестанет существовать.

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

Другой пример логической ошибки – известная апория Зенона про Ахиллеса, который никогда не догонит черепаху. Условие парадокса специально формулируется так, чтобы исключить из рассмотрения точку пути, в которой атлет обгоняет черепаху.

В результате доказательство того, что он не сможет этого сделать, не противоречит законам логики. Ошибка заложена в самой формулировке задачи, в которой неявно присутствует условие «На отрезке до точки X».

Виды логики

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

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

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

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

Это позволяет обеспечить логическую правильность суждений, поскольку анализу подвергается только структура утверждения, но не его содержание.

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

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

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

Она пополнилась новыми математическими методами и специализированными нотациями. Благодаря этому символическая логика превратилась в мощный инструмент, применяемый современными науками при решении задач и доказательстве теорий.

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

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

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

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

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

• принцип объективности;
• принцип всесторонности;
• принцип историзма (выявление закономерностей в истории рассматриваемого объекта);
• принцип конкретности (принятие в расчёт особенностей конкретного объекта и условий его существований).

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

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

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

Логика необходима при решении таких задач как:

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

Заключение

Логика – это наука о правильном мышлении и о способах рассуждения, не ведущих к ошибочным выводам.

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

И даже если мы этого не замечаем, вся наша жизнь подчинена логике.

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

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