что такое закон логики

Логика как наука: понятие, объект и предмет, законы логики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Виды логики

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

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

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

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

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

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

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

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

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

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

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

Заключение

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

Источник

Законы логики, которые должны знать все

Все мы хотим понять, что правильно, а что нет. Так, фраза «это нелогично» стала чуть ли не самой используемой при критике какого-нибудь сериала или фильма. Но вот о том, что такое логика и как вообще различать, что логично, а что нет, — знают далеко не все. А ведь у неё как у раздела философии есть своё понятие и законы.

Логика по Аристотелю

Древние греки вообще любили рассуждать о том, как устроен наш мир и в чём его смысл. У них это, кстати, получалось вполне неплохо. Так, учёный и философ Левкипп и его ученик Демокрит открыли атомы, не имея при этом наших микроскопов. Сделать это им удалось в том числе благодаря логике.

В Античности очень часто пользовались рассуждениями об объекте для его познания. Строился этот принцип на том, что во Вселенной есть законы, которые человек способен понять через мысли и опыт.

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

Первый закон: закон тождества

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

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

Так, например, при нарушении закона логики на фразу «Мне не повезло: я сломал ногу в двух местах» можно было бы ответить: «Так не ходи в эти места», — так как понятие слова «место» заранее не было обговорено. Конечно, подобные мелочи мы редко замечаем в повседневной жизни, так как наше логическое мышление достаточно развито, чтобы находить правильные ответы на простые вопросы.

Второй закон: закон непротиворечивости

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

Третий закон логики: закон исключённого третьего

Если есть два противоположных суждения, когда одно из них отрицает другое, например А равно Б и А равно не Б, то не может быть иного суждения. Или в другой формулировке:

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

Противоположное суждение может иметь третий вариант ответа. Если мы говорим: «Собака маленькая» и «Собака большая», — возможен третий вариант: «Собака средняя». А в противоречащем суждении мы можем сказать: «Эта собака небольшая» и «Эта собака большая». В этом случае верный ответ только один.

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

Четвёртый закон логики: закон достаточного основания

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

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

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

Источник

4 закона логики

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

Логические законы

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

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

Многие учебные материалы часто предлагают следующие формулы для записи основных законов логики:

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

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

Аристотель в своей «Метафизике» указывал на тот факт, что размышление невозможно «если не мыслить каждый раз что-нибудь одно». Большинство современных учебных материалов закон тождества формулирует так: «Любое высказывание (мысль, понятие, суждение) на протяжении всего рассуждения должно сохранять один и тот же смысл».

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

Чтобы подтвердить закон тождества Аристотель обратился к анализу софизмов – ложных высказываний, которые при поверхностном рассмотрении кажутся правильными. Наиболее известные софизмы, наверное, слышал каждый. Например: «Полупустое есть то же, что и наполовину полное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное» или «6 и 3 есть четное и нечетное. 6 и 3 есть девять. Следовательно, 9 есть и четное, и нечетное».

Внешне форма рассуждения правильная, но при анализе хода рассуждения обнаруживается ошибка, связанная с нарушением закона тождества. Так, во втором примере всем понятно, что число 9 не может быть одновременно и четным, и нечетным. Ошибка в том, что союз «и» в условии употребляется в разных значениях: в первом как объединение, одновременная характеристика чисел 6 и 3, а во втором – как арифметическое действие сложения. Отсюда и ошибочность вывода, ведь в процессе рассуждения к предмету были применены разные смыслы. По сути, закон тождества – требование в определенности и неизменности мыслей в процессе рассуждения.

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

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

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

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

Сам Аристотель писал: «Невозможно, чтобы одно и то же одновременно было и не было присуще одному и тому же, в одном и том же смысле».

Разберемся с этим законом на конкретном примере – рассмотрим следующие суждения:

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

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

Чтобы эффективно использовать закон противоречия достаточно правильно учитывать условия его употребления. Основным требованием является соблюдение в высказываемой мысли единства времени и отношения между предметами. Другими словами, нарушением закона непротиворечия не может считаться утвердительное и отрицательное суждения, которые относятся к разному времени или употребляются в разных отношениях. Приведем примеры. Так, высказывания «Москва – столица» и «Москва – не столица» могут быть одновременно правильными, если мы говорим в первом случае о современности, а во втором – об эпохе Петра I, который, как известно, перенес столицу в Санкт-Петербург.

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

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

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

Намного «знаменитей», чем предыдущие два закона Аристотеля, в широких кругах, благодаря значительной распространенности сентенции «tertium non datur», что в переводе значит «третьего не дано» и отображает суть закона. Закон исключенного третьего – требование к мыслительному процессу, согласно с которым если в одном из двух выражений что-либо о предмете утверждается, а во втором отрицается – одно из них обязательно истинно.

Аристотель в Книге 3 «Метафизики» писал: «…ничего не может быть посредине между двумя противоречивыми суждениями об одном, каждый отдельный предикат необходимо либо утверждать, либо отрицать». Древнегреческий мудрец отмечал, что закон исключенного третьего применим лишь в случае высказываний, употребленных в прошедшем или настоящем времени и не работает с будущим временем, ведь нельзя сказать с достаточной долей уверенности произойдет или не произойдет что-либо.

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

Закон исключенного третьего применим к таким формам суждений:

Одно суждение утверждает что-либо о предмете в одном и том же отношении в одно время, а второе – то же самое отрицает. Например: «Страусы – птицы» и «Страусы – не птицы».

Одно суждение утверждает что-либо относительно всего класса предметов, второе – отрицает это же, но относительно лишь некоторой части предметов. Например: «Все учащиеся группы ИН-14 сдали сессию на отлично» и «Некоторые учащиеся группы ИН-14 не сдали сессию на отлично».

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

Позже, начиная с эпохи Нового времени, закон был раскритикован. Известная формулировка, применявшаяся для этого: «Насколько верно утверждать, что все лебеди черные, исходя из того, что нам до сих пор встречались только черные?». Дело в том, что закон применим лишь в аристотелевской двузначной логике, которая основывается на абстракции. Поскольку ряд элементов бесконечен, проверить все альтернативы в подобного рода суждениях очень сложно, здесь требуется применение других логических принципов.

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

Четвертый из основных законов формальной или классической логики был сформулирован по прошествии значительного периода времени после обоснования Аристотелем первых трех. Его автор – видный немецкий ученый (философ, логик, математик, историк; этот список занятий можно продолжить) – Готфрид Вильгельм Лейбниц. В своей работе о простых субстанциях («Монадология», 1714 г.) он писал: «…ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, – без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны».

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

Функциональное предназначение данного закона выражается в требовании соблюдать в мышлении такую черту, как обоснованность. Г. В. Лейбниц, по сути, объединил законы Аристотеля с их условиями определенности, последовательности и непротиворечивости рассуждения, и на основании этого разработал понятие о достаточном основании для того, чтоб характер размышления был логичным. Немецкий логик хотел этим законом показать, что в познавательной или практической деятельности человека рано или поздно наступает момент, когда недостаточно иметь просто истинное утверждение, нужно чтобы оно было обоснованным.

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

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

Интересуетесь развитием логического мышления и мышления глобально? Обратите внимание на курс «Когнитивистика»».

Отзывы и комментарии

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

Источник